Hannes Schoenhaar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2019–2024
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CAIN | Approach for Argumenting Safety on Basis of an Operational Design Domain. | Gereon Weiss, Marc Zeller, Hannes Schoenhaar, Christian Drabek, Andreas Kreutz |
| 2020 | ISSRE | Checkable Safety Cases: Enabling Automated Consistency Checks between Safety Work Products. | Carmen Crlan, Daniel Petrisor, Barbara Gallina, Hannes Schoenhaar |
| 2019 | ICSE | FASTEN: an open extensible framework to experiment with formal specification approaches: using language engineering to develop a multi-paradigm specification environment for NuSMV. | Daniel Ratiu, Marco Gario, Hannes Schoenhaar |