• Aiuto
  • Sfoglia

    • CABODI, Gianpiero

    Rete di Collaborazioni Statistiche Email Alert RSS Feed

    Dettaglio

    Nome completo:
    CABODI, Gianpiero
    Link esterni:
    Elenco pubblicazioni in formato JSON:

    Pubblicazioni (Tutti)

    Risultati 1 - 20 di 129 (tempo di esecuzione: 0.0 secondi).

    CitazioneData di pubblicazioneAutoriFile
    1Verification of Similar FSMs by Mixing Incremental Re-encoding Reachability Analysis and Combinational Checks / S. QUER; G. CABODI; P. CAMURATI; L. LAVAGNO; E.M. SENTOVICH; R.K. BRAYTON. - In: FORMAL METHODS IN SYSTEM DESIGN. - ISSN 0925-9856. - 17:2(2000), pp. 107-134.2000QUER, Stefano  ; CABODI, Gianpiero  ; CAMURATI, Paolo Enrico  ; LAVAGNO, Luciano  ;  riservati
    2Verification and synthesis of counters based on symbolic techniques / G. Cabodi;P. Camurati;L. Lavagno;S. Quer. - (1997), pp. 176-181. ((Intervento presentato al convegno Proceedings European Design and Test Conference. ED & TC 97.1997CABODI, Gianpiero  ; CAMURATI, Paolo Enrico  ; LAVAGNO, Luciano  ; QUER, Stefano  -
    3Verification and Synthesis of Counters based on Symbolic Techniques / Cabodi G.; Camurati P.; Lavagno L.; Quer S.. - STAMPA. - (1996). ((Intervento presentato al convegno 4th International Workshop on Symbolic Methods and Applications to Circuit Design (SMACD 1996) tenutosi a Leuven Belgium nel October, 1996.1996CABODI, Gianpiero  ; CAMURATI, Paolo Enrico  ; LAVAGNO, Luciano  ; QUER, Stefano    riservati
    4Transforming boolean relations by symbolic encoding / CABODI G; CAMURATI P.; S. QUER. - 987(1995), pp. 161-170. ((Intervento presentato al convegno IFIP WG 10.5 Advanced Research Working Conference, CHARME '95 tenutosi a Frankfurt/Main (DEU) nel October 2–4, 1995.1995CABODI, Gianpiero  ; CAMURATI, Paolo Enrico  ; QUER, Stefano  -
    5Trading-off Incrementality and Dynamic Restart of Multiple Solvers in IC3 / G.Cabodi; A.Mishchenko; M.Palena. - ELETTRONICO. - (2013). ((Intervento presentato al convegno International Workshop on Design and Implementation of Formal Tools and Systems tenutosi a Portland, OR nel 19 Ottobre 2013.2013CABODI, Gianpiero  ; PALENA, MARCO  -
    6Trading off SAT Search and Variable Quantifications for Effective Unbounded Model Checking / CABODI G.; P. CAMURATI; M. MURCIANO; L. GARCIA; S. NOCCO; S. QUER. - 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.2008CABODI, Gianpiero  ; CAMURATI, Paolo Enrico  ; MURCIANO, MARCO  ; GARCIA GALEANO, LUZ AMANDA  ; NOCCO, SERGIO  ; QUER, Stefano    riservati
    7TPDL*: Extended Temporal Profile Description Language / CABODI G.; P.CAMURATI; P.PRINETTO; M.SONZA REORDA. - In: SOFTWARE-PRACTICE & EXPERIENCE. - ISSN 0038-0644. - 21(1991), pp. 355-374.1991CABODI, Gianpiero  ; CAMURATI, Paolo Enrico  ; PRINETTO, Paolo Ernesto  ; SONZA REORDA, MATTEO  -
    8To Split or to Group: From Divide-and-Conquer to Sub-Task Sharing for Verifying Multiple Properties in Model Checking / Cabodi, Gianpiero; Camurati, Paolo; Loiacono, Carmelo; Palena, Marco; Pasini, Paolo; Patti, Denis; Quer, Stefano. - In: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER. - ISSN 1433-2779. - (In corso di stampa).Being printedCABODI, Gianpiero  ; CAMURATI, Paolo Enrico  ; LOIACONO, CARMELO  ; PALENA, MARCO  ; PASINI, PAOLO  ; PATTI, DENIS  ; QUER, Stefano  -
    9Tightening BDD-based Approximate Reachability with SAT-based Clause Generalization / Gianpiero Cabodi; Paolo Pasini; Stefano Quer; Danilo Vendraminetto. - STAMPA. - (2014), pp. 1-6. ((Intervento presentato al convegno Design Automation and Test in Europe (DATE) tenutosi a Dresden, Germany nel March 2014.2014CABODI, Gianpiero  ; PASINI, PAOLO  ; QUER, Stefano  ; VENDRAMINETTO, DANILO    riservati
    10Thread-based multi-engine model checking for multicore platforms / Cabodi, G.; Nocco, S.; Quer, S.. - In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. - ISSN 1084-4309. - ELETTRONICO. - 18:3(2013), pp. 1-28.2013CABODI, Gianpiero  ; NOCCO, SERGIO  ; QUER, Stefano    riservati
    11The General Product Machine: a New Model for Symbolic FSM Traversal / CABODI G.; CAMURATI P.; CORNO F.; PRINETTO P.; SONZA REORDA M.. - In: FORMAL METHODS IN SYSTEM DESIGN. - ISSN 0925-9856. - 12(1998), pp. 267-289.1998CABODI, Gianpiero  ; CAMURATI, Paolo Enrico  ; CORNO, Fulvio  ; PRINETTO, Paolo Ernesto  ; SONZA REORDA, MATTEO  -
    12Testability measures with concurrent good simulation / CABODI G.P; CAMURATI P; PRINETTO P.; SONZA REORDA M. - (1989), pp. 144-149. ((Intervento presentato al convegno ETC'89: IEEE 1st European Test Conference tenutosi a Paris (France) nel 12-14 April 1989.1989CABODI, Gianpiero  ; CAMURATI, Paolo Enrico  ; PRINETTO, Paolo Ernesto  ; SONZA REORDA, MATTEO  -
    13Symbolic Traversals of Data Paths with Auxiliary Variables / Cabodi G.; Camurati P.; Quer S.. - STAMPA. - (1994), pp. 93-96. ((Intervento presentato al convegno GLSV '94: Fourth Great Lakes Symposium on VLSI tenutosi a Notre Dame, Indiana, USA nel March 1994.1994CABODI, Gianpiero  ; CAMURATI, Paolo Enrico  ; QUER, Stefano  -
    14Symbolic FSM Traversal based on the Transition Relation / CABODI G; CAMURATI P.. - In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. - ISSN 0278-0070. - 16(1997), pp. 448-457.1997CABODI, Gianpiero  ; CAMURATI, Paolo Enrico  -
    15Symbolic Forward/Backward Traversals of Large Finite State Machines / G. CABODI; CAMURATI P.; S. QUER. - In: JOURNAL OF SYSTEMS ARCHITECTURE. - ISSN 1383-7621. - 46(2000), pp. 1137-1158.2000CABODI, Gianpiero  ; CAMURATI, Paolo Enrico  ; QUER, Stefano  -
    16Symbolic Exploration of Large Circuits with Enhanced Forward/Backward Traversals / CABODI G; CAMURATI P.; S. QUER. - (1994), pp. 22-27. ((Intervento presentato al convegno IEEE EURO-DAC94 tenutosi a Grenoble nel September 1994.1994CABODI, Gianpiero  ; CAMURATI, Paolo Enrico  ; QUER, Stefano  -
    17A 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.2002CABODI, Gianpiero  ; LAVAGNO, Luciano  ; LAZARESCU, MIHAI TEODOR  ; NOCCO, SERGIO  ; PASSERONE, CLAUDIO  ; QUER, Stefano    Visibile a tutti
    18Strengthening Model Checking Techniques with Inductive Invariants / G. CABODI; S. NOCCO; QUER S.. - In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. - ISSN 0278-0070. - 28(2009), pp. 154-158.2009CABODI, Gianpiero  ; NOCCO, SERGIO  ; QUER, Stefano    Visibile a tutti
    19Stepping Forward with Interpolants in Unbounded Model Checking / CABODI G.; M.MURCIANO; S.NOCCO; S.QUER. - (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.2006CABODI, Gianpiero  ; MURCIANO, MARCO  ; NOCCO, SERGIO  ; QUER, Stefano  -
    20Speeding-up heuristic allocation, scheduling and binding with SAT-based abstraction/refinement techniques / CABODI G; LAVAGNO L.; MURCIANO M; KONDRATYEV A; WATANABE Y. - In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. - ISSN 1084-4309. - 15:2(2010), pp. 12:1-12:34.2010CABODI, Gianpiero  ; LAVAGNO, Luciano  ; MURCIANO, MARCO  ;  riservati

     
     
     
    Powered by IRIS-about IRIS-Utilizzo dei cookie
    Logo CINECA  Copyright © 2019