A Scenario-Based Validation Language for ASMs. - Alessandro Carioni; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (ABZ, 2008)

Model-Driven System Validation by Scenarios. - Alessandro Carioni; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (FDL (Selected Papers), 2008)

Scenario-based Validation of Embedded Systems. - Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra; Alessandro Carioni (FDL, 2008)

MCMT in the Land of Parametrized Timed Automata. - Alessandro Carioni; Silvio Ghilardi; Silvio Ranise (VERIFY@IJCAR, 2010)

Automated Analysis of Parametric Timing-Based Mutual Exclusion Algorithms. - Roberto Bruttomesso; Alessandro Carioni; Silvio Ghilardi; Silvio Ranise (NASA Formal Methods, 2012)

Automated Termination in Model-Checking Modulo Theories. - Alessandro Carioni; Silvio Ghilardi; Silvio Ranise (Int. J. Found. Comput. Sci., 2013)