Michael Herzberg

According to our database, Michael Herzberg authored at least 12 papers between 2014 and 2020.

Collaborative distances:

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

2020

A Formal Model of the Document Object Model with Shadow Roots.

Achim D. Brucker, Michael Herzberg

Arch. Formal Proofs, 2020

A Formalization of Web Components.

Achim D. Brucker, Michael Herzberg

Arch. Formal Proofs, 2020

A Formal Model of the Safely Composable Document Object Model with Shadow Roots.

Achim D. Brucker, Michael Herzberg

Arch. Formal Proofs, 2020

A Formalization of Safely Composable Web Components.

Achim D. Brucker, Michael Herzberg

Arch. Formal Proofs, 2020

The Safely Composable DOM.

Achim D. Brucker, Michael Herzberg

Arch. Formal Proofs, 2020

2019

Formal foundations for provably safe web components

Michael Herzberg

PhD thesis, 2019

A Formally Verified Model of Web Components.

Achim D. Brucker, Michael Herzberg

Proceedings of the Formal Aspects of Component Software - 16th International Conference, 2019

2018

A Formal Model of the Document Object Model.

Achim D. Brucker, Michael Herzberg

Arch. Formal Proofs, 2018

A Formal Semantics of the Core DOM in Isabelle/HOL.

Achim D. Brucker, Michael Herzberg

Proceedings of the Companion of the The Web Conference 2018 on The Web Conference 2018, 2018

Formalizing (Web) Standards - An Application of Test and Proof.

Achim D. Brucker, Michael Herzberg

Proceedings of the Tests and Proofs - 12th International Conference, 2018

2016

On the Static Analysis of Hybrid Mobile Apps - A Report on the State of Apache Cordova Nation.

Achim D. Brucker, Michael Herzberg

Proceedings of the Engineering Secure Software and Systems - 8th International Symposium, 2016

2014

Behavioral resource-aware model inference.

Tony Ohmann, Michael Herzberg, Sebastian Fiss, Armand Halbert, Marc Palyart, Ivan Beschastnikh, Yuriy Brun

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014