A Rewrite Stack Machine for ROC!. - Georgiana Caltais; Eugen-Ioan Goriac; Dorel Lucanu; Gheorghe Grigoras (SYNASC, 2008)

Patterns for Maude Metalanguage Applications. - Eugen-Ioan Goriac; Georgiana Caltais; Dorel Lucanu; Oana Andrei; Gheorghe Grigoras (WRLA, 2008)

Automated Proving of the Behavioral Attributes. - Gheorghe Grigoras; Dorel Lucanu; Georgiana Caltais; Eugen-Ioan Goriac (BCI, 2009)

CIRC: A Behavioral Verification Tool Based on Circular Coinduction. - Dorel Lucanu; Eugen-Ioan Goriac; Georgiana Caltais; Grigore Rosu (CALCO, 2009)

Simplification and Generalization in CIRC. - Eugen-Ioan Goriac; Georgiana Caltais; Dorel Lucanu (SYNASC, 2009)

A Decision Procedure for Bisimilarity of Generalized Regular Expressions. - Marcello M. Bonsangue; Georgiana Caltais; Eugen-Ioan Goriac; Dorel Lucanu; Jan J. M. M. Rutten; Alexandra Silva 001 (SBMF, 2010)

PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with Predicates. - Luca Aceto; Georgiana Caltais; Eugen-Ioan Goriac; Anna Ingólfsdóttir (CALCO, 2011)

Axiomatizing GSOS with Predicates - Luca Aceto; Georgiana Caltais; Eugen-Ioan Goriac; Anna Ingólfsdóttir (SOS, 2011)

Final Semantics for Decorated Traces. - Filippo Bonchi; Marcello M. Bonsangue; Georgiana Caltais; Jan J. M. M. Rutten; Alexandra Silva 001 (MFPS, 2012)

Brzozowski's and Up-To Algorithms for Must Testing. - Filippo Bonchi; Georgiana Caltais; Damien Pous; Alexandra Silva 001 (APLAS, 2013)

Automatic equivalence proofs for non-deterministic coalgebras. - Marcello M. Bonsangue; Georgiana Caltais; Eugen-Ioan Goriac; Dorel Lucanu; Jan J. M. M. Rutten; Alexandra Silva 001 (Sci. Comput. Program., 2013)

Expression-Based Aliasing for OO-languages. - Georgiana Caltais (FTSCS, 2014)

Coffman deadlocks in SCOOP. - Georgiana Caltais; Bertrand Meyer 001 (CoRR, 2014)

Coalgebraic Tools for Bisimilarity and Decorated Trace Semantics. - Georgiana Caltais (CoRR, 2015)

SysML to NuSMV Model Transformation via Object-Orientation. - Georgiana Caltais; Florian Leitner-Fischer; Stefan Leue; Jannis Weiser (CyPhy, 2016)

(De-)Composing Causality in Labeled Transition Systems. - Georgiana Caltais; Stefan Leue; Mohammad Reza Mousavi 001 (CREST@ETAPS, 2016)

A coalgebraic view on decorated traces. - Filippo Bonchi; Marcello M. Bonsangue; Georgiana Caltais; Jan Rutten; Alexandra Silva 001 (Math. Struct. Comput. Sci., 2016)

On the verification of SCOOP programs. - Georgiana Caltais; Bertrand Meyer 001 (Sci. Comput. Program., 2017)

Causality for General LTL-definable Properties. - Georgiana Caltais; Sophie Linnea Guetlein; Stefan Leue (CREST@ETAPS, 2018)

Explaining SDN Failures via Axiomatisations. - Georgiana Caltais (FROM, 2019)

Correctness of an ATL Model Transformation from SysML State Machine Diagrams to Promela. - Georgiana Caltais; Stefan Leue; Hargurbir Singh (MODELSWARD, 2020)

Causal Reasoning for Safety in Hennessy Milner Logic. - Georgiana Caltais; Mohammad Reza Mousavi 001; Hargurbir Singh (Fundam. Informaticae, 2020)

Explaining safety failures in NetKAT. - Georgiana Caltais; Hünkar Can Tunç (J. Log. Algebraic Methods Program., 2021)

DyNetKAT: An Algebra of Dynamic Networks. - Georgiana Caltais; Hossein Hojjat; Mohammad Reza Mousavi 001; Hünkar Can Tunç (FoSSaCS, 2022)

A Language-Based Causal Model for Safety. - Marcello M. Bonsangue; Georgiana Caltais; Hui Feng; Hünkar Can Tunç (TASE, 2022)

Counterfactual Causality in Networks. - Georgiana Caltais; Can Olmezoglu (CoRR, 2022)

Tracer: A Tool for Race Detection in Software Defined Network Models. - Georgiana Caltais; Mahboobeh Zangiabady; Ervin Zvirbulis (FROM, 2024)