Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths. - Matthias Schmalz; Hagen Völzer; Daniele Varacca (FSTTCS, 2007)

Counterexamples in Probabilistic LTL Model Checking for Markov Chains. - Matthias Schmalz; Daniele Varacca; Hagen Völzer (CONCUR, 2009)

Term Rewriting in Logics of Partial Functions. - Matthias Schmalz (ICFEM, 2011)

Formalizing the logic of event-B: Partial functions, definitional extensions, and automated theorem proving. - Matthias Schmalz (2012)