All Stories

  1. Redundancy Checking in Reversible Flowcharts via Logic-Based Operational Semantics

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

    Maurizio Proietti

  2. Preface

    Article • Fundamenta Informaticae, September 2024, IOS Press

    Maurizio Proietti

  3. A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution)

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

    Alberto Pettorossi, Maurizio Proietti

  4. Preface

    Article • Fundamenta Informaticae, June 2021, IOS Press

    Maurizio Proietti

  5. Preface

    Article • Fundamenta Informaticae, February 2021, IOS Press

    Maurizio Proietti

  6. Preface

    Article • Fundamenta Informaticae, December 2020, IOS Press

    Alberto Pettorossi, Maurizio Proietti

  7. Semantics and Controllability of Time-Aware Business Processes*

    Article • Fundamenta Informaticae, March 2019, IOS Press

    Alberto Pettorossi, Maurizio Proietti

  8. Program Verification using Constraint Handling Rules and Array Constraint Generalizations*

    Article • Fundamenta Informaticae, March 2017, IOS Press

    Maurizio Proietti, Alberto Pettorossi

  9. Semantics-based generation of verification conditions by program specialization

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

    Alberto Pettorossi, Maurizio Proietti