| 2009 |
|---|
| 61 | EE | Patrizia Asirelli,
Maurice H. ter Beek,
Stefania Gnesi,
Alessandro Fantechi:
Deontic Logics for Modeling Behavioural Variability.
VaMoS 2009: 71-76 |
| 2008 |
|---|
| 60 | EE | Antonio Bucchiarone,
Stefania Gnesi,
Giuseppe Lami,
Gianluca Trentanni,
Alessandro Fantechi:
QuARS Express - A Tool Demonstration.
ASE 2008: 473-474 |
| 59 | EE | Alessandro Fantechi,
Elie Najm:
Session Types for Orchestration Charts.
COORDINATION 2008: 117-134 |
| 58 | EE | Alessandro Fantechi,
Stefania Gnesi,
Alessandro Lapadula,
Franco Mazzanti,
Rosario Pugliese,
Francesco Tiezzi:
A Model Checking Approach for Verifying COWS Specifications.
FASE 2008: 230-245 |
| 57 | EE | Martin Wirsing,
Matthias M. Hölzl,
Lucia Acciai,
Federico Banti,
Allan Clark,
Alessandro Fantechi,
Stephen Gilmore,
Stefania Gnesi,
László Gönczy,
Nora Koch,
Alessandro Lapadula,
Philip Mayer,
Franco Mazzanti,
Rosario Pugliese,
Andreas Schroeder,
Francesco Tiezzi,
Mirco Tribastone,
Dániel Varró:
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity.
ISoLA 2008: 170-190 |
| 56 | EE | Alessandro Fantechi,
Stefania Gnesi:
Formal Modeling for Product Families Engineering.
SPLC 2008: 193-202 |
| 2007 |
|---|
| 55 | EE | Michele Banci,
Alessandro Fantechi,
Stefania Gnesi,
Giovanni Lombardi:
Experimenting with diversity in the model driven development of a railway signaling system.
EFTS 2007: 5 |
| 54 | EE | Alessandro Fantechi,
Stefania Gnesi:
A behavioural model for product families.
ESEC/SIGSOFT FSE 2007: 521-524 |
| 53 | EE | Alessandro Fantechi,
Stefania Gnesi:
A behavioural model for product families.
ESEC/SIGSOFT FSE (Companion) 2007: 521-524 |
| 52 | EE | Maurice H. ter Beek,
Alessandro Fantechi,
Stefania Gnesi,
Franco Mazzanti:
An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications.
FMICS 2007: 133-148 |
| 51 | EE | Michele Banci,
Alessandro Fantechi,
Stefania Gnesi,
Giovanni Lombardi:
Model Driven Development and Code Generation: An Automotive Case Study.
SDL Forum 2007: 19-34 |
| 2006 |
|---|
| 50 | EE | Stefano Bacherini,
Alessandro Fantechi,
Matteo Tempestini,
Niccolò Zingoni:
A Story About Formal Methods Adoption by a Railway Signaling Manufacturer.
FM 2006: 179-189 |
| 49 | EE | Alessandro Fantechi,
Stefania Gnesi,
Laura Semini:
Achieving Fault Tolerance by a Formally Validated Interaction Policy.
RODIN Book 2006: 133-152 |
| 48 | EE | Antonia Bertolino,
Alessandro Fantechi,
Stefania Gnesi,
Giuseppe Lami:
Product Line Use Cases: Scenario-Based Specification and Testing of Requirements.
Software Product Lines 2006: 425-445 |
| 2005 |
|---|
| 47 | EE | Alessandro Fantechi,
Emilio Spinicci:
A Content Analysis Technique for Inconsistency Detection in Software Requirements Documents.
WER 2005: 245-256 |
| 46 | | Cyril Carrez,
Alessandro Fantechi,
Elie Najm:
Assembling components with behavioural contracts.
Annales des Télécommunications 60(7-8): 989-1022 (2005) |
| 45 | EE | Alessandro Fantechi,
Stefania Gnesi,
Adriana Maggiore:
Enhancing Test Coverage by Back-tracing Model-checker Counterexamples.
Electr. Notes Theor. Comput. Sci. 116: 199-211 (2005) |
| 44 | EE | Michele Banci,
Marcello Becucci,
Alessandro Fantechi,
Emilio Spinicci:
Validation Coverage for a Component-based SDL model of a Railway Signaling System.
Electr. Notes Theor. Comput. Sci. 116: 99-111 (2005) |
| 43 | EE | Michele Banci,
Alessandro Fantechi:
Geographical Versus Functional Modelling by Statecharts of Interlocking Systems.
Electr. Notes Theor. Comput. Sci. 133: 3-19 (2005) |
| 42 | EE | Marcello Becucci,
Alessandro Fantechi,
Marco Giromini,
Emilio Spinicci:
A comparison between handwritten and automatic generation of C code from SDL using static analysis.
Softw., Pract. Exper. 35(14): 1317-1347 (2005) |
| 2004 |
|---|
| 41 | EE | Gaetano Cascini,
Alessandro Fantechi,
Emilio Spinicci:
Natural Language Processing of Patents and Technical Documentation.
Document Analysis Systems 2004: 508-520 |
| 40 | EE | Robert Meolic,
Alessandro Fantechi,
Stefania Gnesi:
Witness and Counterexample Automata for ACTL.
FORTE 2004: 259-275 |
| 39 | EE | Alessandro Fantechi,
Stefania Gnesi,
Giuseppe Lami,
E. Nesti:
A Methodology for the Derivation and Verification of Use Cases for Product Lines.
SPLC 2004: 255-265 |
| 2003 |
|---|
| 38 | EE | Cyril Carrez,
Alessandro Fantechi,
Elie Najm:
Behavioural Contracts for a Sound Assembly of Components.
FORTE 2003: 111-126 |
| 37 | EE | Alessandro Fantechi,
Stefania Gnesi,
Isabel John,
Giuseppe Lami,
Jörg Dörr:
Elicitation of Use Cases for Product Lines.
PFE 2003: 152-167 |
| 36 | EE | Alessandro Fantechi,
Emilio Spinicci:
Modelling and Validating a multiple-configuration railway signalling system using SDL.
Electr. Notes Theor. Comput. Sci. 82(6): (2003) |
| 35 | EE | Alessandro Fantechi,
Stefania Gnesi,
Giuseppe Lami,
Alessandro Maccari:
Applications of linguistic techniques for use case analysis.
Requir. Eng. 8(3): 161-170 (2003) |
| 2002 |
|---|
| 34 | EE | Alessandro Fantechi,
Stefania Gnesi,
Giuseppe Lami,
Alessandro Maccari:
Application of Linguistic Techniques for Use Case Analysis.
RE 2002: 157-164 |
| 33 | EE | Cinzia Bernardeschi,
Alessandro Fantechi,
Stefania Gnesi:
Model checking fault tolerant systems.
Softw. Test., Verif. Reliab. 12(4): 251-275 (2002) |
| 2001 |
|---|
| 32 | EE | Nicoletta De Francesco,
Alessandro Fantechi,
Stefania Gnesi,
Paola Inverardi:
Finite Approximations for Model Checking Non-finite-state Processes.
Comput. J. 44(2): 109-123 (2001) |
| 31 | EE | Andrea Bondavalli,
Alessandro Fantechi,
Diego Latella,
Luca Simoncini:
Design Validation of Embedded Dependable Systems.
IEEE Micro 21(5): 52-62 (2001) |
| 2000 |
|---|
| 30 | | Cinzia Bernardeschi,
Alessandro Fantechi,
Luca Simoncini:
Formally Verifying Fault Tolerant System Designs.
Comput. J. 43(3): 191-205 (2000) |
| 1999 |
|---|
| 29 | | Paolo Ciancarini,
Alessandro Fantechi,
Roberto Gorrieri:
Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy
Kluwer 1999 |
| 28 | EE | Cinzia Bernardeschi,
Alessandro Fantechi,
Stefania Gnesi:
Formal Validation of the GUARDS Inter-Consistency Mechanism.
SAFECOMP 1999: 420-430 |
| 27 | EE | David Powell,
Jean Arlat,
Ljerka Beus-Dukic,
Andrea Bondavalli,
P. Coppola,
Alessandro Fantechi,
Eric Jenn,
Christophe Rabéjac,
Andy J. Wellings:
GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems.
IEEE Trans. Parallel Distrib. Syst. 10(6): 580-599 (1999) |
| 1998 |
|---|
| 26 | | Alessandro Fantechi,
Stefania Gnesi,
Franco Mazzanti,
Rosario Pugliese,
Enrico Tronci:
A Symbolic Model Checker for ACTL.
FM-Trends 1998: 228-242 |
| 25 | EE | Cinzia Bernardeschi,
Luca Simoncini,
Alessandro Fantechi:
Validating the Design of Dependable Systems.
ISORC 1998: 364-372 |
| 24 | | Cinzia Bernardeschi,
Alessandro Fantechi,
Stefania Gnesi,
Salvatore Larosa,
Giorgio Mongardi,
Dario Romano:
A Formal Verification Environment for Railway Signaling System Design.
Formal Methods in System Design 12(2): 139-161 (1998) |
| 1997 |
|---|
| 23 | EE | Alessandro Fantechi,
Paolo Nesi,
E. Somma:
Object-Oriented Analysis of COBOL.
CSMR 1997: 157-164 |
| 22 | EE | Cinzia Bernardeschi,
Alessandro Fantechi,
Stefania Gnesi:
An industrial application for the JACK environment.
Journal of Systems and Software 39(3): 249-264 (1997) |
| 1996 |
|---|
| 21 | | Alessandro Fantechi,
Stefania Gnesi,
Diego Latella:
Towards Automatic Temporal Logic Verification of Value Passing Process Algebra Using Abstract Interpretation.
CONCUR 1996: 563-578 |
| 20 | | Cinzia Bernardeschi,
Alessandro Fantechi,
Stefania Gnesi,
Giorgio Mongardi:
Proving Safety Properties for Embedded Control Systems.
EDCC 1996: 321-332 |
| 1995 |
|---|
| 19 | | Rocco De Nicola,
Alessandro Fantechi,
Stefania Gnesi,
Salvatore Larosa,
Gioia Ristori:
Verifying hardware components within JACK.
CHARME 1995: 246-260 |
| 18 | | Cinzia Bernardeschi,
Alessandro Fantechi,
Fabio Paternò:
Application of Correctness Preserving Transformations for Deriving Architectural Descriptions of Interactive Systems from User Interface Specifications.
SEKE 1995: 234-243 |
| 17 | | Nicoletta De Francesco,
Alessandro Fantechi,
Stefania Gnesi,
Paola Inverardi:
Model Checking of Non-Finite State Processes by Finite Approximations.
TACAS 1995: 195-215 |
| 1994 |
|---|
| 16 | | Cinzia Bernardeschi,
Alessandro Fantechi,
Luca Simoncini:
Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: A Case Study.
EDCC 1994: 77-94 |
| 15 | | Alessandro Fantechi,
Stefania Gnesi,
R. Sacchelli:
Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling.
FORTE 1994: 218-220 |
| 14 | | Alessandro Fantechi,
Stefania Gnesi,
Gioia Ristori:
Model Checking for Action-Based Logics.
Formal Methods in System Design 4(2): 187-203 (1994) |
| 13 | | Alessandro Fantechi,
Stefania Gnesi,
Gioia Ristori,
Michele Carenini,
Massimo Vanocchi,
Paolo Moreschini:
Assisting Requirement Formalization by Means of Natural Language Translation.
Formal Methods in System Design 4(3): 243-263 (1994) |
| 1993 |
|---|
| 12 | | Alessandro Fantechi,
Stefania Gnesi,
V. Perticaroli:
An Expressive Logic for Basic Process Algebra.
MFCS 1993: 453-462 |
| 11 | | Rocco De Nicola,
Alessandro Fantechi,
Stefania Gnesi,
Gioia Ristori:
An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems.
Computer Networks and ISDN Systems 25(7): 761-778 (1993) |
| 1991 |
|---|
| 10 | | Rocco De Nicola,
Alessandro Fantechi,
Stefania Gnesi,
Gioia Ristori:
An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems.
CAV 1991: 37-47 |
| 9 | | Alessandro Fantechi,
Stefania Gnesi:
Compositionality and Bisimulation: A Negative Result.
Inf. Process. Lett. 39(2): 109-114 (1991) |
| 8 | EE | Alessandro Fantechi,
Stefania Gnesi,
F. Leggio,
P. Talini:
Executing the formal definition of Ada.
SIGPLAN Notices 26(3): 25-34 (1991) |
| 1990 |
|---|
| 7 | | Alessandro Fantechi,
Stefania Gnesi,
Gianluca Mazzarini:
How Expressive Are LOTOS Behaviour Expressions?
FORTE 1990: 17-32 |
| 6 | | Alessandro Fantechi,
Stefania Gnesi,
Gioia Ristori:
Compositional logic semantics and LOTOS.
PSTV 1990: 365-378 |
| 1989 |
|---|
| 5 | | Alessandro Fantechi,
Stefania Gnesi,
Cosimo Laneve:
An Expressive Temporal Logic for Basic LOTOS.
FORTE 1989: 261-276 |
| 1987 |
|---|
| 4 | | Alessandro Fantechi,
Stefania Gnesi,
Paola Inverardi,
Ugo Montanari:
An Executon Environment for the Formal Definiton of Ada.
ESEC 1987: 327-335 |
| 3 | | Fabrizio Baiardi,
Alessandro Fantechi,
A. Tomasi,
Marco Vanneschi:
Distributed Implementation of Nested Communicating Sequential Processes: Communication and Termination.
J. Parallel Distrib. Comput. 4(6): 531-545 (1987) |
| 1986 |
|---|
| 2 | | Luca Aceto,
Rocco De Nicola,
Alessandro Fantechi:
Testing Equivalences for Event Structures.
Mathematical Models for the Semantics of Parallelism 1986: 1-20 |
| 1 | | Alessandro Fantechi,
Paola Inverardi,
Norma Lijtmaer:
Using High Level Languages for Local Computer Network Communication: A Case Study in Ada.
Softw., Pract. Exper. 16(8): 701-717 (1986) |
