Eugen-Ioan Goriac

According to our database, Eugen-Ioan Goriac authored at least 15 papers between 2008 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

A ground-complete axiomatization of stateless bisimilarity over Linda.

Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir

Inf. Process. Lett., 2015

2014

SOS rule formats for idempotent terms and idempotent unary operators.

Luca Aceto, Anna Ingólfsdóttir, Eugen-Ioan Goriac

J. Log. Algebraic Methods Program., 2014

2013

Automatic equivalence proofs for non-deterministic coalgebras.

Marcello M. Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan J. M. M. Rutten, Alexandra Silva

Sci. Comput. Program., 2013

Algebraic Meta-Theory of Processes with Data.

Daniel Gebler, Eugen-Ioan Goriac, Mohammad Reza Mousavi

Proceedings of the Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, 2013

Meta SOS - A Maude Based SOS Meta-Theory Framework.

Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir

Proceedings of the Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, 2013

Exploiting Algebraic Laws to Improve Mechanized Axiomatizations.

Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers

Proceedings of the Algebra and Coalgebra in Computer Science, 2013

2011

Axiomatizing GSOS with Predicates

Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Ingólfsdóttir

Proceedings of the Proceedings Eight Workshop on Structural Operational Semantics 2011, 2011

PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with Predicates.

Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Ingólfsdóttir

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2010

A Decision Procedure for Bisimilarity of Generalized Regular Expressions.

Marcello M. Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan J. M. M. Rutten, Alexandra Silva

Proceedings of the Formal Methods: Foundations and Applications, 2010

Automating Coinduction with Case Analysis.

Eugen-Ioan Goriac, Dorel Lucanu, Grigore Rosu

Proceedings of the Formal Methods and Software Engineering, 2010

2009

Simplification and Generalization in CIRC.

Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu

Proceedings of the 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2009

CIRC: A Behavioral Verification Tool Based on Circular Coinduction.

Dorel Lucanu, Eugen-Ioan Goriac, Georgiana Caltais, Grigore Rosu

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

Automated Proving of the Behavioral Attributes.

Gheorghe Grigoras, Dorel Lucanu, Georgiana Caltais, Eugen-Ioan Goriac

Proceedings of the 2009 Fourth Balkan Conference in Informatics, 2009

2008

Patterns for Maude Metalanguage Applications.

Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu, Oana Andrei, Gheorghe Grigoras

Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 2008

A Rewrite Stack Machine for ROC!.

Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Gheorghe Grigoras

Proceedings of the SYNASC 2008, 2008