Login / Signup
Hannes Schoenhaar
Publication Activity (10 Years)
Years Active: 2019-2020
Publications (10 Years): 2
Top Topics
Specification Languages
Consistency Checks
Formal Specification
Civil Aviation
Top Venues
FormaliSE@ICSE
ISSRE Workshops
</>
Publications
</>
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)