Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Marco Bozzano
2010 – today
- 2013
[j13]Richard Banach, Marco Bozzano: The mechanical generation of fault trees for reactive systems via retrenchment I: combinational circuits. Formal Asp. Comput. 25(4): 573-607 (2013)- [j12]Richard Banach, Marco Bozzano: The mechanical generation of fault trees for reactive systems via retrenchment II: clocked and feedback circuits. Formal Asp. Comput. 25(4): 609-657 (2013)
- 2012
- [c21]Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Xavier Olive: Symbolic Synthesis of Observability Requirements for Diagnosability. AAAI 2012
- 2011
- [j11]Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri: Safety, Dependability and Performance Analysis of Extended AADL Models. Comput. J. 54(5): 754-775 (2011)
- [j10]Marco Bozzano, Alessandro Cimatti, Oleg Lisagor, Cristian Mattarei, Sergio Mover, Marco Roveri, Stefano Tonetta: Symbolic Model Checking and Safety Assessment of Altarica models. ECEASST 46 (2011)
- [c20]Marco Bozzano, Alessandro Cimatti, Marco Roveri, Andrei Tchaltsev: A Comprehensive Approach to On-Board Autonomy Verification and Validation. IJCAI 2011: 2398-2403
- 2010
- [c19]Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer: A Model Checker for AADL. CAV 2010: 562-565
2000 – 2009
- 2009
- [c18]Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll: Codesign of dependable systems: A component-based modeling language. MEMOCODE 2009: 121-130
- [c17]Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri: The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. SAFECOMP 2009: 173-186
- [c16]Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll: Verification and performance evaluation of aadl models. ESEC/SIGSOFT FSE 2009: 285-286
- 2007
- [j9]Marco Bozzano, Adolfo Villafiorita: The FSAP/NuSMV-SA Safety Analysis Platform. STTT 9(1): 5-24 (2007)
- [c15]Marco Bozzano, Alessandro Cimatti, Francesco Tapparo: Symbolic Fault Tree Analysis for Reactive Systems. ATVA 2007: 162-176
- 2006
- [j8]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)
- [j7]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)
- [c14]Piergiorgio Bertoli, Marco Bozzano, Alessandro Cimatti: A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis. MoChArt 2006: 1-18
- [c13]Richard Banach, Marco Bozzano: Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems. SAFECOMP 2006: 127-141
- 2005
- [j6]Gilles Audemard, Marco Bozzano, Alessandro Cimatti, Roberto Sebastiani: Verifying Industrial Hybrid Systems with MathSAT. Electr. Notes Theor. Comput. Sci. 119(2): 17-32 (2005)
- [j5]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)
- [c12]Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani: The MathSAT 3 System. CADE 2005: 315-321
- [c11]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
- [c10]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
- 2004
- [j4]Marco Bozzano, Giorgio Delzanno: Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols. J. Symb. Comput. 38(5): 1375-1415 (2004)
- [j3]Marco Bozzano, Giorgio Delzanno, Maurizio Martelli: Model Checking Linear Logic Specifications. TPLP 4(5-6): 573-619 (2004)
- 2003
- [c9]Marco Bozzano, Antonella Cavallo, Massimo Cifaldi, Laura Valacca, Adolfo Villafiorita: Improving Safety Assessment of Complex Systems: An Industrial Case Study. FME 2003: 208-222
- [c8]Marco Bozzano, Adolfo Villafiorita: Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform. SAFECOMP 2003: 49-62
- [i2]Marco Bozzano, Giorgio Delzanno, Maurizio Martelli: Model Checking Linear Logic Specifications. CoRR cs.PL/0309003 (2003)
- 2002
- [j2]Marco Bozzano, Giorgio Delzanno, Maurizio Martelli: An effective fixpoint semantics for linear logic programs. TPLP 2(1): 85-122 (2002)
- [c7]Marco Bozzano, Giorgio Delzanno: Algorithmic Verification of Invalidation-Based Protocols. CAV 2002: 295-308
- [c6]
- [c5]
- 2001
- [j1]Marco Bozzano, Giorgio Delzanno, Maurizio Martelli: On the Relations between Disjunctive and Linear Logic Programming. Electr. Notes Theor. Comput. Sci. 48: 65-89 (2001)
- [c4]Marco Bozzano, Giorgio Delzanno, Maurizio Martelli: An Effective Bottom-Up Semantics for First-Order Linear Logic Programs. FLOPS 2001: 138-152
- [i1]Marco Bozzano, Giorgio Delzanno, Maurizio Martelli: An Effective Fixpoint Semantics for Linear Logic Programs. CoRR cs.PL/0102025 (2001)
- 2000
- [c3]Marco Bozzano, Giorgio Delzanno, Maurizio Martelli: A bottom-up semantics for linear logic programs. PPDP 2000: 92-102
1990 – 1999
- 1999
- [c2]Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini: Multi-agent Systems Development as a Software Engineering Enterprise. PADL 1999: 46-60
- 1997
- [c1]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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-05 21:32 CEST by the dblp team