| 2007 |
|---|
| 13 | EE | Roberto Tiella,
Adolfo Villafiorita,
Silvia Tomasi:
FSMC+, a tool for the generation of Java code from statecharts.
PPPJ 2007: 93-102 |
| 12 | EE | Komminist Weldemariam,
Adolfo Villafiorita,
Andrea Mattioli:
Assessing Procedural Risks and Threats in e-Voting: Challenges and an Approach.
VOTE-ID 2007: 38-49 |
| 11 | EE | Marco Bozzano,
Adolfo Villafiorita:
The FSAP/NuSMV-SA Safety Analysis Platform.
STTT 9(1): 5-24 (2007) |
| 2003 |
|---|
| 10 | EE | Marco Bozzano,
Antonella Cavallo,
Massimo Cifaldi,
Laura Valacca,
Adolfo Villafiorita:
Improving Safety Assessment of Complex Systems: An Industrial Case Study.
FME 2003: 208-222 |
| 9 | EE | Marco Bozzano,
Adolfo Villafiorita:
Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform.
SAFECOMP 2003: 49-62 |
| 1999 |
|---|
| 8 | EE | A. Chiappini,
Alessandro Cimatti,
Carmen Porzia,
G. Rotondo,
Roberto Sebastiani,
Paolo Traverso,
Adolfo Villafiorita:
Formal Specification and Development of a Safety-Critical Train Management System.
SAFECOMP 1999: 410-419 |
| 7 | EE | Alessandro Cimatti,
P. L. Pieraccini,
Roberto Sebastiani,
Paolo Traverso,
Adolfo Villafiorita:
Formal Specification and Validation of a Vital Communication Protocol.
World Congress on Formal Methods 1999: 1584-1604 |
| 1998 |
|---|
| 6 | EE | Roberto Sebastiani,
Adolfo Villafiorita:
SAT-Based Decision Procedures for Normal Modal Logics: A Theoretical Framework.
AIMSA 1998: 377-388 |
| 5 | EE | Adolfo Villafiorita:
Abstraction as a Form of Elaboration Tolerance.
AIMSA 1998: 427-437 |
| 1997 |
|---|
| 4 | | Fausto Giunchiglia,
Adolfo Villafiorita,
Toby Walsh:
Theories of Abstraction.
AI Commun. 10(3-4): 167-176 (1997) |
| 3 | | Alan Bundy,
Fausto Giunchiglia,
Adolfo Villafiorita,
Toby Walsh:
Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem.
J. Autom. Reasoning 19(3): 319-346 (1997) |
| 1996 |
|---|
| 2 | | Fausto Giunchiglia,
Adolfo Villafiorita:
ABSFOL: A Proof Checker with Abstraction.
CADE 1996: 136-140 |
| 1 | | Fausto Giunchiglia,
Roberto Sebastiani,
Adolfo Villafiorita,
Toby Walsh:
A General Purpose Reasoner for Abstraction.
Canadian Conference on AI 1996: 323-335 |
