We stand with Ukraine  

Hannes Schoenhaar

Orcid: 0009-0007-1781-0797

According to our database1, Hannes Schoenhaar authored at least 3 papers between 2019 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Approach for Argumenting Safety on Basis of an Operational Design Domain.
[BibTeX]
[DOI]
Gereon Weiss
,
Marc Zeller
,
Hannes Schoenhaar
,
Christian Drabek
,
Andreas Kreutz
Proceedings of the IEEE/ACM 3rd International Conference on AI Engineering, 2024

2020
Checkable Safety Cases: Enabling Automated Consistency Checks between Safety Work Products.
[BibTeX]
[DOI]
Carmen Cârlan
,
Daniel Petrisor
,
Barbara Gallina
,
Hannes Schoenhaar
Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

2019
FASTEN: an open extensible framework to experiment with formal specification approaches: using language engineering to develop a multi-paradigm specification environment for NuSMV.
[BibTeX]
[DOI]
Daniel Ratiu
,
Marco Gario
,
Hannes Schoenhaar
Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, 2019


  Loading...