The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alessandro Fantechi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. Alessandro Fantechi, Paolo Nesi, E. Somma
    Object-Oriented Analysis of COBOL. [Citation Graph (0, 0)][DBLP]
    CSMR, 1997, pp:157-164 [Conf]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. Alessandro Fantechi, Stefania Gnesi, Cosimo Laneve
    An Expressive Temporal Logic for Basic LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:261-276 [Conf]
  14. Alessandro Fantechi, Stefania Gnesi, Gianluca Mazzarini
    How Expressive Are LOTOS Behaviour Expressions? [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:17-32 [Conf]
  15. 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]
  16. Robert Meolic, Alessandro Fantechi, Stefania Gnesi
    Witness and Counterexample Automata for ACTL. [Citation Graph (0, 0)][DBLP]
    FORTE, 2004, pp:259-275 [Conf]
  17. Cinzia Bernardeschi, Luca Simoncini, Alessandro Fantechi
    Validating the Design of Dependable Systems. [Citation Graph (0, 0)][DBLP]
    ISORC, 1998, pp:364-372 [Conf]
  18. Alessandro Fantechi, Stefania Gnesi, V. Perticaroli
    An Expressive Logic for Basic Process Algebra. [Citation Graph (0, 0)][DBLP]
    MFCS, 1993, pp:453-462 [Conf]
  19. 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]
  20. Alessandro Fantechi, Stefania Gnesi, Gioia Ristori
    Compositional logic semantics and LOTOS. [Citation Graph (0, 0)][DBLP]
    PSTV, 1990, pp:365-378 [Conf]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. 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]
  43. 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]
  44. 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]
  45. 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]
  46. 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]
  47. 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]
  48. 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]
  49. 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]
  50. Alessandro Fantechi, Stefania Gnesi
    A behavioural model for product families. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2007, pp:521-524 [Conf]

  51. Session Types for Orchestration Charts. [Citation Graph (, )][DBLP]


  52. A Model Checking Approach for Verifying COWS Specifications. [Citation Graph (, )][DBLP]


  53. SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. [Citation Graph (, )][DBLP]


  54. QuARS Express - A Tool Demonstration. [Citation Graph (, )][DBLP]


  55. An experience in using a tool for evaluating a large set of natural language requirements. [Citation Graph (, )][DBLP]


  56. Experimenting with diversity in the model driven development of a railway signaling system. [Citation Graph (, )][DBLP]


  57. A behavioural model for product families. [Citation Graph (, )][DBLP]


  58. Formal Modeling for Product Families Engineering. [Citation Graph (, )][DBLP]


  59. An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications. [Citation Graph (, )][DBLP]


  60. Panel Discussion on Formal Methods in Commercial Software Development Tools. [Citation Graph (, )][DBLP]


  61. Formal Development for Railway Signaling Using Commercial Tools. [Citation Graph (, )][DBLP]


  62. The Metrô Rio ATP Case Study. [Citation Graph (, )][DBLP]


  63. Model Based Testing and Abstract Interpretation in the Railway Signaling Context. [Citation Graph (, )][DBLP]


  64. A Deontic Logical Framework for Modelling Product Families. [Citation Graph (, )][DBLP]


  65. Deontic Logics for Modeling Behavioural Variability. [Citation Graph (, )][DBLP]


Search in 0.008secs, Finished in 0.010secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002