SOFTWARE AND KNOWLEDGE-BASED SYSTEMS (SaKS)

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.

Electronic Proceedings in Theoretical Computer Science
  • Emanuele De Angelis, Fioravanti F., Maurizio Proietti: Transformational verification of quicksort, in the Proceedings of 8th International Workshop on Verification and Program Transformation, Electronic Proceedings in Theoretical Computer Science, 320, 2020
  • Emanuele De Angelis, Fioravanti F., Pettorossi A., Maurizio Proietti: Lemma Generation for Horn Clause Satisfiability: A Preliminary Study, in the Proceedings of Seventh International Workshop on Verification and Program Transformation (VPT 2019), Lisitsa A., Nemytykh A. eds., Electronic Proceedings in Theoretical Computer Science, 299, 2019
  • Emanuele De Angelis, Fioravanti F., Pettorossi A., Maurizio Proietti: Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification, in the Proceedings of Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning (HCVS/PERR 2019), Electronic Proceedings in Theoretical Computer Science, 296, 2019
  • Emanuele De Angelis, Fioravanti F., Palacios A., Pettorossi A., Maurizio Proietti: Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs, in the Proceedings of 5th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2018), Electronic Proceedings in Theoretical Computer Science, 278, 2018
  • Lisitsa A., Nemytykh A.P., Maurizio Proietti eds.: Proceedings Fifth International Workshop on Verification and Program Transformation, VPT@ETAPS 2017, Uppsala, Sweden, 29th April 2017, Electronic Proceedings in Theoretical Computer Science, 253, Elsevier, 2017
  • Emanuele De Angelis, Fioravanti F., Pettorossi A., Maurizio Proietti: Removing unnecessary variables from Horn clause verification conditions, in the Proceedings of 3rd International Workshop on Horn Clauses for Verification and Synthesis, Electronic Proceedings in Theoretical Computer Science, 219, 2016
  • Emanuele De Angelis, Fioravanti F., Navas J, Maurizio Proietti: Verification of Programs by Combining Iterated Specialization with Interpolation, in the Proceedings of First Workshop on Horn Clauses for Verification and Synthesis, Electronic Proceedings in Theoretical Computer Science, 169, 2014
  • Emanuele De Angelis, Fioravanti F., Pettorossi A., Maurizio Proietti: Verification of Imperative Programs by Constraint Logic Program Transformation, in the Proceedings of SAIRP 2013, Festschrift for Dave Schmidt, Electronic Proceedings in Theoretical Computer Science, Vol 129, pp. 186-210, 2013
back
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -