Matthias Schmalz

According to our database, Matthias Schmalz authored at least 4 papers between 2007 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Formalizing the logic of event-B: Partial functions, definitional extensions, and automated theorem proving.

Matthias Schmalz

PhD thesis, 2012

2011

Term Rewriting in Logics of Partial Functions.

Matthias Schmalz

Proceedings of the Formal Methods and Software Engineering, 2011

2009

Counterexamples in Probabilistic LTL Model Checking for Markov Chains.

Matthias Schmalz, Daniele Varacca, Hagen Völzer

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2007

Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths.

Matthias Schmalz, Hagen Völzer, Daniele Varacca

Proceedings of the FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 2007