Archivio Istituzionale della RicercaCAMURATI, Paolo Enrico
CAMURATI, Paolo Enrico
Dipartimento di Automatica e Informatica
001895
A Theorem Prover Based Approach for SAT-Based Model Checking Certification
2025 Sindoni, Giulia; Pasini, Paolo; Cabodi, Gianpiero; Camurati, Paolo E.; Griggio, Alberto; Palena, Marco; Roveri, Marco; Tonetta, Stefano
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification
2021 Cabodi, Gianpiero; Camurati, Paolo; Palena, Marco; Pasini, Paolo
KPIs for Optimal Location of charging stations for Electric Vehicles: the Biella case-study
2019 Fadda, Edoardo; Manerba, Daniele; Tadei, Roberto; Camurati, Paolo Enrico; Cabodi, Gianpiero
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
Interpolation-based learning as a mean to speed-up Bounded Model Checking
2017 Cabodi, Gianpiero; Camurati, Paolo Enrico; Palena, Marco; Pasini, Paolo; Vendraminetto, Danilo
A 7/2-approximation algorithm for the Maximum Duo-Preservation String Mapping Problem
2016 Boria, Nicolas; Cabodi, Gianpiero; Camurati, Paolo Enrico; Palena, Marco; Pasini, Paolo; Quer, Stefano
Reducing Interpolant Circuit Size by Ad Hoc Logic Synthesis and SAT-Based Weakening
2016 Cabodi, Gianpiero; Camurati, Paolo Enrico; Palena, Marco; Pasini, Paolo; Vendraminetto, Danilo
Secure Embedded Architectures: Taint Properties Verification
2016 Cabodi, Gianpiero; Camurati, Paolo Enrico; Finocchiaro, SEBASTIANO FABRIZIO; Loiacono, Carmelo; Savarese, Francesco; Vendraminetto, Danilo
Secure Path Verification
2016 Cabodi, Gianpiero; Camurati, Paolo Enrico; Finocchiaro, SEBASTIANO FABRIZIO; Loiacono, Carmelo; Savarese, Francesco; Vendraminetto, Danilo
To split or to group: from divide-and-conquer to sub-task sharing in verifying multiple properties
2014 Camurati, Paolo Enrico; Loiacono, Carmelo; Pasini, Paolo; Patti, Denis; 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
Automated Abstraction by Incremental Refinement in Interpolant-based Model Checking
2008 Cabodi, Gianpiero; Camurati, Paolo Enrico; Murciano, Marco
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
Improving SAT-based Bounded Model Checking by Means of BDD-Based Approximate Traversals.
2003 Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano; Nocco, Sergio
Can BDDs compete with SAT solvers on Bounded Model Checking?
2002 Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
Dynamic Scheduling and Clustering in Symbolic Image Computation
2002 Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
Biasing symbolic search by means of dynamic activity profiles
2001 Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
Computing Timed Transition Relations for Sequential cycle-based simulation
1999 Cabodi, Gianpiero; Camurati, Paolo Enrico; Passerone, Claudio; Quer, Stefano
Improving Symbolic Traversals by Means of Activity Profiles
1999 Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano
Efficient Computation of Timed Transition Relations
1998 Cabodi, Gianpiero; Camurati, Paolo Enrico; Lavagno, Luciano; Quer, Stefano
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| A Theorem Prover Based Approach for SAT-Based Model Checking Certification / Sindoni, G., Pasini, P., Cabodi, G., Camurati, P.E., Griggio, A., Palena, M., Roveri, M., Tonetta, S.. - ELETTRONICO. - 15943:(2025), pp. 449-467. (Automated Deduction - CADE 30 Stuttgart (Ger) July 28 - August 2, 2025) [10.1007/978-3-031-99984-0_24]. | 1-gen-2025 | Pasini, PaoloCabodi, GianpieroCamurati, Paolo E.Palena, MarcoRoveri, Marco + | - |
| Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification / Cabodi, G., Camurati, P., Palena, M., Pasini, P.. - STAMPA. - (2021), pp. 1122-1125. (Design Automation and Test in Europe (DATE) 01-05 February 2021) [10.23919/DATE51398.2021.9474083]. | 1-gen-2021 | Cabodi,GianpieroCamurati,PaoloPalena,MarcoPasini,Paolo | Optimizing_Binary_Decision_Diagrams_for_Interpretable_Machine_Learning_Classification.pdf; Optimizing_Binary_Decision_Diagrams_for_Interpretable_Machine_Learning_Classification.pdf |
| KPIs for Optimal Location of charging stations for Electric Vehicles: the Biella case-study / Fadda, E., Manerba, D., Tadei, R., Camurati, P.E., Cabodi, G.. - ELETTRONICO. - 18:(2019), pp. 123-126. (12th International Workshop on Computational Optimization Leipzig, Germany September 1-4) [10.15439/2019F171]. | 1-gen-2019 | Edoardo FaddaDaniele ManerbaRoberto TadeiPaolo CamuratiGianpiero Cabodi | KPIs for Optimal Location.pdf |
| Model Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification / Cabodi, G., Camurati, P., Finocchiaro, F., Vendraminetto, D.. - STAMPA. - 11445:(2019), pp. 462-479. (Codes, Cryptology and Information Security Rabat, Morocco April 22-24, 2019) [10.1007/978-3-030-16458-4_27]. | 1-gen-2019 | Cabodi, GianpieroCamurati, PaoloFinocchiaro, FabrizioVendraminetto, Danilo | c2si19.pdf; 978-3-030-16458-4_27.pdf |
| Interpolation-based learning as a mean to speed-up Bounded Model Checking / Cabodi, G., Camurati, P.E., Palena, M., Pasini, P., Vendraminetto, D.. - ELETTRONICO. - (2017). (15th International Conference on Software Engineering and Formal Methods Trento (Italy) September 4-8, 2017). | 1-gen-2017 | CABODI, GianpieroCAMURATI, Paolo EnricoPALENA, MARCOPASINI, PAOLOVENDRAMINETTO, DANILO | - |
| A 7/2-approximation algorithm for the Maximum Duo-Preservation String Mapping Problem / Boria, N., Cabodi, G., Camurati, P.E., Palena, M., Pasini, P., Quer, S.. - ELETTRONICO. - (2016). (27th Annual Symposium on Combinatorial Pattern Matching Tel Aviv, Israel June 27 - 29, 2016). | 1-gen-2016 | BORIA, NICOLASCABODI, GianpieroCAMURATI, Paolo EnricoPALENA, MARCOPASINI, PAOLOQUER, Stefano | - |
| Reducing Interpolant Circuit Size by Ad Hoc Logic Synthesis and SAT-Based Weakening / Cabodi, G., Camurati, P.E., Palena, M., Pasini, P., Vendraminetto, D.. - ELETTRONICO. - (2016), pp. 25-32. (Formal Methods in Computer-Aided Design Mountain View, California, USA October 3 - 6, 2016) [10.1109/FMCAD.2016.7886657]. | 1-gen-2016 | CABODI, GianpieroCAMURATI, Paolo EnricoPALENA, MARCOPASINI, PAOLOVENDRAMINETTO, DANILO | fmcad2016A4.pdf; 07886657.pdf |
| Secure Embedded Architectures: Taint Properties Verification / Cabodi, G., Camurati, P.E., Finocchiaro, S.F., Loiacono, C., Savarese, F., Vendraminetto, D.. - ELETTRONICO. - (2016). (International Conference on Development and Application Systems ) [10.1109/DAAS.2016.7492565]. | 1-gen-2016 | CABODI, GianpieroCAMURATI, Paolo EnricoFINOCCHIARO, SEBASTIANO FABRIZIOLOIACONO, CARMELOSAVARESE, FRANCESCOVENDRAMINETTO, DANILO | - |
| Secure Path Verification / Cabodi, G., Camurati, P.E., Finocchiaro, S.F., Loiacono, C., Savarese, F., Vendraminetto, D.. - ELETTRONICO. - (2016). (IEEE International Verification and Security Workshop ) [10.1109/IVSW.2016.7566608]. | 1-gen-2016 | CABODI, GianpieroCAMURATI, Paolo EnricoFINOCCHIARO, SEBASTIANO FABRIZIOLOIACONO, CARMELOSAVARESE, FRANCESCOVENDRAMINETTO, DANILO | - |
| To split or to group: from divide-and-conquer to sub-task sharing in verifying multiple properties / Camurati, P.E., Loiacono, C., Pasini, P., Patti, D., Quer, S.. - ELETTRONICO. - (2014). (International Workshop on Design and Implementation of Formal Tools and Systems (DIFTS 2014) Lausanne, Switzerland October 20, 2014). | 1-gen-2014 | CAMURATI, Paolo EnricoLOIACONO, CARMELOPASINI, PAOLOPATTI, DENISQUER, Stefano | - |
| Speeding up Model Checking by Exploiting Explicit and Hidden Verification Constraints / Cabodi, G., Camurati, P.E., L., G., Murciano, M., Nocco, S., Quer, S.. - STAMPA. - (2009), pp. 1686-1691. (DATE'09: ACM/IEEE Design Automation and Test in Europe Nice, France April 20,24). | 1-gen-2009 | CABODI, GianpieroCAMURATI, Paolo EnricoMURCIANO, MARCONOCCO, SERGIOQUER, Stefano + | - |
| Automated Abstraction by Incremental Refinement in Interpolant-based Model Checking / Cabodi, G., Camurati, P.E., Murciano, M.. - STAMPA. - (2008), pp. 129-136. (ICCAD'08: IEEE/ACM International Conference on Computer Aided Design San Jose 10-13 nov 2008). | 1-gen-2008 | CABODI, GianpieroCAMURATI, Paolo EnricoMURCIANO, MARCO | - |
| Trading off SAT Search and Variable Quantifications for Effective Unbounded Model Checking / Cabodi, G., Camurati, P.E., Murciano, M., GARCIA GALEANO, L.A., Nocco, S., Quer, S.. - STAMPA. - (2008), pp. 205-212. (FMCAD 2008: Formal Methods in Computer Aided Design Portland, OR, USA 17-20 novembre 2008). | 1-gen-2008 | CABODI, GianpieroCAMURATI, Paolo EnricoMURCIANO, MARCOGARCIA GALEANO, LUZ AMANDANOCCO, SERGIOQUER, Stefano | - |
| Improving SAT-based Bounded Model Checking by Means of BDD-Based Approximate Traversals / Cabodi, G., Camurati, P.E., Quer, S., Nocco, S.. - (2003), pp. 898-903. (DATE '03, ACM/IEEE Design Automation and Test in Europe Munich (DEU) marzo 2003). | 1-gen-2003 | CABODI, GianpieroCAMURATI, Paolo EnricoQUER, StefanoNOCCO, SERGIO | - |
| Can BDDs compete with SAT solvers on Bounded Model Checking? / Cabodi, G., Camurati, P.E., Quer, S.. - (2002), pp. 117-122. (DAC'39: 39th ACM/IEEE Design Automation Conference New Orleans (USA) June 2002). | 1-gen-2002 | CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano | - |
| Dynamic Scheduling and Clustering in Symbolic Image Computation / Cabodi, G., Camurati, P.E., Quer, S.. - (2002), pp. 150-156. (DATE'02: IEEE Design Automation and Test in Europe Paris (F) March 2002). | 1-gen-2002 | CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano | - |
| Biasing symbolic search by means of dynamic activity profiles / Cabodi, G., Camurati, P.E., Quer, S.. - (2001), pp. 09-15. (DATE'01: IEEE Design Automation and Test in Europe Munich march 2001). | 1-gen-2001 | CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano | - |
| Computing Timed Transition Relations for Sequential cycle-based simulation / Cabodi, G., Camurati, P.E., Passerone, C., Quer, S.. - (1999), pp. 8-12. (IEEE Design, Automation and Test in Europe Munich, Germany March 9-12, 1999). | 1-gen-1999 | CABODI, GianpieroCAMURATI, Paolo EnricoPASSERONE, ClaudioQUER, Stefano | - |
| Improving Symbolic Traversals by Means of Activity Profiles / Cabodi, G., Camurati, P.E., Quer, S.. - (1999), pp. 306-311. (DAC-36: 36th ACM/IEEE Design Automation Conference New Orleans (USA) June 1999). | 1-gen-1999 | CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano | - |
| Efficient Computation of Timed Transition Relations / Cabodi, G., Camurati, P.E., Lavagno, L., Quer, S.. - STAMPA. - (1998). (IEEE/ACM International Workshop on Logic Synthesis (IWLS 1998) Lake Tahoe, California, USA June 1998). | 1-gen-1998 | CABODI, GianpieroCAMURATI, Paolo EnricoLAVAGNO, LucianoQUER, Stefano | - |