Michael Vierhauser

Orcid: 0000-0003-2672-9230

Affiliations:
  • Johannes Kepler University Linz, Austria


According to our database1, Michael Vierhauser authored at least 100 papers between 2010 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Human-machine Teaming with Small Unmanned Aerial Systems in a MAPE-K Environment.
ACM Trans. Auton. Adapt. Syst., March, 2024

Scenario-Based Field Testing of Drone Missions.
CoRR, 2024

Self-Adaptation of Loosely Coupled Systems across a System of Small Uncrewed Aerial Systems.
Proceedings of the 12th ACM/IEEE International Workshop on Software Engineering for Systems-of-Systems and Software Ecosystems, 2024

ADAM: Adaptive Monitoring of Runtime Anomalies in Small Uncrewed Aerial Systems.
Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2024

A Requirements-Driven Platform for Validating Field Operations of Small Uncrewed Aerial Vehicles.
Proceedings of the Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26, 2024

A Large-Scale Study of ML-Related Python Projects.
Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024

What Impact Do My Preferences Have? - A Framework for Explanation-Based Elicitation of Quality Objectives for Robotic Mission Planning.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2024

Coupled Requirements-Driven Testing of CPS: From Simulation to Reality.
Proceedings of the 32nd IEEE International Requirements Engineering Conference, 2024

Towards Integrating Emerging AI Applications in SE Education.
Proceedings of the 36th International Conference on Software Engineering Education and Training, 2024

Learning Analytics Support in Higher-Education: Towards a Multi-Level Shared Learning Analytics Framework.
Proceedings of the 16th International Conference on Computer Supported Education, 2024

A Learning Analytics Dashboard for Improved Learning Outcomes and Diversity in Programming Classes.
Proceedings of the 16th International Conference on Computer Supported Education, 2024

Requirements for an Online Integrated Development Environment for Automated Programming Assessment Systems.
Proceedings of the 16th International Conference on Computer Supported Education, 2024

HIFuzz: Human Interaction Fuzzing for Small Unmanned Aerial Vehicles.
Proceedings of the CHI Conference on Human Factors in Computing Systems, 2024

2023
<i>GRuM</i> - A flexible model-driven runtime monitoring framework and its application to automated aerial and ground vehicles.
J. Syst. Softw., September, 2023

ProCon: An automated process-centric quality constraints checking framework.
J. Syst. Softw., August, 2023

A model-based mode-switching framework based on security vulnerability scores.
J. Syst. Softw., June, 2023

Supplemental Material for a Mode Switching Framework with Web Server Case Study.
Dataset, February, 2023

AMon: A domain-specific language and framework for adaptive monitoring of Cyber-Physical Systems.
J. Syst. Softw., 2023

Configuring mission-specific behavior in a product line of collaborating Small Unmanned Aerial Systems.
J. Syst. Softw., 2023

A Distributed MAPE-K Framework for Self-Protective IoT Devices.
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.
Proceedings of the 5th IEEE/ACM International Workshop on Robotics Software Engineering, 2023

SST' 23 - Software and Systems Traceability Message from the Workshop Chairs.
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.
Proceedings of the 15th International Conference on Computer Supported Education, 2023

2022
Mode Switching Framework with Web Server Case Study.
Dataset, November, 2022

Mode Switching Framework with Web Server Case Study.
Dataset, November, 2022

Digital Twin Platforms: Requirements, Capabilities, and Future Prospects.
IEEE Softw., 2022

Visualization of aggregated information to support class-level software evolution.
J. Syst. Softw., 2022

Run-Time Adaptation of Quality Attributes for Automated Planning.
Proceedings of the International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2022

Extending MAPE-K to support Human-Machine Teaming.
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.
Proceedings of the Software Engineering 2022, 2022

Towards flexible runtime monitoring support for ROS-based applications.
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.
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.
Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022

Exploring Diversity in Introductory Programming Classes: An Experience Report.
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.
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.
Proceedings of the Digital Transformation, 2022

2021
Interlocking Safety Cases for Unmanned Autonomous Systems in Shared Airspaces.
IEEE Trans. Software Eng., 2021

Visualizing Change in Agile Safety-Critical Systems.
IEEE Softw., 2021

Evolution in dynamic software product lines.
J. Softw. Evol. Process., 2021

Hazard analysis for human-on-the-loop interactions in sUAS systems.
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.
Proceedings of the Software Engineering 2021, 2021

Towards a Model-Integrated Runtime Monitoring Infrastructure for Cyber-Physical Systems.
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.
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.
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.
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.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2020

TimeTracer: a tool for back in time traceability replaying.
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.
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.
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.
Inf. Softw. Technol., 2019

Towards the Next Generation of Scenario Walkthrough Tools - A Research Preview.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2019

