Angelo Gargantini

	2009
27		Andrea Calvagna, Angelo Gargantini: Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing. TAP 2009: 27-42
26		Andrea Calvagna, Angelo Gargantini, Emiliano Tramontana: Building T-wise Combinatorial Interaction Test Suites by Means of Grid Computing. WETICE 2009: 213-218
25		Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra: A semantic framework for metamodel-based languages. Autom. Softw. Eng. 16(3-4): 415-454 (2009)
	2008
24		Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra: Exploiting the ASM Method for Validation & Verification of Embedded Systems. ABZ 2008: 348
23		Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra: A Scenario-Based Validation Language for ASMs. ABZ 2008: 71-84
22		Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra, Alessandro Carioni: Scenario-based Validation of Embedded Systems. FDL 2008: 191-196
21		Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra: Model-Driven Language Engineering: The ASMETA Case Study. ICSEA 2008: 373-378
20		Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra: A model-driven validation & verification environment for embedded systems. SIES 2008: 241-244
19		Andrea Calvagna, Angelo Gargantini: A Logic-Based Approach to Combinatorial Testing with Constraints. TAP 2008: 66-83
18		Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra: A Metamodel-based Language and a Simulation Engine for Abstract State Machines. J. UCS 14(12): 1949-1983 (2008)
	2007
17		Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra: Exploiting the ASM method within the Model-driven Engineering paradigm. Rigorous Methods for Software Construction and Analysis 2007
16		Angelo Gargantini: Using Model Checking to Generate Fault Detecting Tests. TAP 2007: 189-206
	2006
15		Angelo Gargantini, Angelo Morzenti: Automated Verification of Continuous Time Systems by Discrete Temporal Induction. TIME 2006: 19-26
	2005
14		Patrizia Scandurra, Angelo Gargantini, Claudia Genovese, Tiziana Genovese, Elvinia Riccobene: A Concrete Syntax Derived From the Abstract State Machine Metamodel. Abstract State Machines 2005: 345-368
13		Angelo Gargantini, Elvinia Riccobene: ViBBA: A Toolbox for Automatic Model Driven Animation. SimVis 2005: 101-114
	2004
12		Angelo Gargantini: Conformance Testing. Model-Based Testing of Reactive Systems 2004: 87-111
	2003
11		Egon Börger, Angelo Gargantini, Elvinia Riccobene: Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings Springer 2003
10		Angelo Gargantini, Elvinia Riccobene, Salvatore Rinzivillo: Using Spin to Generate Testsfrom ASM Specifications. Abstract State Machines 2003: 263-277
9		Angelo Gargantini, Elvinia Riccobene: Automatic Model Driven Animation of SCR Specifications. FASE 2003: 294-309
	2001
8		Angelo Gargantini, Angelo Morzenti: Automated deductive requirements analysis of critical systems. ACM Trans. Softw. Eng. Methodol. 10(3): 255-307 (2001)
7		Angelo Gargantini, Elvinia Riccobene: ASM-Based Testing: Coverage Criteria and Automatic Test Sequence. J. UCS 7(11): 1050-1067 (2001)
	2000
6		Angelo Gargantini, Elvinia Riccobene: Encoding Abstract State Machines in PVS. Abstract State Machines 2000: 303-322
	1999
5		Angelo Gargantini, Constance L. Heitmeyer: Using Model Checking to Generate Tests from Requirements Specifications. ESEC / SIGSOFT FSE 1999: 146-162
4		Angelo Gargantini, Dino Mandrioli, Angelo Morzenti: Dealing with Zero-Time Transitions in Axiom Systems. Inf. Comput. 150(2): 119-131 (1999)
	1998
3		Miguel Felder, Angelo Gargantini, Angelo Morzenti: A Theory of Implementation and Refinement in Timed Petri Nets. Theor. Comput. Sci. 202(1-2): 127-161 (1998)
	1997
2		Andrea Alborghetti, Angelo Gargantini, Angelo Morzenti: Providing Automated Support to Deductive Analysis of Time Critical Systems. ESEC / SIGSOFT FSE 1997: 211-226
	1995
1		Angelo Gargantini, Angelo Morzenti: TRIO Specification of a Steam Boiler Controller. Formal Methods for Industrial Applications 1995: 218-232

Coauthor Index

1	Andrea Alborghetti	[2]
2	Egon Börger	[11]
3	Andrea Calvagna	[19] [26] [27]
4	Alessandro Carioni	[22] [23]
5	Miguel Felder	[3]
6	Claudia Genovese	[14]
7	Tiziana Genovese	[14]
8	Constance L. Heitmeyer (Connie Heitmeyer)	[5]
9	Dino Mandrioli	[4]
10	Angelo Morzenti	[1] [2] [3] [4] [8] [15]
11	Elvinia Riccobene	[6] [7] [9] [10] [11] [13] [14] [17] [18] [20] [21] [22] [23] [24] [25]
12	Salvatore Rinzivillo	[10]
13	Patrizia Scandurra	[14] [17] [18] [20] [21] [22] [23] [24] [25]
14	Emiliano Tramontana	[26]

Colors in the list of coauthors