Matthias Werner

ORCID

Publication Activity (10 Years)

Years Active: 1996-2022
Publications (10 Years): 14

Top Venues

Humboldt University of Berlin, Unter den Linden, Germany (PHD)

Education History

Humboldt University of Berlin, Unter den Linden, Germany

PHD

Publications

Billy Naumann, Christine Jakobs, Matthias Werner
Formal analysis of timeliness in the RaSTA protocol. FedCSIS (2022)
Christine Jakobs, Matthias Werner, Karsten Schmidt, Gerhard Hansch
Heuristic Risk Treatment for ISO/SAE 21434 Development Projects. FedCSIS (2022)
Christine Jakobs, Matthias Werner, Karsten Schmidt, Gerhard Hansch
Following the White Rabbit: Integrity Verification Based on Risk Analysis Results. CSCS (2021)
Christine Jakobs, Billy Naumann, Matthias Werner, Karsten Schmidt
Verification of Integrity in Vehicle Architectures. NISS (2020)
Christine Jakobs, Matthias Werner, Peter Tröger
Dynamic Composition of Cyber-Physical Systems. HICSS (2019)
Antonia Reißner, Matthias Werner
A New Definition of Composition of LTIHA. CS&P (2019)
Jafar Akhundov, Peter Tröger, Matthias Werner
Superposition Principle in Composable Hybrid Automata. Fundam. Informaticae 157 (4) (2018)
Jafar Akhundov, Michael Reißner, Matthias Werner
Compositional Expressiveness of Hybrid Models. CS&P (2018)
Christine Jakobs, Peter Tröger, Matthias Werner, Philipp Mundhenk, Karsten Schmidt
Dynamic vehicle software with AUTOCONT. DAC (2018)
Steffen Becker, Matthias Werner
Doktorandensymposium. GI-Jahrestagung (2017)
Yu Zhang, Peter Tröger, Matthias Werner
Dynamic Paging Method Switching - An Implementation for KVM. ISC Workshops (2017)
Peter Tröger, Christine Jakobs, Thomas Jakobs, Matthias Werner
Adaptive cyber-physical systems with interpreted operating system kernels. MECO (2016)
Christine Jakobs, Peter Tröger, Matthias Werner
Configurable Fault Trees. SERENE (2016)
Jafar Akhundov, Peter Tröger, Matthias Werner
Considering Superposition in the Composable Hybrid Automata. CS&P (2016)
Jafar Akhundov, Peter Tröger, Matthias Werner
Considering Concurrency in Early Spacecraft Design Studies. CS&P (2015)
Peter Tröger, Matthias Werner, Jan Richling
Cyber-physical operating systems - What are the right abstractions? MECO (2015)
Alejandro Masrur, Dirk Müller, Matthias Werner
Bi-Level Deadline Scaling for Admission Control in Mixed-Criticality Systems. RTCSA (2015)
Peter Tröger, Lena Feinbube, Matthias Werner
WAP: What activates a bug? A refinement of the Laprie terminology model. ISSRE (2015)
Matthias Werner, Louchka Popova-Zeugmann, Mario Haustein, Elisabeth Pelz
A Holistic State Equation for Timed Petri Nets. Fundam. Informaticae 133 (2-3) (2014)
Matthias Werner, Louchka Popova-Zeugmann, Mario Haustein, Elisabeth Pelz
A Holistic State Equation for Timed Petri Nets. CS&P (2013)
Daniel Graff, Jan Richling, Matthias Werner
Modeling Group Scheduling Problems in Space and Time by Timed Petri Nets. Fundam. Informaticae 122 (4) (2013)
Martin Däumler, Matthias Werner
Reducing startup time of a deterministic virtualizing runtime environment. M-SCOPES (2013)
Dirk Müller, Matthias Werner
Quantifying the advantage of EDF vs. RMS schedulability on a uniprocessor using a differential analysis and a power-law total utilization distribution. ISORC (2013)
Daniel Graff, Jan Richling, Matthias Werner
Programming and Managing the Swarm - An Operating System for an Emerging System of Mobile Devices. MSN (2013)
Tobias Stumpf, Matthias Werner
A conservative real-time garbage collector for C/C++ running on top of RTEMS. ISORC (2013)
Dirk Müller, Matthias Werner
A Note on "New Strategies for Assigning Real-Time Tasks to Multiprocessor Systems". IEEE Trans. Computers 62 (9) (2013)
Martin Däumler, Matthias Werner
Optimierung der Code-Generierung virtualisierender Ausführungsumgebungen zur Erzielung deterministischer Ausführungszeiten zur Erzielung deterministischer Ausführungszeiten. Echtzeit (2012)
Dirk Müller, Matthias Werner
Improved Heuristics for Partitioned Multiprocessor Scheduling Based on Rate-Monotonic Small-Tasks. RTNS (2011)
Helge Parzyjegla, Daniel Graff, Arnd Schröter, Alexej Schepeljanski, Anselm Busse, Jan Richling, Matthias Werner
REBECA - eine autonome Publish/Subscribe Middleware. Prax. Inf.verarb. Kommun. 34 (3) (2011)
Daniel Graff, Jan Richling, Tammo M. Stupp, Matthias Werner
Context-Aware Annotations for Distributed Mobile Applications. ARCS Workshops (2011)
Dirk Müller, Matthias Werner
Genealogy of hard real-time preemptive scheduling algorithms for identical multiprocessors. Central Eur. J. Comput. Sci. 1 (3) (2011)
Jan Hendrik Schönherr, Jan Richling, Gero Mühl, Matthias Werner
A Scheduling Approach for Efficient Utilization of Hardware-Driven Frequency Scaling. ARCS Workshops (2010)
Matthias Werner, Jan Richling, Gero Mühl
Two Abstractions for Distributed Systems of Mobile Nodes. ITNG (2010)
Daniel Graff, Matthias Werner, Helge Parzyjegla, Jan Richling, Gero Mühl
An Object-Oriented and Context-Aware Approach for Distributed Mobile Applications. ARCS Workshops (2010)
Jan Hendrik Schönherr, Jan Richling, Matthias Werner, Gero Mühl
Event-driven processor power management. e-Energy (2010)
Alexej Schepeljanski, Martin Däumler, Matthias Werner
Entwicklung einer echtzeitfähigen CLI-Laufzeitumgebung für den Einsatz in der Automatisierungstechnik. Echtzeit (2010)
Martin Däumler, Dirk Müller, Matthias Werner
Raum-Zeit-Constraints als Programmierabstraktion für Anwendungen in mobilen verteilten Systemen. Echtzeit (2009)
Jan Richling, Jan Hendrik Schönherr, Gero Mühl, Matthias Werner
Towards Energy-Aware Multi-Core Scheduling. Prax. Inf.verarb. Kommun. 32 (2) (2009)
Matthias Werner, Michael A. Jaeger, Helge Parzyjegla
An Application of the (max, +) Algebra to Information Flow Security. ICN (2008)
Martin Däumler, Robert Baumgartl, Matthias Werner
WCET-Analyseverfahren in der automobilen Softwareentwicklung. Echtzeit (2008)
Michael C. Jaeger, Matthias Werner, Gero Mühl, Hans-Ulrich Heiß, Uwe Laude, Christian Ruge
Autonomie in IT-Systemen. Ein Konzeptionelles Modell. Prax. Inf.verarb. Kommun. 31 (1) (2008)
Matthias Werner, Dirk Müller, Martin Däumler, Jan Richling, Gero Mühl
Operating system support for distributed applications in real space-time. CSTST (2008)
Michael A. Jaeger, Gero Mühl, Matthias Werner, Helge Parzyjegla, Hans-Ulrich Heiss
Algorithms for Reconfiguring Self-Stabilizing Publish/Subscribe Systems. SJTU-TUB Joint Workshop (2008)
Matthias Werner, Gero Mühl
A State Equation for Petri Nets with Delaying Places. ECBS (2006)
Michael A. Jaeger, Gero Mühl, Matthias Werner, Helge Parzyjegla
Reconfiguring Self-stabilizing Publish/Subscribe Systems. DSOM (2006)
Matthias Werner, Gero Mühl
Non-reachability in Petri Nets with Delaying Places. MASCOTS (2006)
Klaus Herrmann, Matthias Werner, Gero Mühl
A Methodology for Classifying Self-Organizing Software Systems. Int. Trans. Syst. Sci. Appl. 2 (1) (2006)
Louchka Popova-Zeugmann, Matthias Werner
Extreme Runtimes of Schedules Modelled by Time Petri Nets. Fundam. Informaticae 67 (1-3) (2005)
Matthias Werner, Louchka Popova-Zeugmann, Jan Richling
A Method to Prove Non-Reachability in Priority Duration Petri Nets. Fundam. Informaticae 61 (3-4) (2004)
Louchka Popova-Zeugmann, Matthias Werner, Jan Richling
Using State Equation to Prove Non-Reachability in Timed Petrinets. Fundam. Informaticae 55 (2) (2003)
Jan Richling, Matthias Werner, Louchka Popova-Zeugmann
Automatic Composition of Timed Petrinet Specifications for a Real-Time Architecture. ICRA (2002)
Jan Richling, Louchka Popova-Zeugmann, Matthias Werner
Verification of Non-functional Properties of a Composable Architecture with Petrinets. Fundam. Informaticae 51 (1-2) (2002)
Matthias Werner, Helmut Myritz, Uwe Düffert, Martin Lötzsch, Hans-Dieter Burkhard
Humboldt Heroes. RoboCup (2000)
Hans-Dieter Burkhard, Matthias Werner, Michael Ritzschke, Frank Winkler, Jan Wendler, Andrej Georgi, Uwe Düffert, Helmut Myritz
Humboldt Hereos in RoboCup-99. RoboCup (1999)
Holger Karl, Matthias Werner, Lars Küttner
An Experimental Investigation of Message Latencies in the Totem Protocol in the Presence of Faults. EUROMICRO (1998)
Holger Karl, Matthias Werner, Lars Küttner
Experimental investigation of message latencies in the Totem protocol in the Presence of faults. IEE Proc. Softw. 145 (6) (1998)
Andreas Polze, Gerhard Fohler, Matthias Werner
Predictable Network Computing. ICDCS (1997)
Matthias Werner, Andreas Polze, Miroslaw Malek
The Unstoppable Orchestra: a responsive distributed application. CDS (1996)

Matthias Werner.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Matthias Werner