Mattias Ulbrich
Orcid: 0000-0002-2350-1831Affiliations:
- Karlsruhe Institute of Technology, Germany
According to our database1,
Mattias Ulbrich
authored at least 76 papers
between 2010 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2010
2012
2014
2016
2018
2020
2022
2024
0
5
10
2
3
3
2
2
5
1
1
1
6
3
6
3
4
5
5
6
1
6
2
1
1
3
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 2024
Contract-LIB: A Proposal for a Common Interchange Format for Software System Specification.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 2024
SpecifyThis Bridging Gaps Between Program Specification Paradigms: Track Introduction.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 2024
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024
Proceedings of the Formal Methods - 26th International Symposium, 2024
2023
Dataset, December, 2023
Formal Aspects Comput., September, 2023
Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY.
Int. J. Softw. Tools Technol. Transf., April, 2023
The 'Choc-Machine' - an Introduction to Algorithmic Thinking using Finite State Machines.
Proceedings of the 18th WiPSCE Conference on Primary and Secondary Computing Education Research, 2023
Proceedings of the Informatikunterricht zwischen Aktualität und Zeitlosigkeit: 20. GI-Fachtagung Informatik und Schule, 2023
Proceedings of the iFM 2023 - 18th International Conference, 2023
2022
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022
Generalized Test Tables: A Domain-Specific Specification Language for Automated Production Systems.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022
Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022
2021
Scalability and precision by combining expressive type systems and deductive verification.
Proc. ACM Program. Lang., 2021
Table-based formal specification approaches for control engineers - empirical studies of usability.
IET Cyper-Phys. Syst.: Theory & Appl., 2021
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021
Proceedings of the NASA Formal Methods - 13th International Symposium, 2021
Proceedings of the FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, 2021
2020
Proceedings of the Deductive Software Verification: Future Perspectives, 2020
Proceedings of the Deductive Software Verification: Future Perspectives, 2020
Design- and Evaluation-Concept for Teaching and Learning Laboratories in Informatics Teacher Education.
Proceedings of the Informatics in Schools. Engaging Learners in Computational Thinking, 2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020
Relational Test Tables: A Practical Specification Language for Evolution and Security.
Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020
2019
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019
On the Preservation of the Trust by Regression Verification of PLC software for Cyber-Physical Systems of Systems.
Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019
Proceedings of the Managed Software Evolution., 2019
Proceedings of the Managed Software Evolution., 2019
2018
Relational Program Reasoning Using Compiler IR - Combining Static Verification and Dynamic Analysis.
J. Autom. Reason., 2018
Formal Methods Syst. Des., 2018
Proving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations.
Proceedings of the Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, 2018
Applicability of generalized test tables: a case study using the manufacturing system demonstrator xPPU.
Autom., 2018
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018
Achieving delta description of the control software for an automated production system evolution.
Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018
Proceedings of the Principled Software Development, 2018
2017
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2017
Generalized test tables: A powerful and intuitive specification language for reactive systems.
Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017
Generation of monitoring functions in production automation using test specifications.
Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017
Proceedings of the Hardware and Software: Verification and Testing, 2017
2016
Proceedings of the Deductive Software Verification - The KeY Book, 2016
Proceedings of the Deductive Software Verification - The KeY Book, 2016
Proceedings of the Deductive Software Verification - The KeY Book, 2016
LNCS Trans. Modul. Compos., 2016
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016
2015
Int. J. Softw. Tools Technol. Transf., 2015
Automating Regression Verification.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015
Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015
Proceedings of the Formal Methods and Software Engineering, 2015
Proceedings of the FM 2015: Formal Methods, 2015
Proving equivalence between control software variants for Programmable Logic Controllers.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015
Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, 2015
2014
Proceedings of the Verified Software: Theories, Tools and Experiments, 2014
Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014
2013
Dynamic Logic for an Intermediate Language: Verification, Interaction and Refinement.
PhD thesis, 2013
Proceedings of the Logic-Based Program Synthesis and Transformation, 2013
2012
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012
2011
Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011
Proceedings of the Formal Verification of Object-Oriented Software, 2011
Proceedings of the FM 2011: Formal Methods, 2011
2010
Proceedings of the Formal Verification of Object-Oriented Software, 2010
Proceedings of the Formal Verification of Object-Oriented Software, 2010