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 | 57 | 2009 |
Sysml to nusmv model transformation via object-orientation G Caltais, F Leitner-Fischer, S Leue, J Weiser Cyber Physical Systems. Design, Modeling, and Evaluation: 6th International …, 2017 | 18 | 2017 |
Causality for general LTL-definable properties G Caltais, SL Guetlein, S Leue arXiv preprint arXiv:1901.00588, 2019 | 12 | 2019 |
(De-) Composing Causality in Labeled Transition Systems G Caltais, S Leue, MR Mousavi arXiv preprint arXiv:1608.07880, 2016 | 12 | 2016 |
Final semantics for decorated traces F Bonchi, M Bonsangue, G Caltais, J Rutten, A Silva Electronic Notes in Theoretical Computer Science 286, 73-86, 2012 | 12 | 2012 |
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 | 11 | 2011 |
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 | 10 | 2011 |
DyNetKAT: An algebra of dynamic networks G Caltais, H Hojjat, MR Mousavi, HC Tunç International Conference on Foundations of Software Science and Computation …, 2022 | 8 | 2022 |
A coalgebraic view on decorated traces F Bonchi, M Bonsangue, G Caltais, J Rutten, A Silva Mathematical Structures in Computer Science 26 (7), 1234-1268, 2016 | 8 | 2016 |
Correctness of an ATL model transformation from sysml state machine diagrams to promela G Caltais, S Leue, H Singh | 7 | 2020 |
Axiomatizing GSOS with predicates L Aceto, G Caltais, EI Goriac, A Ingólfsdóttir arXiv preprint arXiv:1108.3124, 2011 | 7 | 2011 |
Causal reasoning for safety in Hennessy Milner logic G Caltais, MR Mousavi, H Singh Fundamenta Informaticae 173 (2-3), 217-251, 2020 | 6 | 2020 |
Brzozowski’s and up-to algorithms for must testing F Bonchi, G Caltais, D Pous, A Silva Programming Languages and Systems: 11th Asian Symposium, APLAS 2013 …, 2013 | 6 | 2013 |
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 |
On the verification of SCOOP programs G Caltais, B Meyer Science of Computer Programming 133, 194-215, 2017 | 5 | 2017 |
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 |
Expression-based aliasing for OO–languages G Caltais International Workshop on Formal Techniques for Safety-Critical Systems, 47-61, 2014 | 3 | 2014 |
Coffman deadlocks in SCOOP G Caltais, B Meyer arXiv preprint arXiv:1409.7514, 2014 | 3 | 2014 |
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 |
Coalgebraic tools for bisimilarity and decorated trace semantics G Caltais arXiv preprint arXiv:1502.02910, 2015 | 2 | 2015 |