Georgiana Caltais

According to our database, Georgiana Caltais authored at least 27 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Tracer: A Tool for Race Detection in Software Defined Network Models.

Georgiana Caltais, Mahboobeh Zangiabady, Ervin Zvirbulis

CoRR, 2024

2022

Counterfactual Causality in Networks.

Georgiana Caltais, Can Olmezoglu

CoRR, 2022

A Language-Based Causal Model for Safety.

Marcello M. Bonsangue, Georgiana Caltais, Hui Feng, Hünkar Can Tunç

Proceedings of the Theoretical Aspects of Software Engineering, 2022

DyNetKAT: An Algebra of Dynamic Networks.

Georgiana Caltais, Hossein Hojjat, Mohammad Reza Mousavi, Hünkar Can Tunç

Proceedings of the Foundations of Software Science and Computation Structures, 2022

2021

Explaining safety failures in NetKAT.

Georgiana Caltais, Hünkar Can Tunç

J. Log. Algebraic Methods Program., 2021

2020

Causal Reasoning for Safety in Hennessy Milner Logic.

Georgiana Caltais, Mohammad Reza Mousavi, Hargurbir Singh

Fundam. Informaticae, 2020

Correctness of an ATL Model Transformation from SysML State Machine Diagrams to Promela.

Georgiana Caltais, Stefan Leue, Hargurbir Singh

Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020

2019

Explaining SDN Failures via Axiomatisations.

Georgiana Caltais

Proceedings of the Proceedings Third Symposium on Working Formal Methods, 2019

2018

Causality for General LTL-definable Properties.

Georgiana Caltais, Sophie Linnea Guetlein, Stefan Leue

Proceedings of the Proceedings 3rd Workshop on formal reasoning about Causation, 2018

2017

On the verification of SCOOP programs.

Georgiana Caltais, Bertrand Meyer

Sci. Comput. Program., 2017

2016

A coalgebraic view on decorated traces.

Filippo Bonchi, Marcello M. Bonsangue, Georgiana Caltais, Jan Rutten, Alexandra Silva

Math. Struct. Comput. Sci., 2016

(De-)Composing Causality in Labeled Transition Systems.

Georgiana Caltais, Stefan Leue, Mohammad Reza Mousavi

Proceedings of the Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, 2016

SysML to NuSMV Model Transformation via Object-Orientation.

Georgiana Caltais, Florian Leitner-Fischer, Stefan Leue, Jannis Weiser

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2016

2015

Coalgebraic Tools for Bisimilarity and Decorated Trace Semantics.

Georgiana Caltais

CoRR, 2015

2014

Coffman deadlocks in SCOOP.

Georgiana Caltais, Bertrand Meyer

CoRR, 2014

Expression-Based Aliasing for OO-languages.

Georgiana Caltais

Proceedings of the Formal Techniques for Safety-Critical Systems, 2014

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

Sci. Comput. Program., 2013

Brzozowski's and Up-To Algorithms for Must Testing.

Filippo Bonchi, Georgiana Caltais, Damien Pous, Alexandra Silva

Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2012

Final Semantics for Decorated Traces.

Filippo Bonchi, Marcello M. Bonsangue, Georgiana Caltais, Jan J. M. M. Rutten, Alexandra Silva

Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, 2012

2011

Axiomatizing GSOS with Predicates

Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Ingólfsdóttir

Proceedings of the Proceedings Eight Workshop on Structural Operational Semantics 2011, 2011

PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with Predicates.

Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Ingólfsdóttir

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2010

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

Proceedings of the Formal Methods: Foundations and Applications, 2010

2009

Simplification and Generalization in CIRC.

Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu

Proceedings of the 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2009

CIRC: A Behavioral Verification Tool Based on Circular Coinduction.

Dorel Lucanu, Eugen-Ioan Goriac, Georgiana Caltais, Grigore Rosu

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

Automated Proving of the Behavioral Attributes.

Gheorghe Grigoras, Dorel Lucanu, Georgiana Caltais, Eugen-Ioan Goriac

Proceedings of the 2009 Fourth Balkan Conference in Informatics, 2009

2008

Patterns for Maude Metalanguage Applications.

Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu, Oana Andrei, Gheorghe Grigoras

Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 2008

A Rewrite Stack Machine for ROC!.

Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Gheorghe Grigoras

Proceedings of the SYNASC 2008, 2008