Jan-Christoph Küster

According to our database, Jan-Christoph Küster authored at least 8 papers between 2011 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

The ins and outs of first-order runtime verification.

Andreas Bauer, Jan-Christoph Küster, Gil Vegliach

Formal Methods Syst. Des., 2015

Monitoring Real Android Malware.

Jan-Christoph Küster, Andreas Bauer

Proceedings of the Runtime Verification - 6th International Conference, 2015

2014

Platform-Centric Android Monitoring - Modular and Efficient.

Jan-Christoph Küster, Andreas Bauer

CoRR, 2014

2013

From Propositional to First-Order Monitoring.

Andreas Bauer, Jan-Christoph Küster, Gil Vegliach

Proceedings of the Runtime Verification - 4th International Conference, 2013

2012

A Pattern-Based Method for Identifying and Analyzing Laws.

Kristian Beckers, Stephan Faßbender, Jan-Christoph Küster, Holger Schmidt

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2012

Runtime Verification Meets Android Security.

Andreas Bauer, Jan-Christoph Küster, Gil Vegliach

Proceedings of the NASA Formal Methods, 2012

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

Proceedings of the Engineering Secure Software and Systems - 4th International Symposium, 2012

2011

Pattern-Based Support for Context Establishment and Asset Identification of the ISO 27000 in the Field of Cloud Computing.

Kristian Beckers, Holger Schmidt, Jan-Christoph Küster, Stephan Faßbender

Proceedings of the Sixth International Conference on Availability, 2011