Michael Vierhauser

According to our database, Michael Vierhauser authored at least 88 papers between 2010 and 2024.

Collaborative distances:

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

2024

Human-machine Teaming with Small Unmanned Aerial Systems in a MAPE-K Environment.

Jane Cleland-Huang, Theodore Chambers, Sebastián Zudaire, Muhammed Tawfiq Chowdhury, Ankit Agrawal, Michael Vierhauser

ACM Trans. Auton. Adapt. Syst., March, 2024

Coupled Requirements-driven Testing of CPS: From Simulation To Reality.

Ankit Agrawal, Philipp Zech, Michael Vierhauser

CoRR, 2024

A Requirements-Driven Platform for Validating Field Operations of Small Uncrewed Aerial Vehicles.

Ankit Agrawal, Bohan Zhang, Yashaswini Shivalingaiah, Michael Vierhauser, Jane Cleland-Huang

Proceedings of the Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26, 2024

What Impact Do My Preferences Have? - A Framework for Explanation-Based Elicitation of Quality Objectives for Robotic Mission Planning.

Rebekka Wohlrab, Michael Vierhauser, Erik Nilsson

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

2023

<i>GRuM</i> - A flexible model-driven runtime monitoring framework and its application to automated aerial and ground vehicles.

Michael Vierhauser, Antonio Garmendia, Marco Stadler, Manuel Wimmer, Jane Cleland-Huang

J. Syst. Softw., September, 2023

ProCon: An automated process-centric quality constraints checking framework.

Christoph Mayr-Dorn, Michael Vierhauser, Stefan Bichler, Felix Keplinger, Jane Cleland-Huang, Alexander Egyed, Thomas Mehofer

J. Syst. Softw., August, 2023

A model-based mode-switching framework based on security vulnerability scores.

Michael Riegler, Johannes Sametinger, Michael Vierhauser, Manuel Wimmer

J. Syst. Softw., June, 2023

AMon: A domain-specific language and framework for adaptive monitoring of Cyber-Physical Systems.

Michael Vierhauser, Rebekka Wohlrab, Marco Stadler, Jane Cleland-Huang

J. Syst. Softw., 2023

Configuring mission-specific behavior in a product line of collaborating Small Unmanned Aerial Systems.

Md Nafee Al Islam, Muhammed Tawfiq Chowdhury, Ankit Agrawal, Michael Murphy, Raj Mehta, Daria Kudriavtseva, Jane Cleland-Huang, Michael Vierhauser, Marsha Chechik

J. Syst. Softw., 2023

HIFuzz: Human Interaction Fuzzing for small Unmanned Aerial Vehicles.

Theodore Chambers, Michael Vierhauser, Ankit Agrawal, Michael Murphy, Jason Matthew Brauer, Salil Purandare, Myra B. Cohen, Jane Cleland-Huang

CoRR, 2023

A Distributed MAPE-K Framework for Self-Protective IoT Devices.

Michael Riegler, Johannes Sametinger, Michael Vierhauser

Proceedings of the 18th IEEE/ACM Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2023

ROMoSu: Flexible Runtime Monitoring Support for ROS-based Applications.

Marco Stadler, Michael Vierhauser

Proceedings of the 5th IEEE/ACM International Workshop on Robotics Software Engineering, 2023

SST' 23 - Software and Systems Traceability Message from the Workshop Chairs.

Jan-Philipp Steghöfer, Nan Niu, Mona Rahimi, Michael Vierhauser

Proceedings of the 31st IEEE International Requirements Engineering Conference, RE 2023, 2023

Common Code Quality Issues of Novice Java Programmers: A Comprehensive Analysis of Student Assignments.

Christina Julia Kohlbacher, Michael Vierhauser, Iris Groher

Proceedings of the 15th International Conference on Computer Supported Education, 2023

2022

Digital Twin Platforms: Requirements, Capabilities, and Future Prospects.

Daniel Lehner, Jérôme Pfeiffer, Erik-Felix Tinsel, Matthias Milan Strljic, Sabine Sint, Michael Vierhauser, Andreas Wortmann, Manuel Wimmer

IEEE Softw., 2022

Visualization of aggregated information to support class-level software evolution.

Mona Rahimi, Michael Vierhauser

J. Syst. Softw., 2022

