Author of the publication

Refinement-Aware Generation of Attack Trees.

, , , , and . STM, volume 10547 of Lecture Notes in Computer Science, page 164-179. Springer, (2017)

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

On Parity Game Preorders and the Logic of Matching Plays., and . SOFSEM, volume 9587 of Lecture Notes in Computer Science, page 277-289. Springer, (2016)A framework for the extended evaluation of ABAC policies., , and . Cybersecurity, 2 (1): 6 (2019)Strategy Derivation for Small Progress Measures., and . CoRR, (2014)Integrating Verification, Testing, and Learning for Cryptographic Protocols., , , , and . IFM, volume 4591 of Lecture Notes in Computer Science, page 538-557. Springer, (2007)Proof Graphs for Parameterised Boolean Equation Systems., , and . CONCUR, volume 8052 of Lecture Notes in Computer Science, page 470-484. Springer, (2013)Static Analysis Techniques for Parameterised Boolean Equation Systems., , and . TACAS, volume 5505 of Lecture Notes in Computer Science, page 230-245. Springer, (2009)A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction., , and . CoRR, (2020)Off-the-shelf automated analysis of liveness properties for just paths., , and . Acta Informatica, 57 (3-5): 551-590 (2020)Bisimulation Minimisations for Boolean Equation Systems., and . Haifa Verification Conference, volume 6405 of Lecture Notes in Computer Science, page 102-116. Springer, (2009)Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs., , , , and . FORTE, volume 8461 of Lecture Notes in Computer Science, page 17-32. Springer, (2014)