Jan-Christoph Küster

Publication Activity (10 Years)

Years Active: 2011-2015
Publications (10 Years): 2

Top Topics

Security Requirements

Quantifier Elimination

Malware Detection

Classical First Order Logic

Top Venues

Publications

Andreas Bauer, Jan-Christoph Küster, Gil Vegliach
The ins and outs of first-order runtime verification. Formal Methods Syst. Des. 46 (3) (2015)
Jan-Christoph Küster, Andreas Bauer
Monitoring Real Android Malware. RV (2015)
Jan-Christoph Küster, Andreas Bauer
Platform-Centric Android Monitoring - Modular and Efficient. CoRR (2014)
Andreas Bauer, Jan-Christoph Küster, Gil Vegliach
From Propositional to First-Order Monitoring. RV (2013)
Andreas Bauer, Jan-Christoph Küster, Gil Vegliach
From propositional to first-order monitoring CoRR (2013)
Andreas Bauer, Jan-Christoph Küster, Gil Vegliach
Runtime Verification Meets Android Security. NASA Formal Methods (2012)
Kristian Beckers, Stephan Faßbender, Jan-Christoph Küster, Holger Schmidt
A Pattern-Based Method for Identifying and Analyzing Laws. REFSQ (2012)
Kristian Beckers, Stephan Faßbender, Maritta Heisel, Jan-Christoph Küster, Holger Schmidt
Supporting the Development and Documentation of ISO 27001 Information Security Management Systems through Security Requirements Engineering Approaches. ESSoS (2012)
Kristian Beckers, Holger Schmidt, Jan-Christoph Küster, Stephan Faßbender
Pattern-Based Support for Context Establishment and Asset Identification of the ISO 27000 in the Field of Cloud Computing. ARES (2011)