| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
A model advisor for NuSMV specifications.  |
ISSE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
A model-driven process for engineering a toolset for a formal method. |
Softw., Pract. Exper. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Gargantini |
Using Stereoscopic 3D Technologies for the Diagnosis and Treatment of Amblyopia in Children |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Angelo Gargantini, Gordon Fraser |
Generating minimal fault detecting test suites for general Boolean specifications. |
Information & Software Technology |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
CoMA: Conformance Monitoring of Java Programs by Abstract State Machines. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Gargantini |
Using 3D Vision for the Diagnosis and Treatment of Amblyopia in Young Children. |
HEALTHINF |
2011 |
DBLP BibTeX RDF |
|
| 1 | Andrea Calvagna, Angelo Gargantini |
A Formal Logic Approach to Constrained Combinatorial Testing. |
J. Autom. Reasoning |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon Fraser, Angelo Gargantini |
Generating Minimal Fault Detecting Test Suites for Boolean Expressions. |
ICST Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon Fraser, Angelo Gargantini (eds.) |
Tests and Proofs, 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings |
TAP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications. |
ASM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon Fraser, Angelo Gargantini, Franz Wotawa |
On the order of test goals in specification-based testing. |
J. Log. Algebr. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
A semantic framework for metamodel-based languages. |
Autom. Softw. Eng. |
2009 |
DBLP DOI BibTeX RDF |
Semantic (meta-)hooking, Weaving behaviour, Formal methods, Metamodelling, Model driven engineering, Abstract state machines, Model-based development, Language semantics |
| 1 | Gordon Fraser, Angelo Gargantini |
An Evaluation of Model Checkers for Specification Based Test Case Generation. |
ICST |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Calvagna, Angelo Gargantini |
Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing. |
TAP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Calvagna, Angelo Gargantini, Emiliano Tramontana |
Building T-wise Combinatorial Interaction Test Suites by Means of Grid Computing. |
WETICE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
Integrating Formal Methods with Model-Driven Engineering. |
ICSEA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
Ten Reasons to Metamodel ASMs. |
Rigorous Methods for Software Construction and Analysis |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon Fraser, Angelo Gargantini |
Experiments on the Test Case Length in Specification Based Test Case Generation. |
AST |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
A Metamodel-based Language and a Simulation Engine for Abstract State Machines. |
J. UCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Andrea Calvagna, Angelo Gargantini |
A Logic-Based Approach to Combinatorial Testing with Constraints. |
TAP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
Model-Driven Language Engineering: The ASMETA Case Study. |
ICSEA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra, Alessandro Carioni |
Scenario-based Validation of Embedded Systems. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
A model-driven validation & verification environment for embedded systems. |
SIES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
A Scenario-Based Validation Language for ASMs. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
Exploiting the ASM Method for Validation & Verification of Embedded Systems. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Gargantini |
Using Model Checking to Generate Fault Detecting Tests. |
TAP |
2007 |
DBLP DOI BibTeX RDF |
test, model based testing, Abstract State Machines, fault based testing |
| 1 | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
Exploiting the ASM method within the Model-driven Engineering paradigm. |
Rigorous Methods for Software Construction and Analysis |
2007 |
DBLP BibTeX RDF |
|
| 1 | Angelo Gargantini, Angelo Morzenti |
Automated Verification of Continuous Time Systems by Discrete Temporal Induction. |
TIME |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Gargantini, Elvinia Riccobene |
ViBBA: A Toolbox for Automatic Model Driven Animation. |
SimVis |
2005 |
DBLP BibTeX RDF |
|
| 1 | Patrizia Scandurra, Angelo Gargantini, Claudia Genovese, Tiziana Genovese, Elvinia Riccobene |
A Concrete Syntax Derived From the Abstract State Machine Metamodel. |
Abstract State Machines |
2005 |
DBLP BibTeX RDF |
|
| 1 | Angelo Gargantini |
Conformance Testing. |
Model-Based Testing of Reactive Systems |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Gargantini, Elvinia Riccobene |
Automatic Model Driven Animation of SCR Specifications. |
FASE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger, Angelo Gargantini, Elvinia Riccobene (eds.) |
Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings |
Abstract State Machines |
2003 |
DBLP BibTeX RDF |
|
| 1 | Angelo Gargantini, Elvinia Riccobene, Salvatore Rinzivillo |
Using Spin to Generate Testsfrom ASM Specifications. |
Abstract State Machines |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Gargantini, Elvinia Riccobene |
ASM-Based Testing: Coverage Criteria and Automatic Test Sequence. |
J. UCS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Angelo Gargantini, Angelo Morzenti |
Automated deductive requirements analysis of critical systems. |
ACM Trans. Softw. Eng. Methodol. |
2001 |
DBLP DOI BibTeX RDF |
finite variability, temporal logic, theorem proving, hybrid systems, state-transition systems |
| 1 | Angelo Gargantini, Elvinia Riccobene |
Encoding Abstract State Machines in PVS. |
Abstract State Machines |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Gargantini, Dino Mandrioli, Angelo Morzenti |
Dealing with Zero-Time Transitions in Axiom Systems. |
Inf. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Gargantini, Constance L. Heitmeyer |
Using Model Checking to Generate Tests from Requirements Specifications. |
ESEC / SIGSOFT FSE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Felder, Angelo Gargantini, Angelo Morzenti |
A Theory of Implementation and Refinement in Timed Petri Nets. |
Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Alborghetti, Angelo Gargantini, Angelo Morzenti |
Providing Automated Support to Deductive Analysis of Time Critical Systems. |
ESEC / SIGSOFT FSE |
1997 |
DBLP DOI BibTeX RDF |
time- and safety-critical systems, verification, formal methods, specification, temporal logic, validation, case study, automated theorem proving, experience report |
| 1 | Angelo Gargantini, Angelo Morzenti |
TRIO Specification of a Steam Boiler Controller. |
Formal Methods for Industrial Applications |
1995 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")