The Unstoppable Orchestra: a responsive distributed application. - Matthias Werner 001; Andreas Polze; Miroslaw Malek (CDS, 1996)

Predictable Network Computing. - Andreas Polze; Gerhard Fohler; Matthias Werner 001 (ICDCS, 1997)

An Experimental Investigation of Message Latencies in the Totem Protocol in the Presence of Faults. - Holger Karl; Matthias Werner 001; Lars Küttner (EUROMICRO, 1998)

Experimental investigation of message latencies in the Totem protocol in the Presence of faults. - Holger Karl; Matthias Werner 001; Lars Küttner (IEE Proc. Softw., 1998)

Humboldt Hereos in RoboCup-99. - Hans-Dieter Burkhard; Matthias Werner 001; Michael Ritzschke; Frank Winkler; Jan Wendler; Andrej Georgi; Uwe Düffert; Helmut Myritz (RoboCup, 1999)

Humboldt Heroes. - Matthias Werner 001; Helmut Myritz; Uwe Düffert; Martin Lötzsch; Hans-Dieter Burkhard (RoboCup, 2000)

Responsivität: ein konsensbasierter Ansatz. - Matthias Werner 001 (Libris Books on Demand, 2000)

Automatic Composition of Timed Petrinet Specifications for a Real-Time Architecture. - Jan Richling; Matthias Werner 001; Louchka Popova-Zeugmann (ICRA, 2002)

Verification of Non-functional Properties of a Composable Architecture with Petrinets. - Jan Richling; Louchka Popova-Zeugmann; Matthias Werner 001 (Fundam. Informaticae, 2002)

Using State Equation to Prove Non-Reachability in Timed Petrinets. - Louchka Popova-Zeugmann; Matthias Werner 001; Jan Richling (Fundam. Informaticae, 2003)

A Method to Prove Non-Reachability in Priority Duration Petri Nets. - Matthias Werner 001; Louchka Popova-Zeugmann; Jan Richling (Fundam. Informaticae, 2004)

Extreme Runtimes of Schedules Modelled by Time Petri Nets. - Louchka Popova-Zeugmann; Matthias Werner 001 (Fundam. Informaticae, 2005)

Reconfiguring Self-stabilizing Publish/Subscribe Systems. - Michael A. Jaeger; Gero Mühl; Matthias Werner 001; Helge Parzyjegla (DSOM, 2006)

A State Equation for Petri Nets with Delaying Places. - Matthias Werner 001; Gero Mühl (ECBS, 2006)

Non-reachability in Petri Nets with Delaying Places. - Matthias Werner 001; Gero Mühl (MASCOTS, 2006)

A Methodology for Classifying Self-Organizing Software Systems. - Klaus Herrmann 001; Matthias Werner 001; Gero Mühl (Int. Trans. Syst. Sci. Appl., 2006)

An Application of the (max, +) Algebra to Information Flow Security. - Matthias Werner 001; Michael A. Jaeger; Helge Parzyjegla (ICN, 2008)

Algorithms for Reconfiguring Self-Stabilizing Publish/Subscribe Systems. - Michael A. Jaeger; Gero Mühl; Matthias Werner 001; Helge Parzyjegla; Hans-Ulrich Heiss (SJTU-TUB Joint Workshop, 2008)

WCET-Analyseverfahren in der automobilen Softwareentwicklung. - Martin Däumler; Robert Baumgartl; Matthias Werner 001 (Echtzeit, 2008)

Operating system support for distributed applications in real space-time. - Matthias Werner 001; Dirk Müller 002; Martin Däumler; Jan Richling; Gero Mühl (CSTST, 2008)

Autonomie in IT-Systemen. Ein Konzeptionelles Modell. - Michael C. Jaeger; Matthias Werner 001; Gero Mühl; Hans-Ulrich Heiß; Uwe Laude; Christian Ruge (Prax. Inf.verarb. Kommun., 2008)

Raum-Zeit-Constraints als Programmierabstraktion für Anwendungen in mobilen verteilten Systemen. - Martin Däumler; Dirk Müller 002; Matthias Werner 001 (Echtzeit, 2009)

Towards Energy-Aware Multi-Core Scheduling. - Jan Richling; Jan Hendrik Schönherr; Gero Mühl; Matthias Werner 001 (Prax. Inf.verarb. Kommun., 2009)

An Object-Oriented and Context-Aware Approach for Distributed Mobile Applications. - Daniel Graff; Matthias Werner 001; Helge Parzyjegla; Jan Richling; Gero Mühl (ARCS Workshops, 2010)

A Scheduling Approach for Efficient Utilization of Hardware-Driven Frequency Scaling. - Jan Hendrik Schönherr; Jan Richling; Gero Mühl; Matthias Werner 001 (ARCS Workshops, 2010)

Event-driven processor power management. - Jan Hendrik Schönherr; Jan Richling; Matthias Werner 001; Gero Mühl (e-Energy, 2010)

Two Abstractions for Distributed Systems of Mobile Nodes. - Matthias Werner 001; Jan Richling; Gero Mühl (ITNG, 2010)

Entwicklung einer echtzeitfähigen CLI-Laufzeitumgebung für den Einsatz in der Automatisierungstechnik. - Alexej Schepeljanski; Martin Däumler; Matthias Werner 001 (Echtzeit, 2010)

Emergence in Action. - Matthias Werner 001; Jan Richling; Hans-Ulrich Heiss (Organic Computing, 2011)

Context-Aware Annotations for Distributed Mobile Applications. - Daniel Graff; Jan Richling; Tammo M. Stupp; Matthias Werner 001 (ARCS Workshops, 2011)

