Publications in collaboration with researchers from University of Gothenburg (6)

2017

  1. Introduction

    MOL 2017 - 15th Meeting on the Mathematics of Language, Proceedings of the Conference

2015

  1. Assessing the effects of introducing a new software development process: a methodological description

    International Journal on Software Tools for Technology Transfer, Vol. 17, Núm. 1

2009

  1. Automatic testing of TCP/IP implementations using quickcheck

    Erlang'09 - Proceedings of the 2009 ACM SIGPLAN Erlang Workshop, Co-located with the International Conference on Functional Programming, ICFP'09

2008

  1. Testing erlang data types with Quviq QuickCheck

    Erlang'08: Proceedings of the 2008 SIGPLAN Erlang Workshop

2004

  1. Translating Erlang to μCRL

    Proceedings - Fourth International Conference on Application of Concurrency to System Design, ACSD 2004

2003

  1. VoDkaV tool: model checking for extracting global scheduler properties from local restrictions

    Proceedings - International Conference on Application of Concurrency to System Design, ACSD