Robert Sachtleben

According to our database, Robert Sachtleben authored at least 14 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Mechanised Safety Verification for a Distributed Autonomous Railway Control System.

Robert Sachtleben, Anne E. Haxthausen, Jan Peleska

Formal Aspects Comput., June, 2025

2024

Unifying frameworks for complete test strategies.

Robert Sachtleben

Sci. Comput. Program., 2024

On the Unification of Conformance Notions.

Jan Peleska, Wen-ling Huang, Robert Sachtleben

Proceedings of the Application of Formal Methods, 2024

2023

Qualification of proof assistants, checkers, and generators: Where are we and what next?

Mario Gleirscher, Robert Sachtleben, Jan Peleska

Sci. Comput. Program., March, 2023

Conformance Relations between Input/Output Languages.

Robert Sachtleben

Arch. Formal Proofs, 2023

Complete Property-Oriented Module Testing.

Felix Brüning, Mario Gleirscher, Wen-ling Huang, Niklas Krafczyk, Jan Peleska, Robert Sachtleben

Proceedings of the Testing Software and Systems, 2023

Conformance Relations Between Input/Output Languages.

Wen-ling Huang, Robert Sachtleben

Proceedings of the Applicable Formal Methods for Safe Industrial Products, 2023

2022

An approach for the verification and synthesis of complete test generation algorithms for finite state machines

Robert Sachtleben

PhD thesis, 2022

Effective grey-box testing with partial FSM models.

Robert Sachtleben, Jan Peleska

Softw. Test. Verification Reliab., 2022

Verified Complete Test Strategies for Finite State Machines.

Robert Sachtleben

Arch. Formal Proofs, 2022

2021

libfsmtest An Open Source Library for FSM-Based Testing.

Moritz Bergenthal, Niklas Krafczyk, Jan Peleska, Robert Sachtleben

Proceedings of the Testing Software and Systems, 2021

2020

An Executable Mechanised Formalisation of an Adaptive State Counting Algorithm.

Robert Sachtleben

Proceedings of the Testing Software and Systems, 2020

2019

Formalisation of an Adaptive State Counting Algorithm.

Robert Sachtleben

Arch. Formal Proofs, 2019

A Mechanised Proof of an Adaptive State Counting Algorithm.

Robert Sachtleben, Robert M. Hierons, Wen-ling Huang, Jan Peleska

Proceedings of the Testing Software and Systems, 2019