Georgiana Caltais

Publication Activity (10 Years)

Years Active: 2008-2022
Publications (10 Years): 16

Top Topics

Causal Reasoning

Failure Detection

Top Venues

Sci. Comput. Program.

Publications

Georgiana Caltais, Can Olmezoglu
Counterfactual Causality in Networks. CoRR (2022)
Marcello M. Bonsangue, Georgiana Caltais, Hui Feng, Hünkar Can Tunç
A Language-Based Causal Model for Safety. TASE (2022)
Georgiana Caltais, Hossein Hojjat, Mohammad Reza Mousavi, Hünkar Can Tunç
DyNetKAT: An Algebra of Dynamic Networks. FoSSaCS (2022)
Georgiana Caltais, Hunkar Can Tunc
Explaining safety failures in NetKAT. J. Log. Algebraic Methods Program. 121 (2021)
Georgiana Caltais, Hunkar Can Tunc
Explaining Safety Failures in NetKAT. CoRR (2021)
Georgiana Caltais, Hossein Hojjat, Mohammad Reza Mousavi, Hunkar Can Tunc
DyNetKAT: An Algebra of Dynamic Networks. CoRR (2021)
Georgiana Caltais, Mohammad Reza Mousavi, Hargurbir Singh
Causal Reasoning for Safety in Hennessy Milner Logic. Fundam. Informaticae 173 (2-3) (2020)
Georgiana Caltais, Stefan Leue, Hargurbir Singh
Correctness of an ATL Model Transformation from SysML State Machine Diagrams to Promela. MODELSWARD (2020)
Georgiana Caltais
Explaining SDN Failures via Axiomatisations. FROM (2019)
Georgiana Caltais, Sophie Linnea Guetlein, Stefan Leue
Causality for General LTL-definable Properties. CREST@ETAPS (2018)
Georgiana Caltais, Bertrand Meyer
On the verification of SCOOP programs. Sci. Comput. Program. 133 (2017)
Filippo Bonchi, Marcello M. Bonsangue, Georgiana Caltais, Jan Rutten, Alexandra Silva
A coalgebraic view on decorated traces. Math. Struct. Comput. Sci. 26 (7) (2016)
Georgiana Caltais, Stefan Leue, Mohammad Reza Mousavi
(De-)Composing Causality in Labeled Transition Systems. CREST@ETAPS (2016)
Georgiana Caltais, Florian Leitner-Fischer, Stefan Leue, Jannis Weiser
SysML to NuSMV Model Transformation via Object-Orientation. CyPhy (2016)
Georgiana Caltais
Coalgebraic Tools for Bisimilarity and Decorated Trace Semantics. CoRR (2015)
Georgiana Caltais, Bertrand Meyer
On the Verification of SCOOP Programs. CoRR (2015)
Georgiana Caltais, Bertrand Meyer
Coffman deadlocks in SCOOP. CoRR (2014)
Georgiana Caltais
Expression-Based Aliasing for OO-languages. FTSCS (2014)
Georgiana Caltais
Expression-based aliasing for OO-languages. CoRR (2014)
Marcello M. Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan J. M. M. Rutten, Alexandra Silva
Automatic equivalence proofs for non-deterministic coalgebras. Sci. Comput. Program. 78 (9) (2013)
Filippo Bonchi, Georgiana Caltais, Damien Pous, Alexandra Silva
Brzozowski's and Up-To Algorithms for Must Testing. APLAS (2013)
Marcello M. Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan J. M. M. Rutten, Alexandra Silva
Automatic Equivalence Proofs for Non-deterministic Coalgebras CoRR (2013)
Filippo Bonchi, Marcello M. Bonsangue, Georgiana Caltais, Jan J. M. M. Rutten, Alexandra Silva
Final Semantics for Decorated Traces. MFPS (2012)
Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Ingólfsdóttir
Axiomatizing GSOS with Predicates SOS (2011)
Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Ingólfsdóttir
PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with Predicates. CALCO (2011)
Marcello M. Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan J. M. M. Rutten, Alexandra Silva
A Decision Procedure for Bisimilarity of Generalized Regular Expressions. SBMF (2010)
Gheorghe Grigoras, Dorel Lucanu, Georgiana Caltais, Eugen-Ioan Goriac
Automated Proving of the Behavioral Attributes. BCI (2009)
Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu
Simplification and Generalization in CIRC. SYNASC (2009)
Dorel Lucanu, Eugen-Ioan Goriac, Georgiana Caltais, Grigore Rosu
CIRC: A Behavioral Verification Tool Based on Circular Coinduction. CALCO (2009)
Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Gheorghe Grigoras
A Rewrite Stack Machine for ROC!. SYNASC (2008)
Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu, Oana Andrei, Gheorghe Grigoras
Patterns for Maude Metalanguage Applications. WRLA (2008)