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

 

Concurrency Made Easy 

  • 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.