Behavioral resource-aware model inference. - Tony Ohmann; Michael Herzberg; Sebastian Fiss; Armand Halbert; Marc Palyart; Ivan Beschastnikh; Yuriy Brun (ASE, 2014)

On the Static Analysis of Hybrid Mobile Apps - A Report on the State of Apache Cordova Nation. - Achim D. Brucker; Michael Herzberg (ESSoS, 2016)

Formalizing (Web) Standards - An Application of Test and Proof. - Achim D. Brucker; Michael Herzberg (TAP@STAF, 2018)

A Formal Semantics of the Core DOM in Isabelle/HOL. - Achim D. Brucker; Michael Herzberg (WWW (Companion Volume), 2018)

A Formal Model of the Document Object Model. - Achim D. Brucker; Michael Herzberg (Arch. Formal Proofs, 2018)

A Formally Verified Model of Web Components. - Achim D. Brucker; Michael Herzberg (FACS, 2019)

Formal foundations for provably safe web components - Michael Herzberg (2019)

The Safely Composable DOM. - 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)

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 Web Components. - Achim D. Brucker; Michael Herzberg (Arch. Formal Proofs, 2020)

A Formal Model of the Document Object Model with Shadow Roots. - Achim D. Brucker; Michael Herzberg (Arch. Formal Proofs, 2020)