( en | de | ru )

 

Disambiguierung von "Ulbrich, Mattias"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards a Usable and Sustainable Deductive Verification Tool.

, , , und . ISoLA (2), Volume 13702 von Lecture Notes in Computer Science, Seite 281-300. Springer, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Mattias Ulbrich

Mattias Krüger

Mattias Kreutz

Mattias Martinson

Mattias Steinke

 

Weitere Publikationen von Autoren mit dem selben Namen

Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY., , , , und . Int. J. Softw. Tools Technol. Transf., 25 (2): 185-204 (April 2023)The Karlsruhe Java Verification Suite., , , und . The Logic of Software. A Tasting Menu of Formal Methods, Volume 13360 von Lecture Notes in Computer Science, Seite 290-312. Springer, (2022)Deductive Verification of Floating-Point Java Programs in KeY., , , , und . TACAS (2), Volume 12652 von Lecture Notes in Computer Science, Seite 242-261. Springer, (2021)Runtime Verification of Generalized Test Tables., , , und . NFM, Volume 12673 von Lecture Notes in Computer Science, Seite 358-374. Springer, (2021)A Refactoring for Data Minimisation Using Formal Verification., , und . ISoLA (2), Volume 13702 von Lecture Notes in Computer Science, Seite 345-364. Springer, (2022)Modular Regression Verification for Reactive Systems., , und . ISoLA (2), Volume 12477 von Lecture Notes in Computer Science, Seite 25-43. Springer, (2020)Using Relational Verification for Program Slicing., , , , , und . SEFM, Volume 11724 von Lecture Notes in Computer Science, Seite 353-372. Springer, (2019)Scalable and Precise Refinement Types for Imperative Languages., , , und . iFM, Volume 14300 von Lecture Notes in Computer Science, Seite 377-383. Springer, (2023)Formally Verifying an Efficient Sorter., , , , und . TACAS (1), Volume 14570 von Lecture Notes in Computer Science, Seite 268-287. Springer, (2024)Automating Regression Verification., , , , und . Software Engineering & Management, Volume P-239 von LNI, Seite 75-76. GI, (2015)