Eugen-Ioan Goriac

17 papers B 4C 1Misc 2Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
2015 J jnl
A ground-complete axiomatization of stateless bisimilarity over Linda.
Inf. Process. Lett.
Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir
2014 J jnl
SOS rule formats for idempotent terms and idempotent unary operators.
J. Log. Algebraic Methods Program.
Luca Aceto, Anna Ingólfsdóttir, Eugen-Ioan Goriac
2013 — conf
Algebraic Meta-Theory of Processes with Data.
EXPRESS/SOS
Daniel Gebler, Eugen-Ioan Goriac, Mohammad Reza Mousavi
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
Exploiting Algebraic Laws to Improve Mechanized Axiomatizations.
CALCO
Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
2013 — conf
Meta SOS - A Maude Based SOS Meta-Theory Framework.
EXPRESS/SOS
Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir
2013 B conf
SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators.
SOFSEM
Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir
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
2010 C conf
Automating Coinduction with Case Analysis.
ICFEM
Eugen-Ioan Goriac, Dorel Lucanu, Grigore Rosu
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