Browsing Research Reports in Software Engineering and Management by Author "Schneider, Gerardo"

Now showing items 1-3 of 3

    • Incorporating Monitors in Reactive Synthesis without Paying the Price 

      Azzopardi, Shaun; Piterman, Nir; Schneider, Gerardo (19th International Symposium on Automated Technology for Verification and Analysis, 2021)
      Temporal synthesis attempts to construct reactive programs that satisfy a given declarative (LTL) formula. Practitioners have found it challenging to work exclusively with declarative speci cations, and have found ...

    • On the Specification and Monitoring of Timed Normative Systems 

      Azzopardi, Shaun; Pace, Gordon J.; Schapachnik, Fernando; Schneider, Gerardo (2022)
      In this article we explore different issues and design choices that arise when considering how to fully embrace timed aspects in the formalisation of normative systems, e.g., by using deontic modalities, looking primarily ...

    • Runtime Verification meets Controller Synthesis 

      Azzopardi, Shaun; Piterman, Nir; Schneider, Gerardo (2022)
      Reactive synthesis guarantees correct-by-construction controllers from logical specifications, but is costly—2EXPTIME-complete in the size of the specification. In a practical setting, the desired controllers need to ...