Author of the publication

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

, and . WWW (Companion Volume), page 741-749. ACM, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Inference of Extended Finite State Machines., , , and . Arch. Formal Proofs, (2020)On theorem prover-based testing., and . Formal Aspects Comput., 25 (5): 683-721 (2013)An approach to modular and testable security models of real-world health-care applications., , , and . SACMAT, page 133-142. ACM, (2011)Verified Firewall Policy Transformations for Test Case Generation., , , and . ICST, page 345-354. IEEE Computer Society, (2010)Conformance Testing of Formal Semantics Using Grammar-Based Fuzzing., and . TAP@STAF, volume 13361 of Lecture Notes in Computer Science, page 106-125. Springer, (2022)A Model Transformation Semantics and Analysis Methodology for SecureUML., , and . MoDELS, volume 4199 of Lecture Notes in Computer Science, page 306-320. Springer, (2006)Testing Distributed Component Based Systems Using UML/OCL., and . GI Jahrestagung (1), volume 157 of Schriftenreihe der Österreichischen Computer-Gesellschaft, page 608-614. Konstanz UVK-Verl.-Ges., (2001)Using Theory Morphisms for Implementing Formal Methods Tools., and . TYPES, volume 2646 of Lecture Notes in Computer Science, page 59-77. Springer, (2002)Extending access control models with break-glass., and . SACMAT, page 197-206. ACM, (2009)Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing., and . TAP, volume 4454 of Lecture Notes in Computer Science, page 149-168. Springer, (2007)