We stand with Ukraine  

Hannes Schoenhaar

According to our database1, Hannes Schoenhaar authored at least 2 papers between 2019 and 2020.

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

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...