default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMatthias Werner 0001
Person information
- affiliation: Chemnitz University of Technology, Faculty of Computer Science, Germany
- affiliation: Humboldt University of Berlin, Unter den Linden, Germany
Other persons with the same name
- Matthias Werner — disambiguation page
- Matthias Werner 0002 — LMU Munich, Faculty of Psychology and Educational Sciences, Germany
- Matthias Werner 0003 — Freiberg University of Mining and Technology, Germay
- Matthias Werner 0004 — TU Dresden, Center of Information Services and High Performance Computing (ZIH), Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
[c44]Billy Naumann, Christine Jakobs, Matthias Werner:
Formal analysis of timeliness in the RaSTA protocol. FedCSIS 2022: 505-514- [c43]Christine Jakobs, Matthias Werner, Karsten Schmidt, Gerhard Hansch:
Heuristic Risk Treatment for ISO/SAE 21434 Development Projects. FedCSIS 2022: 653-662 - 2021
- [c42]Christine Jakobs, Matthias Werner, Karsten Schmidt, Gerhard Hansch
:
Following the White Rabbit: Integrity Verification Based on Risk Analysis Results. CSCS 2021: 6:1-6:9 - 2020
- [c41]Christine Jakobs, Billy Naumann, Matthias Werner, Karsten Schmidt:
Verification of Integrity in Vehicle Architectures. NISS 2020: 64:1-64:7
2010 – 2019
- 2019
- [c40]Antonia Reißner, Matthias Werner:
A New Definition of Composition of LTIHA. CS&P 2019 - [c39]Christine Jakobs, Matthias Werner, Peter Tröger:
Dynamic Composition of Cyber-Physical Systems. HICSS 2019: 1-10 - 2018
- [j14]Jafar Akhundov, Peter Tröger, Matthias Werner:
Superposition Principle in Composable Hybrid Automata. Fundam. Informaticae 157(4): 321-339 (2018) - [c38]Jafar Akhundov, Michael Reißner, Matthias Werner:
Compositional Expressiveness of Hybrid Models. CS&P 2018 - [c37]Christine Jakobs, Peter Tröger, Matthias Werner, Philipp Mundhenk, Karsten Schmidt:
Dynamic vehicle software with AUTOCONT. DAC 2018: 101:1-101:6 - 2017
- [c36]Steffen Becker, Matthias Werner:
Doktorandensymposium. GI-Jahrestagung 2017: 2345 - [c35]Yu Zhang, Peter Tröger, Matthias Werner:
Dynamic Paging Method Switching - An Implementation for KVM. ISC Workshops 2017: 629-641 - 2016
- [c34]Jafar Akhundov, Peter Tröger, Matthias Werner:
Considering Superposition in the Composable Hybrid Automata. CS&P 2016: 125-140 - [c33]Peter Tröger, Christine Jakobs, Thomas Jakobs, Matthias Werner:
Adaptive cyber-physical systems with interpreted operating system kernels. MECO 2016: 26-29 - [c32]Christine Jakobs, Peter Tröger, Matthias Werner:
Configurable Fault Trees. SERENE 2016: 13-27 - [p2]Sotir Sotirov, Evdokia Sotirova, Matthias Werner, Stanislav Simeonov, Wolfram Hardt, Neli Simeonova:
Ituitionistic Fuzzy Estimation of the Generalized Nets Model of Spatial-Temporal Group Scheduling Problems. Imprecision and Uncertainty in Information Representation and Processing 2016: 401-414 - 2015
- [c31]Jafar Akhundov, Peter Tröger, Matthias Werner:
Considering Concurrency in Early Spacecraft Design Studies. CS&P 2015: 22-30 - [c30]Peter Tröger, Lena Feinbube, Matthias Werner:
WAP: What activates a bug? A refinement of the Laprie terminology model. ISSRE 2015: 106-111 - [c29]Peter Tröger, Matthias Werner, Jan Richling:
Cyber-physical operating systems - What are the right abstractions? MECO 2015: 13-16 - [c28]Alejandro Masrur, Dirk Müller, Matthias Werner:
Bi-Level Deadline Scaling for Admission Control in Mixed-Criticality Systems. RTCSA 2015: 100-109 - 2014
- [j13]Matthias Werner, Louchka Popova-Zeugmann, Mario Haustein, Elisabeth Pelz:
A Holistic State Equation for Timed Petri Nets. Fundam. Informaticae 133(2-3): 305-322 (2014) - 2013
- [j12]Daniel Graff, Jan Richling, Matthias Werner:
Modeling Group Scheduling Problems in Space and Time by Timed Petri Nets. Fundam. Informaticae 122(4): 297-313 (2013) - [j11]Dirk Müller, Matthias Werner:
A Note on "New Strategies for Assigning Real-Time Tasks to Multiprocessor Systems". IEEE Trans. Computers 62(9): 1904-1905 (2013) - [c27]Matthias Werner, Louchka Popova-Zeugmann, Mario Haustein, Elisabeth Pelz:
A Holistic State Equation for Timed Petri Nets. CS&P 2013: 448-456 - [c26]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: 1-10 - [c25]Tobias Stumpf, Matthias Werner:
A conservative real-time garbage collector for C/C++ running on top of RTEMS. ISORC 2013: 1-8 - [c24]Daniel Graff, Jan Richling, Matthias Werner:
Programming and Managing the Swarm - An Operating System for an Emerging System of Mobile Devices. MSN 2013: 9-16 - [c23]Martin Däumler, Matthias Werner:
Reducing startup time of a deterministic virtualizing runtime environment. M-SCOPES 2013: 48-57 - 2012
- [c22]Martin Däumler, Matthias Werner:
Optimierung der Code-Generierung virtualisierender Ausführungsumgebungen zur Erzielung deterministischer Ausführungszeiten zur Erzielung deterministischer Ausführungszeiten. Echtzeit 2012: 29-38 - 2011
- [j10]Dirk Müller, Matthias Werner:
Genealogy of hard real-time preemptive scheduling algorithms for identical multiprocessors. Central Eur. J. Comput. Sci. 1(3): 253-265 (2011) - [j9]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): 135-137 (2011) - [c21]Daniel Graff, Jan Richling, Tammo M. Stupp, Matthias Werner:
Context-Aware Annotations for Distributed Mobile Applications. ARCS Workshops 2011 - [c20]Dirk Müller, Matthias Werner:
Improved Heuristics for Partitioned Multiprocessor Scheduling Based on Rate-Monotonic Small-Tasks. RTNS 2011: 215-224 - [p1]Matthias Werner, Jan Richling, Hans-Ulrich Heiss:
Emergence in Action. Organic Computing 2011: 597-599 - 2010
- [c19]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: 191-200 - [c18]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: 367-376 - [c17]Jan Hendrik Schönherr, Jan Richling, Matthias Werner, Gero Mühl:
Event-driven processor power management. e-Energy 2010: 61-70 - [c16]Matthias Werner, Jan Richling, Gero Mühl:
Two Abstractions for Distributed Systems of Mobile Nodes. ITNG 2010: 1219-1220 - [c15]Alexej Schepeljanski, Martin Däumler, Matthias Werner:
Entwicklung einer echtzeitfähigen CLI-Laufzeitumgebung für den Einsatz in der Automatisierungstechnik. Echtzeit 2010: 21-30
2000 – 2009
- 2009
- [j8]Jan Richling, Jan Hendrik Schönherr, Gero Mühl, Matthias Werner:
Towards Energy-Aware Multi-Core Scheduling. Prax. Inf.verarb. Kommun. 32(2): 88-95 (2009) - [c14]Martin Däumler, Dirk Müller, Matthias Werner:
Raum-Zeit-Constraints als Programmierabstraktion für Anwendungen in mobilen verteilten Systemen. Echtzeit 2009: 31-40 - 2008
- [j7]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): 4-11 (2008) - [c13]Matthias Werner, Michael A. Jaeger, Helge Parzyjegla:
An Application of the (max, +) Algebra to Information Flow Security. ICN 2008: 262-266 - [c12]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: 135-147 - [c11]Martin Däumler, Robert Baumgartl, Matthias Werner:
WCET-Analyseverfahren in der automobilen Softwareentwicklung. Echtzeit 2008: 111-120 - [c10]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: 469-478 - 2006
- [j6]Klaus Herrmann, Matthias Werner, Gero Mühl:
A Methodology for Classifying Self-Organizing Software Systems. Int. Trans. Syst. Sci. Appl. 2(1): 41-50 (2006) - [c9]Michael A. Jaeger, Gero Mühl, Matthias Werner, Helge Parzyjegla:
Reconfiguring Self-stabilizing Publish/Subscribe Systems. DSOM 2006: 233-238 - [c8]Matthias Werner, Gero Mühl:
A State Equation for Petri Nets with Delaying Places. ECBS 2006: 501-502 - [c7]Matthias Werner, Gero Mühl:
Non-reachability in Petri Nets with Delaying Places. MASCOTS 2006: 401-412 - 2005
- [j5]Louchka Popova-Zeugmann, Matthias Werner:
Extreme Runtimes of Schedules Modelled by Time Petri Nets. Fundam. Informaticae 67(1-3): 163-174 (2005) - 2004
- [j4]Matthias Werner, Louchka Popova-Zeugmann, Jan Richling:
A Method to Prove Non-Reachability in Priority Duration Petri Nets. Fundam. Informaticae 61(3-4): 351-368 (2004) - 2003
- [j3]Louchka Popova-Zeugmann, Matthias Werner, Jan Richling:
Using State Equation to Prove Non-Reachability in Timed Petrinets. Fundam. Informaticae 55(2): 187-202 (2003) - 2002
- [j2]Jan Richling, Louchka Popova-Zeugmann, Matthias Werner:
Verification of Non-functional Properties of a Composable Architecture with Petrinets. Fundam. Informaticae 51(1-2): 185-200 (2002) - [c6]Jan Richling, Matthias Werner, Louchka Popova-Zeugmann:
Automatic Composition of Timed Petrinet Specifications for a Real-Time Architecture. ICRA 2002: 4065-4070 - 2000
- [b1]Matthias Werner:
Responsivität: ein konsensbasierter Ansatz. Humboldt University of Berlin, Unter den Linden, Germany, Libris Books on Demand 2000, ISBN 978-3-89811-924-5, pp. 1-99 - [c5]Matthias Werner, Helmut Myritz, Uwe Düffert, Martin Lötzsch, Hans-Dieter Burkhard:
Humboldt Heroes. RoboCup 2000: 651-654
1990 – 1999
- 1999
- [c4]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: 770-773 - 1998
- [j1]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): 219-227 (1998) - [c3]Holger Karl, Matthias Werner, Lars Küttner:
An Experimental Investigation of Message Latencies in the Totem Protocol in the Presence of Faults. EUROMICRO 1998: 10468-10475 - 1997
- [c2]Andreas Polze, Gerhard Fohler, Matthias Werner:
Predictable Network Computing. ICDCS 1997: 423-431 - 1996
- [c1]Matthias Werner, Andreas Polze, Miroslaw Malek:
The Unstoppable Orchestra: a responsive distributed application. CDS 1996: 154-160
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-21 20:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
