Towards an Operational Semantics for Alloy. - Theophilos Giannakopoulos; Daniel J. Dougherty; Kathi Fisler; Shriram Krishnamurthi (FM, 2009)

Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement. - Teng Zhang; John Wiegley; Theophilos Giannakopoulos; Gregory Eakman; Clément Pit-Claudel; Insup Lee 001; Oleg Sokolsky (SETTA, 2018)

Contextual equivalence for a probabilistic language with continuous random variables and recursion. - Mitchell Wand; Ryan Culpepper; Theophilos Giannakopoulos; Andrew Cobb (Proc. ACM Program. Lang., 2018)

Synthesizing Mutable Configurations: Setting up Systems for Success. - Tim Nelson; Natasha Danas; Theophilos Giannakopoulos; Shriram Krishnamurthi (ASE Workshops, 2019)