Sonja Sievi

Publication Activity (10 Years)

Years Active: 2011-2014
Publications (10 Years): 0

Top Topics

Formal Verification

Top Venues

AAAI Spring Symposia

Publications

Georg Krempl, Indre Zliobaite, Dariusz Brzezinski, Eyke Hüllermeier, Mark Last, Vincent Lemaire, Tino Noack, Ammar Shaker, Sonja Sievi, Myra Spiliopoulou, Jerzy Stefanowski
Open challenges for data stream mining research. SIGKDD Explor. 16 (1) (2014)
Bertram Wortelen, Andreas Lüdtke, Denis Javaux, Sonja Sievi
Experiences from Using Formal Verification Techniques to Analyze Human-Machine Interaction: A Case Study. ECCE (2014)
Denis Javaux, Bertram Wortelen, Andreas Lüdtke, Charles Pecheur, Regina Peldszus, Sonja Sievi, Yuri Yushtein
A Methodology for Analyzing Human-Automation Interactions in Flight Operations Using Formal Verification Techniques. AAAI Spring Symposia (2014)
Enrico Noack, Tino Noack, Vijay Patel, Ingo Schmitt, Mark Richters, Johannes Stamminger, Sonja Sievi
Failure management for cost-effective and efficient spacecraft Operation. AHS (2011)