Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Georgiana Caltais

> Home > Persons

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

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2021
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/CaltaisT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/CaltaisT21
Georgiana Caltais, Hünkar Can Tunç:
Explaining safety failures in NetKAT. J. Log. Algebraic Methods Program. 121: 100676 (2021)
2020
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/CaltaisMS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/CaltaisMS20
Georgiana Caltais, Mohammad Reza Mousavi, Hargurbir Singh:
Causal Reasoning for Safety in Hennessy Milner Logic. Fundam. Informaticae 173(2-3): 217-251 (2020)
2017
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/CaltaisM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/CaltaisM17
Georgiana Caltais, Bertrand Meyer:
On the verification of SCOOP programs. Sci. Comput. Program. 133: 194-215 (2017)
2016
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/BonchiBCR016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/BonchiBCR016
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)
2013
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BonsangueCGLRS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BonsangueCGLRS13
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)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2022
[c18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/CaltaisHMT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/CaltaisHMT22
Georgiana Caltais, Hossein Hojjat, Mohammad Reza Mousavi, Hünkar Can Tunç:
DyNetKAT: An Algebra of Dynamic Networks. FoSSaCS 2022: 184-204
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/BonsangueCFT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/BonsangueCFT22
Marcello M. Bonsangue, Georgiana Caltais, Hui Feng, Hünkar Can Tunç:
A Language-Based Causal Model for Safety. TASE 2022: 290-307
2020
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/CaltaisLS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/CaltaisLS20
Georgiana Caltais, Stefan Leue, Hargurbir Singh:
Correctness of an ATL Model Transformation from SysML State Machine Diagrams to Promela. MODELSWARD 2020: 360-372
2019
[c15]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1909-01745
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-01745
Georgiana Caltais:
Explaining SDN Failures via Axiomatisations. FROM 2019: 48-60
2018
[c14]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1901-00588
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1901-00588
Georgiana Caltais, Sophie Linnea Guetlein, Stefan Leue:
Causality for General LTL-definable Properties. CREST@ETAPS 2018: 1-15
2016
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/cyphy/CaltaisLLW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cyphy/CaltaisLLW16
Georgiana Caltais, Florian Leitner-Fischer, Stefan Leue, Jannis Weiser:
SysML to NuSMV Model Transformation via Object-Orientation. CyPhy 2016: 31-45
[c12]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CaltaisLM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CaltaisLM16
Georgiana Caltais, Stefan Leue, Mohammad Reza Mousavi:
(De-)Composing Causality in Labeled Transition Systems. CREST@ETAPS 2016: 10-24
2014
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/Caltais14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/Caltais14
Georgiana Caltais:
Expression-Based Aliasing for OO-languages. FTSCS 2014: 47-61
2013
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/BonchiCPS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/BonchiCPS13
Filippo Bonchi, Georgiana Caltais, Damien Pous, Alexandra Silva:
Brzozowski's and Up-To Algorithms for Must Testing. APLAS 2013: 1-16
2012
[c9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BonchiBCRS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BonchiBCRS12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/calco/AcetoCGI11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/AcetoCGI11
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]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1108-3124
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-3124
Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Ingólfsdóttir:
Axiomatizing GSOS with Predicates. SOS 2011: 1-15
2010
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/BonsangueCGLRS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/BonsangueCGLRS10
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]
- view
  authority control:
- export record
  dblp key:
  - conf/bci/GrigorasLCG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bci/GrigorasLCG09
Gheorghe Grigoras, Dorel Lucanu, Georgiana Caltais, Eugen-Ioan Goriac:
Automated Proving of the Behavioral Attributes. BCI 2009: 33-38
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/calco/LucanuGCR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/LucanuGCR09
Dorel Lucanu, Eugen-Ioan Goriac, Georgiana Caltais, Grigore Rosu:
CIRC: A Behavioral Verification Tool Based on Circular Coinduction. CALCO 2009: 433-442
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/synasc/GoriacCL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/synasc/GoriacCL09
Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu:
Simplification and Generalization in CIRC. SYNASC 2009: 85-92
2008
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/synasc/CaltaisGLG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/synasc/CaltaisGLG08
Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Gheorghe Grigoras:
A Rewrite Stack Machine for ROC!. SYNASC 2008: 85-91
[c1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GoriacCLAG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GoriacCLAG09
Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu, Oana Andrei, Gheorghe Grigoras:
Patterns for Maude Metalanguage Applications. WRLA 2008: 121-138

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2023
[e4]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/2023
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]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-05788
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-05788
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
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcomm/2022ffspin
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcomm/2022ffspin
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]
2019
[e1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1910-13641
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-13641
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]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2022
[i8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2211-00758
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2211-00758
Georgiana Caltais, Can Olmezoglu:
Counterfactual Causality in Networks. CoRR abs/2211.00758 (2022)
2021
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2102-10035
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2102-10035
Georgiana Caltais, Hossein Hojjat, Mohammad Reza Mousavi, Hünkar Can Tunç:
DyNetKAT: An Algebra of Dynamic Networks. CoRR abs/2102.10035 (2021)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2102-12448
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2102-12448
Georgiana Caltais, Hünkar Can Tunç:
Explaining Safety Failures in NetKAT. CoRR abs/2102.12448 (2021)
2015
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Caltais15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Caltais15
Georgiana Caltais:
Coalgebraic Tools for Bisimilarity and Decorated Trace Semantics. CoRR abs/1502.02910 (2015)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/CaltaisM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CaltaisM15
Georgiana Caltais, Bertrand Meyer:
On the Verification of SCOOP Programs. CoRR abs/1504.07041 (2015)
2014
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Caltais14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Caltais14
Georgiana Caltais:
Expression-based aliasing for OO-languages. CoRR abs/1409.7509 (2014)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/CaltaisM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CaltaisM14
Georgiana Caltais, Bertrand Meyer:
Coffman deadlocks in SCOOP. CoRR abs/1409.7514 (2014)
2013
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1303-1994
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1303-1994
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)

Coauthor Index

see FAQ

a service of

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.