Run-Time Adaptation of Quality Attributes for Automated Planning.

Rebekka Wohlrab, Rômulo Meira-Góes, Michael Vierhauser

Proceedings of the International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2022

Extending MAPE-K to support Human-Machine Teaming.

Jane Cleland-Huang, Ankit Agrawal, Michael Vierhauser, Michael Murphy, Mike Prieto

Proceedings of the International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2022

Automated Process-Centric Quality Constraints Checking for Quality Assurance in Safety-critical Systems.

Christoph Mayr-Dorn, Michael Vierhauser, Stefan Bichler, Felix Keplinger, Jane Cleland-Huang, Alexander Egyed, Thomas Mehofer

Proceedings of the Software Engineering 2022, 2022

Towards flexible runtime monitoring support for ROS-based applications.

Marco Stadler, Michael Vierhauser, Jane Cleland-Huang

Proceedings of the 4th International Workshop on Robotics Software Engineering, 2022

A community-sourced view on engineering digital twins: a report from the EDT.Community.

Loek Cleophas, Thomas Godfrey, Djamel Eddine Khelladi, Daniel Lehner, Benoît Combemale, Mark van den Brand, Michael Vierhauser, Manuel Wimmer, Steffen Zschaler

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

Flexible Model-Driven Runtime Monitoring Support for Cyber-Physical Systems.

Marco Stadler, Michael Vierhauser, Antonio Garmendia, Manuel Wimmer, Jane Cleland-Huang

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022

Exploring Diversity in Introductory Programming Classes: An Experience Report.

Iris Groher, Michael Vierhauser, Barbara Sabitzer, Lisa Kuka, Alexander Hofer, David Muster

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering Education and Training, 2022

Towards Cost-Benefit-Aware Adaptive Monitoring for Cyber-Physical Systems.

Michael Vierhauser, Rebekka Wohlrab, Stefan Rass

Proceedings of the 10th IEEE Conference on Communications and Network Security, 2022

Runtime Monitoring for Systems of System - A Closer Look on Opportunities for Manufacturers in the Context of Industry 4.0.

Michael Vierhauser, Alexander Egyed

Proceedings of the Digital Transformation, 2022

2021

Interlocking Safety Cases for Unmanned Autonomous Systems in Shared Airspaces.

Michael Vierhauser, Sean Bayley, Jane Wyngaard, Wandi Xiong, Jinghui Cheng, Joshua Huseman, Robyn R. Lutz, Jane Cleland-Huang

IEEE Trans. Software Eng., 2021

Visualizing Change in Agile Safety-Critical Systems.

Jane Cleland-Huang, Ankit Agrawal, Michael Vierhauser, Christoph Mayr-Dorn

IEEE Softw., 2021

Evolution in dynamic software product lines.

Clément Quinton, Michael Vierhauser, Rick Rabiser, Luciano Baresi, Paul Grünbacher, Christian Schuhmayer

J. Softw. Evol. Process., 2021

Hazard analysis for human-on-the-loop interactions in sUAS systems.

Michael Vierhauser, Md Nafee Al Islam, Ankit Agrawal, Jane Cleland-Huang, James Mason

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

A Domain Analysis of Resource and Requirements Monitoring: Towards a Comprehensive Model of the Software Monitoring Domain.

Rick Rabiser, Klaus Schmid, Holger Eichelberger, Michael Vierhauser, Paul Grünbacher

Proceedings of the Software Engineering 2021, 2021

Towards a Model-Integrated Runtime Monitoring Infrastructure for Cyber-Physical Systems.

Michael Vierhauser, Hussein Marah, Antonio Garmendia, Jane Cleland-Huang, Manuel Wimmer

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, 2021

Supporting Quality Assurance with Automated Process-Centric Quality Constraints Checking.

Christoph Mayr-Dorn, Michael Vierhauser, Stefan Bichler, Felix Keplinger, Jane Cleland-Huang, Alexander Egyed, Thomas Mehofer

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

AML4DT: A Model-Driven Framework for Developing and Maintaining Digital Twins with AutomationML.

Daniel Lehner, Sabine Sint, Michael Vierhauser, Wolfgang Narzt, Manuel Wimmer

Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021

2020

Requirements-driven configuration of emergency response missions with small aerial vehicles.

