- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j28 |      | Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi: A logical verification methodology for service-oriented computing. ACM Trans. Softw. Eng. Methodol. 21(3): 16 (2012) |
| c57 | | Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi: A Compositional Framework to Derive Product Line Behavioural Descriptions. ISoLA (1) 2012: 146-161 |
| c56 | | Alessandro Fantechi, Francesco Flammini, Stefania Gnesi: Formal Methods for Intelligent Transportation Systems. ISoLA (2) 2012: 187-189 |
| c55 | | Alessandro Fantechi: Distributing the Challenge of Model Checking Interlocking Control Tables. ISoLA (2) 2012: 276-289 |
| c54 | | Alessio Ferrari, Alessandro Fantechi, Stefania Gnesi: Lessons Learnt from the Adoption of Formal Model-Based Development. NASA Formal Methods 2012: 24-38 |
| c53 | | |
| 2011 | ||
| j27 | | Alessio Ferrari, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi, Matteo Tempestini: Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer. IJERTCS 2(2): 42-61 (2011) |
| j26 | | Darren D. Cofer, Alessandro Fantechi, Stefan Leue, Pedro Merino: Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008). Sci. Comput. Program. 76(2): 63-64 (2011) |
| j25 | | Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti: A state/event-based model-checking approach for the analysis of abstract system properties. Sci. Comput. Program. 76(2): 119-135 (2011) |
| c52 | | Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi: A Model-Checking Tool for Families of Services. FMOODS/FORTE 2011: 44-58 |
| c51 | | Alessandro Fantechi, Stefania Gnesi: On the Adoption of Model Checking in Safety-Related Software Industry. SAFECOMP 2011: 383-396 |
| c50 | | Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi, José Luiz Fiadeiro: Variability and Rigour in Service Computing Engineering. SEW 2011: 122-127 |
| c49 | | Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi: Formal Description of Variability in Product Families. SPLC 2011: 130-139 |
| 2010 | ||
| c48 | | Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi, Gianluigi Zavattaro: Modeling Variability, Evolvability, and Adaptability in Service Computing (a vision for future research). ACoTA 2010: 14-19 |
| c47 | | Alessio Ferrari, Daniele Grasso, Gianluca Magnani, Alessandro Fantechi, Matteo Tempestini: The Metrô Rio ATP Case Study. FMICS 2010: 1-16 |
| c46 | | Alessio Ferrari, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi: Model Checking Interlocking Control Tables. FORMS/FORMAT 2010: 107-115 |
| c45 | | Daniele Grasso, Alessandro Fantechi, Alessio Ferrari, Carlo Becheri, Stefano Bacherini: Model Based Testing and Abstract Interpretation in the Railway Signaling Context. ICST 2010: 103-106 |
| c44 | | Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi: A Logical Framework to Deal with Variability. IFM 2010: 43-58 |
| c43 | | Antonio Bucchiarone, Stefania Gnesi, Alessandro Fantechi, Gianluca Trentanni: An experience in using a tool for evaluating a large set of natural language requirements. SAC 2010: 281-286 |
| c42 | | Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi: A Deontic Logical Framework for Modelling Product Families. VaMoS 2010: 37-44 |
| 2009 | ||
| c41 | | Alessio Ferrari, Alessandro Fantechi, Stefano Bacherini, Niccolò Zingoni: Formal Development for Railway Signaling Using Commercial Tools. FMICS 2009: 197-198 |
| c40 |  | Alessio Ferrari, Alessandro Fantechi, Stefano Bacherini, Niccolò Zingoni: Modeling Guidelines for Code Generation in the Railway Signaling Context. NASA Formal Methods 2009: 166-170 |
| c39 | | Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi: Deontic Logics for Modeling Behavioural Variability. VaMoS 2009: 71-76 |
| e2 | | Darren D. Cofer, Alessandro Fantechi (Eds.): Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers. Lecture Notes in Computer Science 5596, Springer 2009, isbn 978-3-642-03239-4 |
| 2008 | ||
| j24 | | Michele Banci, Stefania Gnesi, Alessandro Fantechi, Giovanni Lombardi: Model driven development of railway systems using diversity. Comput. Syst. Sci. Eng. 23(5) (2008) |
| j23 | | Antonio Bucchiarone, Stefania Gnesi, Gianluca Trentanni, Alessandro Fantechi: Evaluation of Natural Language Requirements in the MODCONTROL Project. ERCIM News 2008(75) (2008) |
| j22 | | Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi: Experimenting with Diversity in the Formal Development of Railway Signalling Systems. ERCIM News 2008(75) (2008) |
| c38 | | |
| c37 | | Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi: A Model Checking Approach for Verifying COWS Specifications. FASE 2008: 230-245 |
| c36 | | Alessandro Fantechi, Alessio Ferrari: Panel Discussion on Formal Methods in Commercial Software Development Tools. FMICS 2008: 4-6 |
| c35 | | 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 |
| c34 | | Antonio Bucchiarone, Stefania Gnesi, Giuseppe Lami, Gianluca Trentanni, Alessandro Fantechi: QuARS Express - A Tool Demonstration. ASE 2008: 473-474 |
| c33 | | Alessandro Fantechi, Stefania Gnesi: Formal Modeling for Product Families Engineering. SPLC 2008: 193-202 |
| 2007 | ||
| c32 | | 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 |
| c31 | | Michele Banci, Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi: Model Driven Development and Code Generation: An Automotive Case Study. SDL Forum 2007: 19-34 |
| c30 | | Michele Banci, Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi: Experimenting with diversity in the model driven development of a railway signaling system. EFTS 2007: 5 |
| c29 | | Alessandro Fantechi, Stefania Gnesi: A behavioural model for product families. ESEC/SIGSOFT FSE 2007: 521-524 |
| c28 | | Alessandro Fantechi, Stefania Gnesi: A behavioural model for product families. ESEC/SIGSOFT FSE (Companion) 2007: 521-524 |
| 2006 | ||
| c27 | | Stefano Bacherini, Alessandro Fantechi, Matteo Tempestini, Niccolò Zingoni: A Story About Formal Methods Adoption by a Railway Signaling Manufacturer. FM 2006: 179-189 |
| c26 | | Alessandro Fantechi, Stefania Gnesi, Laura Semini: Achieving Fault Tolerance by a Formally Validated Interaction Policy. RODIN Book 2006: 133-152 |
| p1 | | 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 | ||
| j21 | | Cyril Carrez, Alessandro Fantechi, Elie Najm: Assembling components with behavioural contracts. Annales des Télécommunications 60(7-8): 989-1022 (2005) |
| j20 | | 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) |
| j19 | | Alessandro Fantechi, Stefania Gnesi, Adriana Maggiore: Enhancing Test Coverage by Back-tracing Model-checker Counterexamples. Electr. Notes Theor. Comput. Sci. 116: 199-211 (2005) |
| j18 | | Michele Banci, Alessandro Fantechi: Geographical Versus Functional Modelling by Statecharts of Interlocking Systems. Electr. Notes Theor. Comput. Sci. 133: 3-19 (2005) |
| j17 | | 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) |
| c25 | | Alessandro Fantechi, Emilio Spinicci: A Content Analysis Technique for Inconsistency Detection in Software Requirements Documents. WER 2005: 245-256 |
| 2004 | ||
| c24 | | Gaetano Cascini, Alessandro Fantechi, Emilio Spinicci: Natural Language Processing of Patents and Technical Documentation. Document Analysis Systems 2004: 508-520 |
| c23 | | Robert Meolic, Alessandro Fantechi, Stefania Gnesi: Witness and Counterexample Automata for ACTL. FORTE 2004: 259-275 |
| c22 | | 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 | ||
| j16 | | Alessandro Fantechi, Emilio Spinicci: Modelling and Validating a multiple-configuration railway signalling system using SDL. Electr. Notes Theor. Comput. Sci. 82(6): 66-76 (2003) |
| j15 | | Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami, Alessandro Maccari: Applications of linguistic techniques for use case analysis. Requir. Eng. 8(3): 161-170 (2003) |
| c21 | | Cyril Carrez, Alessandro Fantechi, Elie Najm: Behavioural Contracts for a Sound Assembly of Components. FORTE 2003: 111-126 |
| c20 | | Alessandro Fantechi, Stefania Gnesi, Isabel John, Giuseppe Lami, Jörg Dörr: Elicitation of Use Cases for Product Lines. PFE 2003: 152-167 |
| 2002 | ||
| j14 | | Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi: Model checking fault tolerant systems. Softw. Test., Verif. Reliab. 12(4): 251-275 (2002) |
| c19 | | Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami, Alessandro Maccari: Application of Linguistic Techniques for Use Case Analysis. RE 2002: 157-164 |
| 2001 | ||
| j13 | | 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) |
| j12 | | Andrea Bondavalli, Alessandro Fantechi, Diego Latella, Luca Simoncini: Design Validation of Embedded Dependable Systems. IEEE Micro 21(5): 52-62 (2001) |
| 2000 | ||
| j11 | | Cinzia Bernardeschi, Alessandro Fantechi, Luca Simoncini: Formally Verifying Fault Tolerant System Designs. Comput. J. 43(3): 191-205 (2000) |
| 1999 | ||
| j10 | | 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) |
| c18 | | Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi: Formal Validation of the GUARDS Inter-Consistency Mechanism. SAFECOMP 1999: 420-430 |
| e1 | | Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri (Eds.): 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. IFIP Conference Proceedings 139, Kluwer 1999, isbn 0-7923-8429-6 |
| 1998 | ||
| j9 | | 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) |
| c17 | | Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci: A Symbolic Model Checker for ACTL. FM-Trends 1998: 228-242 |
| c16 | | Cinzia Bernardeschi, Luca Simoncini, Alessandro Fantechi: Validating the Design of Dependable Systems. ISORC 1998: 364-372 |
| 1997 | ||
| j8 | | Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi: An industrial application for the JACK environment. Journal of Systems and Software 39(3): 249-264 (1997) |
| c15 | | |
| 1996 | ||
| c14 | | Alessandro Fantechi, Stefania Gnesi, Diego Latella: Towards Automatic Temporal Logic Verification of Value Passing Process Algebra Using Abstract Interpretation. CONCUR 1996: 563-578 |
| c13 | | Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Giorgio Mongardi: Proving Safety Properties for Embedded Control Systems. EDCC 1996: 321-332 |
| 1995 | ||
| c12 | | Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Gioia Ristori: Verifying hardware components within JACK. CHARME 1995: 246-260 |
| c11 | | 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 |
| c10 | | Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi: Model Checking of Non-Finite State Processes by Finite Approximations. TACAS 1995: 195-215 |
| 1994 | ||
| j7 | | Alessandro Fantechi, Stefania Gnesi, Gioia Ristori: Model Checking for Action-Based Logics. Formal Methods in System Design 4(2): 187-203 (1994) |
| j6 | | 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) |
| c9 | | Cinzia Bernardeschi, Alessandro Fantechi, Luca Simoncini: Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: A Case Study. EDCC 1994: 77-94 |
| c8 | | Alessandro Fantechi, Stefania Gnesi, R. Sacchelli: Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling. FORTE 1994: 218-220 |
| 1993 | ||
| j5 | | 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) |
| c7 | | Alessandro Fantechi, Stefania Gnesi, V. Perticaroli: An Expressive Logic for Basic Process Algebra. MFCS 1993: 453-462 |
| 1991 | ||
| j4 | | Alessandro Fantechi, Stefania Gnesi: Compositionality and Bisimulation: A Negative Result. Inf. Process. Lett. 39(2): 109-114 (1991) |
| j3 | | Alessandro Fantechi, Stefania Gnesi, F. Leggio, P. Talini: Executing the formal definition of Ada. SIGPLAN Notices 26(3): 25-34 (1991) |
| c6 | | 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 |
| 1990 | ||
| c5 | | Alessandro Fantechi, Stefania Gnesi, Gianluca Mazzarini: How Expressive Are LOTOS Behaviour Expressions? FORTE 1990: 17-32 |
| c4 | | Alessandro Fantechi, Stefania Gnesi, Gioia Ristori: Compositional logic semantics and LOTOS. PSTV 1990: 365-378 |
| 1989 | ||
| c3 | | Alessandro Fantechi, Stefania Gnesi, Cosimo Laneve: An Expressive Temporal Logic for Basic LOTOS. FORTE 1989: 261-276 |
| 1987 | ||
| j2 | | 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) |
| c2 | | Alessandro Fantechi, Stefania Gnesi, Paola Inverardi, Ugo Montanari: An Executon Environment for the Formal Definiton of Ada. ESEC 1987: 327-335 |
| 1986 | ||
| j1 | | 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) |
| c1 | | Luca Aceto, Rocco De Nicola, Alessandro Fantechi: Testing Equivalences for Event Structures. Mathematical Models for the Semantics of Parallelism 1986: 1-20 |
Colors in the list of coauthors
Last update Thu May 23 02:34:10 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page