Follow
Eugen-Ioan Goriac
Title
Cited by
Cited by
Year
CIRC: A behavioral verification tool based on circular coinduction
D Lucanu, EI Goriac, G Caltais, G Roşu
Algebra and Coalgebra in Computer Science: Third International Conference …, 2009
562009
PREG Axiomatizer–A ground bisimilarity checker for GSOS with predicates
L Aceto, G Caltais, EI Goriac, A Ingolfsdottir
Algebra and Coalgebra in Computer Science: 4th International Conference …, 2011
112011
A decision procedure for bisimilarity of generalized regular expressions
M Bonsangue, G Caltais, EI Goriac, D Lucanu, J Rutten, A Silva
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on …, 2011
102011
Automating coinduction with case analysis
EI Goriac, D Lucanu, G Roşu
International Conference on Formal Engineering Methods, 220-236, 2010
102010
Algebraic meta-theory of processes with data
D Gebler, EI Goriac, MR Mousavi
arXiv preprint arXiv:1307.7444, 2013
92013
Axiomatizing GSOS with predicates
L Aceto, G Caltais, EI Goriac, A Ingólfsdóttir
arXiv preprint arXiv:1108.3124, 2011
72011
Patterns for Maude metalanguage applications
EI Goriac, G Caltais, D Lucanu, O Andrei, G Grigoraş
Electronic Notes in Theoretical Computer Science 238 (3), 121-138, 2009
62009
Exploiting algebraic laws to improve mechanized axiomatizations
L Aceto, EI Goriac, A Ingolfsdottir, MR Mousavi, MA Reniers
International Conference on Algebra and Coalgebra in Computer Science, 36-50, 2013
52013
Meta SOS-a maude based SOS meta-theory framework
L Aceto, EI Goriac, A Ingolfsdottir
arXiv preprint arXiv:1307.7446, 2013
52013
A Rewrite Stack Machine for ROC!
G Caltais, EI Goriac, D Lucanu, G Grigoras
2008 10th International Symposium on Symbolic and Numeric Algorithms for …, 2008
42008
SOS rule formats for idempotent terms and idempotent unary operators
L Aceto, EI Goriac, A Ingólfsdóttir
International Conference on Current Trends in Theory and Practice of …, 2013
32013
Automated proving of the behavioral attributes
G Grigoras, D Lucanu, G Caltais, EI Goriac
2009 Fourth Balkan Conference in Informatics, 33-38, 2009
32009
A ground-complete axiomatization of stateless bisimilarity over Linda
L Aceto, EI Goriac, A Ingólfsdóttir
Information Processing Letters 115 (2), 212-220, 2015
22015
Automatic equivalence proofs for non-deterministic coalgebras
M Bonsangue, G Caltais, EI Goriac, D Lucanu, J Rutten, A Silva
Science of Computer Programming 78 (9), 1324-1345, 2013
22013
Simplification and Generalization in CIRC
EI Goriac, G Caltais, D Lucanu
2009 11th International Symposium on Symbolic and Numeric Algorithms for …, 2009
22009
SOS rule formats for idempotent terms and idempotent unary operators
L Aceto, A Ingolfsdottir, EI Goriac
The Journal of Logic and Algebraic Programming 83 (1), 64-80, 2014
12014
Axiomatizations from Structural Operational Semantics: Theory and Tools
EI Goriac
Háskólinn í Reykjavík, 2013
2013
The system can't perform the operation now. Try again later.
Articles 1–17