This page shows the publications appeared in journals, collections, periodic conferences,
and books whose authors are currently affiliated with the Institute. The publications
are grouped by research topic and then by publication site. Finally, each
publication site is linked to the corresponding article list. The numbers in square
brackets give the total number of publications associated with the corresponding item.
Lecture Notes in Computer Science
- Emanuele De Angelis, Fioravanti F., Palacios A., Pettorossi A., Maurizio Proietti: Property-Based Test Case Generators for Free, Lecture Notes in Computer Science 11823, 186-206, 2019
- Emanuele De Angelis, Fioravanti F., Pettorossi A., Maurizio Proietti: Predicate pairing with abstraction for relational verification, Lecture Notes in Computer Science 10855, 289-305, 2018
- Emanuele De Angelis, Fioravanti F., Meo M.C., Pettorossi A., Maurizio Proietti: Verifying Controllability of Time-Aware Business Processes, Lecture Notes in Computer Science 10364, 103-118, 2017
- Emanuele De Angelis, Fioravanti F., Pettorossi A., Maurizio Proietti: Relational Verification Through Horn Clause Transformation, Lecture Notes in Computer Science 9837, 147-169, 2016
- Latella D., Loreti M., Massink M., Senni V.: On StocS: A Stochastic Extension of SCEL, Lecture Notes in Computer Science 8950, 619-640, 2015
- Emanuele De Angelis, Fioravanti F., Pettorossi A., Maurizio Proietti: Verifying Array Programs by Transforming Verification Conditions, Lecture Notes in Computer Science 8318, 182-202, 2014
- Emanuele De Angelis, Fioravanti F., Pettorossi A., Maurizio Proietti: VeriMAP: A tool for verifying programs through transformations, Lecture Notes in Computer Science 8413, 568-574, 2014
- Emanuele De Angelis, Fioravanti F., Pettorossi A., Maurizio Proietti: Specialization with Constrained Generalization for Software Model Checking, Lecture Notes in Computer Science Vol. 7844, pp. 51-70, 2013
|
