PORTO @ Archivio Istituzionale della Ricerca

NOCCO, SERGIO

NOCCO, SERGIO  

Dipartimento di Automatica e Informatica  

011651  

Mostra records
Risultati 1 - 16 di 16 (tempo di esecuzione: 0.033 secondi).
Citazione Data di pubblicazione Autori File
Interpolation Sequences Revisited / Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano. - STAMPA. - (2011), pp. 316-322. (Intervento presentato al convegno DATE'11: ACM/IEEE Design Automation and Test in Europe tenutosi a Grenoble, France nel March 14-18, 2011). 1-gen-2011 CABODI, GianpieroNOCCO, SERGIOQUER, Stefano con11-01.pdf
Optimized model checking of multiple properties / Cabodi, Gianpiero; Nocco, Sergio. - STAMPA. - (2011), pp. 543-546. (Intervento presentato al convegno DATE 2011: Design Automation & Test In Europe 2011 tenutosi a Grenoble (FRANCE) nel 14-18 March 2011). 1-gen-2011 CABODI, GianpieroNOCCO, SERGIO -
Benchmarking a Model Checker for Algorithmic Improvements and Tuning for Performance / Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano. - (2010). (Intervento presentato al convegno HWVW'10: First International Workshop in Hardware Verification tenutosi a Edinburgh, United Kingdom nel 15 July 2010). 1-gen-2010 CABODI, GianpieroNOCCO, SERGIOQUER, Stefano -
Exploiting Incrementality in SAT-based Search for Multiple Equivalence-Preserving Transformations in Combinational Circuits / Cabodi, Gianpiero; Dipietro, L; Murciano, Marco; Nocco, Sergio. - (2009). (Intervento presentato al convegno High Level Design Validation and Test Workshop (HLDVT) tenutosi a Grand Hyatt, San Francisco, CA, USA nel November 4–6, 2009). 1-gen-2009 CABODI, GianpieroMURCIANO, MARCONOCCO, SERGIO + -
Speeding up Model Checking by Exploiting Explicit and Hidden Verification Constraints / Cabodi, Gianpiero; Camurati, Paolo Enrico; L., Garcia; Murciano, Marco; Nocco, Sergio; Quer, Stefano. - STAMPA. - (2009), pp. 1686-1691. (Intervento presentato al convegno DATE'09: ACM/IEEE Design Automation and Test in Europe tenutosi a Nice, France nel April 20,24). 1-gen-2009 CABODI, GianpieroCAMURATI, Paolo EnricoMURCIANO, MARCONOCCO, SERGIOQUER, Stefano + -
Trading off SAT Search and Variable Quantifications for Effective Unbounded Model Checking / Cabodi, Gianpiero; Camurati, Paolo Enrico; Murciano, Marco; GARCIA GALEANO, LUZ AMANDA; Nocco, Sergio; Quer, Stefano. - STAMPA. - (2008), pp. 205-212. (Intervento presentato al convegno FMCAD 2008: Formal Methods in Computer Aided Design tenutosi a Portland, OR, USA nel 17-20 novembre 2008). 1-gen-2008 CABODI, GianpieroCAMURATI, Paolo EnricoMURCIANO, MARCOGARCIA GALEANO, LUZ AMANDANOCCO, SERGIOQUER, Stefano -
Boosting the role of inductive invariants in model checking / Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano. - (2007), pp. 1319-1324. (Intervento presentato al convegno DATE'07: IEEE Design Automation and Test in Europe tenutosi a Nice nel April 16-20, 2007). 1-gen-2007 CABODI, GianpieroNOCCO, SERGIOQUER, Stefano -
Stepping Forward with Interpolants in Unbounded Model Checking / Cabodi, Gianpiero; Murciano, Marco; Nocco, Sergio; Quer, Stefano. - (2006), pp. 772-778. (Intervento presentato al convegno ICCAD'06: IEEE/ACM International Conference on Computer Aided Design tenutosi a San Jose nel 5-9 november 2006). 1-gen-2006 CABODI, GianpieroMURCIANO, MARCONOCCO, SERGIOQUER, Stefano -
Stepping forward with interpolates in unbounded model checking / Cabodi, Gianpiero; Murciano, Marco; Nocco, Sergio; Quer, Stefano. - (2006), pp. 772-778. (Intervento presentato al convegno 2006 International Conference on Computer-Aided Design, ICCAD tenutosi a San Jose, CA (USA) nel 2006) [10.1109/ICCAD.2006.320119]. 1-gen-2006 Cabodi, GianpieroMurciano, MarcoNocco, SergioQuer, Stefano iccad2006A4.pdf; Stepping_Forward_with_Interpolants_in_Unbounded_Model_Checking.pdf
Circuit Based Quantification: A Probabilistic/Approximated Approach / Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano. - (2005). (Intervento presentato al convegno CFV'05: Third International Workshop on Constraints in Formal Verification tenutosi a Talllin, Estonia nel July). 1-gen-2005 CABODI, GianpieroNOCCO, SERGIOQUER, Stefano -
Circuit Based Quantification: Back to State Set Manipulation within Unbounded Model Checking / Cabodi, Gianpiero; M., Crivellari; Nocco, Sergio; Quer, Stefano. - STAMPA. - (2005), pp. 688-689. (Intervento presentato al convegno ACM/IEEE Design, Automation and Test in Europe Conference and Exhibition (DATE 2005) tenutosi a Munich, Germany nel 7-11 March 2005). 1-gen-2005 CABODI, GianpieroNOCCO, SERGIOQUER, Stefano + -
Mixing BDD and SAT techniques in Formal Verification / Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano. - (2005), pp. 495-504. (Intervento presentato al convegno AICA'05: Associazione Italiana per l'Informatica e il Calcolo Automatico tenutosi a Udine, Italy nel October). 1-gen-2005 CABODI, GianpieroNOCCO, SERGIOQUER, Stefano -
Exploiting Target Enlargement and Dynamic Abstraction within Mixed BDD and SAT Invariant Checking / Cabodi, Gianpiero; Brace, K. S.; Bischoff, G. P.; Nocco, Sergio; Quer, Stefano. - STAMPA. - (2004). (Intervento presentato al convegno Second International Workshop on Bounded Model Checking (BMC 2003) tenutosi a Boston, Massachusetts, USA nel July, 2004). 1-gen-2004 CABODI, GianpieroNOCCO, SERGIOQUER, Stefano + -
A BMC-Formulation for the Scheduling Problem in Highly Constrained Hardware Systems / Cabodi, Gianpiero; Kondratyev, A.; Lavagno, Luciano; Nocco, Sergio; Quer, Stefano; Watanabe, Y.. - STAMPA. - (2003). (Intervento presentato al convegno First International Workshop on Bounded Model Checking (BMC 2003) tenutosi a Boulder, Colorado, USA nel July, 2003). 1-gen-2003 CABODI, GianpieroLAVAGNO, LucianoNOCCO, SERGIOQUER, Stefano + -
Improving SAT-based Bounded Model Checking by Means of BDD-Based Approximate Traversals / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano; Nocco, Sergio. - (2003), pp. 898-903. (Intervento presentato al convegno DATE '03, ACM/IEEE Design Automation and Test in Europe tenutosi a Munich (DEU) nel marzo 2003). 1-gen-2003 CABODI, GianpieroCAMURATI, Paolo EnricoQUER, StefanoNOCCO, SERGIO -
A Symbolic Approach for the Combined Solution of Scheduling and Allocation / Cabodi, Gianpiero; Lavagno, Luciano; Lazarescu, MIHAI TEODOR; Nocco, Sergio; Passerone, Claudio; Quer, Stefano. - ELETTRONICO. - (2002), pp. 237-242. (Intervento presentato al convegno ISSS'02: ACM/IEEE International Symposium of System Synthesis tenutosi a Kyoto, Japan nel 2-4 ottobre 2002) [10.1145/581199.581252]. 1-gen-2002 CABODI, GianpieroLAVAGNO, LucianoLAZARESCU, MIHAI TEODORNOCCO, SERGIOPASSERONE, ClaudioQUER, Stefano scheduling.pdf