IRIS

DE ANGELIS, EMANUELE

DE ANGELIS, EMANUELE  

DIPARTIMENTO DI ECONOMIA  

Mostra records
Risultati 1 - 20 di 43 (tempo di esecuzione: 0.04 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
A Rule-based Verification Strategy for Array Manipulating Programs 2015 DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Bounded symbolic execution for runtime error detection of Erlang programs 2018 De Angelis, Emanuele; Fioravanti, Fabio; Palacios, Adrián; Pettorossi, Alberto; Proietti, Maurizio
Branching Preserving Specialization for Software Model Checking 2012 DE ANGELIS, Emanuele; Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti
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.
Predicate Pairing for program verification 2018 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Predicate Pairing with Abstraction for Relational Verification 2018 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 2014 DE ANGELIS, Emanuele; Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 2014 DE ANGELIS, Emanuele; Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 2017 DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Program verification via iterated specialization 2014 DE ANGELIS, Emanuele; Fioravanti, Fabio; A., Pettorossi; M., Proietti
Property-Based Test Case Generators for Free 2019 De Angelis, Emanuele; Fioravanti, Fabio; Palacios, Adrián; Pettorossi, Alberto; Proietti, Maurizio
Proving correctness of imperative programs by linearizing constrained Horn clauses 2015 DE ANGELIS, Emanuele; Fioravanti, Fabio; 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.