Failure management for cost-effective and efficient spacecraft Operation. - Enrico Noack; Tino Noack; Vijay Patel; Ingo Schmitt; Mark Richters; Johannes Stamminger; Sonja Sievi (AHS, 2011)

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 (AAAI Spring Symposia, 2014)

Experiences from Using Formal Verification Techniques to Analyze Human-Machine Interaction: A Case Study. - Bertram Wortelen; Andreas Lüdtke; Denis Javaux; Sonja Sievi (ECCE, 2014)

Open challenges for data stream mining research. - Georg Krempl; Indre Zliobaite; Dariusz Brzezinski; Eyke Hüllermeier; Mark Last; Vincent Lemaire 001; Tino Noack; Ammar Shaker; Sonja Sievi; Myra Spiliopoulou; Jerzy Stefanowski (SIGKDD Explor., 2014)