 | 2011 |
|---|
| 5 |       | Barbara Gallina,
Sasikumar Punnekkat:
FI4FA: A Formalism for Incompletion, Inconsistency, Interference and Impermanence Failures' Analysis.
EUROMICRO-SEAA 2011: 493-500 |
| 2009 |
|---|
| 4 | | Barbara Gallina,
Nicolas Guelfi,
Pierre Kelsen:
Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development.
SEW 2009: 94-103 |
| 2008 |
|---|
| 3 | | Barbara Gallina,
Nicolas Guelfi:
A Product Line Perspective for Quality Reuse of Development Frameworks for Distributed Transactional Applications.
COMPSAC 2008: 739-744 |
| 2007 |
|---|
| 2 | | Barbara Gallina,
Nicolas Guelfi,
Alexander Romanovsky:
Coordinated Atomic Actions for Dependable Distributed Systems: the Current State in Concepts, Semantics and Verification Means.
ISSRE 2007: 29-38 |
| 1 | | Barbara Gallina,
Nicolas Guelfi:
A Template for Requirement Elicitation of Dependable Product Lines.
REFSQ 2007: 63-77 |
Data released under the ODC-BY 1.0 license — See also our legal information page