PUBLICATIONS & PROJECTS
Publications (selection)
G. Caltais, H. Hojjat, M. Mousavi, H.C. Tunç
DyNetKAT: An Algebra of Dynamic Networks
Technical report.
G. Caltais, H.C. Tunç
Explaining Safety Failures in NetKAT
JLAMP, Elsevier, doi:10.1016/j.jlamp.2021.100676
G. Caltais, M.R. Mousavi, H.Singh.
Causal Reasoning for Safety in Hennessy Milner Logic.
Fundamenta Informaticae 2020, vol. 173, no 2-3.
G. Caltais, S.L. Guetlein, S. Leue.
Causality for General LTL-definable Properties.
CREST@ETAPS 2018:1-15.
G. Caltais, B. Meyer
On the Verification of SCOOP Programs.
SCP 2017, 133: 194–215.
G. Caltais.
Coalgebraic Tools for Bisimilarity and Decorated Trace Semantics.
PhD thesis, 2015.
L. Aceto, G. Caltais, E. I. Goriac, A. Ingólfsdóttir.
Axiomatizing GSOS with Predicates.
SOS 2011, EPTCS, 62, 1-15.
D. Lucanu, E. I. Goriac, G. Caltais and G. Roşu.
CIRC: A Behavioral Verification Tool based on Circular Coinduction.
CALCO Tools 2009, Springer-Verlag, 5728, 433-442.
Projects
Causal Reasoning in NetKAT (principal investigator)
-
July 2018 - present
-
Research interests: causal framework for SDNs and applications
Causality Checking for Complex System Models
-
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
Meta-Theory of Algebraic Process Theories
-
August 2010 - August 2013
-
Research interests: rule formats for bisimilarity, uniform (co-)algebraic modellings of concurrent systems semantics
Automated Verification using Circularities
-
October 2007 - September 2010
-
Research interests: theorem proving, algebraic specifications and cionduction based verification techniques.