Comparing Constraints Mined From Execution Logs to Understand Software Evolution.
Proceedings of the 2019 IEEE International Conference on Software Maintenance and Evolution, 2019

The interplay of design and runtime traceability for non-functional requirements.
Proceedings of the 10th International Workshop on Software and Systems Traceability, 2019

Leveraging artifact trees to evolve and reuse safety cases.
Proceedings of the 41st International Conference on Software Engineering, 2019

2018
Domain Analysis Monitoring Public Dataset Dec 5.
Dataset, December, 2018

Dronology: An Incubator for Cyber-Physical System Research.
CoRR, 2018

Developing and evolving a DSL-based approach for runtime monitoring of systems of systems.
Autom. Softw. Eng., 2018

A comparison framework for runtime monitoring approaches (journal-first abstract).
Proceedings of the 25th International Conference on Software Analysis, 2018

Supporting Diagnosis of Requirements Violations in Systems of Systems.
Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018

Discovering, Analyzing, and Managing Safety Stories in Agile Projects.
Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018

Swarming remote piloted aircraft systems for mosquito-borne disease research and control.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Interlocking safety cases for unmanned autonomous systems in urban environments.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Dronology: an incubator for cyber-physical systems research.
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.
Proceedings of the 44th Euromicro Conference on Software Engineering and Advanced Applications, 2018

2017
A comparison framework for runtime monitoring approaches.
J. Syst. Softw., 2017

Grand Challenges of Traceability: The Next Ten Years.
CoRR, 2017

From Requirements Monitoring to Diagnosis Support in System of Systems.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2017

What Questions do Requirements Engineers Ask?
Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017

Visualization support for requirements monitoring in systems of systems.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

A Systematic Mapping Study on DSL Evolution.
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.
Proceedings of the 11th ACM International Conference on Distributed and Event-based Systems, 2017

2016
Monitoring Requirements in Systems of Systems.
IEEE Softw., 2016

ReMinds : A flexible runtime monitoring framework for systems of systems.
J. Syst. Softw., 2016

Requirements monitoring frameworks: A systematic review.
Inf. Softw. Technol., 2016

A DSL-based approach for event-based monitoring of systems of systems.
Proceedings of the Software Engineering 2016, 2016

Cold-start software analytics.
Proceedings of the 13th International Conference on Mining Software Repositories, 2016

Event capture and compare for runtime monitoring of systems of systems.
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.
Proceedings of the 38th International Conference on Software Engineering, 2016

2015
Variability Management for a Runtime Monitoring Infrastructure.
Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems, 2015

Evolution in dynamic software product lines: challenges and perspectives.
Proceedings of the 19th International Conference on Software Product Line, 2015

A requirements monitoring model for systems of systems.
Proceedings of the 23rd IEEE International Requirements Engineering Conference, 2015

The ReMinds Tool Suite for Runtime Monitoring of Systems of Systems.
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).
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.
Proceedings of the 2014 IEEE/IFIP Conference on Software Architecture, 2014

Modeling multiplicity and hierarchy in product line architectures: extending a decision-oriented approach.
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.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2014

Supporting Multiplicity and Hierarchy in Model-Based Configuration: Experiences and Lessons Learned.
Proceedings of the Model-Driven Engineering Languages and Systems, 2014

A requirements monitoring infrastructure for systems of systems.
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.
Proceedings of the 36th International Conference on Software Engineering, 2014

2013
An infrastructure for the life cycle management of multi product lines.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Evolving systems of systems: industrial challenges and research perspectives.
Proceedings of the First International Workshop on Software Engineering for Systems-of-Systems, 2013

Constraint Checking in Distributed Product Configuration of Multi Product Lines.
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012
A Case Study on the Evolution of a Component-based Product Line.
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.
Proceedings of the 16th International Software Product Line Conference, 2012

Applying a Consistency Checking Framework for Heterogeneous Models and Artifacts in Industrial Product Lines.
Proceedings of the Model Driven Engineering Languages and Systems, 2012

2011
Product line bundles for tool support in multi product lines.
Proceedings of the Fifth International Workshop on Variability Modelling of Software-Intensive Systems, 2011

A Deployment Infrastructure for Product Line Models and Tools.
Proceedings of the Software Product Lines - 15th International Conference, 2011

Supporting business calculations in a product line engineering tool suite.
Proceedings of the Software Product Lines - 15th International Conference, 2011

2010
Tool Support for Incremental Consistency Checking on Variability Models.
Proceedings of the Fourth International Workshop on Variability Modelling of Software-Intensive Systems, 2010

Flexible and scalable consistency checking on product line variability models.
Proceedings of the ASE 2010, 2010


  Loading...