Matthias Schmalz

发表

Deliverable D8 D10.1 "Teaching Materials" --- Lecture Materials

Thai Son Hoang, Jean-Raymond Abrial, Matthias Schmalz, 2008 .

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

Matthias Schmalz, M. Schmalz, 2012 .

Term Rewriting in Logics of Partial Functions

Matthias Schmalz, 2011, ICFEM.

Counterexamples in Probabilistic LTL Model Checking for Markov Chains

Daniele Varacca, Hagen Völzer, Matthias Schmalz, 2009 .

Solid insulated switchgear for long distance and local railway energy systems

Matthias Schmalz, Offenbach, 2014 .

Neue Schaltanlagentechnologie für Fern- und Nahverkehrsbahnen: Die feststoffisolierte Schaltanlage TracFeed® TAS

Matthias Schmalz, 2013 .

Deliverable D8 D10.1 "Teaching Materials" --- Summary Materials

Thai Son Hoang, Jean-Raymond Abrial, Matthias Schmalz, 2008 .

The logic of event-B

Matthias Schmalz, 2011 .

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

Daniele Varacca, Hagen Völzer, Matthias Schmalz, 2007, FSTTCS.

Term rewriting in logics of partial functions

Matthias Schmalz, 2011, FM 2011.

Model checking almost all paths can be less expensive than checking all paths

Daniele Varacca, Hagen Völzer, Matthias Schmalz, 2011 .

Deliverable D8 D10.1 "Teaching Materials" --- Rodin Platform Archives

Thai Son Hoang, Jean-Raymond Abrial, Matthias Schmalz, 2008 .

Counterexamples in Probabilistic LTL Model Checking for Markov Chains

Daniele Varacca, Hagen Völzer, Matthias Schmalz, 2009, CONCUR.

Deliverable D8 D10.1 "Teaching Materials" --- Exercises

Thai Son Hoang, Jean-Raymond Abrial, Matthias Schmalz, 2008 .