Alessandro Carioni

	2012
4		Roberto Bruttomesso, Alessandro Carioni, Silvio Ghilardi, Silvio Ranise: Automated Analysis of Parametric Timing-Based Mutual Exclusion Algorithms. NASA Formal Methods 2012: 279-294
	2011
3		Alessandro Carioni, Silvio Ghilardi, Silvio Ranise: Automated Termination in Model Checking Modulo Theories. RP 2011: 110-124
	2008
2		Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra: A Scenario-Based Validation Language for ASMs. ABZ 2008: 71-84
1		Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra, Alessandro Carioni: Scenario-based Validation of Embedded Systems. FDL 2008: 191-196

Coauthor Index

1	Roberto Bruttomesso	[4]
2	Angelo Gargantini	[1] [2]
3	Silvio Ghilardi	[3] [4]
4	Silvio Ranise	[3] [4]
5	Elvinia Riccobene	[1] [2]
6	Patrizia Scandurra	[1] [2]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page