Pattern-Based Support for Context Establishment and Asset Identification of the ISO 27000 in the Field of Cloud Computing. - Kristian Beckers; Holger Schmidt 001; Jan-Christoph Küster; Stephan Faßbender (ARES, 2011)

Supporting the Development and Documentation of ISO 27001 Information Security Management Systems through Security Requirements Engineering Approaches. - Kristian Beckers; Stephan Faßbender; Maritta Heisel; Jan-Christoph Küster; Holger Schmidt 001 (ESSoS, 2012)

Runtime Verification Meets Android Security. - Andreas Bauer 002; Jan-Christoph Küster; Gil Vegliach (NASA Formal Methods, 2012)

A Pattern-Based Method for Identifying and Analyzing Laws. - Kristian Beckers; Stephan Faßbender; Jan-Christoph Küster; Holger Schmidt 001 (REFSQ, 2012)

From Propositional to First-Order Monitoring. - Andreas Bauer 002; Jan-Christoph Küster; Gil Vegliach (RV, 2013)

Platform-Centric Android Monitoring - Modular and Efficient. - Jan-Christoph Küster; Andreas Bauer 002 (CoRR, 2014)

Monitoring Real Android Malware. - Jan-Christoph Küster; Andreas Bauer 002 (RV, 2015)

The ins and outs of first-order runtime verification. - Andreas Bauer 002; Jan-Christoph Küster; Gil Vegliach (Formal Methods Syst. Des., 2015)