Marco Bozzano

2007
26	EE	Marco Bozzano, Alessandro Cimatti, Francesco Tapparo: Symbolic Fault Tree Analysis for Reactive Systems. ATVA 2007: 162-176
25	EE	Marco Bozzano, Adolfo Villafiorita: The FSAP/NuSMV-SA Safety Analysis Platform. STTT 9(1): 5-24 (2007)
2006
24	EE	Piergiorgio Bertoli, Marco Bozzano, Alessandro Cimatti: A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis. MoChArt 2006: 1-18
23	EE	Richard Banach, Marco Bozzano: Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems. SAFECOMP 2006: 127-141
22	EE	Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Ziyad Hanna, Zurab Khasidashvili, Amit Palti, Roberto Sebastiani: Encoding RTL Constructs for MathSAT: a Preliminary Report. Electr. Notes Theor. Comput. Sci. 144(2): 3-14 (2006)
21	EE	Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani: Efficient theory combination via boolean search. Inf. Comput. 204(10): 1493-1525 (2006)
2005
20	EE	Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani: The MathSAT 3 System. CADE 2005: 315-321
19	EE	Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani: Efficient Satisfiability Modulo Theories via Delayed Theory Combination. CAV 2005: 335-349
18	EE	Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani: An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic. TACAS 2005: 317-333
17	EE	Gilles Audemard, Marco Bozzano, Alessandro Cimatti, Roberto Sebastiani: Verifying Industrial Hybrid Systems with MathSAT. Electr. Notes Theor. Comput. Sci. 119(2): 17-32 (2005)
16	EE	Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani: MathSAT: Tight Integration of SAT and Mathematical Decision Procedures. J. Autom. Reasoning 35(1-3): 265-293 (2005)
2004
15	EE	Marco Bozzano, Giorgio Delzanno: Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols. J. Symb. Comput. 38(5): 1375-1415 (2004)
14		Marco Bozzano, Giorgio Delzanno, Maurizio Martelli: Model Checking Linear Logic Specifications. TPLP 4(5-6): 573-619 (2004)
2003
13	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
12	EE	Marco Bozzano, Adolfo Villafiorita: Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform. SAFECOMP 2003: 49-62
11	EE	Marco Bozzano, Giorgio Delzanno, Maurizio Martelli: Model Checking Linear Logic Specifications CoRR cs.PL/0309003: (2003)
2002
10	EE	Marco Bozzano, Giorgio Delzanno: Algorithmic Verification of Invalidation-Based Protocols. CAV 2002: 295-308
9	EE	Marco Bozzano, Giorgio Delzanno: Automated protocol verification in linear logic. PPDP 2002: 38-49
8	EE	Marco Bozzano, Giorgio Delzanno: Beyond Parameterized Verification. TACAS 2002: 221-235
7		Marco Bozzano, Giorgio Delzanno, Maurizio Martelli: An effective fixpoint semantics for linear logic programs. TPLP 2(1): 85-122 (2002)
2001
6	EE	Marco Bozzano, Giorgio Delzanno, Maurizio Martelli: An Effective Bottom-Up Semantics for First-Order Linear Logic Programs. FLOPS 2001: 138-152
5	EE	Marco Bozzano, Giorgio Delzanno, Maurizio Martelli: An Effective Fixpoint Semantics for Linear Logic Programs CoRR cs.PL/0102025: (2001)
4	EE	Marco Bozzano, Giorgio Delzanno, Maurizio Martelli: On the Relations between Disjunctive and Linear Logic Programming. Electr. Notes Theor. Comput. Sci. 48: (2001)
2000
3	EE	Marco Bozzano, Giorgio Delzanno, Maurizio Martelli: A bottom-up semantics for linear logic programs. PPDP 2000: 92-102
1999
2	EE	Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini: Multi-agent Systems Development as a Software Engineering Enterprise. PADL 1999: 46-60
1997
1		Marco Bozzano, Giorgio Delzanno, Maurizio Martelli: A Linear Logic Semantics for Object-Oriented, Deductive and Active Databases. APPIA-GULP-PRODE 1997: 105-116

Coauthor Index

1	Gilles Audemard	[17]
2	Richard Banach	[23]
3	Piergiorgio Bertoli	[24]
4	Roberto Bruttomesso	[16] [18] [19] [20] [21] [22]
5	Antonella Cavallo	[13]
6	Massimo Cifaldi	[13]
7	Alessandro Cimatti	[16] [17] [18] [19] [20] [21] [22] [24] [26]
8	Giorgio Delzanno	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [14] [15]
9	Anders Franzén	[22]
10	Ziyad Hanna	[22]
11	Tommi A. Junttila	[16] [18] [19] [20] [21]
12	Zurab Khasidashvili	[22]
13	Maurizio Martelli	[1] [2] [3] [4] [5] [6] [7] [11] [14]
14	Viviana Mascardi	[2]
15	Amit Palti	[22]
16	Silvio Ranise	[19] [21]
17	Peter van Rossum	[16] [18] [19] [20] [21]
18	Stephan Schulz	[16] [18] [20]
19	Roberto Sebastiani	[16] [17] [18] [19] [20] [21] [22]
20	Francesco Tapparo	[26]
21	Laura Valacca	[13]
22	Adolfo Villafiorita	[12] [13] [25]
23	Floriano Zini	[2]

Colors in the list of coauthors