According to our database1, Theophilos Giannakopoulos authored at least 4 papers between 2009 and 2019.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering Workshops, 2019
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
Proceedings of the FM 2009: Formal Methods, 2009