Publications

In: Conference on Algebra and Coalgebra in Computer Science - Proceedings. Conference on Algebra and Coalgebra in Computer Science (CALCO-13) September 3-6 Warsaw Poland 2013.

In: Electronic Communications of the EASST 2013.

In: Margaria Tiziana, Bernhard Steffen (editor). Proc. 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLa'12). International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA-12) October 15-18 Amirandes, Heraclion, Crete Greece Pages 238-252 Lecture Notes in Computer Science (LNCS) 7609 Springer 10/2012.

In: Electronic Communications of the EASST 2012.

In: Tendencias em Matematica Aplicada e Computacional (TEMA) 12 1 Pages 21-30 SBMAC Brasil 4/2011.

In: Jonathan Aldrich, Ricardo Massa (editor). 14th Brazilian Symposium on Programming Languages. Brazilian Symposium on Programming Languages (SBLP-10) located at Brazilian Conference on Software: Theory and Practice September 27-October 1 Salvador-Bahia Brazil 9/2010.

In: Proceedings of the 13th International Conference on Algebraic Methodology and Software Technology. International Conference on Algebraic Methodology and Software Technology (AMAST-2010) Thirteenth June 23-25 Manoir St-Castin Quebec Canada LNCS Springer 2010.

In: K. Breitman, A. Cavalcanti (editor). Proceedings of the 11th International Conference on Formal Engineering Methods. International Conference on Formal Engineering Methods (ICFEM-2009) December 9-12 Rio de Janeiro Brazil Lecture Notes in Computer Science (LNCS) 5885 Springer 2009.

In: Orna Grumberg, Michael Huth (editor). TACAS 2007. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS-2007) 13th located at the European Joint Conferences on Theory and Practice of Software (ETAPS 2007) March 24-April 1 Braga Portugal Pages 519-522 Lecture Notes in Computer Science (LNCS) 4424 Springer-Verlag Heidelberg 2007.

In: Bernhard Beckert (editor). VERIFY 2007, 4th International Verification Workshop. Pages 119-135 CEUR Workshop Proceedings 259 2007.