Archivio Istituzionale della RicercaSfoglia per Autore
A Symbolic Approach for the Combined Solution of Scheduling and Allocation
2002 Cabodi, Gianpiero; Lavagno, Luciano; Lazarescu, MIHAI TEODOR; Nocco, Sergio; Passerone, Claudio; Quer, Stefano
Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification
2002 Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano
A BMC-Based Formulation for the Scheduling Problem in Highly Constrained Hardware Systems
2003 Cabodi, Gianpiero; A., Kondratiev; Lavagno, Luciano; Nocco, Sergio; Quer, Stefano; Y., Watanabe
A BMC-Formulation for the Scheduling Problem in Highly Constrained Hardware Systems
2003 Cabodi, Gianpiero; Kondratyev, A.; Lavagno, Luciano; Nocco, Sergio; Quer, Stefano; Watanabe, Y.
Improving SAT-based Bounded Model Checking by Means of BDD-Based Approximate Traversals.
2003 Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano; Nocco, Sergio
Exploiting Target Enlargement and Dynamic Abstraction within Mixed BDD and SAT Invariant Checking
2004 Cabodi, Gianpiero; Brace, K. S.; Bischoff, G. P.; Nocco, Sergio; Quer, Stefano
Improving SAT-based Bounded Model Checking by Means of BDD-based Approximate Traversals
2004 Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano
Mixing BDD and SAT techniques in Formal Verification
2005 Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano
Circuit Based Quantification: A Probabilistic/Approximated Approach
2005 Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano
Exploiting Target Enlargement and Dynamic Abstraction within Mixed BDD and SAT Invariant Checking
2005 G. P., Bischoff; K. S., Brace; Cabodi, Gianpiero; 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
Circuit Based Quantification: Back to State Set Manipulation within Unbounded Model Checking
2005 Cabodi, Gianpiero; M., Crivellari; Nocco, Sergio; Quer, Stefano
Stepping forward with interpolates in unbounded model checking
2006 Cabodi, Gianpiero; Murciano, Marco; Nocco, Sergio; Quer, Stefano
Stepping Forward with Interpolants in Unbounded Model Checking
2006 Cabodi, Gianpiero; Murciano, Marco; Nocco, Sergio; Quer, Stefano
Boosting the role of inductive invariants in model checking
2007 Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano
A Probabilistic and Approximated Approach to Circuit-Based Formal Verification
2008 Nocco, Sergio; Quer, Stefano
Stressing Symbolic Scheduling Techniqueswithin Aircraft Maintenance Optimization
2008 Bruno, V; GARCIA GALEANO, LUZ AMANDA; Nocco, Sergio; Quer, Stefano
Boosting Interpolation with Dynamic Localized Abstraction and Redundancy Removal
2008 Cabodi, Gianpiero; Murciano, Marco; 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
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| 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 |
| 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 | - |
| 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 + | - |
| 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 | - |
| 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 + | - |
| 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 | - |
| 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 | - |
| 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 | - |
| 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 + | - |
| 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 | - |
| 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 + | - |
| 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 |
| 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 | - |
| 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 | - |
| 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 | - |
| 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 + | - |
| 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 | - |
| 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 | - |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile