Alessandro Carioni

Publication Activity (10 Years)

Years Active: 2008-2013
Publications (10 Years): 0

Top Topics

Modulo Theories

Mutual Exclusion

Automated Analysis

Bounded Model Checking

Top Venues

Int. J. Found. Comput. Sci.

NASA Formal Methods

Publications

Alessandro Carioni, Silvio Ghilardi, Silvio Ranise
Automated Termination in Model-Checking Modulo Theories. Int. J. Found. Comput. Sci. 24 (2) (2013)
Roberto Bruttomesso, Alessandro Carioni, Silvio Ghilardi, Silvio Ranise
Automated Analysis of Parametric Timing-Based Mutual Exclusion Algorithms. NASA Formal Methods (2012)
Alessandro Carioni, Silvio Ghilardi, Silvio Ranise
Automated Termination in Model Checking Modulo Theories. RP (2011)
Alessandro Carioni, Silvio Ghilardi, Silvio Ranise
MCMT in the Land of Parametrized Timed Automata. VERIFY@IJCAR (2010)
Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
Model-Driven System Validation by Scenarios. FDL (Selected Papers) (2008)
Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra, Alessandro Carioni
Scenario-based Validation of Embedded Systems. FDL (2008)
Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
A Scenario-Based Validation Language for ASMs. ABZ (2008)