NOCCO, SERGIO
Guida alla programmazione in linguaggio C. Volume I: Fondamenti di programmazione
2016 Nocco, Sergio; Quer, Stefano
Thread-based multi-engine model checking for multicore platforms
2013 Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano
Benchmarking a Model Checker for Algorithmic Improvements and Tuning for Performance
2011 Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano
Interpolation Sequences Revisited
2011 Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano
Optimized model checking of multiple properties
2011 Cabodi, Gianpiero; Nocco, Sergio
A Novel SAT-Based Approach to the Task Graph Cost-Optimal Scheduling Problem
2010 Nocco, Sergio; Quer, Stefano
Benchmarking a Model Checker for Algorithmic Improvements and Tuning for Performance
2010 Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano
Exploiting Incrementality in SAT-based Search for Multiple Equivalence-Preserving Transformations in Combinational Circuits
2009 Cabodi, Gianpiero; Dipietro, L; Murciano, Marco; Nocco, Sergio
Guida alla programmazione in linguaggio C
2009 Nocco, Sergio; Quer, Stefano
Speeding up Model Checking by Exploiting Explicit and Hidden Verification Constraints
2009 Cabodi, Gianpiero; Camurati, Paolo Enrico; L., Garcia; Murciano, Marco; Nocco, Sergio; Quer, Stefano
Strengthening Model Checking Techniques with Inductive Invariants
2009 Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano
A Probabilistic and Approximated Approach to Circuit-Based Formal Verification
2008 Nocco, Sergio; Quer, Stefano
Boosting Interpolation with Dynamic Localized Abstraction and Redundancy Removal
2008 Cabodi, Gianpiero; Murciano, Marco; Nocco, Sergio; Quer, Stefano
Stressing Symbolic Scheduling Techniqueswithin Aircraft Maintenance Optimization
2008 Bruno, V; GARCIA GALEANO, LUZ AMANDA; Nocco, Sergio; Quer, Stefano
Trading off SAT Search and Variable Quantifications for Effective Unbounded Model Checking
2008 Cabodi, Gianpiero; Camurati, Paolo Enrico; Murciano, Marco; GARCIA GALEANO, LUZ AMANDA; Nocco, Sergio; Quer, Stefano
Boosting the role of inductive invariants in model checking
2007 Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano
Stepping Forward with Interpolants in Unbounded Model Checking
2006 Cabodi, Gianpiero; Murciano, Marco; Nocco, Sergio; Quer, Stefano
Stepping forward with interpolates in unbounded model checking
2006 Cabodi, Gianpiero; Murciano, Marco; Nocco, Sergio; Quer, Stefano
A BMC-Based Formulation for the Scheduling Problem of Hardware Systems
2005 Cabodi, Gianpiero; A., Kondratiev; Lavagno, Luciano; Nocco, Sergio; Quer, Stefano; Y., Watanabe
Are BDDs Still Alive within Sequential Verification?
2005 Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano
Citazione | Data di pubblicazione | Autori | File |
---|---|---|---|
Guida alla programmazione in linguaggio C. Volume I: Fondamenti di programmazione / Nocco, Sergio; Quer, Stefano. - STAMPA. - 1:(2016), pp. 1-359. | 1-gen-2016 | NOCCO, SERGIOQUER, Stefano | - |
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 | - |
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 | - |
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 |
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 + | - |
Guida alla programmazione in linguaggio C / Nocco, Sergio; Quer, Stefano. - (2009). | 1-gen-2009 | NOCCO, SERGIOQUER, Stefano | - |
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 + | - |
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 + | - |
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 |
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 | - |