Login / Signup
Lion Wagner
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 5
Top Topics
Empirical Evaluation
Lightweight
Formal Verification
Hybrid Automata
Top Venues
SSP
ISSRE Workshops
ECSA (Companion)
ECSA (Tracks and Workshops)
</>
Publications
</>
Sebastian Frank
,
M. Alireza Hakamian
,
Lion Wagner
,
Jóakim von Kistowski
,
André van Hoorn
Towards Continuous and Data-driven Specification and Verification of Resilience Scenarios.
ISSRE Workshops
(2022)
Sebastian Frank
,
Lion Wagner
,
M. Alireza Hakamian
,
Martin Straesser
,
André van Hoorn
MiSim: A Simulator for Resilience Assessment of Microservice-Based Architectures.
QRS
(2022)
Sebastian Frank
,
M. Alireza Hakamian
,
Lion Wagner
,
Dominik Kesim
,
Christoph Zorn
,
Jóakim von Kistowski
,
André van Hoorn
Interactive Elicitation of Resilience Scenarios Based on Hazard Analysis Techniques.
ECSA (Tracks and Workshops)
(2021)
Lion Wagner
,
Sebastian Frank
,
M. Alireza Hakamian
,
André van Hoorn
MiSim - A Lightweight and Extensible Simulator for a Scenario-Based Resilience Evaluation of Microservice Architectures (Poster).
SSP
(2021)
Sebastian Frank
,
M. Alireza Hakamian
,
Lion Wagner
,
Dominik Kesim
,
Jóakim von Kistowski
,
André van Hoorn
Scenario-based Resilience Evaluation and Improvement of Microservice Architectures: An Experience Report.
ECSA (Companion)
(2021)