Robert Sachtleben

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 13

Top Topics

Noise Cancellation

Finite State Machines

Experimental Study

Top Venues

Arch. Formal Proofs

Sci. Comput. Program.

Publications

Robert Sachtleben
Unifying frameworks for complete test strategies. Sci. Comput. Program. 237 (2024)
Robert Sachtleben
Conformance Relations between Input/Output Languages. Arch. Formal Proofs 2023 (2023)
Felix Brüning, Mario Gleirscher, Wen-ling Huang, Niklas Krafczyk, Jan Peleska, Robert Sachtleben
Complete Property-Oriented Module Testing. ICTSS (2023)
Mario Gleirscher, Robert Sachtleben, Jan Peleska
Qualification of proof assistants, checkers, and generators: Where are we and what next? Sci. Comput. Program. 226 (2023)
Wen-ling Huang, Robert Sachtleben
Conformance Relations Between Input/Output Languages. Applicable Formal Methods for Safe Industrial Products (2023)
Mario Gleirscher, Robert Sachtleben, Jan Peleska
Qualification of Proof Assistants, Checkers, and Generators: Where Are We and What Next? CoRR (2023)
Robert Sachtleben
Verified Complete Test Strategies for Finite State Machines. Arch. Formal Proofs 2022 (2022)
Robert Sachtleben, Jan Peleska
Effective grey-box testing with partial FSM models. Softw. Test. Verification Reliab. 32 (2) (2022)
Moritz Bergenthal, Niklas Krafczyk, Jan Peleska, Robert Sachtleben
libfsmtest An Open Source Library for FSM-Based Testing. ICTSS (2021)
Robert Sachtleben, Jan Peleska
Effective grey-box testing with partial FSM models. CoRR (2021)
Robert Sachtleben
An Executable Mechanised Formalisation of an Adaptive State Counting Algorithm. ICTSS (2020)
Robert Sachtleben
Formalisation of an Adaptive State Counting Algorithm. Arch. Formal Proofs 2019 (2019)
Robert Sachtleben, Robert M. Hierons, Wen-ling Huang, Jan Peleska
A Mechanised Proof of an Adaptive State Counting Algorithm. ICTSS (2019)