Sebastian Krings
Orcid: 0000-0001-6712-9798
According to our database1,
Sebastian Krings
authored at least 34 papers
between 2013 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
7
8
9
1
1
2
2
1
1
1
2
8
6
2
3
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
A verified low-level implementation and visualization of the adaptive exterior light and speed control system.
Int. J. Softw. Tools Technol. Transf., June, 2024
2022
Proceedings of the ITiCSE 2022: Innovation and Technology in Computer Science Education, Dublin, Ireland, July 8, 2022
2021
Formal Methods Syst. Des., 2021
Proceedings of the Formal Methods Teaching - 4th International Workshop and Tutorial, 2021
2020
Validation and real-life demonstration of ETCS hybrid level 3 principles using a formal B model.
Int. J. Softw. Tools Technol. Transf., 2020
Proceedings of the Formal Methods for Industrial Critical Systems, 2020
A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System.
Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020
2019
Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019
Proceedings of the Tagungsband des 16. Workshops "Software Engineering im Unterricht der Hochschulen" 2019, Bremerhaven, Deutschland, 21., 2019
Proceedings of the NASA Formal Methods - 11th International Symposium, 2019
Proceedings of the Declarative Programming and Knowledge Management, 2019
Proceedings of the Integrated Formal Methods - 15th International Conference, 2019
Proceedings of the Formal Methods - Fun for Everybody - First International Workshop, 2019
Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -.
Proceedings of the Formal Methods - Fun for Everybody - First International Workshop, 2019
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019
2018
Proof assisted bounded and unbounded symbolic model checking of software and system models.
Sci. Comput. Program., 2018
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2018
Proceedings of the Functional and Constraint Logic Programming, 2018
Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018
Proceedings of the Practical Aspects of Declarative Languages, 2018
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018
Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018
2017
Proceedings of the Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming, 2017
Proceedings of the Declarative Programming and Knowledge Management, 2017
2016
Proceedings of the Integrated Formal Methods - 12th International Conference, 2016
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016
2015
Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015
2014
Proceedings of the Proceedings 1st Workshop on Formal Integrated Development Environment, 2014
2013
Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013