Michael Herzberg

12 papers A* 1Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2020 J jnl
A Formal Model of the Document Object Model with Shadow Roots.
Arch. Formal Proofs
Achim D. Brucker, Michael Herzberg
2020 J jnl
A Formal Model of the Safely Composable Document Object Model with Shadow Roots.
Arch. Formal Proofs
Achim D. Brucker, Michael Herzberg
2020 J jnl
A Formalization of Safely Composable Web Components.
Arch. Formal Proofs
Achim D. Brucker, Michael Herzberg
2020 J jnl
A Formalization of Web Components.
Arch. Formal Proofs
Achim D. Brucker, Michael Herzberg
2020 J jnl
The Safely Composable DOM.
Arch. Formal Proofs
Achim D. Brucker, Michael Herzberg
2019 — conf
A Formally Verified Model of Web Components.
FACS
Achim D. Brucker, Michael Herzberg
2019 — —
Formal foundations for provably safe web components
Michael Herzberg
2018 J jnl
A Formal Model of the Document Object Model.
Arch. Formal Proofs
Achim D. Brucker, Michael Herzberg
2018 — conf
A Formal Semantics of the Core DOM in Isabelle/HOL.
WWW (Companion Volume)
Achim D. Brucker, Michael Herzberg
2018 — conf
Formalizing (Web) Standards - An Application of Test and Proof.
TAP@STAF
Achim D. Brucker, Michael Herzberg
2016 — conf
On the Static Analysis of Hybrid Mobile Apps - A Report on the State of Apache Cordova Nation.
ESSoS
Achim D. Brucker, Michael Herzberg
2014 A* conf
Behavioral resource-aware model inference.
ASE
Tony Ohmann, Michael Herzberg, Sebastian Fiss, Armand Halbert, Marc Palyart, Ivan Beschastnikh, Yuriy Brun