Publications

@inproceedings{TabbassiHenkler2026SugarBeetOptimization,
  author = {Ahmed Amine Tabbassi and Stefan Henkler},
  title = {End-to-End Sugar Beet Management Optimisation via DSSAT Repair and Quadratic Surrogate Programming},
  booktitle = {Federated Conference on Computer Science and Information Systems (FedCSIS)},
  year = {2026},
  research = {design-space-exploration-optimization},
  domain = {smart-farming},
  period = {hshl},
  selected = {yes},
  note = {Program-confirmed; final proceedings metadata/DOI to be added when available}
}

@article{azarafza2026multi,
  title={Multi-Agent Orchestration with the Common-Sense Reasoning Capabilities of LLMs for Autonomous Driving},
  author={Azarafza, Mehdi and Pasandideh, Faezeh and Bejnordi, Ali Ehteshami and Henkler, Stefan and Rettberg, Achim},
  journal={arXiv preprint arXiv:2608.20129},
  year={2026}
}

@article{10.1145/3808127,
author = {Brodo, Luca and Scalora, Giuseppe and Henkler, Stefan},
title = {Property Refinement in Linear Temporal Logic: Formal Semantics and Algorithms for Software Verification},
year = {2026},
issue_date = {July 2026},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {3},
number = {FSE},
url = {https://doi.org/10.1145/3808127},
doi = {10.1145/3808127},
abstract = {Model checking using temporal logic is a key aspect of formal verification of modern complex software systems. These systems are often the result of distributed development processes, involving multiple teams and iterative design cycles. This complexity is mirrored in the corresponding formal specifications, which often consist of a large number of temporal logic properties that need to be verified against a system model. Many of these properties overlap semantically, yet traditional verification treats them as independent, resulting in redundant checks that waste computational resources and inflate engineering effort. We address this by introducing and operationalizing a formal theory of property refinement for temporal logic into a concrete methodology that automatically identifies redundant properties from a verification suite. This is achieved by first partitioning specifications into equivalence classes based on shared atomic propositions, followed by an analysis of intra-class refinement relations to construct the minimal sufficient subset. Our extensive empirical evaluation confirms the practical viability of our approach, demonstrating it can reduce the number of required verification tasks by up to 75\% and accelerate model checking by up to three orders of magnitude, with a one-time associated overhead cost of 0.035\% for the refinement analysis. The results of the evaluation confirm that the benefits of this approach are threefold: it reduces the computational requirements for formal verification; it allows engineers to focus on the core requirements of the system, hereby reducing engineering effort; finally, the one-time negligible investment in refinement yields compounding returns, making it particularly advantageous for agile and long-term development lifecycles. This work thus establishes property refinement analysis as a key technique for scaling requirement engineering and software verification to modern complex software systems.},
journal = {Proc. ACM Softw. Eng.},
month = jun,
pages = {1--22},
articleno = {FSE120},
numpages = {22},
keywords = {Formal Verification, LTL Property Refinement, Model Checking, Redundancy Analysis, Specification Optimization}
}

@inproceedings{BrodoScaloraHenkler2026RuntimeSelfOptimization,
  author    = {Brodo, Luca and Scalora, Giuseppe and Henkler, Stefan},
  title     = {Runtime Self-Optimization Through Knowledge-Driven Design Space Reduction},
  booktitle = {Proceedings of the 21st International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS '26)},
  year      = {2026},
  pages     = {1--12},
  address   = {Rio de Janeiro, Brazil},
  publisher = {ACM},
  doi       = {10.1145/3788550.3794861},
  note     = {To appear in 2026}
}

@inproceedings{BrodoScaloraHenkler2026MinimalTemporalProperties,
  author    = {Brodo, Luca and Scalora, Giuseppe and Henkler, Stefan},
  title     = {What Do We Really Need? Identifying Minimal Sufficient Temporal Properties via Refinement},
  booktitle = {Proceedings of the IEEE/ACM 48th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion '26)},
  year      = {2026},
  pages     = {1--2},
  address   = {Rio de Janeiro, Brazil},
  publisher = {ACM},
  doi       = {10.1145/3774748.3795661},
  note     = {To appear in 2026}
}

@incollection{DrechselBejnordiHenklerRother2026Quantization,
  author    = {D. Drechsel and A. E. Bejnordi and S. Henkler and K. Rother},
  title     = {Comparing Quantization Techniques for {DNNs} in Precision Agriculture},
  booktitle = {Architecting the Future: Intelligent Systems for Embedded {AI}, Autonomous Technologies, and Digital Twins},
  editor    = {M. A. Wehrmeister and S. Henkler and M. Kreutz and M. G{\"o}tz and A. Rettberg},
  year      = {2026},
  publisher = {Springer},
  address   = {Cham},
  note      = {Extended version of IESS 2022 conference paper}
}

@inproceedings{DrechselHenklerShah2025HardwareAcceleration,
  author    = {D. Drechsel and S. Henkler and S. M. A. B. Shah},
  title     = {Hardware Acceleration of {CNNs}},
  booktitle = {Architecting the Future: Intelligent Systems for Embedded {AI}, Autonomous Technologies, and Digital Twins},
  editor    = {M. A. Wehrmeister and S. Henkler and M. Kreutz and M. G{\"o}tz and A. Rettberg},
  year      = {2026},
  publisher = {Springer},
  address   = {Cham},
  note      = {IESS 2025 conference paper, to appear in 2026 proceedings}
}

@proceedings{WehrmeisterHenklerKreutzGoetzRettberg2026IESS2025,
  editor    = {M. A. Wehrmeister and S. Henkler and M. Kreutz and M. G{\"o}tz and A. Rettberg},
  title     = {Architecting the Future: Intelligent Systems for Embedded {AI}, Autonomous Technologies, and Digital Twins},
  booktitle = {Proceedings of the 8th IFIP TC 10 International Embedded Systems Symposium (IESS 2025)},
  series    = {IFIP Advances in Information and Communication Technology},
  publisher = {Springer},
  address   = {Cham},
  year      = {2026},
  note      = {Conference held October 2025, proceedings to be published in 2026}
}

@inproceedings{walter2026modular,
  title={Modular Workshop Architecture for Teaching Machine Learning in Autonomous Driving by Non-Experts},
  author={Walter, Lukas and Beck, Christopher and Henkler, Stefan},
  booktitle={Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering},
  pages={448--450},
  year={2026}
}

@misc{AgroIoTPanel2025,
  title        = {Research in Agro-{IoT} -- Challenges and Opportunities},
  howpublished = {Panel at the 1st {IEEE} Latin American Conference on Internet of Things ({LC-IoT} 2025)},
  year         = {2025},
  month        = apr # {~23--25},
  address      = {Fortaleza, Brazil},
  note         = {An IEEE IoT TC Flagship Conference}
}

@inproceedings{TabbassiBeckRotherHenkler2025UAVSwarmPathfinding,
  author    = {A. A. Tabbassi and C. Beck and K. Rother and S. Henkler},
  title     = {Dynamic Real-Time Pathfinding Generation for Energy-Efficient {UAV} Swarm Pathfinding in a Smart Agriculture Context},
  booktitle = {Proceedings of the 23rd {IEEE} International Conference on Industrial Informatics ({INDIN} 2025)},
  pages     = {1--10},
  year      = {2025},
  address   = {Kunming, China},
  month     = jul # {~12--15},
  publisher = {IEEE}
}

@inproceedings{TabbassiDrechselHenkler2025FusingDLControl,
  author    = {A. A. Tabbassi and D. Drechsel and S. Henkler},
  title     = {Fusing Deep Learning and Control Theory for Optimized Sugar Beet Yield Prediction},
  booktitle = {Proceedings of the 11th Asian-Australasian Conference on Precision Agriculture ({ACPA} 11)},
  year      = {2025},
  address   = {Chiayi, Taiwan},
  month     = oct # {~14--16}
}

@inproceedings{TabbassiRotherHenkler2025EnergyConstrainedTrajectory,
  author    = {A. A. Tabbassi and K. Rother and S. Henkler},
  title     = {Energy-Constrained Unknown Trajectory Optimization for Multi-Agent Aerial Systems in Precision Farming},
  booktitle = {Proceedings of the 15th European Conference on Precision Agriculture ({ECPA} 2025)},
  year      = {2025},
  address   = {Barcelona, Spain},
  month     = jun # {~29--} # jul # {~3},
  publisher = {Wageningen Academic Publishers}
}

@inproceedings{TabbassiRotherHenkler2025MoESugarBeet,
  author    = {A. A. Tabbassi and K. Rother and S. Henkler},
  title     = {Optimizing Sugar Beet Yield Prediction through a Mixture-of-Experts Framework: Integrating System Identification, Multi-Objective Optimization, Control Theory},
  booktitle = {Proceedings of the {CANVAS} Conference},
  year      = {2025}
}

@inproceedings{TabbassiWalterHenkler2025IQlForge,
  author    = {A. A. Tabbassi and L. Walter and S. Henkler},
  title     = {{IQlForge}: A Framework for Adaptive Robotic Intelligence},
  booktitle = {Proceedings of the 15th International Conference on Simulation and Modeling Methodologies, Technologies and Applications ({SIMULTECH} 2025)},
  year      = {2025},
  address   = {Bilbao, Spain},
  month     = jun,
  publisher = {SciTePress},
  isbn      = {978-989-758-759-7}
}

@inproceedings{TabbassiHenkler2025AADAP,
  author    = {A. A. Tabbassi and S. Henkler},
  title     = {{AADAP}: Adaptive Algorithmic Determination for Energy-Efficient {UAV} Swarm Pathfinding},
  booktitle = {Proceedings of the 15th European Conference on Precision Agriculture ({ECPA} 2025)},
  year      = {2025},
  address   = {Barcelona, Spain},
  month     = jun # {~29--} # jul # {~3},
  publisher = {Wageningen Academic Publishers}
}

@inproceedings{RettbergEngelsHenklerSchattkowsky2025HICSSMinitrack,
  author    = {A. Rettberg and G. Engels and S. Henkler and T. Schattkowsky},
  title     = {Introduction to the Minitrack on Building Software in a World of Digital Twins},
  booktitle = {Proceedings of the 58th Hawaii International Conference on System Sciences ({HICSS-58})},
  year      = {2025},
  address   = {Honolulu, HI, USA},
  month     = jan # {~7--10},
  publisher = {ScholarSpace}
}

@inproceedings{azarafza2025parameter,
  title={A Parameter-Efficient Fine-tuning Approach to Enhance Vision-Language Models for Damaged and Degraded Traffic Sign Recognition},
  author={Azarafza, Mehdi and Bejnordi, Ali Ehteshami and Gl{\"o}wing, Katrin and Idrees, Fatima and Henkler, Stefan and Rettberg, Achim},
  booktitle={2025 13th International Conference on Control, Mechatronics and Automation (ICCMA)},
  pages={540--546},
  year={2025},
  organization={IEEE}
}

@inproceedings{DrechselHenklerBrand2025AdaptiveArchitecture,
  author    = {D. Drechsel and S. Henkler and J. Brand},
  title     = {Adaptive Architecture for Retrofitting Manual Systems},
  booktitle = {Proceedings of the 2025 {IEEE} 21st International Conference on Automation Science and Engineering ({CASE} 2025)},
  year      = {2025},
  address   = {Los Angeles, CA, USA},
  month     = aug # {~17--21},
  publisher = {IEEE}
}

@inproceedings{ScaloraDrechselHenkler2025TinyMLPoster,
  author    = {G. Scalora and D. Drechsel and S. Henkler},
  title     = {Multi-objective {DSE} for Energy Efficient {TinyML} Applications with Real-time Constraints},
  booktitle = {Proceedings of the Design, Automation {\&} Test in Europe Conference {\&} Exhibition ({DATE} 2025)},
  year      = {2025},
  address   = {Lyon, France},
  month     = mar # {~31--} # apr # {~2},
  publisher = {IEEE},
  isbn      = {978-3-9826741-0-0},
  note      = {Poster presentation}
}

@inproceedings{RotherHenklerEtAl2025SugarBeetPipeline,
  author    = {K. Rother and S. Henkler and A. A. Sulaimon and M. A. R. Delgado and V. Sorokina},
  title     = {A Data Acquisition Pipeline for Smart Farming in the Domain of Sugar Beets},
  booktitle = {Proceedings of the 15th European Conference on Precision Agriculture ({ECPA} 2025)},
  year      = {2025},
  address   = {Barcelona, Spain},
  month     = jun # {~29--} # jul # {~3},
  publisher = {Wageningen Academic Publishers}
}

@inproceedings{BrodoScaloraHenkler2025DigitalTwinTransportation,
  author    = {L. Brodo and G. Scalora and S. Henkler},
  title     = {Towards a Digital Twin Framework for Secure and Efficient Cyber-Physical Transportation Systems},
  booktitle = {Proceedings of the 1st Workshop on Modeling and Verification for Secure and Performant Cyber-Physical Systems (MoVe4SPS)},
  year      = {2025},
  pages     = {1--6},
  address   = {Irvine, CA, USA},
  month     = may,
  publisher = {IEEE},
  note      = {Part of CPS-IoT Week 2025}
}

@inproceedings{AzarafzaEtAl2025HumanInTheLoopTrafficSigns,
  author    = {M. Azarafza and F. Idrees and A. E. Bejnordi and C. Steinmetz and S. Henkler and A. Rettberg},
  title     = {Human-In-The-Loop Reasoning for Traffic Sign Detection: Collaborative Approach {YOLO} with Video-{LLaVA}},
  booktitle = {Advances in Information and Communication: Proceedings of the 2025 Future of Information and Communication Conference ({FICC})},
  pages     = {160--171},
  year      = {2025},
  address   = {Berlin, Germany},
  month     = apr # {~28--29},
  publisher = {Springer Nature Switzerland},
  series    = {Lecture Notes in Networks and Systems},
  isbn      = {978-3-031-84456-0},
  doi       = {10.1007/978-3-031-84457-7}
}

@inproceedings{tabbassi2025adaptive,
  title={Adaptive Algorithmic Determination for Energy-Efficient UAV Swarm Pathfinding in a Smart Argiculture Context},
  author={Tabbassi, Ahmed Amine and Beck, Christopher and Rother, Kristian and Henkler, Stefan},
  booktitle={2025 IEEE 23rd International Conference on Industrial Informatics (INDIN)},
  pages={1--10},
  year={2025},
  organization={IEEE}
}

@misc{wehrmeister2025architecting,
  title={Architecting the Future: 8th IFIP TC 10 International Embedded Systems Symposium, IESS 2024, Gainesville, FL, USA, October 14-15, 2024, Proceedings},
  author={Wehrmeister, Marco A and Henkler, Stefan and Kreutz, M{\'a}rcio and G{\"o}tz, Marcelo and Rettberg, Achim},
  year={2025},
  publisher={Springer}
}

@article{azarafza2024video,
  title={VIDEO-LLAVA},
  author={Azarafza, Mehdi and Idrees, Fatima and Bejnordi, Ali Ehteshami and Steinmetz, Charles and Henkler, Stefan and Rettberg, Achim},
  year={2024}
}

@inproceedings{OluwayemiRotherHenkler2023LabBasedTesting,
  author    = {A. T. Oluwayemi and K. Rother and S. Henkler},
  title     = {A Prototype for Lab-Based System Testing of Cyber Physical Systems for Smart Farming},
  booktitle = {Proceedings of the 2023 {IEEE} 21st International Conference on Industrial Informatics ({INDIN} 2023)},
  pages     = {1--5},
  year      = {2023},
  address   = {Lemgo, Germany},
  month     = jul # {~18--20},
  publisher = {IEEE},
  doi       = {10.1109/INDIN51400.2023.10218112}
}

@inproceedings{alao2023synthetic,
  title={Synthetic Data for Machine Learning on Embedded Systems in Precision},
  author={Alao, Olaniyi Bayonle and Rother, Kristian and Henkler, Stefan},
  booktitle={Designing Modern Embedded Systems: Software, Hardware, and Applications: 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3--4, 2022, Proceedings},
  volume={31},
  number={2024},
  pages={127},
  year={2023},
  organization={Springer Nature}
}

@inproceedings{BeckEtAl2023RemoteLab,
  author    = {C. Beck and L. Brodo and C. B. Q. Docmac and S. Henkler and A. Rettberg and K. Rother},
  title     = {Introducing a Group-based Remote Laboratory for Embedded Education},
  booktitle = {Proceedings of the 2023 {IEEE} 21st International Conference on Industrial Informatics ({INDIN} 2023)},
  pages     = {1--6},
  year      = {2023},
  address   = {Lemgo, Germany},
  month     = jul # {~18--20},
  publisher = {IEEE},
  doi       = {10.1109/INDIN51400.2023.10218089}
}

@inproceedings{DrechselBejnordiHenklerRother2024Quantization,
  author    = {D. Drechsel and A. E. Bejnordi and S. Henkler and K. Rother},
  title     = {Comparing Quantization Techniques for {DNNs} in Precision Agriculture},
  booktitle = {Designing Modern Embedded Systems: Software, Hardware, and Applications},
  editor    = {S. Henkler and M. Kreutz and M. A. Wehrmeister and M. G{\"o}tz and A. Rettberg},
  pages     = {39--49},
  year      = {2023},
  publisher = {Springer},
  address   = {Cham},
  series    = {IFIP Advances in Information and Communication Technology},
  volume    = {669},
  isbn      = {978-3-031-34213-4},
  doi       = {10.1007/978-3-031-34214-1},
  note      = {IESS 2022 conference paper, published in proceedings in 2023}
}

@inproceedings{DrechselHenklerShahEtAl2024FINN,
  author    = {D. Drechsel and S. Henkler and S. M. A. B. Shah and K. Strodick and L. Walter and K. Rother},
  title     = {Hardware Acceleration of {CNNs} with the {FINN} Framework},
  booktitle = {Designing Modern Embedded Systems: Software, Hardware, and Applications},
  editor    = {S. Henkler and M. Kreutz and M. A. Wehrmeister and M. G{\"o}tz and A. Rettberg},
  pages     = {50--60},
  year      = {2023},
  publisher = {Springer},
  address   = {Cham},
  series    = {IFIP Advances in Information and Communication Technology},
  volume    = {669},
  isbn      = {978-3-031-34213-4},
  doi       = {10.1007/978-3-031-34214-1},
  note      = {IESS 2022 conference paper, published in proceedings in 2023}
}

@misc{henkler2023designing,
  title={Designing Modern Embedded Systems: 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3-4, 2022, Proceedings},
  author={Henkler, Stefan and Kreutz, M{\'a}rcio and Wehrmeister, Marco A and G{\"o}tz, Marcelo and Rettberg, Achim},
  year={2023},
  publisher={Springer}
}

@misc{henkler2023designing_supp,
  title={Designing Modern Embedded Systems: Software, Hardware, and Applications},
  author={Henkler, Stefan and Kreutz, M{\'a}rcio and Wehrmeister, Marco A and G{\"o}tz, Marcelo and Rettberg, Achim},
  year={2023},
  publisher={Springer Nature Switzerland}
}

@proceedings{WehrmeisterKreutzGotzHenklerPimentelRettberg2023IESS2019,
  editor    = {M. A. Wehrmeister and M. Kreutz and M. G{\"o}tz and S. Henkler and A. D. Pimentel and A. Rettberg},
  title     = {Analysis, Estimations, and Applications of Embedded Systems: 6th IFIP TC 10 International Embedded Systems Symposium, IESS 2019, Friedrichshafen, Germany, September 9--11, 2019, Revised Selected Papers},
  series    = {IFIP Advances in Information and Communication Technology},
  volume    = {576},
  publisher = {Springer},
  address   = {Cham},
  year      = {2023},
  isbn      = {978-3-031-26500-6},
  doi       = {10.1007/978-3-031-26500-6},
  note      = {Conference held September 2019, revised papers published 2023}
}

@inproceedings{AlaoRotherHenkler2023SyntheticData,
  author    = {O. B. Alao and K. Rother and S. Henkler},
  title     = {Synthetic Data for Machine Learning on Embedded Systems in Precision Agriculture},
  booktitle = {Designing Modern Embedded Systems: Software, Hardware, and Applications},
  editor    = {S. Henkler and M. Kreutz and M. A. Wehrmeister and M. G{\"o}tz and A. Rettberg},
  pages     = {127--138},
  year      = {2023},
  publisher = {Springer},
  address   = {Cham},
  series    = {IFIP Advances in Information and Communication Technology},
  volume    = {669},
  isbn      = {978-3-031-34213-4},
  doi       = {10.1007/978-3-031-34214-1_9},
  note      = {IESS 2022 conference paper, published in proceedings in 2023}
}

@inproceedings{HenklerHirsch2023ContractBasedDigitalTwin,
  author    = {S. Henkler and M. Hirsch},
  title     = {Contract-based Digital Twin Synthesis for Autonomous Safety Critical Systems},
  booktitle = {Proceedings of the 56th Hawaii International Conference on System Sciences ({HICSS-56})},
  year      = {2023},
  pages     = {6778--6787},
  address   = {Maui, HI, USA},
  month     = jan # {~3--6},
  publisher = {ScholarSpace},
  url       = {https://hdl.handle.net/10125/102456},
  doi = {10.24251/HICSS.2023.819}
}

@proceedings{HenklerKreutzWehrmeisterGoetzRettberg2023IESS2022,
  editor    = {S. Henkler and M. Kreutz and M. A. Wehrmeister and M. G{\"o}tz and A. Rettberg},
  title     = {Designing Modern Embedded Systems: Software, Hardware, and Applications: 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3--4, 2022, Proceedings},
  series    = {IFIP Advances in Information and Communication Technology},
  volume    = {669},
  publisher = {Springer},
  address   = {Cham},
  year      = {2023},
  isbn      = {978-3-031-34213-4},
  doi       = {10.1007/978-3-031-34214-1},
  note      = {Conference held November 2022, proceedings published June 2023}
}

@inproceedings{BrodoHenklerRother2022NeuralNetworksSugarBeets,
  author    = {L. Brodo and S. Henkler and K. Rother},
  title     = {Analysing the Characteristics of Neural Networks for the Recognition of Sugar Beets},
  booktitle = {Proceedings of the 7th International Embedded Systems Symposium (IESS 2022)},
  pages     = {115--126},
  year      = {2022},
  address   = {Lippstadt, Germany},
  month     = nov # {~3--4},
  note      = {Conference paper, published in proceedings in 2023}
}

@incollection{AlbersEtAl2016SPESToolPlatform,
  author = {Karsten Albers and {\"O}mer G{"u}rsoy and Stefan Henkler and Michael Schulze and Bastian Tenbergen and Axel Terfloth and Raphael Weber},
  title = {The SPES XT Tool Platform},
  booktitle = {Advanced Model-Based Engineering of Embedded Systems},
  pages = {251--262},
  publisher = {Springer},
  year = {2016},
  research = {architecture-contract-systems-engineering},
  domain = {general},
  period = {oldenburg-offis}
}

@incollection{BohmEtAl2016SPESXT,
  author = {Wolfgang B{"o}hm and Stefan Henkler and Frank Houdek and Andreas Vogelsang and Thorsten Weyer},
  title = {SPES XT Systems Engineering Extensions},
  booktitle = {Advanced Model-Based Engineering of Embedded Systems},
  pages = {59--71},
  publisher = {Springer},
  year = {2016},
  research = {architecture-contract-systems-engineering},
  domain = {general},
  period = {oldenburg-offis}
}

@inproceedings{bender2015funfter,
  title={F{\"u}nfter workshop zur zukunft der entwicklung softwareintensiver eingebetteter systeme (ENVISION2020)},
  author={Bender, Ottmar and B{\"o}hm, Wolfgang and Houdek, Frank and Henkler, Stefan and Vogelsang, Andreas and Weyer, Thorsten},
  booktitle={Software-engineering and management 2015},
  pages={271--272},
  year={2015},
  organization={Gesellschaft f{\"u}r Informatik eV}
}

@book{henkler2015cyberphysical,
  author = {Henkler, Stefan and Rettberg, Achim and Stierand, Ingo and others},
  title = {Cyber-Physical Systems Engineering: Design Space Exploration, Emerging Ideas, and Trends},
  year = {2015},
  publisher = {Springer},
  note = {IFIP Advances in Information and Communication Technology; listed as to appear in HSHL publication list, September 2015}
}

@inproceedings{HenklerRettberg2015Revalidation,
  author = {Stefan Henkler and Achim Rettberg},
  title = {Reducing Re-Validation Efforts for Real-Time Systems},
  booktitle = {MBEES 2015},
  year = {2015},
  research = {formal-refinement-verification},
  domain = {real-time-systems},
  period = {oldenburg-offis},
  selected = {yes}
}

@inproceedings{bender20144,
  title={4. Workshop zur Zukunft der Entwicklung softwareintensiver eingebettetet Systeme (ENVISION2020)},
  author={Bender, Ottmar and B{\"o}hm, Wolfgang and Henkler, Stefan and Sander, Oliver and Vogelsang, Andreas and Weyer, Thorsten},
  booktitle={Software Engineering 2014},
  pages={213--214},
  year={2014},
  organization={Gesellschaft f{\"u}r Informatik}
}

@inproceedings{gezgin2014evaluation,
  title={Evaluation of a state-based real-time scheduling analysis technique},
  author={Gezgin, Tayfun and Henkler, Stefan and Stierand, Ingo and Rettberg, Achim},
  booktitle={2014 12th IEEE International Conference on Industrial Informatics (INDIN)},
  pages={158--163},
  year={2014},
  organization={IEEE}
}

@inproceedings{gezgin2014impact,
  title={Impact analysis for timing requirements on real-time systems},
  author={Gezgin, Tayfun and Henkler, Stefan and Stierand, Ingo and Rettberg, Achim},
  booktitle={2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications},
  pages={1--10},
  year={2014},
  organization={IEEE}
}

@inproceedings{WeberEtAl2014LaneKeeping,
  author = {Raphael Weber and Eike Thaden and Stefan Henkler and others},
  title = {Design Space Exploration for an Industrial Lane-Keeping-Support Case Study},
  booktitle = {DATE Conference -- University Booth},
  year = {2014},
  research = {design-space-exploration-optimization},
  domain = {automotive},
  period = {oldenburg-offis}
}

@inproceedings{WeberHenklerRettberg2014MultiObjectiveDSE,
  author = {Raphael Weber and Stefan Henkler and Achim Rettberg},
  title = {Multi-Objective Design Space Exploration for Cyber-Physical Systems Satisfying Hard Real-Time and Reliability Constraints},
  booktitle = {IDEAL 2014 Workshop},
  year = {2014},
  research = {design-space-exploration-optimization},
  domain = {cyber-physical-systems},
  period = {oldenburg-offis},
  selected = {yes}
}

@inproceedings{reinkemeier2014towards,
  title={Towards Creating Flexible Tool Chains for the Design and Analysis of Multi-Core Systems.},
  author={Reinkemeier, Philipp and Hille, Heinz and Henkler, Stefan},
  booktitle={Software Engineering (Workshops)},
  pages={99--108},
  year={2014}
}

@inproceedings{stierand2014integrating,
  title={Integrating the security aspect into design space exploration of embedded systems},
  author={Stierand, Ingo and Malipatlolla, Sunil and Fr{\"o}schle, Sibylle and St{\"u}hring, Alexander and Henkler, Stefan},
  booktitle={2014 IEEE International Symposium on Software Reliability Engineering Workshops},
  pages={371--376},
  year={2014},
  organization={IEEE}
}

@article{GezginEtAl2014StateScheduling,
  author = {Tayfun Gezgin and Ingo Stierand and Stefan Henkler and Achim Rettberg},
  title = {State-Based Scheduling Analysis for Distributed Real-Time Systems -- Coping with the Large State Space by a Compositional Approach},
  journal = {Design Automation for Embedded Systems},
  volume = {18},
  number = {1--2},
  pages = {1--18},
  year = {2014},
  research = {architecture-contract-systems-engineering},
  domain = {real-time-systems},
  period = {oldenburg-offis},
  doi = {10.1007/s10617-013-9112-7}
}

@inproceedings{BohmEtAl2014SPESPhilosophy,
  author = {Wolfgang B{"o}hm and Stefan Henkler and Frank Houdek and Andreas Vogelsang and Thorsten Weyer},
  title = {Bridging the Gap between Systems and Software Engineering by Using the SPES Modeling Framework as a General Systems Engineering Philosophy},
  booktitle = {Conference on Systems Engineering Research (CSER)},
  pages = {187--194},
  year = {2014},
  research = {architecture-contract-systems-engineering},
  domain = {general},
  period = {oldenburg-offis},
  selected = {yes}
}

@misc{bukerdesign,
  title={A Design Space Exploration Tool Demonstration for Automotive Systems},
  author={B{\"u}ker, Matthias and Damm, Werner and Ehmen, G{\"u}nter and Henkler, Stefan and Rettberg, Achim and Stierand, Ingo and Thaden, Eike},
  howpublished={DAC - University Booth},
  month={1},
  year={2013}
}

@inproceedings{buker2013matlabsimulink,
  author = {B{\"u}ker, Matthias and Ehmen, G{\"u}nter and Henkler, Stefan and others},
  title = {From Matlab-Simulink to Distributed Embedded Applications: An Automotive Tool Demonstration},
  booktitle = {DATE 2013},
  year = {2013}
}

@inproceedings{bender20133,
  title={3. Workshop zur Zukunft der Entwicklung softwareintensiver eingebetteter Systeme (ENVISON2020)},
  author={Bender, Ottmar and B{\"o}hm, Wolfgang and Henkler, Stefan and Sander, Dietmar and Vogelsang, Andreas and Weyer, Thorsten},
  booktitle={Software Engineering 2013},
  pages={361--362},
  year={2013},
  organization={Gesellschaft f{\"u}r Informatik eV}
}

@inproceedings{BrennerEtAl2013Refinement,
  author = {Christian Brenner and Christian Heinzemann and Wilhelm Sch{"a}fer and Stefan Henkler},
  title = {Automata-Based Refinement Checking for Real-Time Systems},
  booktitle = {Software Engineering 2013},
  pages = {99--112},
  year = {2013},
  research = {formal-refinement-verification},
  domain = {real-time-systems},
  period = {oldenburg-offis},
  selected = {yes}
}

@inproceedings{etzien2013contracts,
  title={Contracts for evolving systems},
  author={Etzien, Christoph and Gezgin, Tayfun and Fr{\"o}schle, Sibylle and Henkler, Stefan and Rettberg, Achim},
  booktitle={16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013)},
  pages={1--8},
  year={2013},
  organization={IEEE}
}

@inproceedings{BukerEtAl2013DSEFramework,
  author = {Matthias B{"u}ker and Stefan Henkler and Stefanie Schlegel and Eike Thaden},
  title = {A Design Space Exploration Framework for Model-Based Software-Intensive Embedded System Development},
  booktitle = {Software Engineering Workshops 2013},
  pages = {245--249},
  year = {2013},
  research = {design-space-exploration-optimization},
  domain = {embedded-systems},
  period = {oldenburg-offis}
}

@techreport{reinkemeier2013seamless,
  title={Seamless Segregation for Multi-Core Systems},
  author={Reinkemeier, Philipp and Ittershagen, Philipp and Hartmann, Philipp A and Henkler, Stefan and Gr{\"u}ttner, Kim and Stierand, Ingo},
  year={2013},
  institution={Tech. rep. OFFIS eV, Aug. 2013. url: http://ses. informatik. uni-oldenburg~…}
}

@article{stierand2013specification,
  title={From specification models to distributed embedded applications: A holistic user-guided approach},
  author={Stierand, Ingo and Ehmen, G{\"u}nter and Damm, Werner and Janssen, Detlef and B{\"u}ker, Matthias and Henkler, Stefan and Thaden, Eike},
  journal={SAE International Journal of Passenger Cars-Electronic and Electrical Systems 201503},
  volume={6},
  number={1},
  year={2013},
  publisher={SAE International 400 Commonwealth Drive, Warrendale, PA, United States}
}

@inproceedings{GezginEtAl2013ContractScheduling,
  author = {Tayfun Gezgin and Stefan Henkler and Achim Rettberg and Ingo Stierand},
  title = {Contract-Based Compositional Scheduling Analysis for Evolving Systems},
  booktitle = {International Embedded Systems Symposium (IESS)},
  pages = {272--282},
  year = {2013},
  research = {architecture-contract-systems-engineering},
  domain = {real-time-systems},
  period = {oldenburg-offis},
  selected = {yes}
}

@inproceedings{gezgin2012towards,
  title={Towards a rigorous modeling formalism for systems of systems},
  author={Gezgin, Tayfun and Etzien, Christoph and Henkler, Stefan and Rettberg, Achim},
  booktitle={2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops},
  pages={204--211},
  year={2012},
  organization={IEEE}
}

@inproceedings{gezgin2012abstraction,
  title={Abstraction techniques for compositional state-based scheduling analysis},
  author={Gezgin, Tayfun and Henkler, Stefan and Rettberg, Achim and Stierand, Ingo},
  booktitle={2012 Brazilian Symposium on Computing System Engineering},
  pages={166--171},
  year={2012},
  organization={IEEE}
}

@inproceedings{henkler2012spesarchitektur,
  author = {Henkler, Stefan},
  title = {Der SPES 2020-Architektur-Modellierungsansatz},
  booktitle = {GI-Konferenz Architekturen 2012},
  year = {2012}
}

@phdthesis{henkler2012komponentenbasierter,
  title={Ein komponentenbasierter, modellgetriebener Softwareentwicklungsansatz f{\"u}r vernetzte, mechatronische Systeme: A component-based model-driven software design approach for networked mechatronic systems},
  author={Henkler, Stefan},
  year={2012}
}

@incollection{BroyEtAl2012SPESFramework,
  author = {Manfred Broy and Werner Damm and Stefan Henkler and Klaus Pohl and Andreas Vogelsang and Thorsten Weyer},
  title = {Introduction to the SPES Modeling Framework},
  booktitle = {Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology},
  pages = {31--49},
  publisher = {Springer},
  year = {2012},
  research = {architecture-contract-systems-engineering},
  domain = {general},
  period = {oldenburg-offis},
  selected = {yes}
}

@incollection{WeberEtAl2012TechnicalViewpoint,
  author = {Raphael Weber and Philipp Reinkemeier and Stefan Henkler and Ingo Stierand},
  title = {Technical Viewpoint},
  booktitle = {Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology},
  pages = {95--106},
  publisher = {Springer},
  year = {2012},
  research = {architecture-contract-systems-engineering},
  domain = {general},
  period = {oldenburg-offis}
}

@phdthesis{Henkler2012Dissertation,
  author = {Stefan Henkler},
  title = {Ein komponentenbasierter, modellgetriebener Softwareentwicklungsansatz f{"u}r vernetzte, mechatronische Systeme},
  school = {University of Paderborn},
  pages = {1--303},
  year = {2012},
  research = {model-based-compositional-engineering},
  domain = {mechatronic-systems},
  period = {paderborn-sfb614},
  selected = {yes}
}

@techreport{BaumgartEtAl2011ArchitectureModeling,
  author = {Baumgart, A. and B{"o}de, E. and B{"u}ker, M. and others},
  title = {Architecture Modeling},
  institution = {OFFIS},
  year = {2011},
  research = {architecture-contract-systems-engineering},
  domain = {general},
  period = {oldenburg-offis},
  selected = {yes},
  note = {Author list and report metadata to be completed from the original OFFIS technical report}
}

@inproceedings{HeinzemannHenkler2011Protocols,
  author = {Christian Heinzemann and Stefan Henkler},
  title = {Reusing Dynamic Communication Protocols in Self-Adaptive Embedded Component Architectures},
  booktitle = {14th International Symposium on Component Based Software Engineering (CBSE)},
  pages = {109--118},
  year = {2011},
  research = {runtime-adaptation-intelligent-systems},
  domain = {embedded-systems},
  period = {paderborn-offis-transition}
}

@article{damm2011spes2020,
  title={SPES2020 Architecture Modeling},
  author={Damm, Werner and Hungar, Hardi and Henkler, Stefan and Stierand, Ingo and Josko, Bernhard and Reinkemeier, Philipp and Baumgart, Andreas and B{\"u}ker, Matthias and Gezgin, Tayfun and Ehmen, G{\"u}nter and others},
  journal={Technical report, OFFIS eV},
  year={2011}
}

@article{giese2011multi,
  title={A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems},
  author={Giese, Holger and Henkler, Stefan and Hirsch, Martin},
  journal={Simulation},
  volume={87},
  number={9},
  pages={775--808},
  year={2011},
  publisher={Sage Publications Sage UK: London, England}
}

@techreport{heinzemann2011timed,
  title={Timed story driven modeling},
  author={Heinzemann, Christian and Henkler, Stefan},
  year={2011},
  institution={Technical Report tr-ri-11-326, Software Engineering Group, Heinz Nixdorf~…}
}

@inproceedings{reinkemeier2011pattern,
  title={A pattern-based requirement specification language: Mapping automotive specific timing requirements},
  author={Reinkemeier, Philipp and Stierand, Ingo and Rehkop, Philip and Henkler, Stefan},
  booktitle={Software Engineering 2011--Workshopband},
  pages={99--108},
  year={2011},
  organization={Gesellschaft f{\"u}r Informatik eV}
}

@inproceedings{weber2011lowlevel,
  author = {Weber, Raphael and Henkler, Stefan and Rettberg, Achim},
  title = {Low-Level Space Optimization of an IDCT/FDCT Implementation for a Bit-Serial Fully Pipelined Architecture},
  booktitle = {13th IASTED International Conference on Signal and Image},
  year = {2011}
}

@inproceedings{eckardt2010component,
  title={Component behavior synthesis for critical systems},
  author={Eckardt, Tobias and Henkler, Stefan},
  booktitle={International Symposium on Architecting Critical Systems},
  pages={52--71},
  year={2010},
  organization={Springer}
}

@techreport{heinzemann2010refinement,
  title={Refinement checking of self-adaptive embedded component architectures},
  author={Heinzemann, Christian and Henkler, Stefan and Hirsch, Martin},
  year={2010},
  institution={Technical Report tr-ri-10-313, University of Paderborn}
}

@inproceedings{henkler2010reverse,
  title={Reverse Engineering mechatronischer Komponenten},
  author={Henkler, Stefan and Meyer, Jan and Sch{\"a}fer, Wilhelm and Nickel, Ulrich},
  booktitle={Proc. 7. Paderborner Workshop Entwurf mechatronischer Systeme},
  year={2010}
}

@inproceedings{henkler2010reverse_supp,
  title={Reverse Engineering vernetzter automotiver Softwaresysteme.},
  author={Henkler, Stefan and Meyer, Jan and Sch{\"a}fer, Wilhelm and Nickel, Ulrich},
  booktitle={MBEES},
  pages={77--86},
  year={2010},
  organization={Citeseer}
}

@inproceedings{henkler2010model,
  title={Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures},
  author={Henkler, Stefan and Oberth{\"u}r, Simon and Giese, Holger and Seibel, Andreas},
  booktitle={2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing},
  pages={58--65},
  year={2010},
  organization={IEEE}
}

@inproceedings{HenklerEtAl2010LegacyFujaba,
  author = {Stefan Henkler and Jan Meyer and Wilhelm Sch{"a}fer and Markus von Detten and Ulrich Nickel},
  title = {Legacy Component Integration by the Fujaba Real-Time Tool Suite},
  booktitle = {32nd ACM/IEEE International Conference on Software Engineering (ICSE), Volume 2},
  pages = {267--270},
  year = {2010},
  research = {model-based-compositional-engineering},
  domain = {legacy-integration},
  period = {paderborn-sfb614},
  selected = {yes}
}

@inproceedings{HenklerEtAl2010DynamicCommunication,
  author = {Stefan Henkler and Martin Hirsch and Claudia Priesterjahn and Wilhelm Sch{"a}fer},
  title = {Modeling and Verifying Dynamic Communication Structures based on Graph Transformations},
  booktitle = {Software Engineering 2010},
  pages = {153--164},
  year = {2010},
  research = {formal-refinement-verification},
  domain = {dynamic-systems},
  period = {paderborn-sfb614}
}

@inproceedings{eckardt2009synthesiscomponent,
  author = {Eckardt, Tobias and Henkler, Stefan},
  title = {Synthesis of Component Behavior},
  booktitle = {Proceedings of the 7th International Fujaba Days},
  pages = {1--5},
  year = {2009}
}

@techreport{eckardt2009synthesis,
  title={Synthesis of reconfiguration charts},
  author={Eckardt, Tobias and Henkler, Stefan},
  year={2009},
  institution={Technical Report tr-ri-10-314, University of Paderborn, Paderborn, Germany~…}
}

@inproceedings{heinzemannspecification,
  title={Specification and Refinement Checking of Dynamic Systems},
  author={Heinzemann, Christian and Henkler, Stefan and Z{\"u}ndorf, Albert},
  booktitle={Proceedings of the 7th International Fujaba Days},
  editor={Van Gorp, Pieter},
  pages={6--10},
  month={11},
  year={2009}
}

@article{henkler2009fritscab,
  title={fritsCab: Fujaba re-engineering tool suite for mechatronic systems},
  author={Henkler, Stefan and Breit, Moritz and Brink, Christopher and B{\"o}ger, Markus and Brenner, Christian and Br{\"o}ker, Kathrin and Pohlmann, Uwe and Richtermeier, Manel and Suck, Julian and Travkin, Oleg and others},
  journal={Proceedings of the 7th International Fujaba Days},
  volume={10},
  pages={14--15},
  year={2009},
  publisher={Eindhoven University of Technology, The Netherlands}
}

@inproceedings{HenklerEtAl2009TimedBehavior,
  author = {Stefan Henkler and Joel Greenyer and Martin Hirsch and Wilhelm Sch{"a}fer and Kahtan Alhawash and Tobias Eckardt and Christian Heinzemann and Renate L{"o}ffler and Andreas Seibel and Holger Giese},
  title = {Synthesis of Timed Behavior from Scenarios in the Fujaba Real-Time Tool Suite},
  booktitle = {31st International Conference on Software Engineering (ICSE)},
  pages = {615--618},
  year = {2009},
  research = {model-based-compositional-engineering},
  domain = {real-time-systems},
  period = {paderborn-sfb614},
  selected = {yes}
}

@article{adelt2008selbstoptimierende,
  title={Selbstoptimierende Systeme des Maschinenbaus--Definitionen},
  author={Adelt, P and Donoth, J and Gausemeier, J and Geisler, J and Henkler, S and Kahl, S and Kl{\"o}pper, B and Krupp, A and M{\"u}nch, E and Oberth{\"u}r, S and others},
  journal={Anwendungen, Konzepte},
  volume={234},
  year={2008}
}

@misc{adelt2008selbstoptimierende_supp,
  title={Selbstoptimierende Systeme des Maschinenbaus--Definitionen, Anwendungen, Konzepte.},
  author={Adelt, Philipp and Donoth, J{\"o}rg and Gausemeier, J{\"u}rgen and Geisler, Jens and Henkler, Stefan and Kahl, Sascha and Kl{\"o}pper, Benjamin and Krupp, Alexander and M{\"u}nch, Eckehard and Oberth{\"u}r, Simon and others},
  year={2008}
}

@article{alhawash2008fujaba,
  title={The fujaba automotive tool suite},
  author={Alhawash, Kahtan and Ceylan, Toni and Eckardt, Tobias and Fazal-Baqaie, Masud and Greenyer, Joel and Heinzemann, Christian and Henkler, Stefan and Ristov, Renate and Travkin, Dietrich and Yalcin, Coni},
  journal={Fakult{\"a}t Informatik},
  pages={36},
  year={2008}
}

@article{brenner2008integration,
  title={Integration of legacy components in mechatronic uml architectures},
  author={Brenner, Christian and Giese, Holger and Henkler, Stefan and Hirsch, Martin and Priesterjahn, Claudia},
  journal={Proc. of the 6th International Fujaba Days},
  pages={52--55},
  year={2008}
}

@inproceedings{henkler2008iterative,
  author = {Henkler, Stefan and Hirsch, Martin},
  title = {Iterative Behavior Synthesis by Combining Formal Verification and Model-Based Testing},
  booktitle = {Postproceedings of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4)},
  pages = {39--51},
  year = {2008}
}

@inproceedings{henkler2008tool,
  title={Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View.},
  author={Henkler, Stefan and Hirsch, Martin},
  booktitle={MBEES},
  pages={78--86},
  year={2008}
}

@inproceedings{henkler2008development,
  title={Development of self-optimizing systems: Domain-spanning and domain-specific models exemplified by an air gap adjustment system for autonomous vehicles},
  author={Henkler, Stefan and Hirsch, Martin and Kahl, Sascha and Schmidt, Alexander},
  booktitle={International Design Engineering Technical Conferences and Computers and Information in Engineering Conference},
  volume={43277},
  pages={1411--1421},
  year={2008}
}

@article{henkler2008hybrid,
  title={Hybrid model checking with the fujaba real-time tool suite},
  author={Henkler, Stefan and Hirsch, Martin and Priesterjahn, Claudia},
  journal={Proc. of the 6 th International Fujaba Days},
  pages={40--43},
  year={2008}
}

@techreport{henkler2008synthesisrealtime,
  author = {Henkler, Stefan and Seibel, Andreas and Giese, Holger},
  title = {Synthesis of Real-Time Component Behavior},
  institution = {Computer Science Department, University of Paderborn},
  number = {tr-ri-08-296},
  year = {2008}
}

@incollection{GieseHenklerHirsch2008Legacy,
  author = {Holger Giese and Stefan Henkler and Martin Hirsch},
  title = {Combining Compositional Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML},
  booktitle = {Architecting Dependable Systems V},
  series = {Lecture Notes in Computer Science},
  volume = {5135},
  pages = {248--272},
  publisher = {Springer},
  year = {2008},
  research = {model-based-compositional-engineering},
  domain = {mechatronic-systems},
  period = {paderborn-sfb614},
  doi = {10.1007/978-3-540-85571-2_11}
}

@incollection{GieseEtAl2008ModelingTechniques,
  author = {Holger Giese and Stefan Henkler and Martin Hirsch and Vladimir Rubin and Matthias Tichy},
  title = {Modeling Techniques for Software-Intensive Systems},
  booktitle = {Designing Software-Intensive Systems: Methods and Principles},
  editor = {Tiako, Pierre F.},
  pages = {21--58},
  year = {2008},
  research = {model-based-compositional-engineering},
  domain = {general},
  period = {paderborn-sfb614},
  selected = {yes},
  doi = {10.4018/978-1-59904-699-0.ch002}
}

@inproceedings{HirschHenklerGiese2008DynamicAdaptation,
  author = {Martin Hirsch and Stefan Henkler and Holger Giese},
  title = {Modeling Collaborations with Dynamic Structural Adaptation in Mechatronic UML},
  booktitle = {SEAMS 2008},
  pages = {33--40},
  year = {2008},
  research = {runtime-adaptation-intelligent-systems},
  domain = {mechatronic-systems},
  period = {paderborn-sfb614}
}

@article{osmic2008safe,
  title={Safe online-reconfiguration of self-optimzing mechatronic systems},
  author={Osmic, Semir and M{\"u}nch, Eckehard and Tr{\"a}chtler, Ansgar and Henkler, Stefan and Sch{\"a}fer, Wilhelm and Giese, Holger and Hirsch, Martin},
  journal={Selbstoptimierende mechatronische Systeme: Die Zukunft gestalten},
  volume={7},
  pages={411--426},
  year={2008}
}

@inproceedings{tichy2008component,
  title={Component story diagrams: A transformation language for component structures in mechatronic systems},
  author={Tichy, Matthias and Henkler, Stefan and Holtmann, J{\"o}rg and Oberth{\"u}r, Simon},
  booktitle={Postproc. of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany},
  volume={101},
  year={2008}
}

@inproceedings{tichy2008safety,
  title={Safety of component-based systems: Analysis and improvement using fujaba4eclipse},
  author={Tichy, Matthias and Henkler, Stefan and Meyer, Matthias and von Detten, Markus},
  booktitle={Companion Proceedings of the 30th International Conference on Software Engineering},
  pages={973--974},
  year={2008}
}

@inproceedings{axenath2007verbessertes,
  title={Ein verbessertes Softwaretechnikpraktikum: zwischen gr{\"u}ner Wiese und Legacy-Systemen.},
  author={Axenath, Bj{\"o}rn and Henkler, Stefan},
  booktitle={SEUH},
  pages={13--26},
  year={2007}
}

@article{giese2007monitoring,
  title={Monitoring of Structural and Temporal Properties},
  author={Giese, Holger and Henkler, Stefan and Hirsch, Martin and Klein, Florian and Spijkerman, Michael},
  journal={Proc. of the 5th International Fujaba Days},
  pages={8--11},
  year={2007}
}

@article{giese2007model,
  title={Model-based testing of mechatronic systems},
  author={Giese, Holger and Henkler, Stefan and Hirsch, Martin and Priesterjahn, Claudia},
  journal={Volume Editors},
  pages={12},
  year={2007}
}

@inproceedings{henkler2007compositional,
  author = {Henkler, Stefan and Hirsch, Martin},
  title = {Compositional Validation of Distributed Real Time Systems},
  booktitle = {4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4)},
  pages = {52--56},
  year = {2007}
}

@inproceedings{GausemeierEtAl2007SelfOptimizing,
  author = {J{"u}rgen Gausemeier and Holger Giese and Wilhelm Sch{"a}fer and Bj{"o}rn Axenath and Ursula Frank and Stefan Henkler and Sebastian Pook and Matthias Tichy},
  title = {Towards the Design of Self-Optimizing Mechatronic Systems: Consistency between Domain-Spanning and Domain-Specific Models},
  booktitle = {16th International Conference on Engineering Design (ICED)},
  year = {2007},
  research = {runtime-adaptation-intelligent-systems},
  domain = {self-optimizing-mechatronics},
  period = {paderborn-sfb614}
}

@inproceedings{priesterjahn200712,
  title={12 Fujaba4Eclipse Real-Time Tool Suite},
  author={Priesterjahn, Claudia and Tichy, Matthias and Henkler, Stefan and Hirsch, Martin and Sch{\"a}fer, Wilhelm},
  booktitle={Dagstuhl Workshop on Model-Based Engineering of Embedded Real-Time Systems},
  pages={309--315},
  year={2007},
  organization={Springer}
}

@inproceedings{tichy2007towards,
  author = {Tichy, Matthias and Henkler, Stefan},
  title = {Towards a Transformation Language for Component Structures},
  booktitle = {4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4)},
  pages = {68--73},
  year = {2007}
}

@inproceedings{gieseplugin,
  title={A PlugIn for the Development of Resource Aware Components with Mechatronic UML},
  author={Giese, Holger and Henkler, Stefan and Hirsch, Martin},
  booktitle={Proc. of the fourth International Fujaba Days 2006, Bayreuth, Germany},
  editor={Giese, Holger and Westfechtel, Bernhard},
  pages={51--55},
  publisher={University of Paderborn},
  series={Technical Report},
  volume={tr-ri-06-275},
  year={2006}
}

@article{giese2006analysis,
  title={Analysis and Modeling of Real-Time Systems with Mechatronic UML taking Clock Drift into Account},
  author={Giese, Holger and Henkler, Stefan and Hirsch, Martin},
  journal={MARTES 2006 at MoDELS 2006 in Genoa, Italy},
  pages={41},
  year={2006}
}

@inproceedings{giese2006nobody,
  title={Nobody's perfect: interactive synthesis from parametrized real-time scenarios},
  author={Giese, Holger and Henkler, Stefan and Hirsch, Martin and Klein, Florian},
  booktitle={Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools},
  pages={67--74},
  year={2006}
}

@inproceedings{henkler2006multi,
  title={A multi-paradigm modeling approach for reconfigurable mechatronic systems},
  author={Henkler, Stefan and Hirsch, Martin},
  booktitle={Proceedings of the International Workshop on Multi-Paradigm Modeling: Concepts and Tools (MPM06), Satellite E$\nu$ent of the 9th International Conference on Model-Dri$\nu$en Engineering Languages and Systems MoDELS/UML2006, Geno$\nu$a, Italy (BME-DAAI Technical Report Series. Vol},
  volume={1},
  pages={15--25},
  year={2006}
}

@article{GieseHenkler2006Survey,
  author = {Holger Giese and Stefan Henkler},
  title = {A Survey of Approaches for the Visual Model-Driven Development of Next Generation Software-Intensive Systems},
  journal = {Journal of Visual Languages and Computing},
  volume = {17},
  number = {6},
  pages = {528--550},
  year = {2006},
  research = {model-based-compositional-engineering},
  domain = {general},
  period = {paderborn-sfb614},
  doi = {10.1016/j.jvlc.2006.10.002}
}

@inproceedings{GieseHenkler2006Replay,
  author = {Holger Giese and Stefan Henkler},
  title = {Architecture-Driven Platform Independent Deterministic Replay for Distributed Hard Real-Time Systems},
  booktitle = {ROSATEA 2006},
  pages = {28--38},
  year = {2006},
  research = {model-based-compositional-engineering},
  domain = {real-time-systems},
  period = {paderborn-sfb614}
}

@inproceedings{burmester2005visual,
  title={Visual model-driven development of software intensive systems: A survey of available techniques and tools},
  author={Burmester, Sven and Giese, Holger and Henkler, Stefan},
  booktitle={Proc. of the Workshop on Visual Modeling for Software Intensive Systems (VMSIS) at the the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC’05), Dallas, Texas, USA},
  pages={11--18},
  year={2005}
}

@phdthesis{henkler2005laufzeitunterstutzung,
  title={Laufzeitunterst{\"u}tzung f{\"u}r Test, {\"U}berwachung und Diagnose bei der modellbasierten Entwicklung mit Mechatronic UML},
  author={Henkler, Stefan},
  year={2005},
  school={Master’s thesis, University of Paderborn}
}