by Aichernig, Bernhard K., Tappler, Martin
Published in Journal of automated reasoning (01.12.2019)

by Könighofer, Bettina, Rudolf, Julian, Palmisano, Alexander, Tappler, Martin, Bloem, Roderick
Published in Innovations in systems and software engineering (01.12.2023)

by Muškardin, Edi, Aichernig, Bernhard K., Pill, Ingo, Pferscher, Andrea, Tappler, Martin
Published in Innovations in systems and software engineering (01.09.2022)

by Tappler, Martin, Aichernig, Bernhard K., Bacci, Giovanni, Eichlseder, Maria, Larsen, Kim G.
Published in Formal aspects of computing (01.08.2021)

by Aichernig, Bernhard K., Tappler, Martin
Published in Electronic notes in theoretical computer science (26.02.2016)

by Aichernig, Bernhard K., Tappler, Martin, Wallner, Felix
Published in Formal aspects of computing (20.03.2024)

by Aichernig, Bernhard K., Mostowski, Wojciech, Mousavi, Mohammad Reza, Tappler, Martin, Taromirad, Masoumeh
Published in Machine Learning for Dynamic Software Analysis (2018)

by Tappler, Martin, Aichernig, Bernhard K., Lorber, Florian
Published in NASA Formal Methods

by Tappler, Martin, Aichernig, Bernhard K., Larsen, Kim Guldstrand, Lorber, Florian
Published in Formal Modeling and Analysis of Timed Systems

by Aichernig, Bernhard K., König, Sandra, Mateis, Cristinel, Pferscher, Andrea, Tappler, Martin
Published in Software and systems modeling (01.06.2024)

by Aichernig, Bernhard K., Tappler, Martin
Published in Formal methods in system design (01.11.2019)

by Muškardin, Edi, Tappler, Martin, Aichernig, Bernhard K., Pill, Ingo
Published in Software and systems modeling (01.04.2024)

by Aichernig, Bernhard K., Pferscher, Andrea, Tappler, Martin
Published in NASA Formal Methods

by Aichernig, Bernhard K., Tappler, Martin, Wallner, Felix
Published in Tests and Proofs

by Tappler, Martin, Pferscher, Andrea, Aichernig, Bernhard K., Konighofer, Bettina
Published in 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) (14.04.2024)

by Aichernig, Bernhard K., Tappler, Martin
Published in Runtime Verification

by Muškardin, Edi, Aichernig, Bernhard K., Pill, Ingo, Pferscher, Andrea, Tappler, Martin
Published in Automated Technology for Verification and Analysis

by Tappler, Martin, Muškardin, Edi, Aichernig, Bernhard K., Pill, Ingo
Published in Software Engineering and Formal Methods

by Tappler, Martin, Lorber, Florian
Published in 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) (27.05.2024)

by Aichernig, Bernhard K., Tappler, Martin
Published in NASA Formal Methods (2017)