Sebastian Stock
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2015–2025
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | TASE | Failure Divergence Refinement for Event-B. | Sebastian Stock, Michael Leuschel, Atif Mashkoor |
| 2023 | ICFEM | Early and Systematic Validation of Formal Models. | Sebastian Stock |
| 2023 | ICFEM | Validation-Driven Development. | Sebastian Stock, Atif Mashkoor, Alexander Egyed |
| 2022 | ICFEM | Trace Refinement in B and Event-B. | Sebastian Stock, Atif Mashkoor, Michael Leuschel, Alexander Egyed |
| 2015 | IROS | Integrating physics-based prediction with Semantic plan Execution Monitoring. | Sebastian Rockel, Stefan Konecny, Sebastian Stock, Joachim Hertzberg, Federico Pecora, Jianwei Zhang |
| 2015 | IROS | Online task merging with a hierarchical hybrid task planner for mobile service robots. | Sebastian Stock, Masoumeh Mansouri, Federico Pecora, Joachim Hertzberg |
| 2015 | KI | Hierarchical Hybrid Planning in a Mobile Service Robot. | Sebastian Stock, Masoumeh Mansouri, Federico Pecora, Joachim Hertzberg |