Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Alessandro Fantechi" ( http://dblp.L3S.de/Authors/Alessandro_Fantechi )

URL (Homepage):  http://www.dsi.unifi.it/~fantechi/  Author page on DBLP  Author page in RDF  Community of Alessandro Fantechi in ASPL-2

Publication years (Num. hits)
1986-1994 (16) 1995-2001 (16) 2002-2005 (15) 2006-2008 (16) 2009-2011 (16) 2012 (1)
Publication types (Num. hits)
article(26) incollection(1) inproceedings(51) proceedings(2)
Venues (Conferences, Journals, ...)
FMICS(5) FORTE(5) Electr. Notes Theor. Comput. S...(4) Formal Methods in System Desig...(3) SPLC(3) Comput. J.(2) EDCC(2) ERCIM News(2) SAFECOMP(2) Sci. Comput. Program.(2) Softw., Pract. Exper.(2) VaMoS(2) ACoTA(1) Annales des Télécommunicatio...(1) ASE(1) CAV(1) More (+10 of total 58)
Authors
Alessandro Fantechi(80) Stefania Gnesi(51) Cinzia Bernardeschi(9) Maurice H. ter Beek(8) Alessio Ferrari(7) Gioia Ristori(6) Giuseppe Lami(6) Emilio Spinicci(5) Franco Mazzanti(5) Patrizia Asirelli(5) Daniele Grasso(4) Luca Simoncini(4) Michele Banci(4) Paola Inverardi(4) Rocco De Nicola(4) Antonio Bucchiarone(3) More (+10 of total 89)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 29 occurrences of 23 keywords
Results
Found 80 publication records. Showing 80 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Alessio Ferrari, Alessandro Fantechi, Stefania Gnesi Lessons Learnt from the Adoption of Formal Model-Based Development. Search on Bibsonomy NASA Formal Methods The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti A state/event-based model-checking approach for the analysis of abstract system properties. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Darren D. Cofer, Alessandro Fantechi, Stefan Leue, Pedro Merino Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008). Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alessio Ferrari, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi, Matteo Tempestini Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer. Search on Bibsonomy IJERTCS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi A Model-Checking Tool for Families of Services. Search on Bibsonomy FMOODS/FORTE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi Formal Description of Variability in Product Families. Search on Bibsonomy SPLC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alessandro Fantechi, Stefania Gnesi On the Adoption of Model Checking in Safety-Related Software Industry. Search on Bibsonomy SAFECOMP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Daniele Grasso, Alessandro Fantechi, Alessio Ferrari, Carlo Becheri, Stefano Bacherini Model Based Testing and Abstract Interpretation in the Railway Signaling Context. Search on Bibsonomy ICST The full citation details ... 2010 DBLP  DOI  BibTeX  RDF abstract interpretation, model based testing, safety critical, railway signaling
1Alessio Ferrari, Daniele Grasso, Gianluca Magnani, Alessandro Fantechi, Matteo Tempestini The Metrô Rio ATP Case Study. Search on Bibsonomy FMICS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Antonio Bucchiarone, Stefania Gnesi, Alessandro Fantechi, Gianluca Trentanni An experience in using a tool for evaluating a large set of natural language requirements. Search on Bibsonomy SAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF natural language automated analysis, natural language processing, requirements analysis
1Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi A Logical Framework to Deal with Variability. Search on Bibsonomy IFM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alessio Ferrari, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi Model Checking Interlocking Control Tables. Search on Bibsonomy FORMS/FORMAT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi, Gianluigi Zavattaro Modeling Variability, Evolvability, and Adaptability in Service Computing (a vision for future research). Search on Bibsonomy ACoTA The full citation details ... 2010 DBLP  BibTeX  RDF
1Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi A Deontic Logical Framework for Modelling Product Families. Search on Bibsonomy VaMoS The full citation details ... 2010 DBLP  BibTeX  RDF
1Alessio Ferrari, Alessandro Fantechi, Stefano Bacherini, Niccolò Zingoni Formal Development for Railway Signaling Using Commercial Tools. Search on Bibsonomy FMICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Darren 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 Search on Bibsonomy FMICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi Deontic Logics for Modeling Behavioural Variability. Search on Bibsonomy VaMoS The full citation details ... 2009 DBLP  BibTeX  RDF
1Antonio Bucchiarone, Stefania Gnesi, Gianluca Trentanni, Alessandro Fantechi Evaluation of Natural Language Requirements in the MODCONTROL Project. Search on Bibsonomy ERCIM News The full citation details ... 2008 DBLP  BibTeX  RDF
1Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi Experimenting with Diversity in the Formal Development of Railway Signalling Systems. Search on Bibsonomy ERCIM News The full citation details ... 2008 DBLP  BibTeX  RDF
1Alessandro Fantechi, Stefania Gnesi Formal Modeling for Product Families Engineering. Search on Bibsonomy SPLC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Antonio Bucchiarone, Stefania Gnesi, Giuseppe Lami, Gianluca Trentanni, Alessandro Fantechi QuARS Express - A Tool Demonstration. Search on Bibsonomy ASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Alessandro Fantechi, Alessio Ferrari Panel Discussion on Formal Methods in Commercial Software Development Tools. Search on Bibsonomy FMICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Alessandro Fantechi, Elie Najm Session Types for Orchestration Charts. Search on Bibsonomy COORDINATION The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi A Model Checking Approach for Verifying COWS Specifications. Search on Bibsonomy FASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Martin 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. Search on Bibsonomy ISoLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Maurice 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. Search on Bibsonomy FMICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Alessandro Fantechi, Stefania Gnesi A behavioural model for product families. Search on Bibsonomy ESEC/SIGSOFT FSE (Companion) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF software families, product lines, modal transition systems
1Alessandro Fantechi, Stefania Gnesi A behavioural model for product families. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF software families, product lines, modal transition systems
1Michele Banci, Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi Experimenting with diversity in the model driven development of a railway signaling system. Search on Bibsonomy EFTS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF formal modelling, automatic code generation
1Michele Banci, Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi Model Driven Development and Code Generation: An Automotive Case Study. Search on Bibsonomy SDL Forum The full citation details ... 2007 DBLP  DOI  BibTeX  RDF formal verification, formal modeling, automatic code generation, Service-Oriented applications, formal validation
1Antonia Bertolino, Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami Product Line Use Cases: Scenario-Based Specification and Testing of Requirements. Search on Bibsonomy Software Product Lines The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alessandro Fantechi, Stefania Gnesi, Laura Semini Achieving Fault Tolerance by a Formally Validated Interaction Policy. Search on Bibsonomy RODIN Book The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Integrity policies, fault tolerance, model checking, process algebras
1Stefano Bacherini, Alessandro Fantechi, Matteo Tempestini, Niccolò Zingoni A Story About Formal Methods Adoption by a Railway Signaling Manufacturer. Search on Bibsonomy FM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Marcello Becucci, Alessandro Fantechi, Marco Giromini, Emilio Spinicci A comparison between handwritten and automatic generation of C code from SDL using static analysis. Search on Bibsonomy Softw., Pract. Exper. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alessandro Fantechi, Stefania Gnesi, Adriana Maggiore Enhancing Test Coverage by Back-tracing Model-checker Counterexamples. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Michele Banci, Marcello Becucci, Alessandro Fantechi, Emilio Spinicci Validation Coverage for a Component-based SDL model of a Railway Signaling System. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Michele Banci, Alessandro Fantechi Geographical Versus Functional Modelling by Statecharts of Interlocking Systems. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Cyril Carrez, Alessandro Fantechi, Elie Najm Assembling components with behavioural contracts. Search on Bibsonomy Annales des Télécommunications The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alessandro Fantechi, Emilio Spinicci A Content Analysis Technique for Inconsistency Detection in Software Requirements Documents. Search on Bibsonomy WER The full citation details ... 2005 DBLP  BibTeX  RDF
1Robert Meolic, Alessandro Fantechi, Stefania Gnesi Witness and Counterexample Automata for ACTL. Search on Bibsonomy FORTE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami, E. Nesti A Methodology for the Derivation and Verification of Use Cases for Product Lines. Search on Bibsonomy SPLC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Gaetano Cascini, Alessandro Fantechi, Emilio Spinicci Natural Language Processing of Patents and Technical Documentation. Search on Bibsonomy Document Analysis Systems The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Alessandro Fantechi, Emilio Spinicci Modelling and Validating a multiple-configuration railway signalling system using SDL. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami, Alessandro Maccari Applications of linguistic techniques for use case analysis. Search on Bibsonomy Requir. Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Quality evaluation of requirements, Natural language processing, Requirements engineering, Use cases
1Cyril Carrez, Alessandro Fantechi, Elie Najm Behavioural Contracts for a Sound Assembly of Components. Search on Bibsonomy FORTE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Alessandro Fantechi, Stefania Gnesi, Isabel John, Giuseppe Lami, Jörg Dörr Elicitation of Use Cases for Product Lines. Search on Bibsonomy PFE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi Model checking fault tolerant systems. Search on Bibsonomy Softw. Test., Verif. Reliab. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami, Alessandro Maccari Application of Linguistic Techniques for Use Case Analysis. (PDF / PS) Search on Bibsonomy RE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Andrea Bondavalli, Alessandro Fantechi, Diego Latella, Luca Simoncini Design Validation of Embedded Dependable Systems. Search on Bibsonomy IEEE Micro The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi Finite Approximations for Model Checking Non-finite-state Processes. Search on Bibsonomy Comput. J. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Cinzia Bernardeschi, Alessandro Fantechi, Luca Simoncini Formally Verifying Fault Tolerant System Designs. Search on Bibsonomy Comput. J. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1David 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. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF integrity levels, fault tolerance, embedded systems, real-time, Computer architecture, generic architecture
1Paolo 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 Search on Bibsonomy FMOODS The full citation details ... 1999 DBLP  BibTeX  RDF
1Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi Formal Validation of the GUARDS Inter-Consistency Mechanism. Search on Bibsonomy SAFECOMP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Dario Romano A Formal Verification Environment for Railway Signaling System Design. Search on Bibsonomy Formal Methods in System Design The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Cinzia Bernardeschi, Luca Simoncini, Alessandro Fantechi Validating the Design of Dependable Systems. Search on Bibsonomy ISORC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci A Symbolic Model Checker for ACTL. Search on Bibsonomy FM-Trends The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi An industrial application for the JACK environment. Search on Bibsonomy Journal of Systems and Software The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Alessandro Fantechi, Paolo Nesi, E. Somma Object-Oriented Analysis of COBOL. Search on Bibsonomy CSMR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Alessandro Fantechi, Stefania Gnesi, Diego Latella Towards Automatic Temporal Logic Verification of Value Passing Process Algebra Using Abstract Interpretation. Search on Bibsonomy CONCUR The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Giorgio Mongardi Proving Safety Properties for Embedded Control Systems. Search on Bibsonomy EDCC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi Model Checking of Non-Finite State Processes by Finite Approximations. Search on Bibsonomy TACAS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Gioia Ristori Verifying hardware components within JACK. Search on Bibsonomy CHARME The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Cinzia Bernardeschi, Alessandro Fantechi, Fabio Paternò Application of Correctness Preserving Transformations for Deriving Architectural Descriptions of Interactive Systems from User Interface Specifications. Search on Bibsonomy SEKE The full citation details ... 1995 DBLP  BibTeX  RDF
1Alessandro Fantechi, Stefania Gnesi, Gioia Ristori Model Checking for Action-Based Logics. Search on Bibsonomy Formal Methods in System Design The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Alessandro Fantechi, Stefania Gnesi, Gioia Ristori, Michele Carenini, Massimo Vanocchi, Paolo Moreschini Assisting Requirement Formalization by Means of Natural Language Translation. Search on Bibsonomy Formal Methods in System Design The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Alessandro Fantechi, Stefania Gnesi, R. Sacchelli Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling. Search on Bibsonomy FORTE The full citation details ... 1994 DBLP  BibTeX  RDF
1Cinzia Bernardeschi, Alessandro Fantechi, Luca Simoncini Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: A Case Study. Search on Bibsonomy EDCC The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Gioia Ristori An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. Search on Bibsonomy Computer Networks and ISDN Systems The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Alessandro Fantechi, Stefania Gnesi, V. Perticaroli An Expressive Logic for Basic Process Algebra. Search on Bibsonomy MFCS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Alessandro Fantechi, Stefania Gnesi Compositionality and Bisimulation: A Negative Result. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Alessandro Fantechi, Stefania Gnesi, F. Leggio, P. Talini Executing the formal definition of Ada. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1991 DBLP  DOI  BibTeX  RDF Ada
1Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Gioia Ristori An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. Search on Bibsonomy CAV The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Alessandro Fantechi, Stefania Gnesi, Gianluca Mazzarini How Expressive Are LOTOS Behaviour Expressions? Search on Bibsonomy FORTE The full citation details ... 1990 DBLP  BibTeX  RDF
1Alessandro Fantechi, Stefania Gnesi, Gioia Ristori Compositional logic semantics and LOTOS. Search on Bibsonomy PSTV The full citation details ... 1990 DBLP  BibTeX  RDF
1Alessandro Fantechi, Stefania Gnesi, Cosimo Laneve An Expressive Temporal Logic for Basic LOTOS. Search on Bibsonomy FORTE The full citation details ... 1989 DBLP  BibTeX  RDF
1Fabrizio Baiardi, Alessandro Fantechi, A. Tomasi, Marco Vanneschi Distributed Implementation of Nested Communicating Sequential Processes: Communication and Termination. Search on Bibsonomy J. Parallel Distrib. Comput. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Alessandro Fantechi, Stefania Gnesi, Paola Inverardi, Ugo Montanari An Executon Environment for the Formal Definiton of Ada. Search on Bibsonomy ESEC The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Alessandro Fantechi, Paola Inverardi, Norma Lijtmaer Using High Level Languages for Local Computer Network Communication: A Case Study in Ada. Search on Bibsonomy Softw., Pract. Exper. The full citation details ... 1986 DBLP  BibTeX  RDF
1Luca Aceto, Rocco De Nicola, Alessandro Fantechi Testing Equivalences for Event Structures. Search on Bibsonomy Mathematical Models for the Semantics of Parallelism The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #80 of 80 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.