All Stories

  1. Runtime Verification of Hash Code in Mutable Classes

    Article • July 2023, ACM (Association for Computing Machinery)

    Davide Ancona

  2. Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems

    Article • ACM Transactions on Software Engineering and Methodology, October 2021, ACM (Association for Computing Machinery)

    Davide Ancona, Louise Dennis

  3. Slow Rogaining: An Innovative Teamwork Model for Computer Science Education

    Article • July 2020, ACM (Association for Computing Machinery)

    Francesca Vitali, Davide Ancona

  4. Flow Programming: A Flexible way to bring the Internet of Things into the Lab

    Article • July 2020, ACM (Association for Computing Machinery)

    Davide Ancona

  5. An Acceptance Testing Approach for Internet of Things Systems

    Article • IET Software, May 2018, the Institution of Engineering and Technology (the IET)

    Davide Ancona

  6. Preface

    Article • Fundamenta Informaticae, March 2018, IOS Press

    Alberto Pettorossi, Davide Ancona

  7. Reasoning on divergent computations with coaxioms

    Article • Proceedings of the ACM on Programming Languages, October 2017, ACM (Association for Computing Machinery)

    Davide Ancona

  8. Semantic subtyping for imperative object-oriented languages

    Article • ACM SIGPLAN Notices, December 2016, ACM (Association for Computing Machinery)

    Davide Ancona

  9. Semantic subtyping for imperative object-oriented languages

    Article • October 2016, ACM (Association for Computing Machinery)

    Davide Ancona

  10. How to prove type soundness of Java-like languages without forgoing big-step semantics

    Article • January 2014, ACM (Association for Computing Machinery)

    Davide Ancona