Robert Sachtleben

16 papers C 4Journal 9Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Mechanised Safety Verification for a Distributed Autonomous Railway Control System.
Formal Aspects Comput.
Robert Sachtleben, Anne E. Haxthausen, Jan Peleska
2024 — conf
On the Unification of Conformance Notions.
The Application of Formal Methods
Jan Peleska, Wen-ling Huang, Robert Sachtleben
2024 J jnl
Unifying frameworks for complete test strategies.
Sci. Comput. Program.
Robert Sachtleben
2023 C conf
Complete Property-Oriented Module Testing.
ICTSS
Felix Brüning, Mario Gleirscher, Wen-ling Huang, Niklas Krafczyk, Jan Peleska, Robert Sachtleben
2023 — conf
Conformance Relations Between Input/Output Languages.
Applicable Formal Methods for Safe Industrial Products
Wen-ling Huang, Robert Sachtleben
2023 J jnl
Conformance Relations between Input/Output Languages.
Arch. Formal Proofs
Robert Sachtleben
2023 J jnl
Qualification of Proof Assistants, Checkers, and Generators: Where Are We and What Next?
CoRR
Mario Gleirscher, Robert Sachtleben, Jan Peleska
2023 J jnl
Qualification of proof assistants, checkers, and generators: Where are we and what next?
Sci. Comput. Program.
Mario Gleirscher, Robert Sachtleben, Jan Peleska
2022 — —
An approach for the verification and synthesis of complete test generation algorithms for finite state machines
Robert Sachtleben
2022 J jnl
Effective grey-box testing with partial FSM models.
Softw. Test. Verification Reliab.
Robert Sachtleben, Jan Peleska
2022 J jnl
Verified Complete Test Strategies for Finite State Machines.
Arch. Formal Proofs
Robert Sachtleben
2021 J jnl
Effective grey-box testing with partial FSM models.
CoRR
Robert Sachtleben, Jan Peleska
2021 C conf
libfsmtest An Open Source Library for FSM-Based Testing.
ICTSS
Moritz Bergenthal, Niklas Krafczyk, Jan Peleska, Robert Sachtleben
2020 C conf
An Executable Mechanised Formalisation of an Adaptive State Counting Algorithm.
ICTSS
Robert Sachtleben
2019 C conf
A Mechanised Proof of an Adaptive State Counting Algorithm.
ICTSS
Robert Sachtleben, Robert M. Hierons, Wen-ling Huang, Jan Peleska
2019 J jnl
Formalisation of an Adaptive State Counting Algorithm.
Arch. Formal Proofs
Robert Sachtleben