<?xml version="1.0" encoding="UTF-8"?>
<urlset xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.sitemaps.org/schemas/sitemap/0.9 http://www.sitemaps.org/schemas/sitemap/0.9/sitemap.xsd" xmlns="http://www.sitemaps.org/schemas/sitemap/0.9">
<url>
<loc>https://michvier.github.io/portfolio/portfolio-1/</loc>
</url>
<url>
<loc>https://michvier.github.io/portfolio/portfolio-2/</loc>
</url>
<url>
<loc>https://michvier.github.io/posts/2024/12/rose25/</loc>
<lastmod>2024-12-20T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/posts/2025/01/refsq25/</loc>
<lastmod>2025-01-15T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/posts/2025/01/sosym25/</loc>
<lastmod>2025-01-19T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/posts/2025/01/icse25/</loc>
<lastmod>2025-01-19T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/posts/2025/05/icse25/</loc>
<lastmod>2025-05-02T00:00:00-07:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/posts/2025/05/ecsa/</loc>
<lastmod>2025-05-19T00:00:00-07:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/posts/2025/07/CBI/</loc>
<lastmod>2025-07-11T00:00:00-07:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/posts/2025/10/toce2025/</loc>
<lastmod>2025-10-23T00:00:00-07:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/posts/2026/01/icse26/</loc>
<lastmod>2026-01-10T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/posts/2026/03/csedu26-1/</loc>
<lastmod>2026-03-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/posts/2026/03/csedu26-2/</loc>
<lastmod>2026-03-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/posts/2026/05/re/</loc>
<lastmod>2026-05-10T00:00:00-07:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/posts/2026/05/renext/</loc>
<lastmod>2026-05-20T00:00:00-07:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/posts/2026/05/retools/</loc>
<lastmod>2026-06-15T00:00:00-07:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/posts/2026/07/acsos/</loc>
<lastmod>2026-07-14T00:00:00-07:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2010-01-01-Flexible-and-scalable-consistency-checking-on-product-line-variability-models</loc>
<lastmod>2010-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2010-01-01-Tool-Support-for-Incremental-Consistency-Checking-on-Variability-Models</loc>
<lastmod>2010-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2011-01-01-A-Deployment-Infrastructure-for-Product-Line-Models-and-Tools</loc>
<lastmod>2011-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2011-01-01-Product-line-bundles-for-tool-support-in-multi-product-lines</loc>
<lastmod>2011-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2011-01-01-Supporting-business-calculations-in-a-product-line-engineering-tool-suite</loc>
<lastmod>2011-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2012-01-01-A-Case-Study-on-the-Evolution-of-a-Component-based-Product-Line</loc>
<lastmod>2012-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2012-01-01-Applying-a-Consistency-Checking-Framework-for-Heterogeneous-Models-and-Artifacts-in-Industrial-Product-Lines</loc>
<lastmod>2012-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2012-01-01-Supporting-end-users-with-business-calculations-in-product-configuration</loc>
<lastmod>2012-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2013-01-01-An-infrastructure-for-the-life-cycle-management-of-multi-product-lines</loc>
<lastmod>2013-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2013-01-01-Constraint-Checking-in-Distributed-Product-Configuration-of-Multi-Product-Lines</loc>
<lastmod>2013-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2013-01-01-Evolving-systems-of-systems-Industrial-challenges-and-research-perspectives</loc>
<lastmod>2013-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2014-01-01-A-Flexible-Framework-for-Runtime-Monitoring-of-System-of-Systems-Architectures</loc>
<lastmod>2014-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2014-01-01-A-Requirements-Monitoring-Infrastructure-for-Very-Large-Scale-Software-Systems</loc>
<lastmod>2014-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2014-01-01-A-case-study-on-testing-commissioning-and-operation-of-very-large-scale-software-systems</loc>
<lastmod>2014-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2014-01-01-A-requirements-monitoring-infrastructure-for-systems-of-systems</loc>
<lastmod>2014-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2014-01-01-Configuring-and-Generating-Technical-Documents</loc>
<lastmod>2014-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2014-01-01-Modeling-multiplicity-and-hierarchy-in-product-line-architectures-Extending-a-decision-oriented-approach</loc>
<lastmod>2014-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2014-01-01-Supporting-Multiplicity-and-Hierarchy-in-Model-Based-Configuration-Experiences-and-Lessons-Learned</loc>
<lastmod>2014-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2015-01-01-A-requirements-monitoring-model-for-systems-of-systems</loc>
<lastmod>2015-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2015-01-01-Developing-a-DSL-Based-Approach-for-Event-Based-Monitoring-of-Systems-of-Systems-Experiences-and-Lessons-Learned</loc>
<lastmod>2015-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2015-01-01-Evolution-in-dynamic-software-product-lines-challenges-and-perspectives</loc>
<lastmod>2015-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2015-01-01-The-ReMinds-Tool-Suite-for-Runtime-Monitoring-of-Systems-of-Systems</loc>
<lastmod>2015-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2015-01-01-Variability-Management-for-a-Runtime-Monitoring-Infrastructure</loc>
<lastmod>2015-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2016-01-01-A-DSL-Based-Approach-for-Event-Based-Monitoring-of-Systems-of-Systems-Extended-Abstract</loc>
<lastmod>2016-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2016-01-01-Assessing-the-Usefulness-of-a-Requirements-Monitoring-Tool-A-Study-Involving-Industrial-Software-Engineers</loc>
<lastmod>2016-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2016-01-01-Cold-start-software-analytics</loc>
<lastmod>2016-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2016-01-01-Event-Capture-and-Compare-for-Runtime-Monitoring-of-Systems-of-Systems</loc>
<lastmod>2016-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2016-01-01-Monitoring-Requirements-in-Systems-of-Systems</loc>
<lastmod>2016-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2016-01-01-ReMinds-A-flexible-runtime-monitoring-framework-for-systems-of-systems</loc>
<lastmod>2016-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2016-01-01-Requirements-monitoring-frameworks-A-systematic-review</loc>
<lastmod>2016-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2017-01-01-A-Systematic-Mapping-Study-on-DSL-Evolution</loc>
<lastmod>2017-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2017-01-01-A-comparison-framework-for-runtime-monitoring-approaches</loc>
<lastmod>2017-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2017-01-01-An-Event-based-Capture-and-Compare-Approach-to-Support-the-Evolution-of-Systems-of-Systems</loc>
<lastmod>2017-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2017-01-01-Establishing-Trace-Links-for-Runtime-Diagnosis-Support-in-System-of-Systems</loc>
<lastmod>2017-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2017-01-01-From-Requirements-Monitoring-to-Diagnosis-Support-in-System-of-Systems</loc>
<lastmod>2017-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2017-01-01-Grand-Challenges-of-Traceability-The-Next-Ten-Years</loc>
<lastmod>2017-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2017-01-01-Traceability-Queries-and-Strategies-for-the-Requirements-Engineering-Domain</loc>
<lastmod>2017-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2017-01-01-Visualization-support-for-requirements-monitoring-in-systems-of-systems</loc>
<lastmod>2017-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2017-01-01-What-Questions-do-Requirements-Engineers-Ask</loc>
<lastmod>2017-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2018-01-01-A-Comparison-Framework-for-Runtime-Monitoring-Approaches-Journal-First-Abstract</loc>
<lastmod>2018-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2018-01-01-Developing-and-evolving-a-DSL-based-approach-for-runtime-monitoring-of-systems-of-systems</loc>
<lastmod>2018-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2018-01-01-Discovering-Analyzing-and-Managing-Safety-Stories-in-Agile-Projects</loc>
<lastmod>2018-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2018-01-01-Dronology-An-Incubator-for-Cyber-Physical-System-Research</loc>
<lastmod>2018-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2018-01-01-Monitoring-CPS-at-Runtime-A-Case-Study-in-the-UAV-Domain</loc>
<lastmod>2018-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2018-01-01-Poster-Interlocking-Safety-Cases-for-Unmanned-Autonomous-Systems-in-Urban-Environments</loc>
<lastmod>2018-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2018-01-01-Poster-Swarming-remote-piloted-aircraft-systems-for-mosquito-borne-disease-research-and-control</loc>
<lastmod>2018-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2018-01-01-Supporting-Diagnosis-of-Requirements-Violations-in-Systems-of-Systems</loc>
<lastmod>2018-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2019-01-01-A-domain-analysis-of-resource-and-requirements-monitoring-Towards-a-comprehensive-model-of-the-software-monitoring-domain</loc>
<lastmod>2019-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2019-01-01-Comparing-Constraints-Mined-From-Execution-Logs-to-Understand-Software-Evolution</loc>
<lastmod>2019-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2019-01-01-Developing-and-Evolving-a-DSL-Based-Approach-for-Runtime-Monitoring-of-Systems-of-Systems-Extended-Abstract</loc>
<lastmod>2019-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2019-01-01-Interlocking-Safety-Cases-for-Unmanned-Autonomous-Systems-in-Shared-Airspaces</loc>
<lastmod>2019-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2019-01-01-Leveraging-Artifact-Trees-to-Evolve-and-Reuse-Safety-Cases</loc>
<lastmod>2019-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2019-01-01-The-Interplay-of-Design-and-Runtime-Traceability-for-Non-Functional-Requirements</loc>
<lastmod>2019-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2019-01-01-Towards-the-Next-Generation-of-Scenario-Walkthrough-Tools-A-Research-Preview</loc>
<lastmod>2019-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2020-01-01-BIM-based-Digital-Transformation-in-Underground-Construction-Two-Application-based-Research-Projects-German</loc>
<lastmod>2020-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2020-01-01-Requirements-driven-configuration-of-emergency-response-missions-with-small-aerial-vehicles</loc>
<lastmod>2020-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2020-01-01-SENET-A-Semantic-Web-for-Supporting-Automation-of-Software-Engineering-Tasks</loc>
<lastmod>2020-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2020-01-01-The-next-generation-of-human-drone-partnerships-Co-designing-an-emergency-response-system</loc>
<lastmod>2020-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2020-01-01-TimeTracer-A-Tool-for-Back-in-Time-Traceability-Replaying</loc>
<lastmod>2020-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2020-01-01-Towards-Integrating-Data-Driven-Requirements-Engineering-into-the-Software-Development-Process-A-Vision-Paper</loc>
<lastmod>2020-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2021-01-01-AML4DT-A-Model-Driven-Framework-for-Developing-and-Maintaining-Digital-Twins-with-AutomationML</loc>
<lastmod>2021-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2021-01-01-Breaking-the-Deep-Freeze-Visualizing-Change-in-Agile-Safety-Critical-Systems</loc>
<lastmod>2021-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2021-01-01-Digital-Twin-Platforms-Requirements-Capabilities-and-Future-Prospects</loc>
<lastmod>2021-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2021-01-01-Evolution-in-dynamic-software-product-lines</loc>
<lastmod>2021-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2021-01-01-Hazard-analysis-for-human-on-the-loop-interactions-in-sUAS-systems</loc>
<lastmod>2021-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2021-01-01-Supporting-Quality-Assurance-with-Automated-Process-Centric-Quality-Constraints-Checking</loc>
<lastmod>2021-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2021-01-01-Towards-a-Model-Integrated-Runtime-Monitoring-Infrastructure-for-Cyber-Physical-Systems</loc>
<lastmod>2021-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2022-01-01-A-Community-Sourced-View-on-Engineering-Digital-Twins-Report-from-the-EDTCommunity</loc>
<lastmod>2022-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2022-01-01-AMon-A-Domain-Specific-Language-and-Framework-for-Adaptive-Monitoring-of-Cyber-Physical-Systems</loc>
<lastmod>2022-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2022-01-01-Data-Drops-for-Tunnel-Information-Modelling</loc>
<lastmod>2022-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2022-01-01-Exploring-Diversity-in-Introductory-Programming-Classes-An-Experience-Report</loc>
<lastmod>2022-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2022-01-01-Extending-MAPE-K-to-support-Human-Machine-Teaming</loc>
<lastmod>2022-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2022-01-01-Poster-Flexible-Model-Driven-Runtime-Monitoring-Support-for-Cyber-Physical-Systems</loc>
<lastmod>2022-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2022-01-01-Run-Time-Adaptation-of-Quality-Attributes-for-Automated-Planning</loc>
<lastmod>2022-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2022-01-01-Towards-Cost-Benefit-Aware-Adaptive-Monitoring-for-Cyber-Physical-Systems</loc>
<lastmod>2022-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2022-01-01-Towards-flexible-runtime-monitoring-support-for-ROS-based-applications</loc>
<lastmod>2022-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2022-01-01-Visualization-of-aggregated-information-to-support-class-level-software-evolution</loc>
<lastmod>2022-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2023-01-01-A-Model-based-Mode-Switching-Framework-based-on-Security-Vulnerability-Scores</loc>
<lastmod>2023-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2023-01-01-A-Requirements-Driven-Platform-for-Validating-Field-Operations-of-Small-Uncrewed-Aerial-Vehicles</loc>
<lastmod>2023-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2023-01-01-A-distributed-MAPE-K-framework-for-self-protective-IoT-devices</loc>
<lastmod>2023-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2023-01-01-Common-Code-Quality-Issues-of-Novice-Java-ProgrammersA-Comprehensive-Analysis-of-Student-Assignments</loc>
<lastmod>2023-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2023-01-01-Configuring-mission-specific-behavior-in-a-product-line-of-collaborating-Small-Unmanned-Aerial-Systems</loc>
<lastmod>2023-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2023-01-01-GRuM-A-Flexible-Model-Driven-Runtime-Monitoring-Framework-and-its-Application-to-Automated-Aerial-and-Ground-Vehicles</loc>
<lastmod>2023-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2023-01-01-ProCon-An-automated-process-centric-quality-constraints-checking-framework</loc>
<lastmod>2023-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2023-01-01-ROMoSu-Flexible-Runtime-Monitoring-Support-for-ROS-based-Applications</loc>
<lastmod>2023-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2023-01-01-Runtime-Monitoring-for-Systems-of-System</loc>
<lastmod>2023-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2024-01-01-A-Learning-Analytics-Dashboard-for-Improved-Learning-Outcomes-and-Diversity-in-Programming-Classes</loc>
<lastmod>2024-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2024-01-01-ADAM-Adaptive-Monitoring-of-Runtime-Anomalies-in-Small-Uncrewed-Aerial-Systems</loc>
<lastmod>2024-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2024-01-01-Agile-Field-Test-Support-for-Drone-Rescue-Missions</loc>
<lastmod>2024-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2024-01-01-Coupled-Requirements-driven-Testing-of-CPS-From-Simulation-To-Reality</loc>
<lastmod>2024-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2024-01-01-Human-machine-Teaming-with-Small-Unmanned-Aerial-Systems-in-a-MAPE-K-Environment</loc>
<lastmod>2024-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2024-01-01-Learning-Analytics-Support-in-Higher-Education-Towards-a-Multi-Level-Shared-Learning-Analytics-Framework</loc>
<lastmod>2024-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2024-01-01-Requirements-for-an-Online-Integrated-Development-Environment-for-Automated-Programming-Assessment-Systems</loc>
<lastmod>2024-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2024-01-01-Scenario-Based-Field-Testing-of-Drone-Missions</loc>
<lastmod>2024-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2024-01-01-Self-Adaptation-of-Loosely-Coupled-Systems-across-a-System-of-Small-Uncrewed-Aerial-Systems</loc>
<lastmod>2024-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2024-01-01-Towards-Integrating-Emerging-AI-Applications-in-SE-Education</loc>
<lastmod>2024-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2024-01-01-What-Impact-Do-My-Preferences-Have-A-Framework-for-Explanation-Based-Elicitation-of-Quality-Objectives-for-Robotic-Mission-Planning</loc>
<lastmod>2024-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2024-01-01-HIFuzz-Human-Interaction-Fuzzing-for-Small-Unmanned-Aerial-Vehicles</loc>
<lastmod>2024-12-12T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2025-01-01-A-Model-Based-Framework-for-Exploring-Human-Machine-Teaming-Requirements-in-Cyber-Physical-Systems</loc>
<lastmod>2025-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2025-01-01-FORTE-An-Open-Source-System-for-Cost-Effective-and-Scalable-Environmental-Monitoring</loc>
<lastmod>2025-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2025-01-01-LLM-Agents-Driven-Automated-Simulation-Testing-and-Analysis-of-small-Uncrewed-Aerial-Systems</loc>
<lastmod>2025-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2025-01-01-SustainScrum-Integrating-Sustainability-Assessment-in-a-Tailored-Scrum-Process-for-Computing-Quantitative-Sustainability-Indicators</loc>
<lastmod>2025-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2025-01-01-Towards-Unified-Field-Testing-and-Monitoring-for-Safe-and-Secure-Robotic-Applications</loc>
<lastmod>2025-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2025-01-01-Towards-a-Value-Complemented-Monitoring-Framework-for-Humans-in-Cyber-Physical-Systems</loc>
<lastmod>2025-01-02T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2025-01-01-An-Online-Integrated-Development-Environment-for-Automated-Programming-Assessment-Systems</loc>
<lastmod>2025-01-05T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2025-01-01-Requirements-Engineering-for-a-Web-based-Research-Technology-Innovation-Monitoring-Tool</loc>
<lastmod>2025-01-10T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2025-01-01-SAFER-D-A-Self-Adaptive-Security-Framework-for-Distributed-Computing-Architectures</loc>
<lastmod>2025-05-19T00:00:00-07:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2025-01-01-A-Survey-on-Feedback-Types-in-Automated-Programming-Assessment-Systems</loc>
<lastmod>2025-10-20T00:00:00-07:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2026-01-01-Bringing-AI-into-the-Classroom-A-Structured-Approach-for-Integrating-AI-into-Software-Engineering-Education</loc>
<lastmod>2026-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2026-01-01-Design-and-Deployment-of-a-Course-Aware-AI-Tutor-in-an-Introductory-Programming-Course</loc>
<lastmod>2026-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2026-01-01-Extending-Decision-Maps-for-Sustainable-Safety-and-Security-in-Self-Adaptive-Systems</loc>
<lastmod>2026-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2026-01-01-HM-Req-A-Framework-for-Embedding-Values-within-CPS-Human-Monitoring-Requirements</loc>
<lastmod>2026-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2026-01-01-On-the-JI-RADAR-Uncovering-Sustainability-Tool-Support-for-Requirements-Engineering</loc>
<lastmod>2026-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2026-01-01-Transforming-Privacy-Artifacts-into-Accessible-Reports-for-Non-Technical-Stakeholders</loc>
<lastmod>2026-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/publication/2026-01-01-Uncovering-Failures-in-Cyber-Physical-System-State-Transitions-A-Fuzzing-Based-Approach-Applied-to-sUAS</loc>
<lastmod>2026-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/talks/2012-03-01-talk-1</loc>
<lastmod>2012-03-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/talks/2013-03-01-tutorial-1</loc>
<lastmod>2013-03-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/teaching/2014-spring-teaching-1</loc>
<lastmod>2014-01-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/teaching/topics/msc-pddl</loc>
<lastmod>2024-10-01T00:00:00-07:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/teaching/topics/msc-planning</loc>
<lastmod>2024-10-01T00:00:00-07:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/teaching/topics/llmresearchdatamanagement/</loc>
<lastmod>2025-01-15T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/teaching/topics/bsc-blockly</loc>
<lastmod>2025-10-01T00:00:00-07:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/teaching/topics/bsc-curriculum-graph</loc>
<lastmod>2025-10-01T00:00:00-07:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/teaching/topics/bsc-jira</loc>
<lastmod>2025-10-01T00:00:00-07:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/teaching/topics/bsc-umlet</loc>
<lastmod>2025-10-01T00:00:00-07:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/teaching/topics/bsc-valuedsl</loc>
<lastmod>2025-10-01T00:00:00-07:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/teaching/topics/bsc-valuemapping</loc>
<lastmod>2025-10-01T00:00:00-07:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/teaching/topics/bsc-med</loc>
<lastmod>2025-10-01T00:00:00-07:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/teaching/topics/bsc-spacesuit</loc>
<lastmod>2025-10-01T00:00:00-07:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/teaching/topics/msc-reqaiagents/</loc>
<lastmod>2025-10-01T00:00:00-07:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/teaching/topics/msc-valuepredict/</loc>
<lastmod>2025-10-01T00:00:00-07:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/teaching/topics/bsc-mcp</loc>
<lastmod>2025-11-01T00:00:00-07:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/teaching/topics/bsc-smbtool-refactoring</loc>
<lastmod>2026-03-01T00:00:00-08:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/teaching/topics/bsc-spacesuitui</loc>
<lastmod>2026-04-28T00:00:00-07:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/teaching/topics/msc-llmsafetyenvelope/</loc>
<lastmod>2026-06-23T00:00:00-07:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/teaching/topics/msc-culturalexchange-ai/</loc>
<lastmod>2027-06-07T00:00:00-07:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/teaching/topics/msc-aitwinpeaks/</loc>
<lastmod>2027-07-07T00:00:00-07:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/</loc>
</url>
<url>
<loc>https://michvier.github.io/categories/</loc>
</url>
<url>
<loc>https://michvier.github.io/collection-archive/</loc>
</url>
<url>
<loc>https://michvier.github.io/cv/</loc>
</url>
<url>
<loc>https://michvier.github.io/memories/</loc>
</url>
<url>
<loc>https://michvier.github.io/_pages/backup/non-menu-page/</loc>
</url>
<url>
<loc>https://michvier.github.io/page-archive/</loc>
</url>
<url>
<loc>https://michvier.github.io/portfolio/</loc>
</url>
<url>
<loc>https://michvier.github.io/projects/</loc>
</url>
<url>
<loc>https://michvier.github.io/publications/</loc>
</url>
<url>
<loc>https://michvier.github.io/research/</loc>
</url>
<url>
<loc>https://michvier.github.io/research/adaptation</loc>
</url>
<url>
<loc>https://michvier.github.io/research/learning</loc>
</url>
<url>
<loc>https://michvier.github.io/research/cpsmonitoring</loc>
</url>
<url>
<loc>https://michvier.github.io/research/ple</loc>
</url>
<url>
<loc>https://michvier.github.io/research/safety</loc>
</url>
<url>
<loc>https://michvier.github.io/research/sustainability</loc>
</url>
<url>
<loc>https://michvier.github.io/services/</loc>
</url>
<url>
<loc>https://michvier.github.io/sitemap/</loc>
</url>
<url>
<loc>https://michvier.github.io/tags/</loc>
</url>
<url>
<loc>https://michvier.github.io/_pages/backup/talkmap/</loc>
</url>
<url>
<loc>https://michvier.github.io/talks/</loc>
</url>
<url>
<loc>https://michvier.github.io/teaching/</loc>
</url>
<url>
<loc>https://michvier.github.io/terms/</loc>
</url>
<url>
<loc>https://michvier.github.io/topics/</loc>
</url>
<url>
<loc>https://michvier.github.io/year-archive/</loc>
</url>
<url>
<loc>https://michvier.github.io/markdown_generator/old/</loc>
</url>
<url>
<loc>https://michvier.github.io/_pages/backup/research_diag.html</loc>
<lastmod>2026-09-01T22:40:47-07:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/_pages/google06cf93f0ce9da4c1.html</loc>
<lastmod>2026-09-01T22:40:47-07:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/_pages/publications_recent_A.html</loc>
<lastmod>2026-09-01T22:40:47-07:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/_pages/publications_recent_B.html</loc>
<lastmod>2026-09-01T22:40:47-07:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/_pages/publications_recent_C.html</loc>
<lastmod>2026-09-01T22:40:47-07:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/_pages/publications_recent_D.html</loc>
<lastmod>2026-09-01T22:40:47-07:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/_pages/publications_recent_E.html</loc>
<lastmod>2026-09-01T22:40:47-07:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/files/CodeAbilityAustria_ManagementSummary.pdf</loc>
<lastmod>2026-09-01T22:40:47-07:00</lastmod>
</url>
<url>
<loc>https://michvier.github.io/talkmap/map.html</loc>
<lastmod>2026-09-01T22:40:47-07:00</lastmod>
</url>
</urlset>
