Georgiana Caltais
/ Publications

G. Caltais.
Expression-based aliasing for OO-languages.
FTSCS 2014. CoRR abs/1409.7509 (2014).
G. Caltais, B. Meyer.
Coffman deadlocks in SCOOP.
NWPT 2014. CoRR abs/1409.7514 (2014).
F. Bonchi, M. Bonsangue, G. Caltais, J. Rutten, A. Silva.
A coalgebraic view on decorated traces.
To appear in MSCS.

F. Bonchi, M. Bonsangue, G. Caltais, J. Rutten, A. Silva.
Final semantics for decorated traces.
MFPS 2012, Elsevier, 286, 73-86.

M. Bonsangue, G. Caltais, E. I. Goriac, D. Lucanu, J. Rutten, A. Silva.
Automatic equivalence proofs for non-deterministic coalgebras.
Science of Computer Programming, 78(9): 1324-1345.
L. Aceto, G. Caltais, E. I. Goriac, A. Ingolfsdottir.
PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with Predicates.
CALCO Tools 2011, Springer-Verlag, 6859, 378-385.
L. Aceto, G. Caltais, E. I. Goriac, A. Ingolfsdottir.
Axiomatizing GSOS with Predicates.
SOS 2011, EPTCS, 62, 1-15.

M. Bonsangue, G. Caltais, E. I. Goriac, D. Lucanu, J. Rutten, A. Silva.
A Decision Procedure for Bisimilarity of Generalized Regular Expressions.
SBMF 2010, Springer-Verlag, 6527, 226-241.

E. I. Goriac, G. Caltais and D. Lucanu.
Simplification and Generalization in CIRC.
SYNASC 2009, IEEE Computer Society, 85-92.
D. Lucanu, E. I. Goriac, G. Caltais and G. Roşu.
CIRC: A Behavioral Verification Tool based on Circular Coinduction.
CALCO Tools 2009, Springer-Verlag, 5728, 433-442.
G. Grigoraş, D. Lucanu, G. Caltais and E. I. Goriac.
Automated Proving of the Behavioral Attributes.
BCI 2009, IEEE Computer Society, 33-38.
E. I. Goriac, G. Caltais, D. Lucanu, O. Andrei and G. Grigoraş.
Patterns for Maude Metalanguage Applications.
WRLA 2008, Elsevier Science Publishers B. V., 238, 121-138, 2009.

G. Caltais, E. I. Goriac, D. Lucanu and G. Grigoraş.
A Rewrite Stack Machine for ROC!.
SYNASC 2008, IEEE Computer Society, 85-91.

Georgiana Caltais/ Publications