Archivio Istituzionale della RicercaCAMURATI, Paolo Enrico
CAMURATI, Paolo Enrico
Dipartimento di Automatica e Informatica
001895
A graph-labeling approach for efficient cone-of-influence computation in model-checking problems with multiple properties
2016 Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
A Smart Many-Core Implementation of a Motion Planning Framework along a Reference Path for Autonomous Cars
2019 Cabodi, Gianpiero; Camurati, Paolo; Garbo, Alessandro; Giorelli, Michele; Quer, Stefano; Savarese, Francesco
An Approach to Sequential Circuit Diagnosis Based on Formal Verification Techniques
1993 Cabodi, Gianpiero; Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
Auxiliary Variables for BDD-based Representation and Manipulation of Boolean Functions
1998 Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
C_TPDL* : adapting TPDL* to concurrent simulation environments
1986 Cabodi, Gianpiero; Camurati, Paolo Enrico; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
Comparative analysis of models and performance indicators for optimal service facility location
2021 Fadda, Edoardo; Manerba, Daniele; Cabodi, Gianpiero; Camurati, Paolo; Tadei, Roberto
Embedded Systems Secure Path Verification at the HW/SW Interface
2017 Cabodi, Gianpiero; Camurati, Paolo Enrico; Finocchiaro, SEBASTIANO FABRIZIO; Savarese, Francesco; Vendraminetto, Danilo
Exploiting Timed Transition Relations in Sequential Cycle-Based Simulation of Embedded Systems
2000 Cabodi, Gianpiero; Camurati, Paolo Enrico; Passerone, Claudio; Quer, Stefano
Expressing logical and temporal conditions in simulation environments: TPDL*
1989 Cabodi, Gianpiero; Camurati, Paolo Enrico; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
Formal Verification of Embedded Systems for Remote Attestation
2015 Cabodi, Gianpiero; Camurati, Paolo Enrico; Loiacono, Carmelo; Pipitone, Giovanni; Savarese, Francesco; Vendraminetto, Danilo
Implicit Manipulation of Equivalence Classes for Large Finite State Machines
1998 Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
Improving symbolic reachability analysis by means of activity profiles
2000 Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
Improving the Efficiency of BDD--based operators through Partitioning
1999 Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking
2022 Cabodi, G.; Camurati, P. E.; Palena, M.; Pasini, P.
Logic Synthesis for Interpolant Circuit Compaction
2019 Cabodi, G.; Camurati, P. E.; Palena, M.; Pasini, P.; Vendraminetto, D.
Memory Optimization in Function and Set Manipulation with BDDs
1998 Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
Model-Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification
2019 Cabodi, Gianpiero; Camurati, Paolo; Finocchiaro, Fabrizio; Vendraminetto, Danilo
Reachability Analysis of Large Circuits Using Disjunctive Partitioning and Partial Iterative Squaring
2001 Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
Reducing interpolant circuit size through SAT-based weakening
2019 Cabodi, G.; Camurati, P. E.; Palena, M.; Pasini, P.; Vendraminetto, D.
SAT solver management strategies in IC3: an experimental approach
2017 Palena, Marco; Pasini, Paolo; Cabodi, Gianpiero; Camurati, Paolo Enrico; Mishchenko, Alan
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| A graph-labeling approach for efficient cone-of-influence computation in model-checking problems with multiple properties / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - In: SOFTWARE-PRACTICE & EXPERIENCE. - ISSN 0038-0644. - ELETTRONICO. - 46:4(2016), pp. 493-511. [10.1002/spe.2321] | 1-gen-2016 | CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano | spe.2321.pdf |
| A Smart Many-Core Implementation of a Motion Planning Framework along a Reference Path for Autonomous Cars / Cabodi, Gianpiero; Camurati, Paolo; Garbo, Alessandro; Giorelli, Michele; Quer, Stefano; Savarese, Francesco. - In: ELECTRONICS. - ISSN 2079-9292. - 8:2(2019), p. 177. [10.3390/electronics8020177] | 1-gen-2019 | Cabodi, GianpieroCamurati, PaoloGarbo, AlessandroQuer, StefanoSavarese, Francesco + | savarese_paper.pdf |
| An Approach to Sequential Circuit Diagnosis Based on Formal Verification Techniques / Cabodi, Gianpiero; Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - In: JOURNAL OF ELECTRONIC TESTING. - ISSN 0923-8174. - 4:(1993), pp. 11-17. | 1-gen-1993 | CABODI, GianpieroCAMURATI, Paolo EnricoCORNO, FulvioPRINETTO, Paolo ErnestoSONZA REORDA, Matteo | - |
| Auxiliary Variables for BDD-based Representation and Manipulation of Boolean Functions / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. - ISSN 1084-4309. - 3:(1998), pp. 309-340. | 1-gen-1998 | CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano | - |
| C_TPDL* : adapting TPDL* to concurrent simulation environments / Cabodi, Gianpiero; Camurati, Paolo Enrico; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - In: MICROPROCESSING AND MICROPROGRAMMING. - ISSN 0165-6074. - STAMPA. - 18:1-5(1986), pp. 39-46. | 1-gen-1986 | CABODI, GianpieroCAMURATI, Paolo EnricoPRINETTO, Paolo ErnestoSONZA REORDA, Matteo | - |
| Comparative analysis of models and performance indicators for optimal service facility location / Fadda, Edoardo; Manerba, Daniele; Cabodi, Gianpiero; Camurati, Paolo; Tadei, Roberto. - In: TRANSPORTATION RESEARCH PART E-LOGISTICS AND TRANSPORTATION REVIEW. - ISSN 1366-5545. - ELETTRONICO. - 145:(2021). [10.1016/j.tre.2020.102174] | 1-gen-2021 | fadda,edoardocabodi, gianpierocamurati, paolotadei, roberto + | published paper.pdf |
| Embedded Systems Secure Path Verification at the HW/SW Interface / Cabodi, Gianpiero; Camurati, Paolo Enrico; Finocchiaro, SEBASTIANO FABRIZIO; Savarese, Francesco; Vendraminetto, Danilo. - In: IEEE DESIGN & TEST. - ISSN 2168-2356. - STAMPA. - 34:5(2017), pp. 38-46. [10.1109/MDAT.2017.2713393] | 1-gen-2017 | CABODI, GianpieroCAMURATI, Paolo EnricoFINOCCHIARO, SEBASTIANO FABRIZIOSAVARESE, FRANCESCOVENDRAMINETTO, DANILO | 07944703.pdf |
| Exploiting Timed Transition Relations in Sequential Cycle-Based Simulation of Embedded Systems / Cabodi, Gianpiero; Camurati, Paolo Enrico; Passerone, Claudio; Quer, Stefano. - In: IEE PROCEEDINGS. COMPUTERS AND DIGITAL TECHNIQUES. - ISSN 1350-2387. - 147:(2000), pp. 305-312. [10.1049/ip-cdt:20000684] | 1-gen-2000 | CABODI, GianpieroCAMURATI, Paolo EnricoPASSERONE, ClaudioQUER, Stefano | - |
| Expressing logical and temporal conditions in simulation environments: TPDL* / Cabodi, Gianpiero; Camurati, Paolo Enrico; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - In: MICROPROCESSING AND MICROPROGRAMMING. - ISSN 0165-6074. - 26:(1989), pp. 241-252. | 1-gen-1989 | CABODI, GianpieroCAMURATI, Paolo EnricoPRINETTO, Paolo ErnestoSONZA REORDA, Matteo | - |
| Formal Verification of Embedded Systems for Remote Attestation / Cabodi, Gianpiero; Camurati, Paolo Enrico; Loiacono, Carmelo; Pipitone, Giovanni; Savarese, Francesco; Vendraminetto, Danilo. - In: WSEAS TRANSACTIONS ON COMPUTERS. - ISSN 1109-2750. - ELETTRONICO. - 14:(2015), pp. 760-769. | 1-gen-2015 | CABODI, GianpieroCAMURATI, Paolo EnricoLOIACONO, CARMELOPIPITONE, GIOVANNISAVARESE, FRANCESCOVENDRAMINETTO, DANILO | - |
| Implicit Manipulation of Equivalence Classes for Large Finite State Machines / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - In: IEE PROCEEDINGS. COMPUTERS AND DIGITAL TECHNIQUES. - ISSN 1350-2387. - 145:(1998), pp. 395-402. | 1-gen-1998 | CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano | - |
| Improving symbolic reachability analysis by means of activity profiles / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. - ISSN 0278-0070. - 19:(2000), pp. 1065-1075. | 1-gen-2000 | CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano | - |
| Improving the Efficiency of BDD--based operators through Partitioning / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. - ISSN 0278-0070. - 18:(1999), pp. 545-556. | 1-gen-1999 | CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano | - |
| Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking / Cabodi, G.; Camurati, P. E.; Palena, M.; Pasini, P.. - In: FORMAL METHODS IN SYSTEM DESIGN. - ISSN 0925-9856. - (2022), pp. 1-30. [10.1007/s10703-022-00406-7] | 1-gen-2022 | Cabodi, G.Camurati, P. E.Palena, M.Pasini, P. | s10703-022-00406-7.pdf; 10703_2022_406_postprint.pdf |
| Logic Synthesis for Interpolant Circuit Compaction / Cabodi, G.; Camurati, P. E.; Palena, M.; Pasini, P.; Vendraminetto, D.. - In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. - ISSN 0278-0070. - STAMPA. - 38:2(2019), pp. 380-384. [10.1109/TCAD.2018.2808229] | 1-gen-2019 | Cabodi, G.Camurati, P. E.Palena, M.Pasini, P.Vendraminetto, D. | 08299440.pdf |
| Memory Optimization in Function and Set Manipulation with BDDs / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - In: SOFTWARE-PRACTICE & EXPERIENCE. - ISSN 0038-0644. - 28:(1998), pp. 99-120. | 1-gen-1998 | CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano | - |
| Model-Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification / Cabodi, Gianpiero; Camurati, Paolo; Finocchiaro, Fabrizio; Vendraminetto, Danilo. - In: ELECTRONICS. - ISSN 2079-9292. - 8:9(2019). [10.3390/electronics8091057] | 1-gen-2019 | Cabodi, GianpieroCamurati, PaoloFinocchiaro, FabrizioVendraminetto, Danilo | electronics-08-01057.pdf |
| Reachability Analysis of Large Circuits Using Disjunctive Partitioning and Partial Iterative Squaring / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - In: JOURNAL OF SYSTEMS ARCHITECTURE. - ISSN 1383-7621. - 47:(2001), pp. 163-179. | 1-gen-2001 | CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano | - |
| Reducing interpolant circuit size through SAT-based weakening / Cabodi, G.; Camurati, P. E.; Palena, M.; Pasini, P.; Vendraminetto, D.. - In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. - ISSN 0278-0070. - ELETTRONICO. - (2019). [10.1109/TCAD.2019.2915317] | 1-gen-2019 | Cabodi, G.Camurati, P. E.Palena, M.Pasini, P.Vendraminetto, D. | - |
| SAT solver management strategies in IC3: an experimental approach / Palena, Marco; Pasini, Paolo; Cabodi, Gianpiero; Camurati, Paolo Enrico; Mishchenko, Alan. - In: FORMAL METHODS IN SYSTEM DESIGN. - ISSN 0925-9856. - STAMPA. - 50:1(2017), pp. 39-74. [10.1007/s10703-017-0272-0] | 1-gen-2017 | PALENA, MARCOPASINI, PAOLOCABODI, GianpieroCAMURATI, Paolo Enrico + | Cabodi2017_Article_SATSolverManagementStrategiesI.pdf |