Jane Cleland-Huang, Ankit Agrawal, Md Nafee Al Islam, Eric Tsai, Maxime Van Speybroeck, Michael Vierhauser

Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020

Towards Integrating Data-Driven Requirements Engineering into the Software Development Process: A Vision Paper.

Xavier Franch, Norbert Seyff, Marc Oriol, Samuel Fricker, Iris Groher, Michael Vierhauser, Manuel Wimmer

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

TimeTracer: a tool for back in time traceability replaying.

Christoph Mayr-Dorn, Michael Vierhauser, Felix Keplinger, Stefan Bichler, Alexander Egyed

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

The Next Generation of Human-Drone Partnerships: Co-Designing an Emergency Response System.

Ankit Agrawal, Sophia J. Abraham, Benjamin Burger, Chichi Christine, Luke Fraser, John M. Hoeksema, Sarah Hwang, Elizabeth Travnik, Shreya Kumar, Walter J. Scheirer, Jane Cleland-Huang, Michael Vierhauser, Ryan Bauer, Steve Cox

Proceedings of the CHI '20: CHI Conference on Human Factors in Computing Systems, 2020

SENET: A Semantic Web for Supporting Automation of Software Engineering Tasks.

Yalin Liu, Jinfeng Lin, Jane Cleland-Huang, Michael Vierhauser, Jin L. C. Guo, Sugandha Lohar

Proceedings of the 7th IEEE International Workshop on Artificial Intelligence for Requirements Engineering, 2020

2019

A domain analysis of resource and requirements monitoring: Towards a comprehensive model of the software monitoring domain.

Rick Rabiser, Klaus Schmid, Holger Eichelberger, Michael Vierhauser, Sam Guinea, Paul Grünbacher

Inf. Softw. Technol., 2019

Towards the Next Generation of Scenario Walkthrough Tools - A Research Preview.

Norbert Seyff, Michael Vierhauser, Michael Schneider, Jane Cleland-Huang

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

Comparing Constraints Mined From Execution Logs to Understand Software Evolution.

Thomas Krismayer, Michael Vierhauser, Rick Rabiser, Paul Grünbacher

Proceedings of the 2019 IEEE International Conference on Software Maintenance and Evolution, 2019

The interplay of design and runtime traceability for non-functional requirements.

Michael Vierhauser, Jane Cleland-Huang, Janet E. Burge, Paul Grünbacher

Proceedings of the 10th International Workshop on Software and Systems Traceability, 2019

Leveraging artifact trees to evolve and reuse safety cases.

Ankit Agrawal, Seyedehzahra Khoshmanesh, Michael Vierhauser, Mona Rahimi, Jane Cleland-Huang, Robyn R. Lutz

Proceedings of the 41st International Conference on Software Engineering, 2019

2018

Dronology: An Incubator for Cyber-Physical System Research.

Jane Cleland-Huang, Michael Vierhauser, Sean Bayley

CoRR, 2018

Developing and evolving a DSL-based approach for runtime monitoring of systems of systems.

Rick Rabiser, Jürgen Thanhofer-Pilisch, Michael Vierhauser, Paul Grünbacher, Alexander Egyed

Autom. Softw. Eng., 2018

A comparison framework for runtime monitoring approaches (journal-first abstract).

Rick Rabiser, Sam Guinea, Michael Vierhauser, Luciano Baresi, Paul Grünbacher

Proceedings of the 25th International Conference on Software Analysis, 2018

Supporting Diagnosis of Requirements Violations in Systems of Systems.

Michael Vierhauser, Jane Cleland-Huang, Rick Rabiser, Thomas Krismayer, Paul Grünbacher

Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018

Discovering, Analyzing, and Managing Safety Stories in Agile Projects.

Jane Cleland-Huang, Michael Vierhauser

Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018

Swarming remote piloted aircraft systems for mosquito-borne disease research and control.

Janet Wyngaard, Samuel S. C. Rund, Gregory R. Madey, Michael Vierhauser, Jane Cleland-Huang

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Interlocking safety cases for unmanned autonomous systems in urban environments.

Michael Vierhauser, Sean Bayley, Jane Wyngaard, Jinghui Cheng, Wandi Xiong, Robyn R. Lutz, Joshua Huseman, Jane Cleland-Huang

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Dronology: an incubator for cyber-physical systems research.

