Sebastian Stock

18 papers C 5Misc 1Journal 11Unranked 1

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Development and Validation of a Formal Model and Prototype for an Air Traffic Control System. Formal Aspects Comput. David Geleßus, Sebastian Stock, Fabian Vu, Michael Leuschel, Atif Mashkoor
2025	J	`jnl`	Application of AI to formal methods - an analysis of current trends. Empir. Softw. Eng. Sebastian Stock, Jannik Dunkelau, Atif Mashkoor
2025	Misc	`conf`	Failure Divergence Refinement for Event-B. TASE Sebastian Stock, Michael Leuschel, Atif Mashkoor
2025	J	`jnl`	Failure divergence refinement for Event-B. CoRR Sebastian Stock, Michael Leuschel, Atif Mashkoor
2024	J	`jnl`	Application of AI to formal methods - an analysis of current trends. CoRR Sebastian Stock, Jannik Dunkelau, Atif Mashkoor
2024	J	`jnl`	Trace preservation in B and Event-B refinements. J. Log. Algebraic Methods Program. Sebastian Stock, Atif Mashkoor, Michael Leuschel, Alexander Egyed
2023	C	`conf`	Early and Systematic Validation of Formal Models. ICFEM Sebastian Stock
2023	J	`jnl`	Model-driven engineering of safety and security software systems: A systematic mapping study and future research directions. J. Softw. Evol. Process. Atif Mashkoor, Alexander Egyed, Robert Wille, Sebastian Stock
2023	C	`conf`	Modeling and Analysis of a Safety-Critical Interactive System Through Validation Obligations. ABZ David Geleßus, Sebastian Stock, Fabian Vu, Michael Leuschel, Atif Mashkoor
2023	C	`conf`	Validation by Abstraction and Refinement. ABZ Sebastian Stock, Fabian Vu, David Geleßus, Michael Leuschel, Atif Mashkoor, Alexander Egyed
2023	C	`conf`	Validation-Driven Development. ICFEM Sebastian Stock, Atif Mashkoor, Alexander Egyed
2023	J	`jnl`	Validation-Driven Development. CoRR Sebastian Stock, Atif Mashkoor, Alexander Egyed
2022	—	`conf`	Application of Validation Obligations to Security Concerns. DEXA Workshops Sebastian Stock, Atif Mashkoor, Alexander Egyed
2022	J	`jnl`	Application of Validation Obligations to Security Concerns. CoRR Sebastian Stock, Atif Mashkoor, Alexander Egyed
2022	J	`jnl`	Formalization of Advanced VOs semantics and VO Refinement. CoRR Sebastian Stock, Fabian Vu, David Geleßus, Atif Mashkoor, Michael Leuschel, Alexander Egyed
2022	J	`jnl`	IVOIRE Deliverable 1.1: Classification of existing VOs & tools and Formalization of VOs semantics. CoRR Sebastian Stock, Fabian Vu, Atif Mashkoor, Michael Leuschel, Alexander Egyed
2022	C	`conf`	Trace Refinement in B and Event-B. ICFEM Sebastian Stock, Atif Mashkoor, Michael Leuschel, Alexander Egyed
2022	J	`jnl`	Trace Refinement in B and Event-B. CoRR Sebastian Stock, Atif Mashkoor, Michael Leuschel, Alexander Egyed