Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Ulbrich, Mattias
add a person with the name Ulbrich, Mattias
 

Other publications of authors with the same name

Axiomatization of Typed First-Order Logic., and . FM, volume 9109 of Lecture Notes in Computer Science, page 470-486. Springer, (2015)Proof Search with Taclets., and . Deductive Software Verification, volume 10001 of Lecture Notes in Computer Science, Springer, (2016)SemSlice: Exploiting Relational Verification for Automatic Program Slicing., , , , , and . IFM, volume 10510 of Lecture Notes in Computer Science, page 312-319. Springer, (2017)Proving equivalence between control software variants for Programmable Logic Controllers., , , , and . ETFA, page 1-5. IEEE, (2015)Using Relational Verification for Program Slicing., , , , , and . SEFM, volume 11724 of Lecture Notes in Computer Science, page 353-372. Springer, (2019)Implementation-level verification of algorithms with KeY., , and . STTT, 17 (6): 729-744 (2015)An Interaction Concept for Program Verification Systems with Explicit Proof Object., , and . Haifa Verification Conference, volume 10629 of Lecture Notes in Computer Science, page 163-178. Springer, (2017)The COST IC0701 Verification Competition 2011., , , , , , , , , and 7 other author(s). FoVeOOS, volume 7421 of Lecture Notes in Computer Science, page 3-21. Springer, (2011)Generalised Test Tables: A Practical Specification Language for Reactive Systems., , , , and . IFM, volume 10510 of Lecture Notes in Computer Science, page 129-144. Springer, (2017)JKelloy: A Proof Assistant for Relational Specifications of Java Programs., , , , and . NASA Formal Methods, volume 8430 of Lecture Notes in Computer Science, page 173-187. Springer, (2014)