The SCEAS System
Navigation Menu

Search the dblp DataBase


Angelo Gargantini: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Angelo Gargantini, Elvinia Riccobene
    Encoding Abstract State Machines in PVS. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:303-322 [Conf]
  2. Angelo Gargantini, Elvinia Riccobene, Salvatore Rinzivillo
    Using Spin to Generate Testsfrom ASM Specifications. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2003, pp:263-277 [Conf]
  3. Angelo Gargantini
    Conformance Testing. [Citation Graph (0, 0)][DBLP]
    Model-Based Testing of Reactive Systems, 2004, pp:87-111 [Conf]
  4. Angelo Gargantini, Angelo Morzenti
    TRIO Specification of a Steam Boiler Controller. [Citation Graph (0, 0)][DBLP]
    Formal Methods for Industrial Applications, 1995, pp:218-232 [Conf]
  5. Andrea Alborghetti, Angelo Gargantini, Angelo Morzenti
    Providing Automated Support to Deductive Analysis of Time Critical Systems. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 1997, pp:211-226 [Conf]
  6. Angelo Gargantini, Constance L. Heitmeyer
    Using Model Checking to Generate Tests from Requirements Specifications. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 1999, pp:146-162 [Conf]
  7. Angelo Gargantini, Elvinia Riccobene
    Automatic Model Driven Animation of SCR Specifications. [Citation Graph (0, 0)][DBLP]
    FASE, 2003, pp:294-309 [Conf]
  8. Angelo Gargantini, Elvinia Riccobene
    ViBBA: A Toolbox for Automatic Model Driven Animation. [Citation Graph (0, 0)][DBLP]
    SimVis, 2005, pp:101-114 [Conf]
  9. Angelo Gargantini, Angelo Morzenti
    Automated Verification of Continuous Time Systems by Discrete Temporal Induction. [Citation Graph (0, 0)][DBLP]
    TIME, 2006, pp:19-26 [Conf]
  10. Angelo Gargantini, Dino Mandrioli, Angelo Morzenti
    Dealing with Zero-Time Transitions in Axiom Systems. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1999, v:150, n:2, pp:119-131 [Journal]
  11. Angelo Gargantini, Elvinia Riccobene
    ASM-Based Testing: Coverage Criteria and Automatic Test Sequence. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2001, v:7, n:11, pp:1050-1067 [Journal]
  12. Miguel Felder, Angelo Gargantini, Angelo Morzenti
    A Theory of Implementation and Refinement in Timed Petri Nets. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:202, n:1-2, pp:127-161 [Journal]
  13. Angelo Gargantini, Angelo Morzenti
    Automated deductive requirements analysis of critical systems. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2001, v:10, n:3, pp:255-307 [Journal]
  14. Patrizia Scandurra, Angelo Gargantini, Claudia Genovese, Tiziana Genovese, Elvinia Riccobene
    A Concrete Syntax Derived From the Abstract State Machine Metamodel. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2005, pp:345-368 [Conf]
  15. Angelo Gargantini
    Using Model Checking to Generate Fault Detecting Tests. [Citation Graph (0, 0)][DBLP]
    TAP, 2007, pp:189-206 [Conf]

  16. Exploiting the ASM Method for Validation & Verification of Embedded Systems. [Citation Graph (, )][DBLP]

  17. A Scenario-Based Validation Language for ASMs. [Citation Graph (, )][DBLP]

  18. AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications. [Citation Graph (, )][DBLP]

  19. Ten Reasons to Metamodel ASMs. [Citation Graph (, )][DBLP]

  20. Exploiting the ASM method within the Model-driven Engineering paradigm. [Citation Graph (, )][DBLP]

  21. Experiments on the Test Case Length in Specification Based Test Case Generation. [Citation Graph (, )][DBLP]

  22. Building T-wise Combinatorial Interaction Test Suites by Means of Grid Computing. [Citation Graph (, )][DBLP]

  23. Model-Driven Language Engineering: The ASMETA Case Study. [Citation Graph (, )][DBLP]

  24. Integrating Formal Methods with Model-Driven Engineering. [Citation Graph (, )][DBLP]

  25. A Logic-Based Approach to Combinatorial Testing with Constraints. [Citation Graph (, )][DBLP]

  26. Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing. [Citation Graph (, )][DBLP]

  27. A model-driven validation & verification environment for embedded systems. [Citation Graph (, )][DBLP]

  28. An Evaluation of Model Checkers for Specification Based Test Case Generation. [Citation Graph (, )][DBLP]

  29. Scenario-based Validation of Embedded Systems. [Citation Graph (, )][DBLP]

  30. A semantic framework for metamodel-based languages. [Citation Graph (, )][DBLP]

Search in 0.028secs, Finished in 0.031secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002