Search the dblp DataBase
Marco Bozzano: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- 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] - 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] - 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] - Marco Bozzano, Giorgio Delzanno
Algorithmic Verification of Invalidation-Based Protocols. [Citation Graph (0, 0)][DBLP]
CAV, 2002, pp:295-308 [Conf] - 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] - 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] - 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] - Marco Bozzano, Giorgio Delzanno
Automated protocol verification in linear logic. [Citation Graph (0, 0)][DBLP]
PPDP, 2002, pp:38-49 [Conf] - 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] - 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] - 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] - 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] - Marco Bozzano, Giorgio Delzanno
Beyond Parameterized Verification. [Citation Graph (0, 0)][DBLP]
TACAS, 2002, pp:221-235 [Conf] - 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] - Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
Model Checking Linear Logic Specifications [Citation Graph (0, 0)][DBLP]
CoRR, 2003, v:0, n:, pp:- [Journal] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - Marco Bozzano, Alessandro Cimatti, Francesco Tapparo
Symbolic Fault Tree Analysis for Reactive Systems. [Citation Graph (0, 0)][DBLP]
ATVA, 2007, pp:162-176 [Conf] - 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] - 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]
A Model Checker for AADL. [Citation Graph (, )][DBLP]
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. [Citation Graph (, )][DBLP]
Verification and performance evaluation of aadl models. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
| 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 |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002