Hannes Schoenhaar

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 3

Top Topics

Specification Languages

Consistency Checks

Top Venues

ISSRE Workshops

Publications

Gereon Weiss, Marc Zeller, Hannes Schoenhaar, Christian Drabek, Andreas Kreutz
Approach for Argumenting Safety on Basis of an Operational Design Domain. CAIN (2024)
Carmen Cârlan, Daniel Petrisor, Barbara Gallina, Hannes Schoenhaar
Checkable Safety Cases: Enabling Automated Consistency Checks between Safety Work Products. ISSRE Workshops (2020)
Daniel Ratiu, Marco Gario, Hannes Schoenhaar
FASTEN: an open extensible framework to experiment with formal specification approaches: using language engineering to develop a multi-paradigm specification environment for NuSMV. FormaliSE@ICSE (2019)