Sonja Sievi

According to our database, Sonja Sievi authored at least 4 papers between 2011 and 2014.

Collaborative distances:

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

2014

Open challenges for data stream mining research.

Georg Krempl, Indre Zliobaite, Dariusz Brzezinski, Eyke Hüllermeier, Mark Last, Vincent Lemaire, Tino Noack, Ammar Shaker, Sonja Sievi, Myra Spiliopoulou, Jerzy Stefanowski

SIGKDD Explor., 2014

Experiences from Using Formal Verification Techniques to Analyze Human-Machine Interaction: A Case Study.

Bertram Wortelen, Andreas Lüdtke, Denis Javaux, Sonja Sievi

Proceedings of the 2014 European Conference on Cognitive Ergonomics, 2014

A Methodology for Analyzing Human-Automation Interactions in Flight Operations Using Formal Verification Techniques.

Denis Javaux, Bertram Wortelen, Andreas Lüdtke, Charles Pecheur, Regina Peldszus, Sonja Sievi, Yuri Yushtein

Proceedings of the 2014 AAAI Spring Symposia, 2014

2011

Failure management for cost-effective and efficient spacecraft Operation.

Enrico Noack, Tino Noack, Vijay Patel, Ingo Schmitt, Mark Richters, Johannes Stamminger, Sonja Sievi

Proceedings of the 2011 NASA/ESA Conference on Adaptive Hardware and Systems, 2011