NOCCO, SERGIO

NOCCO, SERGIO  

Dipartimento di Automatica e Informatica  

011651  

Mostra records
Risultati 1 - 13 di 13 (tempo di esecuzione: 0.034 secondi).
Citazione Data di pubblicazione Autori File
Thread-based multi-engine model checking for multicore platforms / Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano. - In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. - ISSN 1084-4309. - ELETTRONICO. - 18:3(2013), pp. 1-28. [10.1145/2491477.2491480] 1-gen-2013 CABODI, GianpieroNOCCO, SERGIOQUER, Stefano -
Benchmarking a Model Checker for Algorithmic Improvements and Tuning for Performance / Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano. - In: FORMAL METHODS IN SYSTEM DESIGN. - ISSN 0925-9856. - STAMPA. - 39:2(2011), pp. 205-227. [10.1007/s10703-011-0123-3] 1-gen-2011 CABODI, GianpieroNOCCO, SERGIOQUER, Stefano -
A Novel SAT-Based Approach to the Task Graph Cost-Optimal Scheduling Problem / Nocco, Sergio; Quer, Stefano. - In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. - ISSN 0278-0070. - 29:12(2010), pp. 2027-2040. [10.1109/TCAD.2010.2061631] 1-gen-2010 NOCCO, SERGIOQUER, Stefano riv10-02.pdf
Strengthening Model Checking Techniques with Inductive Invariants / Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano. - In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. - ISSN 0278-0070. - 28:(2009), pp. 154-158. 1-gen-2009 CABODI, GianpieroNOCCO, SERGIOQUER, Stefano riv09-01.pdf
A Probabilistic and Approximated Approach to Circuit-Based Formal Verification / Nocco, Sergio; Quer, Stefano. - In: JOURNAL ON SATISFIABILITY, BOOLEAN MODELING AND COMPUTATION. - ISSN 1574-0617. - 5:(2008), pp. 105-126. 1-gen-2008 NOCCO, SERGIOQUER, Stefano -
Boosting Interpolation with Dynamic Localized Abstraction and Redundancy Removal / Cabodi, Gianpiero; Murciano, Marco; Nocco, Sergio; Quer, Stefano. - In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. - ISSN 1084-4309. - 13:1(2008). [10.1145/1297666.1297669] 1-gen-2008 CABODI, GianpieroMURCIANO, MARCONOCCO, SERGIOQUER, Stefano -
Stressing Symbolic Scheduling Techniqueswithin Aircraft Maintenance Optimization / Bruno, V; GARCIA GALEANO, LUZ AMANDA; Nocco, Sergio; Quer, Stefano. - In: JOURNAL ON SATISFIABILITY, BOOLEAN MODELING AND COMPUTATION. - ISSN 1574-0617. - 5:(2008), pp. 77-104. 1-gen-2008 GARCIA GALEANO, LUZ AMANDANOCCO, SERGIOQUER, Stefano + -
A BMC-Based Formulation for the Scheduling Problem of Hardware Systems / Cabodi, Gianpiero; A., Kondratiev; Lavagno, Luciano; Nocco, Sergio; Quer, Stefano; Y., Watanabe. - In: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER. - ISSN 1433-2779. - 7:(2005), pp. 102-117. 1-gen-2005 CABODI, GianpieroLAVAGNO, LucianoNOCCO, SERGIOQUER, Stefano + -
Are BDDs Still Alive within Sequential Verification? / Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano. - In: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER. - ISSN 1433-2779. - 7:(2005), pp. 129-142. 1-gen-2005 CABODI, GianpieroNOCCO, SERGIOQUER, Stefano -
Exploiting Target Enlargement and Dynamic Abstraction within Mixed BDD and SAT Invariant Checking / G. P., Bischoff; K. S., Brace; Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano. - In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. - ISSN 1571-0661. - 119:(2005), pp. 33-49. 1-gen-2005 CABODI, GianpieroNOCCO, SERGIOQUER, Stefano + -
Improving SAT-based Bounded Model Checking by Means of BDD-based Approximate Traversals / Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano. - In: JOURNAL OF UNIVERSAL COMPUTER SCIENCE. - ISSN 0948-6968. - 10:(2004), pp. 1693-1730. 1-gen-2004 CABODI, GianpieroNOCCO, SERGIOQUER, Stefano -
A BMC-Based Formulation for the Scheduling Problem in Highly Constrained Hardware Systems / Cabodi, Gianpiero; A., Kondratiev; Lavagno, Luciano; Nocco, Sergio; Quer, Stefano; Y., Watanabe. - In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. - ISSN 1571-0661. - 89:4(2003), pp. 623-638. [10.1016/S1571-0661(05)82547-2] 1-gen-2003 CABODI, GianpieroLAVAGNO, LucianoNOCCO, SERGIOQUER, Stefano + -
Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification / Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano. - LNCS 2404:(2002), pp. 471-484. [10.1007/3-540-45657-0_38] 1-gen-2002 CABODI, GianpieroNOCCO, SERGIOQUER, Stefano -