The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Marco Bozzano: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  27. A Model Checker for AADL. [Citation Graph (, )][DBLP]


  28. The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. [Citation Graph (, )][DBLP]


  29. Verification and performance evaluation of aadl models. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002