


default search action
Georgiana Caltais
- > Home > Persons > Georgiana Caltais
Publications
- 2025
- [e7]Hossein Hojjat
, Georgiana Caltais
:
Fundamentals of Software Engineering - 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings. Lecture Notes in Computer Science 15593, Springer 2025, ISBN 978-3-031-87053-8 [contents] - 2024
- [e6]Hessa Alfraihi, Francesco Basciani, Georgiana Caltais, Nicolas Ferry, José Antonio Hernández López, Ludovico Iovino, Robbert Jongeling, Stefan Klikovits, Shekoufeh Kolahdouz Rahimi, Riccardo Rubei, Sobhan Yassipour Tehrani, Javier Troya, Mairieli Wessel, Vadim Zaytsev:
Proceedings of the STAF 2024 Workshops: AgileMDE 2024, LLM4MDE 2024, and MeSS 2024 co-located with the International Conference on Software Technologies: Applications and Foundations (STAF 2024) Enschede, The Netherlands, July 8-11, 2024. CEUR Workshop Proceedings 3727, CEUR-WS.org 2024 [contents] - 2023
- [e4]Georgiana Caltais
, Christian Schilling
:
Model Checking Software - 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings. Lecture Notes in Computer Science 13872, Springer 2023, ISBN 978-3-031-32156-6 [contents] - 2022
- [c18]Georgiana Caltais
, Hossein Hojjat
, Mohammad Reza Mousavi
, Hünkar Can Tunç
:
DyNetKAT: An Algebra of Dynamic Networks. FoSSaCS 2022: 184-204 - [c17]Marcello M. Bonsangue, Georgiana Caltais, Hui Feng, Hünkar Can Tunç:
A Language-Based Causal Model for Safety. TASE 2022: 290-307 - 2021
- [j5]Georgiana Caltais
, Hünkar Can Tunç
:
Explaining safety failures in NetKAT. J. Log. Algebraic Methods Program. 121: 100676 (2021) - [i7]Georgiana Caltais, Hossein Hojjat, Mohammad Reza Mousavi, Hünkar Can Tunç:
DyNetKAT: An Algebra of Dynamic Networks. CoRR abs/2102.10035 (2021) - [i6]Georgiana Caltais, Hünkar Can Tunç:
Explaining Safety Failures in NetKAT. CoRR abs/2102.12448 (2021) - 2020
- [j4]Georgiana Caltais, Mohammad Reza Mousavi, Hargurbir Singh:
Causal Reasoning for Safety in Hennessy Milner Logic. Fundam. Informaticae 173(2-3): 217-251 (2020) - [c16]Georgiana Caltais, Stefan Leue, Hargurbir Singh:
Correctness of an ATL Model Transformation from SysML State Machine Diagrams to Promela. MODELSWARD 2020: 360-372 - 2018
- [c14]Georgiana Caltais, Sophie Linnea Guetlein, Stefan Leue:
Causality for General LTL-definable Properties. CREST@ETAPS 2018: 1-15 - 2016
- [j2]Filippo Bonchi
, Marcello M. Bonsangue
, Georgiana Caltais, Jan Rutten, Alexandra Silva:
A coalgebraic view on decorated traces. Math. Struct. Comput. Sci. 26(7): 1234-1268 (2016) - [c13]Georgiana Caltais, Florian Leitner-Fischer, Stefan Leue, Jannis Weiser:
SysML to NuSMV Model Transformation via Object-Orientation. CyPhy 2016: 31-45 - [c12]Georgiana Caltais, Stefan Leue, Mohammad Reza Mousavi:
(De-)Composing Causality in Labeled Transition Systems. CREST@ETAPS 2016: 10-24 - 2013
- [j1]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): 1324-1345 (2013) - [c10]Filippo Bonchi
, Georgiana Caltais, Damien Pous
, Alexandra Silva:
Brzozowski's and Up-To Algorithms for Must Testing. APLAS 2013: 1-16 - [i1]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 abs/1303.1994 (2013) - 2012
- [c9]Filippo Bonchi
, Marcello M. Bonsangue
, Georgiana Caltais, Jan J. M. M. Rutten, Alexandra Silva:
Final Semantics for Decorated Traces. MFPS 2012: 73-86 - 2011
- [c8]Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Ingólfsdóttir:
PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with Predicates. CALCO 2011: 378-385 - [c7]Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Ingólfsdóttir:
Axiomatizing GSOS with Predicates. SOS 2011: 1-15 - 2010
- [c6]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: 226-241 - 2009
- [c5]Gheorghe Grigoras, Dorel Lucanu, Georgiana Caltais, Eugen-Ioan Goriac:
Automated Proving of the Behavioral Attributes. BCI 2009: 33-38 - [c4]Dorel Lucanu, Eugen-Ioan Goriac, Georgiana Caltais, Grigore Rosu:
CIRC: A Behavioral Verification Tool Based on Circular Coinduction. CALCO 2009: 433-442 - [c3]Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu:
Simplification and Generalization in CIRC. SYNASC 2009: 85-92 - 2008
- [c2]Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Gheorghe Grigoras:
A Rewrite Stack Machine for ROC!. SYNASC 2008: 85-91 - [c1]Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu, Oana Andrei
, Gheorghe Grigoras:
Patterns for Maude Metalanguage Applications. WRLA 2008: 121-138

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
[+][–] Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
[+][–] Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-07-02 19:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
