Michael Herzberg

According to our database, Michael Herzberg authored at least 11 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

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