Theophilos Giannakopoulos

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Synthesizing Mutable Configurations: Setting up Systems for Success.
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.
Proc. ACM Program. Lang., 2018

Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2018

2009
Towards an Operational Semantics for Alloy.
Proceedings of the FM 2009: Formal Methods, 2009


  Loading...