PUBLICATIONS & PROJECTS
G. Caltais, H. Hojjat, M. Mousavi, H.C. Tunç
FoSSaCS 2022, 184-204.
G. Caltais, H.C. Tunç
JLAMP, Elsevier, doi:10.1016/j.jlamp.2021.100676
G. Caltais, M.R. Mousavi, H.Singh.
Fundamenta Informaticae 2020, vol. 173, no 2-3.
G. Caltais, S.L. Guetlein, S. Leue.
G. Caltais, B. Meyer
SCP 2017, 133: 194–215.
PhD thesis, 2015.
L. Aceto, G. Caltais, E. I. Goriac, A. Ingólfsdóttir.
SOS 2011, EPTCS, 62, 1-15.
D. Lucanu, E. I. Goriac, G. Caltais and G. Roşu.
CALCO Tools 2009, Springer-Verlag, 5728, 433-442.
Causal Reasoning in NetKAT (principal investigator)
July 2018 - January 2022
Research interests: causal framework for SDNs and applications
July 2015 - July 2018
Research interests: counterfactual and causal reasoning for concurrency, model transformations
November 2013 - May 2015
Research interests: toolbox for the analysis of the SCOOP concurrency model
August 2010 - August 2013
Research interests: rule formats for bisimilarity, uniform (co-)algebraic modellings of concurrent systems semantics
October 2007 - September 2010
Research interests: theorem proving, algebraic specifications and cionduction based verification techniques.