Search the dblp DataBase
Alessandro Fantechi :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Luca Aceto , Rocco De Nicola , Alessandro Fantechi Testing Equivalences for Event Structures. [Citation Graph (0, 0)][DBLP ] Mathematical Models for the Semantics of Parallelism, 1986, pp:1-20 [Conf ] Rocco De Nicola , Alessandro Fantechi , Stefania Gnesi , Gioia Ristori An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. [Citation Graph (0, 0)][DBLP ] CAV, 1991, pp:37-47 [Conf ] Rocco De Nicola , Alessandro Fantechi , Stefania Gnesi , Salvatore Larosa , Gioia Ristori Verifying hardware components within JACK. [Citation Graph (0, 0)][DBLP ] CHARME, 1995, pp:246-260 [Conf ] Alessandro Fantechi , Stefania Gnesi , Diego Latella Towards Automatic Temporal Logic Verification of Value Passing Process Algebra Using Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] CONCUR, 1996, pp:563-578 [Conf ] Alessandro Fantechi , Paolo Nesi , E. Somma Object-Oriented Analysis of COBOL. [Citation Graph (0, 0)][DBLP ] CSMR, 1997, pp:157-164 [Conf ] Gaetano Cascini , Alessandro Fantechi , Emilio Spinicci Natural Language Processing of Patents and Technical Documentation. [Citation Graph (0, 0)][DBLP ] Document Analysis Systems, 2004, pp:508-520 [Conf ] Cinzia Bernardeschi , Alessandro Fantechi , Stefania Gnesi , Giorgio Mongardi Proving Safety Properties for Embedded Control Systems. [Citation Graph (0, 0)][DBLP ] EDCC, 1996, pp:321-332 [Conf ] Cinzia Bernardeschi , Alessandro Fantechi , Luca Simoncini Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: A Case Study. [Citation Graph (0, 0)][DBLP ] EDCC, 1994, pp:77-94 [Conf ] Alessandro Fantechi , Stefania Gnesi , Paola Inverardi , Ugo Montanari An Executon Environment for the Formal Definiton of Ada. [Citation Graph (0, 0)][DBLP ] ESEC, 1987, pp:327-335 [Conf ] Stefano Bacherini , Alessandro Fantechi , Matteo Tempestini , Niccolò Zingoni A Story About Formal Methods Adoption by a Railway Signaling Manufacturer. [Citation Graph (0, 0)][DBLP ] FM, 2006, pp:179-189 [Conf ] Alessandro Fantechi , Stefania Gnesi , Franco Mazzanti , Rosario Pugliese , Enrico Tronci A Symbolic Model Checker for ACTL. [Citation Graph (0, 0)][DBLP ] FM-Trends, 1998, pp:228-242 [Conf ] Cyril Carrez , Alessandro Fantechi , Elie Najm Behavioural Contracts for a Sound Assembly of Components. [Citation Graph (0, 0)][DBLP ] FORTE, 2003, pp:111-126 [Conf ] Alessandro Fantechi , Stefania Gnesi , Cosimo Laneve An Expressive Temporal Logic for Basic LOTOS. [Citation Graph (0, 0)][DBLP ] FORTE, 1989, pp:261-276 [Conf ] Alessandro Fantechi , Stefania Gnesi , Gianluca Mazzarini How Expressive Are LOTOS Behaviour Expressions? [Citation Graph (0, 0)][DBLP ] FORTE, 1990, pp:17-32 [Conf ] Alessandro Fantechi , Stefania Gnesi , R. Sacchelli Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling. [Citation Graph (0, 0)][DBLP ] FORTE, 1994, pp:218-220 [Conf ] Robert Meolic , Alessandro Fantechi , Stefania Gnesi Witness and Counterexample Automata for ACTL. [Citation Graph (0, 0)][DBLP ] FORTE, 2004, pp:259-275 [Conf ] Cinzia Bernardeschi , Luca Simoncini , Alessandro Fantechi Validating the Design of Dependable Systems. [Citation Graph (0, 0)][DBLP ] ISORC, 1998, pp:364-372 [Conf ] Alessandro Fantechi , Stefania Gnesi , V. Perticaroli An Expressive Logic for Basic Process Algebra. [Citation Graph (0, 0)][DBLP ] MFCS, 1993, pp:453-462 [Conf ] Alessandro Fantechi , Stefania Gnesi , Isabel John , Giuseppe Lami , Jörg Dörr Elicitation of Use Cases for Product Lines. [Citation Graph (0, 0)][DBLP ] PFE, 2003, pp:152-167 [Conf ] Alessandro Fantechi , Stefania Gnesi , Gioia Ristori Compositional logic semantics and LOTOS. [Citation Graph (0, 0)][DBLP ] PSTV, 1990, pp:365-378 [Conf ] Alessandro Fantechi , Stefania Gnesi , Giuseppe Lami , Alessandro Maccari Application of Linguistic Techniques for Use Case Analysis. [Citation Graph (0, 0)][DBLP ] RE, 2002, pp:157-164 [Conf ] Cinzia Bernardeschi , Alessandro Fantechi , Stefania Gnesi Formal Validation of the GUARDS Inter-Consistency Mechanism. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 1999, pp:420-430 [Conf ] Cinzia Bernardeschi , Alessandro Fantechi , Fabio Paternò Application of Correctness Preserving Transformations for Deriving Architectural Descriptions of Interactive Systems from User Interface Specifications. [Citation Graph (0, 0)][DBLP ] SEKE, 1995, pp:234-243 [Conf ] Alessandro Fantechi , Stefania Gnesi , Giuseppe Lami , E. Nesti A Methodology for the Derivation and Verification of Use Cases for Product Lines. [Citation Graph (0, 0)][DBLP ] SPLC, 2004, pp:255-265 [Conf ] Nicoletta De Francesco , Alessandro Fantechi , Stefania Gnesi , Paola Inverardi Model Checking of Non-Finite State Processes by Finite Approximations. [Citation Graph (0, 0)][DBLP ] TACAS, 1995, pp:195-215 [Conf ] Alessandro Fantechi , Emilio Spinicci A Content Analysis Technique for Inconsistency Detection in Software Requirements Documents. [Citation Graph (0, 0)][DBLP ] WER, 2005, pp:245-256 [Conf ] Alessandro Fantechi , Stefania Gnesi , Laura Semini Achieving Fault Tolerance by a Formally Validated Interaction Policy. [Citation Graph (0, 0)][DBLP ] RODIN Book, 2006, pp:133-152 [Conf ] Cyril Carrez , Alessandro Fantechi , Elie Najm Assembling components with behavioural contracts. [Citation Graph (0, 0)][DBLP ] Annales des Télécommunications, 2005, v:60, n:7-8, pp:989-1022 [Journal ] Cinzia Bernardeschi , Alessandro Fantechi , Luca Simoncini Formally Verifying Fault Tolerant System Designs. [Citation Graph (0, 0)][DBLP ] Comput. J., 2000, v:43, n:3, pp:191-205 [Journal ] Nicoletta De Francesco , Alessandro Fantechi , Stefania Gnesi , Paola Inverardi Finite Approximations for Model Checking Non-finite-state Processes. [Citation Graph (0, 0)][DBLP ] Comput. J., 2001, v:44, n:2, pp:109-123 [Journal ] Rocco De Nicola , Alessandro Fantechi , Stefania Gnesi , Gioia Ristori An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. [Citation Graph (0, 0)][DBLP ] Computer Networks and ISDN Systems, 1993, v:25, n:7, pp:761-778 [Journal ] Michele Banci , Marcello Becucci , Alessandro Fantechi , Emilio Spinicci Validation Coverage for a Component-based SDL model of a Railway Signaling System. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:116, n:, pp:99-111 [Journal ] Michele Banci , Alessandro Fantechi Geographical Versus Functional Modelling by Statecharts of Interlocking Systems. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:133, n:, pp:3-19 [Journal ] Alessandro Fantechi , Stefania Gnesi , Adriana Maggiore Enhancing Test Coverage by Back-tracing Model-checker Counterexamples. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:116, n:, pp:199-211 [Journal ] Alessandro Fantechi , Emilio Spinicci Modelling and Validating a multiple-configuration railway signalling system using SDL. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2003, v:82, n:6, pp:- [Journal ] Alessandro Fantechi , Stefania Gnesi , Gioia Ristori Model Checking for Action-Based Logics. [Citation Graph (0, 0)][DBLP ] Formal Methods in System Design, 1994, v:4, n:2, pp:187-203 [Journal ] Alessandro Fantechi , Stefania Gnesi , Gioia Ristori , Michele Carenini , M. Vanocchi , Paolo Moreschini Assisting Requirement Formalization by Means of Natural Language Translation. [Citation Graph (0, 0)][DBLP ] Formal Methods in System Design, 1994, v:4, n:3, pp:243-263 [Journal ] Cinzia Bernardeschi , Alessandro Fantechi , Stefania Gnesi , Salvatore Larosa , Giorgio Mongardi , Dario Romano A Formal Verification Environment for Railway Signaling System Design. [Citation Graph (0, 0)][DBLP ] Formal Methods in System Design, 1998, v:12, n:2, pp:139-161 [Journal ] Alessandro Fantechi , Stefania Gnesi Compositionality and Bisimulation: A Negative Result. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1991, v:39, n:2, pp:109-114 [Journal ] Fabrizio Baiardi , Alessandro Fantechi , A. Tomasi , Marco Vanneschi Distributed Implementation of Nested Communicating Sequential Processes: Communication and Termination. [Citation Graph (0, 0)][DBLP ] J. Parallel Distrib. Comput., 1987, v:4, n:6, pp:531-545 [Journal ] Cinzia Bernardeschi , Alessandro Fantechi , Stefania Gnesi An industrial application for the JACK environment. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 1997, v:39, n:3, pp:249-264 [Journal ] Andrea Bondavalli , Alessandro Fantechi , Diego Latella , Luca Simoncini Design Validation of Embedded Dependable Systems. [Citation Graph (0, 0)][DBLP ] IEEE Micro, 2001, v:21, n:5, pp:52-62 [Journal ] Alessandro Fantechi , Stefania Gnesi , Giuseppe Lami , Alessandro Maccari Applications of linguistic techniques for use case analysis. [Citation Graph (0, 0)][DBLP ] Requir. Eng., 2003, v:8, n:3, pp:161-170 [Journal ] Alessandro Fantechi , Stefania Gnesi , F. Leggio , P. Talini Executing the formal definition of Ada. [Citation Graph (0, 0)][DBLP ] SIGPLAN Notices, 1991, v:26, n:3, pp:25-34 [Journal ] Alessandro Fantechi , Paola Inverardi , Norma Lijtmaer Using High Level Languages for Local Computer Network Communication: A Case Study in Ada. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 1986, v:16, n:8, pp:701-717 [Journal ] Marcello Becucci , Alessandro Fantechi , Marco Giromini , Emilio Spinicci A comparison between handwritten and automatic generation of C code from SDL using static analysis. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 2005, v:35, n:14, pp:1317-1347 [Journal ] Cinzia Bernardeschi , Alessandro Fantechi , Stefania Gnesi Model checking fault tolerant systems. [Citation Graph (0, 0)][DBLP ] Softw. Test., Verif. Reliab., 2002, v:12, n:4, pp:251-275 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Parallel Distrib. Syst., 1999, v:10, n:6, pp:580-599 [Journal ] Michele Banci , Alessandro Fantechi , Stefania Gnesi , Giovanni Lombardi Model Driven Development and Code Generation: An Automotive Case Study. [Citation Graph (0, 0)][DBLP ] SDL Forum, 2007, pp:19-34 [Conf ] Alessandro Fantechi , Stefania Gnesi A behavioural model for product families. [Citation Graph (0, 0)][DBLP ] ESEC/SIGSOFT FSE, 2007, pp:521-524 [Conf ] Session Types for Orchestration Charts. [Citation Graph (, )][DBLP ] A Model Checking Approach for Verifying COWS Specifications. [Citation Graph (, )][DBLP ] SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. [Citation Graph (, )][DBLP ] QuARS Express - A Tool Demonstration. [Citation Graph (, )][DBLP ] An experience in using a tool for evaluating a large set of natural language requirements. [Citation Graph (, )][DBLP ] Experimenting with diversity in the model driven development of a railway signaling system. [Citation Graph (, )][DBLP ] A behavioural model for product families. [Citation Graph (, )][DBLP ] Formal Modeling for Product Families Engineering. [Citation Graph (, )][DBLP ] An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications. [Citation Graph (, )][DBLP ] Panel Discussion on Formal Methods in Commercial Software Development Tools. [Citation Graph (, )][DBLP ] Formal Development for Railway Signaling Using Commercial Tools. [Citation Graph (, )][DBLP ] The Metrô Rio ATP Case Study. [Citation Graph (, )][DBLP ] Model Based Testing and Abstract Interpretation in the Railway Signaling Context. [Citation Graph (, )][DBLP ] A Deontic Logical Framework for Modelling Product Families. [Citation Graph (, )][DBLP ] Deontic Logics for Modeling Behavioural Variability. [Citation Graph (, )][DBLP ] Search in 0.006secs, Finished in 0.458secs