Sebastian Stock

According to our database, Sebastian Stock authored at least 16 papers between 2021 and 2026.

Collaborative distances:

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

2026

Development and Validation of a Formal Model and Prototype for an Air Traffic Control System.

David Geleßus, Sebastian Stock, Fabian Vu, Michael Leuschel, Atif Mashkoor

Formal Aspects Comput., March, 2026

Automated runtime temporal constraint checking for engineering process compliance.

Cosmina-Cristina Ratiu, Christoph Mayr-Dorn, Sebastian Stock, Alexander Egyed

J. Syst. Softw., 2026

2025

Application of AI to formal methods - an analysis of current trends.

Sebastian Stock, Jannik Dunkelau, Atif Mashkoor

Empir. Softw. Eng., December, 2025

Failure Divergence Refinement for Event-B.

Sebastian Stock, Michael Leuschel, Atif Mashkoor

Proceedings of the Theoretical Aspects of Software Engineering, 2025

2024

Trace preservation in B and Event-B refinements.

Sebastian Stock, Atif Mashkoor, Michael Leuschel, Alexander Egyed

J. Log. Algebraic Methods Program., February, 2024

2023

Model-driven engineering of safety and security software systems: A systematic mapping study and future research directions.

Atif Mashkoor, Alexander Egyed, Robert Wille, Sebastian Stock

J. Softw. Evol. Process., July, 2023

Validation by Abstraction and Refinement.

Sebastian Stock, Fabian Vu, David Geleßus, Michael Leuschel, Atif Mashkoor, Alexander Egyed

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

Modeling and Analysis of a Safety-Critical Interactive System Through Validation Obligations.

David Geleßus, Sebastian Stock, Fabian Vu, Michael Leuschel, Atif Mashkoor

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

Validation-Driven Development.

Sebastian Stock, Atif Mashkoor, Alexander Egyed

Proceedings of the Formal Methods and Software Engineering, 2023

Early and Systematic Validation of Formal Models.

Sebastian Stock

Proceedings of the Formal Methods and Software Engineering, 2023

2022

Formalization of Advanced VOs semantics and VO Refinement.

Sebastian Stock, Fabian Vu, David Geleßus, Atif Mashkoor, Michael Leuschel, Alexander Egyed

CoRR, 2022

IVOIRE Deliverable 1.1: Classification of existing VOs & tools and Formalization of VOs semantics.

Sebastian Stock, Fabian Vu, Atif Mashkoor, Michael Leuschel, Alexander Egyed

CoRR, 2022

Trace Refinement in B and Event-B.

Sebastian Stock, Atif Mashkoor, Michael Leuschel, Alexander Egyed

Proceedings of the Formal Methods and Software Engineering, 2022

Application of Validation Obligations to Security Concerns.

Sebastian Stock, Atif Mashkoor, Alexander Egyed

Proceedings of the Database and Expert Systems Applications - DEXA 2022 Workshops, 2022

2021

Data for a mapping study about the usage of MDE in Safety and Security Domain.

Atif Mashkoor, Robert Wille, Alexander Egyed, Sebastian Stock

Dataset, November, 2021

Data for a mapping study about the usage of MDE in Safety and Security Domain.

Atif Mashkoor, Robert Wille, Alexander Egyed, Sebastian Stock

Dataset, November, 2021