Stephan Holzner

According to our database, Stephan Holzner authored at least 6 papers between 2017 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

Reproduction Package for ATVA 2021 Article 'PJBDD: A BDD Library for Java and Multi-Threading'.

Dirk Beyer, Karlheinz Friedberger, Stephan Holzner

Dataset, July, 2021

PJBDD: A BDD Library for Java and Multi-Threading.

Dirk Beyer, Karlheinz Friedberger, Stephan Holzner

Proceedings of the Automated Technology for Verification and Analysis, 2021

2020

Reproduction Package for Article 'PJBDD: A BDD Library for Java and Multi-Threading'.

Dirk Beyer, Karlheinz Friedberger, Stephan Holzner

Dataset, November, 2020

Reproduction Package for Article 'PJBDD: A BDD Library for Java and Multi-Threading'.

Dirk Beyer, Karlheinz Friedberger, Stephan Holzner

Dataset, October, 2020

Replication Package for Article 'PJBDD: A BDD Library for Java and Multi-Threading'.

Dirk Beyer, Karlheinz Friedberger, Stephan Holzner

Dataset, January, 2020

2017

Empirical Evaluation of a Distributed Deployment Strategy for Virtual Networks.

Carsten Hahn, Stephan Holzner, Lenz Belzner, Michael Till Beck

Proceedings of the Mobile, Secure, and Programmable Networking, 2017