Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGeorgiana Caltais
Person information
- affiliation: University of Konstanz, Department of Computer and Information Science, Germany
- affiliation: ETH Zürich, Department of Computer Science, Switzerland
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 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]- [e3]Claudio Antares Mezzina, Georgiana Caltais:
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. EPTCS 387, 2023 [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 - [e2]Diogo Barradas, Zaoxing Liu, Georgiana Caltais:
FFSPIN '22: Proceedings of the ACM SIGCOMM Workshop on Formal Foundations and Security of Programmable Network Infrastructures, Amsterdam, The Netherlands, August 22, 2022. ACM 2022, ISBN 978-1-4503-9329-4 [contents] - [i8]Georgiana Caltais, Can Olmezoglu:
Counterfactual Causality in Networks. CoRR abs/2211.00758 (2022) - 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
2010 – 2019
- 2019
- [c15]Georgiana Caltais:
Explaining SDN Failures via Axiomatisations. FROM 2019: 48-60 - [e1]Georgiana Caltais, Jean Krivine:
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. EPTCS 308, 2019 [contents] - 2018
- [c14]Georgiana Caltais, Sophie Linnea Guetlein, Stefan Leue:
Causality for General LTL-definable Properties. CREST@ETAPS 2018: 1-15 - 2017
- [j3]Georgiana Caltais, Bertrand Meyer:
On the verification of SCOOP programs. Sci. Comput. Program. 133: 194-215 (2017) - 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 - 2015
- [i5]Georgiana Caltais:
Coalgebraic Tools for Bisimilarity and Decorated Trace Semantics. CoRR abs/1502.02910 (2015) - [i4]Georgiana Caltais, Bertrand Meyer:
On the Verification of SCOOP Programs. CoRR abs/1504.07041 (2015) - 2014
- [c11]Georgiana Caltais:
Expression-Based Aliasing for OO-languages. FTSCS 2014: 47-61 - [i3]Georgiana Caltais:
Expression-based aliasing for OO-languages. CoRR abs/1409.7509 (2014) - [i2]Georgiana Caltais, Bertrand Meyer:
Coffman deadlocks in SCOOP. CoRR abs/1409.7514 (2014) - 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
2000 – 2009
- 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
Coauthor Index
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.
Reference lists
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.
Citation data
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.
OpenAlex data
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 2023-10-26 20:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
