Patrizia Asirelli

Publication Activity (10 Years)

Years Active: 1979-2012
Publications (10 Years): 0

Top Topics

Relational Databases

Conceptual Framework

Top Venues

Publications

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