( en | de | ru )

 

Disambiguation of "Ulbrich, Mattias"

Author of the publication

copydeleteadd this publication to your clipboard
On the Preservation of the Trust by Regression Verification of PLC software for Cyber-Physical Systems of Systems.

, , , , , and . INDIN, page 413-418. IEEE, (2019)

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.

Mattias Ulbrich

Mattias Kreutz

Mattias Krüger

Mattias Martinson

Mattias Steinke

 

Other publications of authors with the same name

Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY., , , , and . Int. J. Softw. Tools Technol. Transf., 25 (2): 185-204 (April 2023)The Karlsruhe Java Verification Suite., , , and . The Logic of Software. A Tasting Menu of Formal Methods, volume 13360 of Lecture Notes in Computer Science, page 290-312. Springer, (2022)Deductive Verification of Floating-Point Java Programs in KeY., , , , and . TACAS (2), volume 12652 of Lecture Notes in Computer Science, page 242-261. Springer, (2021)Runtime Verification of Generalized Test Tables., , , and . NFM, volume 12673 of Lecture Notes in Computer Science, page 358-374. Springer, (2021)Addressed Challenges, , , , , , , , and . Managed Software Evolution, (2019)Seamless Interactive Program Verification., , and . VSTTE, volume 12031 of Lecture Notes in Computer Science, page 68-86. Springer, (2019)On the Preservation of the Trust by Regression Verification of PLC software for Cyber-Physical Systems of Systems., , , , , and . INDIN, page 413-418. IEEE, (2019)VerifyThis - Verification Competition with a Human Factor., , , and . TACAS (3), volume 11429 of Lecture Notes in Computer Science, page 176-195. Springer, (2019)Automating Regression Verification., , , , and . Software Engineering & Management, volume P-239 of LNI, page 75-76. GI, (2015)A Refactoring for Data Minimisation Using Formal Verification., , and . ISoLA (2), volume 13702 of Lecture Notes in Computer Science, page 345-364. Springer, (2022)