The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Marco Bozzano" ( http://dblp.L3S.de/Authors/Marco_Bozzano )

  Author page on DBLP  Author page in RDF  Community of Marco Bozzano in ASPL-2

Publication years (Num. hits)
1997-2004 (16) 2005-2009 (15) 2010-2014 (15) 2015-2019 (15)
Publication types (Num. hits)
article(20) incollection(1) inproceedings(38) proceedings(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 10 occurrences of 9 keywords

Results
Found 62 publication records. Showing 61 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Marco Bozzano, Alessandro Cimatti, Cristian Mattarei Formal reliability analysis of redundancy architectures. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yiannis Papadopoulos, Koorosh Aslansefat, Panagiotis Katsaros, Marco Bozzano (eds.) Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings Search on Bibsonomy IMBSA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta COMPASS 3.0. Search on Bibsonomy TACAS (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marco Bozzano Causality and Temporal Dependencies in the Design of Fault Management Systems. Search on Bibsonomy CREST@ETAPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Yiannis Papadopoulos (eds.) Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings Search on Bibsonomy IMBSA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Benjamin Bittner, Marco Bozzano, Alessandro Cimatti Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study. Search on Bibsonomy IMBSA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Gianni Zampedri Automated Verification and Tightening of Failure Propagation Models. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri The xSAP Safety Analysis Platform. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Benjamin Bittner, Marco Bozzano, Alessandro Cimatti Automated Synthesis of Timed Failure Propagation Graphs. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri The xSAP Safety Analysis Platform. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Oleg Lisagor, Cristian Mattarei, Sergio Mover, Marco Roveri, Stefano Tonetta Safety assessment of AltaRica models via symbolic model checking. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Anthony Fernandes Pires, D. Jones, G. Kimberly, T. Petri, R. Robinson, Stefano Tonetta Formal Design and Safety Analysis of AIR6110 Wheel Brake System. Search on Bibsonomy CAV (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Cristian Mattarei Efficient Anytime Techniques for Model-Based Safety Analysis. Search on Bibsonomy CAV (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Marco Gario, Andrea Micheli SMT-Based Validation of Timed Failure Propagation Graphs. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Panagiotis Katsaros, Konstantinos Mokos, Viet Yen Nguyen, Thomas Noll, Bart Postma, Marco Roveri Spacecraft early design validation using formal methods. Search on Bibsonomy Rel. Eng. & Sys. Safety The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Cristian Mattarei, Stefano Tonetta Formal Safety Assessment via Contract-Based Design. Search on Bibsonomy ATVA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Régis De Ferluc, Marco Gario, Andrea Guiotto, Yuri Yushtein An Integrated Process for FDIR Design in Aerospace. Search on Bibsonomy IMBSA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Marco Gario, Alberto Griggio Towards Pareto-optimal parameter synthesis for monotonic cost functions. Search on Bibsonomy FMCAD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Richard Banach, Marco Bozzano The mechanical generation of fault trees for reactive systems via retrenchment I: combinational circuits. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Richard Banach, Marco Bozzano The mechanical generation of fault trees for reactive systems via retrenchment II: clocked and feedback circuits. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta A Formal Framework for the Specification, Verification and Synthesis of Diagnosers. Search on Bibsonomy AAAI (Late-Breaking Developments) The full citation details ... 2013 DBLP  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Cristian Mattarei Efficient Analysis of Reliability Architectures via Predicate Abstraction. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Cristian Mattarei Automated Analysis of Reliability Architectures. Search on Bibsonomy ICECCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Xavier Olive Symbolic Synthesis of Observability Requirements for Diagnosability. Search on Bibsonomy AAAI The full citation details ... 2012 DBLP  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Oleg Lisagor, Cristian Mattarei, Sergio Mover, Marco Roveri, Stefano Tonetta Symbolic Model Checking and Safety Assessment of Altarica models. Search on Bibsonomy ECEASST The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri Safety, Dependability and Performance Analysis of Extended AADL Models. Search on Bibsonomy Comput. J. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Marco Roveri, Andrei Tchaltsev A Comprehensive Approach to On-Board Autonomy Verification and Validation. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer A Model Checker for AADL. Search on Bibsonomy CAV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll Codesign of dependable systems: A component-based modeling language. Search on Bibsonomy MEMOCODE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. Search on Bibsonomy SAFECOMP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll Verification and performance evaluation of aadl models. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF performability, model checking, reliability, dependability, aadl
1Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri Model-Based Codesign of Critical Embedded Systems. Search on Bibsonomy ACES-MB@MoDELS The full citation details ... 2009 DBLP  BibTeX  RDF
1Marco Bozzano, Adolfo Villafiorita The FSAP/NuSMV-SA Safety Analysis Platform. Search on Bibsonomy STTT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Francesco Tapparo Symbolic Fault Tree Analysis for Reactive Systems. Search on Bibsonomy ATVA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Ziyad Hanna, Zurab Khasidashvili, Amit Palti, Roberto Sebastiani Encoding RTL Constructs for MathSAT: a Preliminary Report. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani Efficient theory combination via boolean search. Search on Bibsonomy Inf. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Richard Banach, Marco Bozzano Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems. Search on Bibsonomy SAFECOMP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Piergiorgio Bertoli, Marco Bozzano, Alessandro Cimatti A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis. Search on Bibsonomy MoChArt The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Gilles Audemard, Marco Bozzano, Alessandro Cimatti, Roberto Sebastiani Verifying Industrial Hybrid Systems with MathSAT. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz 0001, Roberto Sebastiani MathSAT: Tight Integration of SAT and Mathematical Decision Procedures. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Satisfiability module theory, Integrated decision procedures, Linear arithmetic logic, Propositional satisfiability
1Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani Efficient Satisfiability Modulo Theories via Delayed Theory Combination. Search on Bibsonomy CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz 0001, Roberto Sebastiani The MathSAT 3 System. Search on Bibsonomy CADE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz 0001, Roberto Sebastiani An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic. Search on Bibsonomy TACAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Giorgio Delzanno Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Giorgio Delzanno, Maurizio Martelli Model Checking Linear Logic Specifications. Search on Bibsonomy TPLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Giorgio Delzanno, Maurizio Martelli Model Checking Linear Logic Specifications Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Marco Bozzano, Adolfo Villafiorita Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform. Search on Bibsonomy SAFECOMP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Antonella Cavallo, Massimo Cifaldi, Laura Valacca, Adolfo Villafiorita Improving Safety Assessment of Complex Systems: An Industrial Case Study. Search on Bibsonomy FME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Formal Verification and Safety Assessment of Complex Systems, Automated Fault Tree Computation, ESACS
1Marco Bozzano, Giorgio Delzanno, Maurizio Martelli An effective fixpoint semantics for linear logic programs. Search on Bibsonomy TPLP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Giorgio Delzanno Algorithmic Verification of Invalidation-Based Protocols. Search on Bibsonomy CAV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Giorgio Delzanno Beyond Parameterized Verification. Search on Bibsonomy TACAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Giorgio Delzanno Automated protocol verification in linear logic. Search on Bibsonomy PPDP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF model checking, linear logic, authentication protocols, bottom-up evaluation
1Marco Bozzano, Giorgio Delzanno, Maurizio Martelli On the Relations between Disjunctive and Linear Logic Programming. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Giorgio Delzanno, Maurizio Martelli An Effective Fixpoint Semantics for Linear Logic Programs Search on Bibsonomy CoRR The full citation details ... 2001 DBLP  BibTeX  RDF
1Marco Bozzano, Giorgio Delzanno, Maurizio Martelli An Effective Bottom-Up Semantics for First-Order Linear Logic Programs. Search on Bibsonomy FLOPS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Giorgio Delzanno, Maurizio Martelli A bottom-up semantics for linear logic programs. Search on Bibsonomy PPDP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini Logic Programming and Multi-Agent Systems: A Synergic Combination for Applications and Semantics. Search on Bibsonomy The Logic Programming Paradigm The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini Multi-agent Systems Development as a Software Engineering Enterprise. Search on Bibsonomy PADL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Giorgio Delzanno, Maurizio Martelli A Linear Logic Semantics for Object-Oriented, Deductive and Active Databases. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1997 DBLP  BibTeX  RDF
Displaying result #1 - #61 of 61 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license