dblp.uni-trier.dewww.uni-trier.de

Sergio Nocco

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
13EEGianpiero Cabodi, Sergio Nocco, Stefano Quer: Strengthening Model Checking Techniques With Inductive Invariants. IEEE Trans. on CAD of Integrated Circuits and Systems 28(1): 154-158 (2009)
2008
12EEGianpiero Cabodi, Marco Murciano, Sergio Nocco, Stefano Quer: Boosting interpolation with dynamic localized abstraction and redundancy removal. ACM Trans. Design Autom. Electr. Syst. 13(1): (2008)
2007
11EEGianpiero Cabodi, Sergio Nocco, Stefano Quer: Boosting the role of inductive invariants in model checking. DATE 2007: 1319-1324
2006
10EEGianpiero Cabodi, Marco Murciano, Sergio Nocco, Stefano Quer: Stepping forward with interpolants in unbounded model checking. ICCAD 2006: 772-778
2005
9EEGianpiero Cabodi, Marco Crivellari, Sergio Nocco, Stefano Quer: Circuit Based Quantification: Back to State Set Manipulation within Unbounded Model Checking. DATE 2005: 688-689
8EEGabriel P. Bischoff, Karl S. Brace, Gianpiero Cabodi, Sergio Nocco, Stefano Quer: Exploiting Target Enlargement and Dynamic Abstraction within Mixed BDD and SAT Invariant Checking. Electr. Notes Theor. Comput. Sci. 119(2): 33-49 (2005)
7EEGianpiero Cabodi, Alex Kondratyev, Luciano Lavagno, Sergio Nocco, Stefano Quer, Yosinori Watanabe: A BMC-based formulation for the scheduling problem of hardware systems. STTT 7(2): 102-117 (2005)
6EEGianpiero Cabodi, Sergio Nocco, Stefano Quer: Are BDDs still alive within sequential verification? STTT 7(2): 129-142 (2005)
2004
5EEGianpiero Cabodi, Sergio Nocco, Stefano Quer: Improving SAT-based Bounded Model Checking by Means of BDD-based Approximate Traversals. J. UCS 10(12): 1696-1730 (2004)
2003
4EEGianpiero Cabodi, Sergio Nocco, Stefano Quer: Improving SAT-Based Bounded Model Checking by Means of BDD-Based Approximate Traversals. DATE 2003: 10898-10905
3EEGianpiero Cabodi, Sergio Nocco, Stefano Quer, Alex Kondratyev, Luciano Lavagno, Yosinori Watanabe: A BMC-formulation for the scheduling problem in highly constrained hardware Systems. Electr. Notes Theor. Comput. Sci. 89(4): (2003)
2002
2EEGianpiero Cabodi, Sergio Nocco, Stefano Quer: Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification. CAV 2002: 471-484
1EELuciano Lavagno, Mihai T. Lazarescu, Stefano Quer, Sergio Nocco, Claudio Passerone, Gianpiero Cabodi: A Symbolic Approach for the Combined Solution of Scheduling and Allocation. ISSS 2002: 237-242

Coauthor Index

1Gabriel P. Bischoff [8]
2Karl S. Brace [8]
3Gianpiero Cabodi [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13]
4Marco Crivellari [9]
5Alex Kondratyev [3] [7]
6Luciano Lavagno [1] [3] [7]
7Mihai T. Lazarescu [1]
8Marco Murciano [10] [12]
9Claudio Passerone [1]
10Stefano Quer [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13]
11Yosinori Watanabe [3] [7]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)