Jane Cleland-Huang, Michael Vierhauser, Sean Bayley

Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, 2018

Monitoring CPS at Runtime - A Case Study in the UAV Domain.

Michael Vierhauser, Jane Cleland-Huang, Sean Bayley, Thomas Krismayer, Rick Rabiser, Paul Grünbacher

Proceedings of the 44th Euromicro Conference on Software Engineering and Advanced Applications, 2018

2017

A comparison framework for runtime monitoring approaches.

Rick Rabiser, Sam Guinea, Michael Vierhauser, Luciano Baresi, Paul Grünbacher

J. Syst. Softw., 2017

Grand Challenges of Traceability: The Next Ten Years.

Giuliano Antoniol, Jane Cleland-Huang, Jane Huffman Hayes, Michael Vierhauser

CoRR, 2017

From Requirements Monitoring to Diagnosis Support in System of Systems.

Michael Vierhauser, Rick Rabiser, Jane Cleland-Huang

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

What Questions do Requirements Engineers Ask?

Sugandha Malviya, Michael Vierhauser, Jane Cleland-Huang, Smita Ghaisas

Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017

Visualization support for requirements monitoring in systems of systems.

Lisa Maria Kritzinger, Thomas Krismayer, Michael Vierhauser, Rick Rabiser, Paul Grünbacher

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

A Systematic Mapping Study on DSL Evolution.

Jürgen Thanhofer-Pilisch, Alexander Lang, Michael Vierhauser, Rick Rabiser

Proceedings of the 43rd Euromicro Conference on Software Engineering and Advanced Applications, 2017

An Event-based Capture-and-Compare Approach to Support the Evolution of Systems of Systems.

Jürgen Thanhofer-Pilisch, Rick Rabiser, Thomas Krismayer, Michael Vierhauser, Paul Grünbacher, Stefan Wallner, Klaus Seyerlehner, Helmut Zeisel

Proceedings of the 11th ACM International Conference on Distributed and Event-based Systems, 2017

2016

Monitoring Requirements in Systems of Systems.

Michael Vierhauser, Rick Rabiser, Paul Grünbacher

IEEE Softw., 2016

ReMinds : A flexible runtime monitoring framework for systems of systems.

Michael Vierhauser, Rick Rabiser, Paul Grünbacher, Klaus Seyerlehner, Stefan Wallner, Helmut Zeisel

J. Syst. Softw., 2016

Requirements monitoring frameworks: A systematic review.

Michael Vierhauser, Rick Rabiser, Paul Grünbacher

Inf. Softw. Technol., 2016

A DSL-based approach for event-based monitoring of systems of systems.

Michael Vierhauser, Rick Rabiser, Paul Grünbacher, Alexander Egyed

Proceedings of the Software Engineering 2016, 2016

Cold-start software analytics.

Jin Guo, Mona Rahimi, Jane Cleland-Huang, Alexander Rasin, Jane Huffman Hayes, Michael Vierhauser

Proceedings of the 13th International Conference on Mining Software Repositories, 2016

Event capture and compare for runtime monitoring of systems of systems.

Jürgen Thanhofer-Pilisch, Michael Vierhauser, Rick Rabiser, Paul Grünbacher

Proceedings of the 1st International Workshop on Variability and Complexity in Software Design, 2016

Assessing the usefulness of a requirements monitoring tool: a study involving industrial software engineers.

Rick Rabiser, Michael Vierhauser, Paul Grünbacher

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

Variability Management for a Runtime Monitoring Infrastructure.

Rick Rabiser, Michael Vierhauser, Paul Grünbacher

Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems, 2015

Evolution in dynamic software product lines: challenges and perspectives.

Clément Quinton, Rick Rabiser, Michael Vierhauser, Paul Grünbacher, Luciano Baresi

Proceedings of the 19th International Conference on Software Product Line, 2015

A requirements monitoring model for systems of systems.

Michael Vierhauser, Rick Rabiser, Paul Grünbacher, Benedikt Aumayr

Proceedings of the 23rd IEEE International Requirements Engineering Conference, 2015

The ReMinds Tool Suite for Runtime Monitoring of Systems of Systems.

Michael Vierhauser, Rick Rabiser, Paul Grünbacher, Jürgen Thanhofer-Pilisch

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Developing a DSL-Based Approach for Event-Based Monitoring of Systems of Systems: Experiences and Lessons Learned (E).

