Jordan, Claudius;Ma, Canlong;Provost, Julien
An educational toolbox on supervisory control theory using MATLAB Simulink stateflow: From Theory to practice in one week
2017 IEEE Global Engineering Education Conference (EDUCON)
IEEE
2017

Schüle, Maximilian E.;Schliski, Pascal M. N.;Hutzelmann, Thomas;Rosenberger, Tobias;Leis, Viktor;Vorona, Dimitri;Kemper, Alfons;Neumann, Thomas
Monopedia
Proceedings of the VLDB Endowment
2017
10
12
1921-1924

Hauer, Florian;Pretschner, Alexander;Schmitt, Maximilian;Groetsch, Markus
Industrial Evaluation of Search-Based Test Generation Techniques for Control Systems
2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)
IEEE
2017

Kacianka, Severin;Beckers, Kristian;Kelbert, Florian;Kumari, Prachi
How Accountability is Implemented and Understood in Research Tools
Product-Focused Software Process Improvement
Springer International Publishing
2017

Rehwald, Simon;Ibrahim, Amjad;Beckers, Kristian;Pretschner, Alexander
ACCBench: A Framework for Comparing Causality Algorithms
Electronic Proceedings in Theoretical Computer Science
2017
259
16-30

Golagha, Mojdeh
A Framework for Failure Diagnosis
2017 IEEE International Conference on Software Testing, Verification and Validation (ICST)
IEEE
2017

Golagha, Mojdeh;Pretschner, Alexander
Challenges of Operationalizing Spectrum-Based Fault Localization from a Data-Centric Perspective
2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
IEEE
2017

Golagha, Mojdeh;Pretschner, Alexander;Fisch, Dominik;Nagy, Roman
Reducing failure analysis time: an industrial evaluation
2017 IEEE/ACM 39th International Conference on Software Engineering: Software Engineering in Practice Track (ICSE-SEIP)
IEEE
2017

Dieber, Bernhard;Breiling, Benjamin;Taurer, Sebastian;Kacianka, Severin;Rass, Stefan;Schartner, Peter
Security for the Robot Operating System
Robotics and Autonomous Systems
2017
98
192-203

Cârlan, Carmen;Gallina, Barbara;Kacianka, Severin;Breu, Ruth
Arguing on Software-Level Verification Techniques Appropriateness
Lecture Notes in Computer Science
Springer International Publishing
2017