A. Gargantini, E. Riccobene, P. Scandurra:
A Metamodel-based Language and a Simulation Engine for Abstract State Machines
/jucs_14_12/a_metamodel_based_language

page 1949 - 1983
Vol.14 / Issue 12

A. Gargantini, E. Riccobene:
ASM-Based Testing: Coverage Criteria and Automatic Test Sequence
/jucs_7_11/asm_based_testing_coverage

page 1050 - 1067
Vol.7 / Issue 11

E. Börger, E. Riccobene, J. Schmid:
Capturing Requirements by Abstract State Machines: The Light Control Case Study
/jucs_6_7/capturing_requirements_by_abstract

page 597 - 620
Vol.6 / Issue 7

G. Bella, E. Riccobene:
Formal Analysis of the Kerberos Authentication System
/jucs_3_12/formal_analysis_of_the

page 1337 - 1381
Vol.3 / Issue 12