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 | 52 | 2009 |
Automating coinduction with case analysis EI Goriac, D Lucanu, G Roşu International Conference on Formal Engineering Methods, 220-236, 2010 | 10 | 2010 |
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 | 10 | 2010 |
Algebraic meta-theory of processes with data D Gebler, EI Goriac, MR Mousavi arXiv preprint arXiv:1307.7444, 2013 | 7 | 2013 |
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 | 7 | 2011 |
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 | 6 | 2009 |
Axiomatizing gsos with predicates L Aceto, G Caltais, EI Goriac, A Ingólfsdóttir arXiv preprint arXiv:1108.3124, 2011 | 5 | 2011 |
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 | 4 | 2013 |
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 | 4 | 2008 |
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 | 3 | 2013 |
Automated proving of the behavioral attributes G Grigoras, D Lucanu, G Caltais, EI Goriac 2009 Fourth Balkan Conference in Informatics, 33-38, 2009 | 3 | 2009 |
A ground-complete axiomatization of stateless bisimilarity over Linda L Aceto, EI Goriac, A Ingolfsdottir Information Processing Letters 115 (2), 212-220, 2015 | 2 | 2015 |
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 | 2 | 2013 |
Meta SOS-A Maude Based SOS Meta-Theory Framework L Aceto, EI Goriac, A Ingolfsdottir arXiv preprint arXiv:1307.7446, 2013 | 2 | 2013 |
Simplification and Generalization in CIRC EI Goriac, G Caltais, D Lucanu 2009 11th International Symposium on Symbolic and Numeric Algorithms for …, 2009 | 2 | 2009 |
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 | 1 | 2014 |
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 |