Sebastian Stock

According to our database, Sebastian Stock authored at least 12 papers between 2021 and 2024.

Collaborative distances:

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

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