All Stories

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

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

    Alberto Pettorossi, Maurizio Proietti

  2. Preface

    Article • Fundamenta Informaticae, December 2020, IOS Press

    Alberto Pettorossi, Maurizio Proietti

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

    Article • Fundamenta Informaticae, March 2019, IOS Press

    Alberto Pettorossi, Maurizio Proietti

  4. Preface

    Article • Fundamenta Informaticae, July 2018, IOS Press

    Alberto Pettorossi, Alberto Momigliano

  5. Preface

    Article • Fundamenta Informaticae, March 2018, IOS Press

    Alberto Pettorossi, Davide Ancona

  6. Preface

    Article • Fundamenta Informaticae, March 2017, IOS Press

    Alberto Pettorossi

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

    Article • Fundamenta Informaticae, March 2017, IOS Press

    Maurizio Proietti, Alberto Pettorossi

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

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

    Alberto Pettorossi, Maurizio Proietti