Alessandro Carioni

According to our database, Alessandro Carioni authored at least 6 papers between 2008 and 2013.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2013

Automated Termination in Model-Checking Modulo Theories.

Alessandro Carioni, Silvio Ghilardi, Silvio Ranise

Int. J. Found. Comput. Sci., 2013

2012

Automated Analysis of Parametric Timing-Based Mutual Exclusion Algorithms.

Roberto Bruttomesso, Alessandro Carioni, Silvio Ghilardi, Silvio Ranise

Proceedings of the NASA Formal Methods, 2012

2010

MCMT in the Land of Parametrized Timed Automata.

Alessandro Carioni, Silvio Ghilardi, Silvio Ranise

Proceedings of the 6th International Verification Workshop, 2010

2008

Scenario-based Validation of Embedded Systems.

Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra, Alessandro Carioni

Proceedings of the Forum on specification and Design Languages, 2008

Model-Driven System Validation by Scenarios.

Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra

Proceedings of the Languages for Embedded Systems and their Applications, 2008

A Scenario-Based Validation Language for ASMs.

Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008