Georgiana Caltais

42 papers B 6C 1Misc 3Journal 14Unranked 10

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	Concurrency Under Control: Systematic Analysis of SDN Races Hazards. iFM Georgiana Caltais, Andrei Covaci, Hossein Hojjat
2025	J	`jnl`	Fault Tree Synthesis from Knowledge Graphs. CoRR Manzi Aimé Ntagengerwa, Georgiana Caltais, Mariëlle Stoelinga
2025	—	`ed.`	Fundamentals of Software Engineering - 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings FSEN Hossein Hojjat, Georgiana Caltais
2024	—	`ed.`	Proceedings Combined 31st International Workshop on Expressiveness in Concurrency and 21st Workshop on Structural Operational Semantics, EXPRESS/SOS 2024, and 21st Workshop on Structural Operational SemanticsCalgary, Canada, 9th September 2024. EXPRESS/SOS Georgiana Caltais, Cinzia Di Giusto
2024	—	`ed.`	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. STAF Workshops 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
2024	—	`conf`	Tracer: A Tool for Race Detection in Software Defined Network Models. FROM Georgiana Caltais, Mahboobeh Zangiabady, Ervin Zvirbulis
2023	—	`ed.`	Model Checking Software - 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings SPIN Georgiana Caltais, Christian Schilling
2023	—	`ed.`	Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, EXPRESS/SOS 2023, and 20th Workshop on Structural Operational SemanticsAntwerp, Belgium, 18th September 2023. EXPRESS/SOS Claudio Antares Mezzina, Georgiana Caltais
2022	Misc	`conf`	A Language-Based Causal Model for Safety. TASE Marcello M. Bonsangue, Georgiana Caltais, Hui Feng, Hünkar Can Tunç
2022	J	`jnl`	Counterfactual Causality in Networks. CoRR Georgiana Caltais, Can Olmezoglu
2022	B	`conf`	DyNetKAT: An Algebra of Dynamic Networks. FoSSaCS Georgiana Caltais, Hossein Hojjat, Mohammad Reza Mousavi, Hünkar Can Tunç
2022	—	`ed.`	FFSPIN '22: Proceedings of the ACM SIGCOMM Workshop on Formal Foundations and Security of Programmable Network Infrastructures, Amsterdam, The Netherlands, August 22, 2022. FFSPIN@SIGCOMM Diogo Barradas, Zaoxing Liu, Georgiana Caltais
2021	J	`jnl`	DyNetKAT: An Algebra of Dynamic Networks. CoRR Georgiana Caltais, Hossein Hojjat, Mohammad Reza Mousavi, Hünkar Can Tunç
2021	J	`jnl`	Explaining Safety Failures in NetKAT. CoRR Georgiana Caltais, Hünkar Can Tunç
2021	J	`jnl`	Explaining safety failures in NetKAT. J. Log. Algebraic Methods Program. Georgiana Caltais, Hünkar Can Tunç
2020	J	`jnl`	Causal Reasoning for Safety in Hennessy Milner Logic. Fundam. Informaticae Georgiana Caltais, Mohammad Reza Mousavi, Hargurbir Singh
2020	C	`conf`	Correctness of an ATL Model Transformation from SysML State Machine Diagrams to Promela. MODELSWARD Georgiana Caltais, Stefan Leue, Hargurbir Singh
2019	—	`conf`	Explaining SDN Failures via Axiomatisations. FROM Georgiana Caltais
2019	—	`ed.`	Proceedings of the 4th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST@ETAPS 2019, Prague, Czech Republic, 7th April 2019. CREST Georgiana Caltais, Jean Krivine
2018	—	`conf`	Causality for General LTL-definable Properties. CREST Georgiana Caltais, Sophie Linnea Guetlein, Stefan Leue
2017	J	`jnl`	On the verification of SCOOP programs. Sci. Comput. Program. Georgiana Caltais, Bertrand Meyer
2016	—	`conf`	(De-)Composing Causality in Labeled Transition Systems. CREST Georgiana Caltais, Stefan Leue, Mohammad Reza Mousavi
2016	J	`jnl`	A coalgebraic view on decorated traces. Math. Struct. Comput. Sci. Filippo Bonchi, Marcello M. Bonsangue, Georgiana Caltais, Jan Rutten, Alexandra Silva
2016	—	`conf`	SysML to NuSMV Model Transformation via Object-Orientation. CyPhy Georgiana Caltais, Florian Leitner-Fischer, Stefan Leue, Jannis Weiser
2015	J	`jnl`	Coalgebraic Tools for Bisimilarity and Decorated Trace Semantics. CoRR Georgiana Caltais
2015	J	`jnl`	On the Verification of SCOOP Programs. CoRR Georgiana Caltais, Bertrand Meyer
2014	J	`jnl`	Coffman deadlocks in SCOOP. CoRR Georgiana Caltais, Bertrand Meyer
2014	—	`conf`	Expression-Based Aliasing for OO-languages. FTSCS Georgiana Caltais
2014	J	`jnl`	Expression-based aliasing for OO-languages. CoRR Georgiana Caltais
2013	J	`jnl`	Automatic Equivalence Proofs for Non-deterministic Coalgebras CoRR Marcello M. Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan J. M. M. Rutten, Alexandra Silva
2013	J	`jnl`	Automatic equivalence proofs for non-deterministic coalgebras. Sci. Comput. Program. Marcello M. Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan J. M. M. Rutten, Alexandra Silva
2013	B	`conf`	Brzozowski's and Up-To Algorithms for Must Testing. APLAS Filippo Bonchi, Georgiana Caltais, Damien Pous, Alexandra Silva
2013	—	`—`	Coalgebraic tools for bisimilarity and decorated trace semantics. Georgiana Caltais
2012	B	`conf`	Final Semantics for Decorated Traces. MFPS Filippo Bonchi, Marcello M. Bonsangue, Georgiana Caltais, Jan J. M. M. Rutten, Alexandra Silva
2011	—	`conf`	Axiomatizing GSOS with Predicates SOS Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Ingólfsdóttir
2011	B	`conf`	PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with Predicates. CALCO Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Ingólfsdóttir
2010	—	`conf`	A Decision Procedure for Bisimilarity of Generalized Regular Expressions. SBMF Marcello M. Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan J. M. M. Rutten, Alexandra Silva
2009	—	`conf`	Automated Proving of the Behavioral Attributes. BCI Gheorghe Grigoras, Dorel Lucanu, Georgiana Caltais, Eugen-Ioan Goriac
2009	B	`conf`	CIRC: A Behavioral Verification Tool Based on Circular Coinduction. CALCO Dorel Lucanu, Eugen-Ioan Goriac, Georgiana Caltais, Grigore Rosu
2009	Misc	`conf`	Simplification and Generalization in CIRC. SYNASC Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu
2008	Misc	`conf`	A Rewrite Stack Machine for ROC!. SYNASC Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Gheorghe Grigoras
2008	—	`conf`	Patterns for Maude Metalanguage Applications. WRLA Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu, Oana Andrei, Gheorghe Grigoras