( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Modular Regression Verification for Reactive Systems.

, , и . ISoLA (2), том 12477 из Lecture Notes in Computer Science, стр. 25-43. Springer, (2020)

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.

Mattias Ulbrich

Mattias Krüger

Mattias Kreutz

Mattias Martinson

Mattias Steinke

 

Другие публикации лиц с тем же именем

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