Eugen-Ioan Goriac
Titel
Geciteerd door
Geciteerd door
Jaar
CIRC: A behavioral verification tool based on circular coinduction
D Lucanu, EI Goriac, G Caltais, G Roşu
International Conference on Algebra and Coalgebra in Computer Science, 433-442, 2009
492009
Automating coinduction with case analysis
EI Goriac, D Lucanu, G Roşu
International Conference on Formal Engineering Methods, 220-236, 2010
102010
A decision procedure for bisimilarity of generalized regular expressions
M Bonsangue, G Caltais, EI Goriac, D Lucanu, J Rutten, A Silva
Brazilian Symposium on Formal Methods, 226-241, 2010
102010
Algebraic meta-theory of processes with data
D Gebler, EI Goriac, MR Mousavi
arXiv preprint arXiv:1307.7444, 2013
72013
PREG Axiomatizer–A ground bisimilarity checker for GSOS with predicates
L Aceto, G Caltais, EI Goriac, A Ingolfsdottir
International Conference on Algebra and Coalgebra in Computer Science, 378-385, 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
Axiomatizing gsos with predicates
L Aceto, G Caltais, EI Goriac, A Ingólfsdóttir
arXiv preprint arXiv:1108.3124, 2011
52011
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
42013
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
32008
A ground-complete axiomatization of stateless bisimilarity over Linda
L Aceto, EI Goriac, A Ingolfsdottir
Information Processing Letters 115 (2), 212-220, 2015
22015
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
22014
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
Meta SOS-A Maude Based SOS Meta-Theory Framework
L Aceto, EI Goriac, A Ingolfsdottir
arXiv preprint arXiv:1307.7446, 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
Automated proving of the behavioral attributes
G Grigoras, D Lucanu, G Caltais, EI Goriac
2009 Fourth Balkan Conference in Informatics, 33-38, 2009
22009
Axiomatizations from Structural Operational Semantics: Theory and Tools
EI Goriac
2013
Automatic equivalence proofs for non-deterministic coalgebras (revised and extended)
MM Bonsangue, G Caltais, E Goriac, D Lucanu, J Rutten, AM Silva
Software Engineering [SEN], 2011
2011
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–17