Michael Vierhauser, Rick Rabiser, Paul Grünbacher, Alexander Egyed

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

2014

A Flexible Framework for Runtime Monitoring of System-of-Systems Architectures.

Michael Vierhauser, Rick Rabiser, Paul Grünbacher, Christian Danner, Stefan Wallner, Helmut Zeisel

Proceedings of the 2014 IEEE/IFIP Conference on Software Architecture, 2014

Modeling multiplicity and hierarchy in product line architectures: extending a decision-oriented approach.

Deepak Dhungana, Herwig Schreiner, Martin Lehofer, Michael Vierhauser, Rick Rabiser, Paul Grünbacher

Proceedings of the WICSA 2014 Companion Volume, Sydney, NSW, Australia, April 7-11, 2014, 2014

A Requirements Monitoring Infrastructure for Very-Large-Scale Software Systems.

Michael Vierhauser, Rick Rabiser, Paul Grünbacher

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

Supporting Multiplicity and Hierarchy in Model-Based Configuration: Experiences and Lessons Learned.

Rick Rabiser, Michael Vierhauser, Paul Grünbacher, Deepak Dhungana, Herwig Schreiner, Martin Lehofer

Proceedings of the Model-Driven Engineering Languages and Systems, 2014

A requirements monitoring infrastructure for systems of systems.

Michael Vierhauser

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

A case study on testing, commissioning, and operation of very-large-scale software systems.

Michael Vierhauser, Rick Rabiser, Paul Grünbacher

Proceedings of the 36th International Conference on Software Engineering, 2014

2013

An infrastructure for the life cycle management of multi product lines.

Gerald Holl, Christoph Elsner, Paul Grünbacher, Michael Vierhauser

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Evolving systems of systems: industrial challenges and research perspectives.

Michael Vierhauser, Rick Rabiser, Paul Grünbacher, Christian Danner, Stefan Wallner

Proceedings of the First International Workshop on Software Engineering for Systems-of-Systems, 2013

Constraint Checking in Distributed Product Configuration of Multi Product Lines.

Gerald Holl, Paul Grünbacher, Christoph Elsner, Thomas Klambauer, Michael Vierhauser

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

A Case Study on the Evolution of a Component-based Product Line.

Wolfgang Heider, Michael Vierhauser, Daniela Lettner, Paul Grünbacher

Proceedings of the 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, 2012

Supporting end users with business calculations in product configuration.

Daniela Lettner, Michael Vierhauser, Rick Rabiser, Paul Grünbacher

Proceedings of the 16th International Software Product Line Conference, 2012

Applying a Consistency Checking Framework for Heterogeneous Models and Artifacts in Industrial Product Lines.

Michael Vierhauser, Paul Grünbacher, Wolfgang Heider, Gerald Holl, Daniela Lettner

Proceedings of the Model Driven Engineering Languages and Systems, 2012

2011

Product line bundles for tool support in multi product lines.

Gerald Holl, Michael Vierhauser, Wolfgang Heider, Paul Grünbacher, Rick Rabiser

Proceedings of the Fifth International Workshop on Variability Modelling of Software-Intensive Systems, 2011

A Deployment Infrastructure for Product Line Models and Tools.

Michael Vierhauser, Gerald Holl, Rick Rabiser, Paul Grünbacher, Martin Lehofer, Uwe Stürmer

Proceedings of the Software Product Lines - 15th International Conference, 2011

Supporting business calculations in a product line engineering tool suite.

Daniela Lettner, Daniel Thaller, Michael Vierhauser, Rick Rabiser, Paul Grünbacher, Wolfgang Heider

Proceedings of the Software Product Lines - 15th International Conference, 2011

2010

Tool Support for Incremental Consistency Checking on Variability Models.

Michael Vierhauser, Deepak Dhungana, Wolfgang Heider, Rick Rabiser, Alexander Egyed

Proceedings of the Fourth International Workshop on Variability Modelling of Software-Intensive Systems, 2010

Flexible and scalable consistency checking on product line variability models.

Michael Vierhauser, Paul Grünbacher, Alexander Egyed, Rick Rabiser, Wolfgang Heider

Proceedings of the ASE 2010, 2010