publication venue for
- 2nd Software Certification Consortium Workshop: Theoretical Basis for System and Software Engineering Practices and Certification. 2011
- An adaptive scheduling algorithm for dynamic heterogeneous Hadoop systems. 2011
- Introducing performance engineering by means of tools and practical exercises. 2006
- Verifying protocols by model checking: a case study of the wireless application protocol and the model checker SPIN. 2004
- On tabular expressions. 2003