Michael Nagel

The QUARC Metamodel: A Communication-Based Generic Project Model

Michael Nagel, Michael Nagel, 2012 .

Bounded Program Verification Using an SMT Solver: A Case Study

Mana Taghdiri, Tianhai Liu, Michael Nagel, 2012, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.

Audio Recording in Software Engineering

Helmut Naughton, Michael Nagel, Maximilian Koegel, 2010 .

Implementing MIMOSA Standards

Matthias Buderath, Andreas Löhr, Helmut Naughton, 2016 .