Patrizia Asirelli
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
10
Active years
1979–2012
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | ISoLA | A Compositional Framework to Derive Product Line Behavioural Descriptions. | Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi |
| 2011 | FORTE | A Model-Checking Tool for Families of Services. | Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi |
| 2011 | ICSE | Design and validation of variability in product lines. | Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti |
| 2011 | SPLC | Formal Description of Variability in Product Families. | Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi |
| 2010 | IFM | A Logical Framework to Deal with Variability. | Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi |
| 1996 | SOFSEM | A Deductive Database Support to the Specification of Concurrent Systems. | Patrizia Asirelli, Stefania Gnesi, Maria Cristina Rossi |
| 1995 | LPNMR | An Operator for Composing Deductive Databases with Theories of Constraints. | Domenico Aquilino, Patrizia Asirelli, Chiara Renso, Franco Turini |
| 1992 | SEKE | Prototyping in the GEDBLOG System. | Domenico Aquilino, Patrizia Asirelli, Paola Inverardi |
| 1988 | ICDT | Improving Integrity Constraint Checking in Deductive Databases. | Patrizia Asirelli, Paola Inverardi, A. Mustaro |
| 1983 | ICLP | Some Aspects of the Static Semantics of Logic Programs with Monadic Functions. | Patrizia Asirelli |
| 1979 | ICSE | 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 |