Patrizia Asirelli

According to our database, Patrizia Asirelli authored at least 31 papers between 1979 and 2012.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2012

A Compositional Framework to Derive Product Line Behavioural Descriptions.

Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

2011

Formal Description of Variability in Product Families.

Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi

Proceedings of the Software Product Lines - 15th International Conference, 2011

Design and validation of variability in product lines.

Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti

Proceedings of the 2nd International Workshop on Product Line Approaches in Software Engineering, 2011

A Model-Checking Tool for Families of Services.

Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi

Proceedings of the Formal Techniques for Distributed Systems, 2011

2010

A Deontic Logical Framework for Modelling Product Families.

Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi

Proceedings of the Fourth International Workshop on Variability Modelling of Software-Intensive Systems, 2010

A Logical Framework to Deal with Variability.

Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi

Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

2009

Deontic Logics for Modeling Behavioural Variability.

Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi

Proceedings of the Third International Workshop on Variability Modelling of Software-Intensive Systems, 2009

2006

MultiMedia Metadata Management: a Proposal for an Infrastructure.

Patrizia Asirelli, Suzanne Little, Massimo Martinelli, Ovidio Salvetti

Proceedings of the SWAP 2006, 2006

2000

Using MedLan to Integrate Geographical Data.

Domenico Aquilino, Patrizia Asirelli, A. Formuso, Chiara Renso, Franco Turini

J. Log. Program., 2000

1999

Firewall Policies Definition Tools: An Implementation Idea.

Patrizia Asirelli, Fabrizio Fabbrini

Proceedings of the Integrity and Internal Control in Information Systems, 1999

1998

The Constraint Operator of MedLan: Its Efficient Implementation and Use.

Patrizia Asirelli, Chiara Renso, Franco Turini

Proceedings of the Integrity and Internal Control in Information Systems, 1998

1997

Applying Restriction Constraints to Deductive Databases.

Domenico Aquilino, Patrizia Asirelli, Chiara Renso, Franco Turini

Ann. Math. Artif. Intell., 1997

View Constraints: An Interpretation of Integrity Constraints for Security.

Patrizia Asirelli

Proceedings of the Integrity and Internal Control in Information Systems, 1997

1996

A Deductive Database Support to the Specification of Concurrent Systems.

Patrizia Asirelli, Stefania Gnesi, Maria Cristina Rossi

Proceedings of the SOFSEM '96: Theory and Practice of Informatics, 1996

Language Extensions for Semantic Integration of Deductive Databases.

Patrizia Asirelli, Chiara Renso, Franco Turini

Proceedings of the Logic in Databases, 1996

Integrity Constraints as Views in Deductice Databases.

Patrizia Asirelli, Paola Inverardi, Giuseppe Plagenza

Proceedings of the Integrity in Databases, 1996

A Logical Database for Validating System Models.

Patrizia Asirelli, Stephen C. Cook, Keith G. Jeffery

Proceedings of the Workshop DDLP'96 on Deductive Databases and Logic Programming, 1996

1995

An Operator for Composing Deductive Databases with Theories of Constraints.

Domenico Aquilino, Patrizia Asirelli, Chiara Renso, Franco Turini

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995

A Declarative Approach to the Design and Realization of Graphic Interfaces.

Domenico Aquilino, D. Apuzzo, Patrizia Asirelli

Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994

Graphics by a Logic Database Management System.

Patrizia Asirelli, D. Di Grande, Paola Inverardi, F. Nicodemi

J. Vis. Lang. Comput., 1994

Gedblog: a Multi-Theories Deductive Environment to Specify Graphical Interfaces.

Domenico Aquilino, Patrizia Asirelli, Paola Inverardi

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1992

Prototyping in the GEDBLOG System.

Domenico Aquilino, Patrizia Asirelli, Paola Inverardi

Proceedings of the SEKE'92, 1992

1991

Supporting Reuse and Configuration: A Port Based SCM Model.

Domenico Aquilino, Patrizia Asirelli, Paola Inverardi, P. Malara

Proceedings of the 3rd International Workshop on Software Configuration Management, 1991

1989

Selective Refutation of Integrity Constraints in Deductive Databases.

Patrizia Asirelli, C. Billi, Paola Inverardi

Proceedings of the MFDBS 89, 1989

1988

EDBLOG: A Kernel for Configuration Environments.

Patrizia Asirelli, Paola Inverardi

Proceedings of the International Workshop on Software Version and Configuration Control, 1988

Using Logic Databases in Software Development Environments.

Patrizia Asirelli, Paola Inverardi

Proceedings of the Programming Language Implementation and Logic Programming, 1988

Improving Integrity Constraint Checking in Deductive Databases.

Patrizia Asirelli, Paola Inverardi, A. Mustaro

Proceedings of the ICDT'88, 2nd International Conference on Database Theory, Bruges, Belgium, August 31, 1988

1987

Enhancing Configuration Facilities in Software Development: A Logic Approach.

Patrizia Asirelli, Paola Inverardi

Proceedings of the ESEC '87, 1987

1985

Integrity Constraints for Logic Databases.

Patrizia Asirelli, Michele de Santis, Maurizio Martelli

J. Log. Program., 1985

1983

Some Aspects of the Static Semantics of Logic Programs with Monadic Functions.

Patrizia Asirelli

Proceedings of the Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June, 1983

1979

A Flexible Environment for Program Development Based on a Symbolic Interpreter.

Patrizia Asirelli, Pierpaolo Degano, Giorgio Levi, Alberto Martelli, Ugo Montanari, Giuliano Pacini, Franco Sirovich, Franco Turini

Proceedings of the 4th International Conference on Software Engineering, 1979