PROIETTI, MAURIZIO

PROIETTI, MAURIZIO  

DIPARTIMENTO DI ECONOMIA  

Mostra records
Risultati 1 - 20 di 26 (tempo di esecuzione: 0.08 secondi).
Titolo Data di pubblicazione Autore(i) File
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution) 2024 Pettorossi, Alberto; Proietti, Maurizio; Fioravanti, Fabio; De Angelis, Emanuele
Automated strategies for specializing constraint logic programs 2001 Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Automatic Proofs of Protocols via Program Transformation. 2005 Fioravanti, Fabio; Alberto, Pettorossi; Proietti, Maurizio
Combining logic programs and monadic second order logics by program transformation 2003 Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions 2023 De Angelis, E.; Fioravanti, F.; Pettorossi, A.; Proietti, M.
Contract Strengthening through Constrained Horn Clause Verification 2022 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Lemma generation for horn clause satisfiability: A preliminary study 2019 De Angelis, E.; Fioravanti, F.; Pettorossi, A.; Proietti, M.
Major adverse cardiovascular events in non-valvular atrial fibrillation with chronic obstructive pulmonary disease: the ARAPACIS study 2018 Raparelli, Valeria; Pastori, Daniele; Pignataro, Serena Francesca; Vestri, Anna Rita; Pignatelli, Pasquale; Cangemi, Roberto; Proietti, Marco; Davì, Giovanni; Hiatt, William Robert; Lip, Gregory Yoke Hong; Corazza, Gino Roberto; Perticone, Francesco; Violi, Francesco; Basili, Stefania; Alessandri, C.; Serviddio, G.; Palange, P.; Greco, E.; Bruno, G.; Averna, M.; Giammanco, A.; Sposito, P.; de Cristofaro, R.; Carulli, L.; de Gennaro, L.; Pellegrini, E.; Cominacini, L.; Mozzini, C.; Pasini, A. F.; Sprovieri, M.; Spagnuolo, V.; Cerqua, G.; Cerasola, G.; Mulé, G.; Barbagallo, M.; Lo Sciuto, S.; Monteverde, A.; Saitta, A.; Lo Gullo, A.; Malatino, L.; Cilia, C.; Terranova, V.; Pisano, M.; Pinto, A.; Di Raimondo, D.; Tuttolomondo, A.; Conigliaro, R.; Signorelli, S.; de Palma, D.; Galderisi, M.; Cudemo, G.; Galletti, F.; Fazio, V.; de Luca, N.; Meccariello, A.; Caputo, D.; de Donato, M. T.; Iannuzi, A.; Bresciani, A.; Giunta, R.; Utili, R.; Iorio, V.; Adinolfi, L. E.; Sellitto, C.; Iuliano, N.; Bellis, P.; Tirelli, P.; Sacerdoti, D.; Vanni, D.; Iuliano, L.; Ciacciarelli, M.; Pacelli, A.; Palazzuoli, A.; Cacciafesta, M.; Gueli, N.; Lo Iacono, C.; Brusco, S.; Verrusio, W.; Nobili, L.; Tarquinio, N.; Pellegrini, F.; Vincentelli, G. M.; Ravallese, F.; Santini, C.; Letizia, C.; Petramala, L.; Zinnamosca, L.; Minisola, S.; Cilli, M.; Colangelo, L.; Falaschi, P.; Martocchia, A.; Pastore, F.; Bertazzoni, G.; Attalla El Halabieh, E.; Paradiso, M.; Lizzi, E. M.; Timmi, S.; Battisti, P.; Cerci, S.; Ciavolella, M.; Di Veroli, C.; Malci, F.; de Ciocchis, A.; Abate, D.; Castellino, P.; Zanoli, L.; Fidone, F.; Mannarino, E.; Pasqualini, L.; Oliverio, G.; Pende, A.; Artom, N.; Ricchio, R.; Fimognari, F. L.; Alletto, M.; Messina, S.; Sesti, G.; Arturi, F.; Succurro, E.; Fiorentino, T. V.; Pedace, E.; Scarpino, P. E.; Carullo, G.; Maio, R.; Sciacqua, A.; Frugiuele, P.; Spagnuolo, V.; Battaglia, G.; Atzori, S.; Delitala, G.; Angelucci, E.; Sestili, S.; Traisci, G.; de Feudis, L.; Di Michele, D.; Fava, A.; Balsano, C.; de Ciantis, P.; Desideri, G.; Camerota, A.; Mezzetti, M.; Gresele, P.; Vedovati, C.; Fierro, T.; Puccetti, L.; Bertolotti, M.; Mussi, C.; Boddi, M.; Savino, A.; Contri, S.; Degl’Innocenti, G.; Saller, A.; Fabris, F.; Pesavento, R.; Filippi, L.; Vedovetto, V.; Puato, M.; Fabris, F.; Treleani, M.; de Luca, E.; de Zaiacomo, F.; Giantin, V.; Semplicini, A.; Minuz, P.; Romano, S.; Fantin, F.; Manica, A.; Stockner, I.; Pattis, P.; Gutmann, B.; Catena, C.; Colussi, G.; Sechi, L. A.; Annoni, G.; Bruni, A. A.; Castagna, A.; Spinelli, D.; Miceli, E.; Padula, D.; Schinco, G.; Spreafico, S.; Secchi, B.; Vanoli, M.; Casella, G.; Pulixi, E. A.; Sansone, L.; Serra, M. G.; Longo, S.; Antonaci, S.; Belfiore, A.; Frualdo, M.; Palasciano, G.; Ricci, L.; Ventrella, F.; Bianco, C.; Santovito, D.; Cipollone, F.; Nicolai, S.; Salvati, F.; Rini, G. B.; Scozzari, F.; Muiesan, M. L.; Salvetti, M.; Bazza, A.; Picardi, A.; Vespasiani-Gentilucci, U.; de Vincentis, A.; Cosio, P.; Terzolo, M.; Madaffari, B.; Parasporo, B.; Fenoglio, L.; Bracco, C.; Melchio, R.; Gentili, T.; Salvi, A.; Nitti, C.; Gabrielli, A.; Martino, G. P.; Capucci, A.; Brambatti, M.; Sparagna, A.; Tirotta, D.; Andreozzi, P.; Ettorre, E.; Viscogliosi, G.; Servello, A.; Musumeci, M.; Delfino, M.; Giorgi, A.; Glorioso, N.; Melis, G.; Marras, G.; Matta, M.; Sacco, A.; Stellitano, E.; Scordo, A.; Russo, F.; Caruso, A. A.; Porreca, E.; Tana, M.; Ferri, C.; Cheli, P.; Portincasa, P.; Muscianisi, G.; Giordani, S.; Stanghellini, V.; Sabbà, C.; Mancuso, G.; Bartone, M.; Calipari, D.; Arcidiacono, G.; Bellanuova, I.; Ferraro, M.; Marigliano, G.; Cozzolino, D.; Lampitella, A.; Acri, V.; Galasso, D.; Mazzei, F.; Buratti, A.; Galasso, S.; Porta, M.; Brizzi, M. F.; Fattorini, A.; Sampietro, F.; D’Angelo, A.; Manfredini, R.; Pala, M.; Fabbian, F.; Moroni, C.; Valente, L.; Lopreiato, F.; Parente, F.; Granata, M.; Moia, M.; Braham, S.; Rossi, M.; Pesce, M.; Gentile, A.; Catozzo, V.; Baciarello, G.; Cosimati, A.; Ageno, W.; Rancan, E.; Guasti, L.; Ciccaglioni, A.; Negri, S.; Polselli, M.; Prisco, D.; Marcucci, R.; Ferro, D.; Perri, L.; Cangemi, R.; Saliola, M.; Del Ben, M.; Angelico, F.; Baratta, F.; Migliacci, R.; Porciello, G.; Corrao, S.; Proietti, M.; Raparelli, V.; Napoleone, L.; Talerico, G.; Amoroso, D.; Romiti, G. F.; Ruscio, E.; Toriello, F.; Sperduti, N.; Todisco, T.; Di Tanna, G.; Sacchetti, M. L.; Puddu, P. E.; Farcomeni, A.; Anzaldi, M.; Bazzini, C.; Bianchi, P. I.; Boari, B.; Bracco, C.; Buonauro, A.; Buttà, C.; Buzzetti, E.; Calabria, S.; Capeci, W.; Caradio, F.; Carleo, P.; Carrabba, M. D.; Castorani, L.; Cecchetto, L.; Cicco, S.; Cimini, C.; Colombo, B. M.; de Giorgi, A.; de Vuono, S.; Del Corso, L.; Denegri, A.; Di Giosia, P.; Durante Mangoni, E.; Falsetti, L.; Forgione, A.; Giorgini, P.; Grassi, D.; Grembiale, A.; Hijazi, D.; Iamele, L.; Lorusso, G.; Marchese, A.; Marra, A. M.; Masala, M.; Miceli, G.; Montebianco Abenavoli, L.; Murgia, G.; Naccarato, P.; Padula, D.; Pattoneri, P.; Perego, F.; Pesce, P.; Piano, S.; Pinna, M.; Pinto, D.; Pretti, V.; Pucci, G.; Salinaro, F.; Salzano, A.; Santilli, F.; Scarpini, F.; Scicali, R.; Sirico, D.; Suppressa, P.; Talia, M.; Tassone, E. J.; Torres, D.; Vazzana, N.; Vecchio, C. R.; Vidili, G.; Vitale, F.; Zaccone, V.
Multiple Query Satisfiability of Constrained Horn Clauses 2023 De Angelis, E.; Fioravanti, F.; Pettorossi, A.; Proietti, M.
Predicate Pairing with Abstraction for Relational Verification 2018 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Property-Based Test Case Generators for Free 2019 De Angelis, Emanuele; Fioravanti, Fabio; Palacios, Adrián; Pettorossi, Alberto; Proietti, Maurizio
Proving properties of sorting programs: A case study in horn clause verification 2019 De Angelis, E.; Pettorossi, A.; Fioravanti, F.; Proietti, M.
Relational verification through horn clause transformation 2016 DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates 2020 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Removing unnecessary variables from Horn clause verification conditions 2016 DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach 2022 De Angelis, E.; Fioravanti, F.; Pettorossi, A.; Proietti, M.
Semantics-based generation of verification conditions via program specialization 2017 DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, A.; Proietti, Maurizio
Specialization with clause splitting for deriving deterministic constraint logic programs 2002 Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Specialization with constrained generalization for software model checking 2013 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Transformational verification of quicksort 2020 De Angelis, Emanuele; Fioravanti, Fabio; Proietti, Maurizio