Adolfo Villafiorita Vis

*	2009
19	EE	Pavel Shvaiko, Adolfo Villafiorita, Alessandro Zorer, Lourino Chemane, Teotónio Fumo, Jussi Hinkkanen: eGIF4M: eGovernment Interoperability Framework for Mozambique. EGOV 2009: 328-340
18	EE	Aaron Ciaghi, Adolfo Villafiorita, Andrea Mattioli: VLPM: A Tool to Support BPR in Public Administration. ICDS 2009: 289-293
17	EE	Volha Bryl, Fabiano Dalpiaz, Roberta Ferrario, Andrea Mattioli, Adolfo Villafiorita: Evaluating procedural alternatives: a case study in e-voting. EG 6(2): 213-231 (2009)
	2008
16	EE	Komminist Weldemariam, Adolfo Villafiorita: Modeling and Analysis of Procedural Security in (e)Voting: The Trentino's Approach and Experiences. EVT 2008
15		Komminist Weldemariam, Adolfo Villafiorita: A Methodology for Assessing Procedural Security: A Case Study in E-Voting. Electronic Voting 2008: 83-94
14	EE	Francesca Longo, Roberto Tiella, Paolo Tonella, Adolfo Villafiorita: Measuring the Impact of Different Categories of Software Evolution. IWSM/Metrikon/Mensura 2008: 344-351
	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	EE	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

Coauthor Index

1	Marco Bozzano	[9] [10] [11]
2	Volha Bryl	[17]
3	Alan Bundy	[3]
4	Antonella Cavallo	[10]
5	Lourino Chemane	[19]
6	A. Chiappini	[8]
7	Aaron Ciaghi	[18]
8	Massimo Cifaldi	[10]
9	Alessandro Cimatti	[7] [8]
10	Fabiano Dalpiaz	[17]
11	Roberta Ferrario	[17]
12	Teotónio Fumo	[19]
13	Fausto Giunchiglia	[1] [2] [3] [4]
14	Jussi Hinkkanen	[19]
15	Francesca Longo	[14]
16	Andrea Mattioli	[12] [17] [18]
17	P. L. Pieraccini	[7]
18	Carmen Porzia	[8]
19	G. Rotondo	[8]
20	Roberto Sebastiani	[1] [6] [7] [8]
21	Pavel Shvaiko	[19]
22	Roberto Tiella	[13] [14]
23	Silvia Tomasi	[13]
24	Paolo Tonella	[14]
25	Paolo Traverso	[7] [8]
26	Laura Valacca	[10]
27	Toby Walsh	[1] [3] [4]
28	Komminist Weldemariam	[12] [15] [16]
29	Alessandro Zorer	[19]

Colors in the list of coauthors