Dottorato in Ingegneria Informatica E Dei Sistemi , 17o ciclo (2002-2004)
Dottorato concluso nel 2005
Tutori:
Gianpiero CabodiPubblicazioni
Pubblicazioni durante il dottorato Vedi tutte le pubblicazioni su Porto@Iris
- Cabodi, Gianpiero; M., Crivellari; Nocco, Sergio; Quer, Stefano (2005)
Circuit Based Quantification: Back to State Set Manipulation within Unbounded Model Checking. In: ACM/IEEE Design, Automation and Test in Europe Conference and Exhibition (DATE 2005), Munich, Germany, 7-11 March 2005, pp. 688-689. ISBN: 0769522882
Contributo in Atti di Convegno (Proceeding) - Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano (2005)
Circuit Based Quantification: A Probabilistic/Approximated Approach. In: CFV'05: Third International Workshop on Constraints in Formal Verification, Talllin, Estonia, July
Contributo in Atti di Convegno (Proceeding) - Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano (2005)
Mixing BDD and SAT techniques in Formal Verification. In: AICA'05: Associazione Italiana per l'Informatica e il Calcolo Automatico, Udine, Italy, October, pp. 495-504
Contributo in Atti di Convegno (Proceeding) - Cabodi, Gianpiero; A., Kondratiev; Lavagno, Luciano; Nocco, Sergio; Quer, Stefano; Y., ... (2005)
A BMC-Based Formulation for the Scheduling Problem of Hardware Systems. In: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, vol. 7, pp. 102-117. ISSN 1433-2779
Contributo su Rivista - G. P., Bischoff; K. S., Brace; Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano (2005)
Exploiting Target Enlargement and Dynamic Abstraction within Mixed BDD and SAT Invariant Checking. In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, vol. 119, pp. 33-49. ISSN 1571-0661
Contributo su Rivista - Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano (2005)
Are BDDs Still Alive within Sequential Verification?. In: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, vol. 7, pp. 129-142. ISSN 1433-2779
Contributo su Rivista - Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano (2004)
Improving SAT-based Bounded Model Checking by Means of BDD-based Approximate Traversals. In: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, vol. 10, pp. 1693-1730. ISSN 0948-6968
Contributo su Rivista - Cabodi, Gianpiero; Brace, K. S.; Bischoff, G. P.; Nocco, Sergio; Quer, Stefano (2004)
Exploiting Target Enlargement and Dynamic Abstraction within Mixed BDD and SAT Invariant Checking. In: Second International Workshop on Bounded Model Checking (BMC 2003), Boston, Massachusetts, USA, July, 2004
Contributo in Atti di Convegno (Proceeding) - Cabodi, Gianpiero; A., Kondratiev; Lavagno, Luciano; Nocco, Sergio; Quer, Stefano; Y., ... (2003)
A BMC-Based Formulation for the Scheduling Problem in Highly Constrained Hardware Systems. In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, vol. 89, pp. 623-638. ISSN 1571-0661
Contributo su Rivista - Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano; Nocco, Sergio (2003)
Improving SAT-based Bounded Model Checking by Means of BDD-Based Approximate Traversals.. In: DATE '03, ACM/IEEE Design Automation and Test in Europe, Munich (DEU), marzo 2003, pp. 898-903
Contributo in Atti di Convegno (Proceeding) - Cabodi, Gianpiero; Kondratyev, A.; Lavagno, Luciano; Nocco, Sergio; Quer, Stefano; ... (2003)
A BMC-Formulation for the Scheduling Problem in Highly Constrained Hardware Systems. In: First International Workshop on Bounded Model Checking (BMC 2003), Boulder, Colorado, USA, July, 2003
Contributo in Atti di Convegno (Proceeding) - Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano (2002)
Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification. In: LECTURE NOTES IN COMPUTER SCIENCE, vol. LNCS 2404, pp. 471-484. ISSN 0302-9743
Contributo su Rivista - Cabodi, Gianpiero; Lavagno, Luciano; Lazarescu, MIHAI TEODOR; Nocco, Sergio; Passerone, ... (2002)
A Symbolic Approach for the Combined Solution of Scheduling and Allocation. In: ISSS'02: ACM/IEEE International Symposium of System Synthesis, Kyoto, Japan, 2-4 ottobre 2002, pp. 237-242. ISBN: 1-58113-576-9
Contributo in Atti di Convegno (Proceeding)