Theophilos Giannakopoulos

According to our database, Theophilos Giannakopoulos authored at least 4 papers between 2009 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2019

Synthesizing Mutable Configurations: Setting up Systems for Success.

Tim Nelson, Natasha Danas, Theophilos Giannakopoulos, Shriram Krishnamurthi

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering Workshops, 2019

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

Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement.

Teng Zhang, John Wiegley, Theophilos Giannakopoulos, Gregory Eakman, Clément Pit-Claudel, Insup Lee, Oleg Sokolsky

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2018

2009

Towards an Operational Semantics for Alloy.

Theophilos Giannakopoulos, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the FM 2009: Formal Methods, 2009