Improved Heuristics for Partitioned Multiprocessor Scheduling Based on Rate-Monotonic Small-Tasks. - Dirk Müller 002; Matthias Werner 001 (RTNS, 2011)

Genealogy of hard real-time preemptive scheduling algorithms for identical multiprocessors. - Dirk Müller 002; Matthias Werner 001 (Central Eur. J. Comput. Sci., 2011)

REBECA - eine autonome Publish/Subscribe Middleware. - Helge Parzyjegla; Daniel Graff; Arnd Schröter; Alexej Schepeljanski; Anselm Busse; Jan Richling; Matthias Werner 001 (Prax. Inf.verarb. Kommun., 2011)

Optimierung der Code-Generierung virtualisierender Ausführungsumgebungen zur Erzielung deterministischer Ausführungszeiten zur Erzielung deterministischer Ausführungszeiten. - Martin Däumler; Matthias Werner 001 (Echtzeit, 2012)

Quantifying the advantage of EDF vs. RMS schedulability on a uniprocessor using a differential analysis and a power-law total utilization distribution. - Dirk Müller 002; Matthias Werner 001 (ISORC, 2013)

A conservative real-time garbage collector for C/C++ running on top of RTEMS. - Tobias Stumpf; Matthias Werner 001 (ISORC, 2013)

Programming and Managing the Swarm - An Operating System for an Emerging System of Mobile Devices. - Daniel Graff; Jan Richling; Matthias Werner 001 (MSN, 2013)

Reducing startup time of a deterministic virtualizing runtime environment. - Martin Däumler; Matthias Werner 001 (M-SCOPES, 2013)

Modeling Group Scheduling Problems in Space and Time by Timed Petri Nets. - Daniel Graff; Jan Richling; Matthias Werner 001 (Fundam. Informaticae, 2013)

A Note on "New Strategies for Assigning Real-Time Tasks to Multiprocessor Systems". - Dirk Müller 002; Matthias Werner 001 (IEEE Trans. Computers, 2013)

A Holistic State Equation for Timed Petri Nets. - Matthias Werner 001; Louchka Popova-Zeugmann; Mario Haustein; Elisabeth Pelz (Fundam. Informaticae, 2014)

Considering Concurrency in Early Spacecraft Design Studies. - Jafar Akhundov; Peter Tröger; Matthias Werner 001 (CS&P, 2015)

WAP: What activates a bug? A refinement of the Laprie terminology model. - Peter Tröger; Lena Feinbube; Matthias Werner 001 (ISSRE, 2015)

Cyber-physical operating systems - What are the right abstractions? - Peter Tröger; Matthias Werner 001; Jan Richling (MECO, 2015)

Bi-Level Deadline Scaling for Admission Control in Mixed-Criticality Systems. - Alejandro Masrur; Dirk Müller 002; Matthias Werner 001 (RTCSA, 2015)

Considering Superposition in the Composable Hybrid Automata. - Jafar Akhundov; Peter Tröger; Matthias Werner 001 (CS&P, 2016)

Adaptive cyber-physical systems with interpreted operating system kernels. - Peter Tröger; Christine Jakobs; Thomas Jakobs; Matthias Werner 001 (MECO, 2016)

Configurable Fault Trees. - Christine Jakobs; Peter Tröger; Matthias Werner 001 (SERENE, 2016)

Ituitionistic Fuzzy Estimation of the Generalized Nets Model of Spatial-Temporal Group Scheduling Problems. - Sotir Sotirov; Evdokia Sotirova; Matthias Werner 001; Stanislav Simeonov; Wolfram Hardt; Neli Simeonova (Imprecision and Uncertainty in Information Representation and Processing, 2016)

Doktorandensymposium. - Steffen Becker 001; Matthias Werner 001 (GI-Jahrestagung, 2017)

Dynamic Paging Method Switching - An Implementation for KVM. - Yu Zhang; Peter Tröger; Matthias Werner 001 (ISC Workshops, 2017)

Compositional Expressiveness of Hybrid Models. - Jafar Akhundov; Michael Reißner; Matthias Werner 001 (CS&P, 2018)

Dynamic vehicle software with AUTOCONT. - Christine Jakobs; Peter Tröger; Matthias Werner 001; Philipp Mundhenk; Karsten Schmidt 003 (DAC, 2018)

Superposition Principle in Composable Hybrid Automata. - Jafar Akhundov; Peter Tröger; Matthias Werner 001 (Fundam. Informaticae, 2018)

A New Definition of Composition of LTIHA. - Antonia Reißner; Matthias Werner 001 (CS&P, 2019)

Dynamic Composition of Cyber-Physical Systems. - Christine Jakobs; Matthias Werner 001; Peter Tröger (HICSS, 2019)

Verification of Integrity in Vehicle Architectures. - Christine Jakobs; Billy Naumann; Matthias Werner 001; Karsten Schmidt 003 (NISS, 2020)

Following the White Rabbit: Integrity Verification Based on Risk Analysis Results. - Christine Jakobs; Matthias Werner 001; Karsten Schmidt 003; Gerhard Hansch (CSCS, 2021)

Heuristic Risk Treatment for ISO/SAE 21434 Development Projects. - Christine Jakobs; Matthias Werner 001; Karsten Schmidt 003; Gerhard Hansch (FedCSIS, 2022)

Formal analysis of timeliness in the RaSTA protocol. - Billy Naumann; Christine Jakobs; Matthias Werner 001 (FedCSIS, 2022)