Patrizia Asirelli

31 papers A* 1A 1B 5C 1Journal 4Unranked 19
YearRankTypeTitle / Venue / Authors
2012 — conf
A Compositional Framework to Derive Product Line Behavioural Descriptions.
ISoLA (1)
Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
2011 — conf
A Model-Checking Tool for Families of Services.
FMOODS/FORTE
Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
2011 — conf
Design and validation of variability in product lines.
PLEASE@ICSE
Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti
2011 B conf
Formal Description of Variability in Product Families.
SPLC
Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi
2010 — conf
A Deontic Logical Framework for Modelling Product Families.
VaMoS
Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi
2010 B conf
A Logical Framework to Deal with Variability.
IFM
Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
2009 — conf
Deontic Logics for Modeling Behavioural Variability.
VaMoS
Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi
2006 — conf
MultiMedia Metadata Management: a Proposal for an Infrastructure.
SWAP
Patrizia Asirelli, Suzanne Little, Massimo Martinelli, Ovidio Salvetti
2000 J jnl
Using MedLan to Integrate Geographical Data.
J. Log. Program.
Domenico Aquilino, Patrizia Asirelli, A. Formuso, Chiara Renso, Franco Turini
1999 — conf
Firewall Policies Definition Tools: An Implementation Idea.
IICIS
Patrizia Asirelli, Fabrizio Fabbrini
1998 — conf
The Constraint Operator of MedLan: Its Efficient Implementation and Use.
IICIS
Patrizia Asirelli, Chiara Renso, Franco Turini
1997 J jnl
Applying Restriction Constraints to Deductive Databases.
Ann. Math. Artif. Intell.
Domenico Aquilino, Patrizia Asirelli, Chiara Renso, Franco Turini
1997 — conf
View Constraints: An Interpretation of Integrity Constraints for Security.
IICIS
Patrizia Asirelli
1996 B conf
A Deductive Database Support to the Specification of Concurrent Systems.
SOFSEM
Patrizia Asirelli, Stefania Gnesi, Maria Cristina Rossi
1996 — conf
A Logical Database for Validating System Models.
DDLP
Patrizia Asirelli, Stephen C. Cook, Keith G. Jeffery
1996 — conf
Integrity Constraints as Views in Deductice Databases.
FMLDO
Patrizia Asirelli, Paola Inverardi, Giuseppe Plagenza
1996 — conf
Language Extensions for Semantic Integration of Deductive Databases.
Logic in Databases
Patrizia Asirelli, Chiara Renso, Franco Turini
1995 — conf
A Declarative Approach to the Design and Realization of Graphic Interfaces.
GULP-PRODE
Domenico Aquilino, D. Apuzzo, Patrizia Asirelli
1995 B conf
An Operator for Composing Deductive Databases with Theories of Constraints.
LPNMR
Domenico Aquilino, Patrizia Asirelli, Chiara Renso, Franco Turini
1994 — conf
Gedblog: a Multi-Theories Deductive Environment to Specify Graphical Interfaces.
GULP-PRODE (2)
Domenico Aquilino, Patrizia Asirelli, Paola Inverardi
1994 J jnl
Graphics by a Logic Database Management System.
J. Vis. Lang. Comput.
Patrizia Asirelli, D. Di Grande, Paola Inverardi, F. Nicodemi
1992 C conf
Prototyping in the GEDBLOG System.
SEKE
Domenico Aquilino, Patrizia Asirelli, Paola Inverardi
1991 — conf
Supporting Reuse and Configuration: A Port Based SCM Model.
SCM
Domenico Aquilino, Patrizia Asirelli, Paola Inverardi, P. Malara
1989 — conf
Selective Refutation of Integrity Constraints in Deductive Databases.
MFDBS
Patrizia Asirelli, C. Billi, Paola Inverardi
1988 — conf
EDBLOG: A Kernel for Configuration Environments.
SCM
Patrizia Asirelli, Paola Inverardi
1988 A conf
Improving Integrity Constraint Checking in Deductive Databases.
ICDT
Patrizia Asirelli, Paola Inverardi, A. Mustaro
1988 — conf
Using Logic Databases in Software Development Environments.
PLILP
Patrizia Asirelli, Paola Inverardi
1987 — conf
Enhancing Configuration Facilities in Software Development: A Logic Approach.
ESEC
Patrizia Asirelli, Paola Inverardi
1985 J jnl
Integrity Constraints for Logic Databases.
J. Log. Program.
Patrizia Asirelli, Michele de Santis, Maurizio Martelli
1983 B conf
Some Aspects of the Static Semantics of Logic Programs with Monadic Functions.
Logic Programming Workshop
Patrizia Asirelli
1979 A* conf
A Flexible Environment for Program Development Based on a Symbolic Interpreter.
ICSE
Patrizia Asirelli, Pierpaolo Degano, Giorgio Levi, Alberto Martelli, Ugo Montanari, Giuliano Pacini, Franco Sirovich, Franco Turini