Chair | Professorship | Operating Systems Group | Faculty of Computer Science

Research interests

Nonfunctional properties
Cyber-physical systems
Real-time systems
Mobility
Distributed systems
Dependable systems

Dictum of the day

” A computer is like a violin. You can imagine a novice trying ﬁrst a phonograph and then a violin. The latter, he says, sounds terrible. That is the argument we have heard from our humanists and most of our computer scientists. Computer programs are good, they say, for particular purposes, but they aren’t ﬂexible. Neither is a violin, or a typewriter, until you learn how to use it.

Marvin Minsky

Vita

Since 2013: Dean of studies at the Department of Computer Science
Since Dec. 2007: Full professor (W3), Chair of Operating Systems Group, Department of Computer Science, Chemnitz University of Technology
2007: Habilitation, TU Berlin
2002 - 2007: Assistant professor (C1), Communication and Operation Systems Group, Department of Electrical Engineering and Computer Science, Technical University Berlin
Sep 2001 - March 2002: Acting chair, Computer Organization and Communication Group (in place of Prof. Malek), Humboldt University of Berlin
2001: Visiting researcher, Microsoft Research Lab Cambridge (UK)
1999: PhD graduation
1998 - 2002: Research Assistant, Computer Science Department, Humboldt University of Berlin
1994 - 1998: PhD student, DFG PHD programm "Communication-based Systems"
1994: Research Assistant, University of Texas at Austin
1991 - 1993: Researcher, Daimler-Benz Research Berlin
1988 - 1993: Study of Electrical Engineering, Humboldy University of Berlin

Publications

Organic Computing - A Paradigm Shift for Complex Systems

Ortsbezogene Anwendungen und Dienste 2012

2020

Jakobs, Christine, Naumann, Billy, Werner, Matthias, Schmidt, Karsten, "Verification of Integrity in Vehicle Architectures", in Proceedings of the 3rd International Conference on Networking, Information Systems & Security, 2020

@inproceedings{Jakobs:2020:NISS,
author = {Jakobs, Christine and Naumann, Billy and Werner, Matthias and Schmidt, Karsten},
title = {Verification of Integrity in Vehicle Architectures},
year = {2020},
isbn = {9781450376341},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/3386723.3387883},
doi = {10.1145/3386723.3387883},
booktitle = {Proceedings of the 3rd International Conference on Networking, Information Systems & Security},
articleno = {64},
numpages = {7},
keywords = {dynrt},
location = {Marrakech, Morocco},
series = {NISS2020}

2019

Christine Jakobs, Matthias Werner, Peter Tröger, "Dynamic Composition of Cyber-Physical Systems", in 2019 52th Hawaii International Conference on System Sciences (HICSS),, 2019

@inproceedings{Jakobs:2019:HICSS,
title={Dynamic Composition of Cyber-Physical Systems},
author={Christine Jakobs and Matthias Werner and Peter Tröger},
booktitle={2019 52th Hawaii International Conference on System Sciences (HICSS), },
year={2019},
keywords = {dynrt}
Marcus Hilbrich, Christine Jakobs, Matthias Werner, "Do Microservices Prevent High Qualitative Code?", in International Conference on Microservices, 2019

@inproceedings{microservices19,
title={{D}o {M}icroservices {P}revent {H}igh {Q}ualitative {C}ode?},
author={Marcus Hilbrich and Christine Jakobs and Matthias Werner},
booktitle={International Conference on Microservices},
year={2019},
month={February},
organization={University of Applied Sciences and Arts Dortmund, Germany},
url={https://microservices.fh-dortmund.de/papers/Microservices_2019_paper_9.pdf},
keywords = {mh_KnowledgeTransfer},
Laura Morgenstern, Andreas Beckmann Ivo Kabadshow, Matthias Werner, "Tasking Meets GPUs: Fighting Deadlocks and Other Monsters", 2019

@misc{morgenstern:2019:PASC,
author={Laura Morgenstern and Andreas Beckmann Ivo Kabadshow and Matthias Werner},
title={{Tasking Meets GPUs: Fighting Deadlocks and Other Monsters}},
url={https://pasc19.pasc-conference.org/program/schedule/presentation/?id=post131&sess=sess179},
howpublished={{Poster at PASC19 (Platform for Advanced Scientific Computing Conference), Zürich}},
keywords= {scalability},
year=2019,

2018

Jakobs, Christine, Tröger, Peter, Werner, Matthias, Mundhenk, Philipp, AG, Karsten Schmidt AUDI, "Dynamic vehicle software with AUTOCONT", in 2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC), 1-6, 2018

@inproceedings{jakobs2018dynamic,
title={Dynamic vehicle software with AUTOCONT},
author={Jakobs, Christine and Tröger, Peter and Werner, Matthias and Mundhenk, Philipp and AG, Karsten Schmidt AUDI},
booktitle={2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC)},
pages={1--6},
year={2018},
organization={IEEE},
keywords = {dynrt,autoos}
Jakobs, Christine, Tröger, Peter, Werner, Matthias, Mundhenk, Philipp, Schmidt, Karsten, "Dynamic Vehicle Software with AUTOCONT", in Proceedings of the 55th Annual Design Automation Conference, 101:1-101:6, 2018

@inproceedings{jakobs:autocont:2018,
author = {Jakobs, Christine and Tröger, Peter and Werner, Matthias and Mundhenk, Philipp and Schmidt, Karsten},
title = {Dynamic Vehicle Software with AUTOCONT},
booktitle = {Proceedings of the 55th Annual Design Automation Conference},
series = {DAC '18},
year = {2018},
isbn = {978-1-4503-5700-5},
location = {San Francisco, California},
pages = {101:1--101:6},
articleno = {101},
numpages = {6},
url = {http://doi.acm.org/10.1145/3195970.3196035},
doi = {10.1145/3195970.3196035},
acmid = {3196035},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {autoos,dynrt},
Jafar Akhundov, Peter Tröger, Matthias Werner, "Superposition Principle in Composable Hybrid Automata", Fundamenta Informaticae, 157(2018)Concurrency, Specification, and Programming: Special Issue of Selected Papers of CS&P 2016, 321-339

@article{AkTrWe:SuperHA:2018,
title = {Superposition {Principle} in {Composable} {Hybrid} {Automata}},
volume = {157},
doi = {10.3233/FI-2018-1630},
abstract = {Hybrid automata are a well-established modelling approach. The formalism is used in many real-time and control systems engineering projects, which makes model composition an increasingly relevant topic. A well-defined composition support allows concurrent engineer- ing activities and the validation of larger systems. However, many existing publications seldom consider it or make unrealistic assumptions on the model design.
The article discusses the common problems with hybrid automata composition and presents a new formalism, called linear time-invariant hybrid automata (LTI-HA), which targets specifically these issues. Our approach considers the superposition principle for flow functions, which makes it specifically useful for practical modelling purposes in the spacecraft and control domain. We compare the approach to well-known related ideas, such as hybrid I/O automata. Several proper- ties of composition, such as commutativity, are proven.},
number = {Concurrency, Specification, and Programming: Special Issue of Selected Papers of CS\&P 2016},
journal = {Fundamenta Informaticae},
author = {Jafar Akhundov and Peter Tröger and Matthias Werner},
year = {2018},
pages = {321--339},
keywords = {composition, haautomata}
Jakobs, Christine, Werner, Matthias, "Safety in sich schnell ändernden Systemen", in Embedded Software Engineering Kongress 2018, 2018

@inproceedings{jakobs:2018:ESE,
langid = {german},
title = {Safety in sich schnell ändernden Systemen},
author = {Jakobs, Christine and Werner, Matthias},
keywords = {dynrt},
year = {2018},
booktitle = {Embedded Software Engineering Kongress 2018}
Jafar Akhundov, Michael Reißner, Matthias Werner, "Compositional Expressiveness of Hybrid Automata", in Proceedings of the CS&P 18, 159-170, 2018

@InProceedings{AkReWe:CompExp:2018,
author = {Jafar Akhundov and Michael Reißner and Matthias Werner},
title = {Compositional Expressiveness of Hybrid Automata},
booktitle = {Proceedings of the CS\&P 18},
year = 2018,
pages = {159--170},
issn = {0863 - 095X},
keywords = {composition, haautomata}

2017

Jafar Akhundov, Michael Reißner, Matthias Werner, "Using Hybrid Automata for Early Spacecraft Design Evaluation", in Proceedings of the 26th International Workshop on Concurrency, Specification and Programming, 2017

@inproceedings{akhundov_using_2017,
address = {Warsaw, Poland},
title = {Using {Hybrid} {Automata} for {Early} {Spacecraft} {Design} {Evaluation}},
booktitle = {Proceedings of the 26th {International} {Workshop} on {Concurrency}, {Specification} and {Programming}},
author = {Jafar Akhundov and Michael Reißner and Matthias Werner},
month = sep,
year = {2017},
keywords = {composition, haautomata}
Yu Zhang, Peter Tröger, Matthias Werner, "Dynamic Paging Method Switching", in 12th Workshop on Virtualization in High-Performance Cloud Computing (VHPC'17), 2017

@inproceedings{yu_zhang_dynamic_2017,
address = {Frankfurt, Germany},
title = {Dynamic {Paging} {Method} {Switching}},
booktitle = {12th {Workshop} on {Virtualization} in {High}-{Performance} {Cloud} {Computing} ({VHPC}'17)},
author = {{Yu Zhang} and {Peter Tröger} and {Matthias Werner}},
month = jun,
year = {2017},
note = {bibtex: vhcp17}
Yu Zhang, Peter Tröger, Matthias Werner, "Dynamic Paging Method Switching - an Implementation for KVM", in High Performance Computing, 629-641, 2017

@inproceedings{yu2017,
author ={Yu Zhang and Peter Tröger and Matthias Werner},
title = {Dynamic Paging Method Switching - an Implementation for KVM},
booktitle = {High Performance Computing},
year = 2017,
month = oct,
day = 20,
pages = {629-641},
number = {10524},
series = {Lecture Notes in Computer Science (LNCS)},
isbn = {978-3-319-67629-6},
publisher = {Springer},
address = {Cham},
doi = {10.1007/978-3-319-67630-2_44},
url = {https://link.springer.com/chapter/10.1007/978-3-319-67630-2_44}
Peter Tröger, Matthias Werner, "Model Imperfection in Software Reliability Prediction", IEEE Reliability Magazine, Special Issue ‘Software Reliability: Theory & Applications ’, (2017), to appear

@article{peter_troger_model_2017,
title = {Model {Imperfection} in {Software} {Reliability} {Prediction}},
journal = {IEEE Reliability Magazine, Special Issue ‘Software Reliability: Theory \& Applications ’},
author = {{Peter Tröger} and {Matthias Werner}},
year = {2017},
pages = {to appear},
note = {bibtex: ieeerm17}

2016

Peter Tröger, Christine Jakobs, Thomas Jakobs, Matthias Werner, "Adaptive Cyber-Physical Systems with Interpreted Operating System Kernels", in 5th Mediterranean Conference on Embedded Computing (MECO), 26-29, 2016

@inproceedings{TrJaJaWe:InterpretedOS:2016,
title = {Adaptive Cyber-Physical Systems with Interpreted Operating System Kernels},
author = {Peter Tröger and Christine Jakobs and Thomas Jakobs and Matthias Werner},
booktitle = {5th Mediterranean Conference on Embedded Computing (MECO)},
year = {2016},
pages = {26--29},
isbn = {978-9940-9436-6-0},
location = {Bar, Montenegro},
keywords = {operatingsys cyberps pyos}
Jafar Akhundov, Peter Tröger, Matthias Werner, "Considering Superposition in the Composable Hybrid Automata", in Proceedings of the 25th International Workshop on Concurrency, Specification and Programming, 125-140, 2016

@INPROCEEDINGS{Akh:HAComposition:2016,
author = {Jafar Akhundov and Peter Tröger and Matthias Werner},
TITLE = {Considering Superposition in the Composable Hybrid Automata },
booktitle = {Proceedings of the 25th International Workshop on Concurrency, Specification and Programming},
YEAR = 2016,
month = 9,
pages = {125--140},
address = {Rostock, Germany},
keywords = {composition haautomata},
url = {http://ceur-ws.org/Vol-1698/}
Jafar Akhundov, Matthias Werner, Volker Schaus, Andreas Gerndt, "Using Timed Automata to Check Space Mission Feasibility in the Early Design Phases", in IEEE Aerospace, 2016

@conference {Akh:aeroconf2016:TA,
title = {Using Timed Automata to Check Space Mission Feasibility in the Early Design Phases},
booktitle = {IEEE Aerospace},
year = {2016},
month = {03/2016},
publisher = {IEEE},
organization = {IEEE},
address = {Big Sky, MT},
url = {},
keywords = {haautomata},
author = {Jafar Akhundov and Matthias Werner and Volker Schaus and Andreas Gerndt}
Christine Jakobs, Peter Tröger, Matthias Werner, "Configurable Fault Trees", in Ivica Crnkovic, Elena Troubitsyna (ed.): Software Engineering for Resilient Systems: 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings, Springer International Publishing,, 13-27, 2016

@Inbook{Jakobs2016,
author="Christine Jakobs and Peter Tröger and Matthias Werner",
editor="Ivica Crnkovic and Elena Troubitsyna",
title="Configurable Fault Trees",
bookTitle="Software Engineering for Resilient Systems: 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings",
year="2016",
publisher="Springer International Publishing",
pages="13--27",
isbn="978-3-319-45892-2",
doi="10.1007/978-3-319-45892-2_2",
url="http://dx.doi.org/10.1007/978-3-319-45892-2_2",
keywords="uncertainty"
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", in Angelov, Plamen, Sotirov, Sotir (ed.): Imprecision and Uncertainty in Information Representation and Processing, Springer International Publishing,, 401-414, 2016

@InBook{SotEtAl:FuzzyGroupScheduling:2016,
author = {Sotir Sotirov and Evdokia Sotirova and Matthias Werner and Stanislav Simeonov and Wolfram Hardt and Neli Simeonova
},
editor = {Angelov, Plamen and Sotirov, Sotir},
booktitle = {Imprecision and Uncertainty in Information Representation and Processing},
title = {Ituitionistic Fuzzy Estimation of the Generalized Nets Model of Spatial-Temporal Group Scheduling Problems},
publisher = {Springer International Publishing},
year = 2016,
volume = 332,
series = {Studies in Fuzziness and Soft Computing},
isbn = {978-3-319-26302-1},
pages = {401--414}

2015

Jafar Akhundov, Peter Tröger, Matthias Werner, "Considering Concurrency in Early Spacecraft Design Studies", in CS&P 2015 Proceedings, 22-30, 2015

@INPROCEEDINGS{Akh:FeasibilityCSP:2015,
author = {Jafar Akhundov and Peter Tröger and Matthias Werner},
TITLE = {Considering Concurrency in Early Spacecraft Design Studies},
booktitle = {CS\&P 2015 Proceedings},
YEAR = 2015,
month = 9,
pages = {22--30},
address = {Rzeszow, Poland},
keywords = {concurrency spacecraft feasibility timed-automata haautomata},
isbn = {978-83-7996-181-8},
url = {http://ceur-ws.org/Vol-1492/}
Peter Tröger, Matthias Werner, Jan Richling, "Cyber-physical operating systems - What are the right abstractions?", in 4th Mediterranean Conference on Embedded Computing (MECO), 13-17, 2015

@inproceedings{TrWeRi:CyberPhysicalOS:2015,
title = {Cyber-physical operating systems - What are the right abstractions?},
author = {Peter Tröger and Matthias Werner and Jan Richling},
booktitle = {4th Mediterranean Conference on Embedded Computing (MECO)},
year = {2015},
pages = {13--17},
isbn = {978-1-4799-8999-7},
location = {Budva, Montenegro},
keywords = {operatingsys cyberps}
Peter Tröger, Lena Feinbube, Matthias Werner, "What activates a bug? A refinement of the Laprie terminology model", in 26th IEEE International Symposium on Software Reliability Engineering, 2015

@conference{ Tro:Laprie:2015,
author = {Peter Tröger and Lena Feinbube and Matthias Werner },
title = {{What activates a bug? A refinement of the Laprie terminology model}},
day = {2},
year = {2015},
shorttitle = {{ISSRE}},
booktitle = {{26th IEEE International Symposium on Software Reliability Engineering}},
location = {{Gaithersburg, USA}},
month = nov,
keywords = {uncertainty}
Alejandro Masrur, Dirk Müller, Matthias Werner, "Bi-Level Deadline Scaling for Admission Control in Mixed-Criticality Systems", in Proceedings of the 21th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2015), 2015

@InProceedings{MaMuWe:BiLevel:2015,
author = {Alejandro Masrur and Dirk Müller and Matthias Werner},
title = {Bi-Level Deadline Scaling for Admission Control in Mixed-Criticality Systems},
booktitle = {Proceedings of the 21th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2015)},
year = 2015,
keywords = {realtime scheduling}

2014

Sotir Sotirov, Matthias Werner, Stanislav Simeonov, Wolfram Hardt, Evdokia Sotirova, Neli Simeonova, "Using Generalized nets to Model Spatial-temporal Group Scheduling Problems", Issues in Intuitionistic Fuzzy Sets and Generalized Nets, 11(2014), 42-54

@Article{SodEtAl:GNSpaceTimeScheduling:2014,
author = {Sotir Sotirov and Matthias Werner and Stanislav Simeonov and Wolfram Hardt and Evdokia Sotirova and Neli Simeonova},
title = {Using Generalized nets to Model Spatial-temporal Group Scheduling Problems},
journal = {Issues in Intuitionistic Fuzzy Sets and Generalized Nets},
year = 2014,
volume = 11,
pages = {42--54},
isbn = {987-83-61551-10-2}
Daniel Graff, Jan Richling, Matthias Werner, "jSwarm: Distributed Coordination in Robot Swarms", in Robotic Sensor Networks (RSN 2014), 2014

@inproceedings{GrRiWel:jSwarm:2014,
title = {{jSwarm: Distributed Coordination in Robot Swarms}},
author = {Daniel Graff and Jan Richling and Matthias Werner},
booktitle = {Robotic Sensor Networks (RSN 2014)},
year = 2014,
location = {Berlin, Germany},
month = {April},
url = {http://www.cse.buffalo.edu/faculty/kdantu/rsn14/papers/graff.pdf},
keywords = {cyberps proj_dimos}
Louchka Popova-Zeugmann, Matthias Werner, Mario Haustein, Elisabeth Pelz, "A Holistic State Equation for Timed Petri Nets", Fundamenta Informaticae, 133(2014)2/3, 305-322

@Article{PoEtAl:HolisticState:2014,
author = {Louchka Popova-Zeugmann and Matthias Werner and Mario Haustein and Elisabeth Pelz},
title = {A Holistic State Equation for Timed Petri Nets},
journal = {Fundamenta Informaticae},
year = 2014,
volume = 133,
number = {2/3},
pages = {305--322},
DOI= {10.3233/FI-2014-1078}

2013

Matthias Werner, Mario Haustein (ed.), "Ortsbezogene Anwendungen und Dienste", TU Chemnitz, 2013

@PROCEEDINGS{WeHa:LocationBased:2013,
title = {Ortsbezogene Anwendungen und Dienste},
booktitle = {9. GI/ITG Fachgespräch},
year = {2013},
editor = {Matthias Werner and Mario Haustein},
publisher = {TU Chemnitz},
keywords = {cyberps}
Dirk Müller, Matthias Werner, "A Note on "New Strategies for Assigning Real-Time Tasks to Multiprocessor Systems"", IEEE Transactions on Computers, 62(2013)9, 1904-1905

@ARTICLE{MuWe:CircBurchardTest:2013,
author = {Dirk Müller and Matthias Werner},
title = {A Note on "New Strategies for Assigning Real-Time Tasks to Multiprocessor
Systems"},
journal = {IEEE Transactions on Computers},
year = {2013},
volume = {62},
pages = {1904-1905},
number = {9},
doi = {10.1109/TC.2012.244},
issn = {0018-9340},
keywords = {concepts realtime scheduling proj_schedtest}
Daniel Graff, Jan Richling, Matthias Werner, "Programming and Managing the Swarm - An Operating System for an Emerging System of Mobile Devices", in Proceedings of the 2013 IEEE 9th International Conference on Mobile Ad-hoc and Sensor Networks, 9-16, 2013

@InProceedings{GrRiWe:ManagingSwarm:2013,
author = {Daniel Graff and Jan Richling and Matthias Werner},
title = {Programming and Managing the Swarm -- An Operating System for an Emerging System of Mobile Devices},
booktitle = {Proceedings of the 2013 IEEE 9th International Conference on Mobile Ad-hoc and Sensor Networks},
year = 2013,
pages = {9--16},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-5159-3},
keywords = {proj_dimos cyberps}
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", in Proc. of the 16th IEEE Computer Society symposium on object/component/servive-oriented realtime distributed computing (ISORC),, 2013

@INPROCEEDINGS{MuWe:EDF_RMS:2013,
author = {Dirk Müller and Matthias Werner},
title = {Quantifying the Advantage of EDF vs. RMS Schedulability on a Uniprocessor
Using a Differential Analysis and a Power-law Total Utilization Distribution},
booktitle = {Proc. of the 16th IEEE Computer Society symposium on object/component/servive-oriented
realtime distributed computing (ISORC)},
year = {2013},
pages = {},
month = jun,
keywords = {concepts realtime scheduling proj_schedtest},
location = {Paderborn, Germany}
Matthias Werner, Louchka Popova-Zeugmann, Mario Haustein, Elisabeth Pelz, "A Holistic State Equation for Timed Petri Nets", in International Workshop on Concurrency, Specification and Programming (CS&P), 448-456, 2013

@inproceedings{WeEtAl:HolisticState:2013,
author = {Matthias Werner and Louchka Popova-Zeugmann and Mario Haustein and Elisabeth Pelz},
title = {A Holistic State Equation for Timed Petri Nets},
booktitle = {International Workshop on Concurrency, Specification and Programming (CS{\&}P)},
year = {2013},
pages = {448--456},
editor = {Marcin S. Szczuka and Ludwik Czaja and Magdalena Kacprzak},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
volume = {1032}
Dirk Müller, Matthias Werner, "Exploiting Period Compatibility for Partitioned Rate-monotonic Scheduling using Circular Statistics", in Proc. of the 4th Int'l Real-Time Scheduling Open Problems Seminar (RTSOPS) at 25th Euromicro Int'l Conference on Real-Time Systems (ECRTS), 16-17, 2013

@INPROCEEDINGS{MuWe:CircStatRMS:2013,
author = {Dirk Müller and Matthias Werner},
title = {Exploiting Period Compatibility for Partitioned Rate-monotonic Scheduling
using Circular Statistics},
booktitle = {Proc. of the 4th Int'l Real-Time Scheduling Open Problems Seminar
(RTSOPS) at 25th Euromicro Int'l Conference on Real-Time Systems
(ECRTS)},
year = {2013},
pages = {16-17},
month = jul,
keywords = {realtime scheduling proj_schedtest},
location = {Paris, France}
Mario Haustein, Andreas Löscher, Matthias Werner, "Adaptive Objektlokalisierung durch Tiefenbildanalyse mittels einer Kinect-Kamera", in Ortsbezogene Anwendungen und Dienste, 9. Fachgespräch der GI FG KuVS, 109-118, 2013

@INPROCEEDINGS{HaLoWe:ObjectLocalization:2013,
author = {Mario Haustein and Andreas Löscher and Matthias Werner},
title = {Adaptive Objektlokalisierung durch Tiefenbildanalyse mittels einer
Kinect-Kamera},
booktitle = {Ortsbezogene Anwendungen und Dienste, 9. Fachgespräch der GI FG KuVS},
year = {2013},
pages = {109--118}
Däumler, Martin, Werner, Matthias, "Reducing Startup Time of a Deterministic Virtualizing Runtime Environment", in Proceedings of the 16th International Workshop on Software and Compilers for Embedded Systems, 48-57, 2013

@inproceedings{Daumler:RST:2013,
author = {Däumler, Martin and Werner, Matthias},
title = {Reducing Startup Time of a Deterministic Virtualizing Runtime Environment},
booktitle = {Proceedings of the 16th International Workshop on Software and Compilers for Embedded Systems},
series = {M-SCOPES '13},
year = {2013},
isbn = {978-1-4503-2142-6},
location = {St. Goar, Germany},
pages = {48--57},
numpages = {10},
url = {http://doi.acm.org/10.1145/2463596.2463604},
doi = {10.1145/2463596.2463604},
acmid = {2463604},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {code optimization, common language infrastructure, deterministic execution time, realtime},
Martin Däumler, Matthias Werner, "Optimierung der Code-Generierung virtualisierender Ausführungsumgebungen zur Erzielung deterministischer Ausführungszeiten", in Echtzeit 2012, 29-38, 2013

@INPROCEEDINGS{DaeWer:Optimierung:2012,
author = {Martin Däumler and Matthias Werner},
title = {Optimierung der Code-Generierung virtualisierender Ausführungsumgebungen
zur Erzielung deterministischer Ausführungszeiten},
booktitle = {Echtzeit 2012},
year = {2013},
editor = {Wolfgang A. Halang},
pages = {29--38},
publisher = {Springer},
isbn = {978-3-642-33706-2}
Matthias Werner, Louchka Popova-Zeugmann, Mario Haustein,, Elisabeth Pelz, "An Holistic State Equation for Timed Petri Nets", in Concurrency, Specification and Programming (CS&P 2013), 448-456, 2013

@InProceedings{WeEtAl:DPNStateEqation:2013,
author = {Matthias Werner and Louchka Popova-Zeugmann and Mario Haustein and and Elisabeth Pelz},
title = {An Holistic State Equation for Timed Petri Nets},
booktitle = {Concurrency, Specification and Programming (CS\&P 2013)},
pages = {448--456},
year = 2013,
editor = {Marcin Szczuka and Ludwik Czaja and Magdalena Kacprzak},
isbn = {978-83-62582-42-6},
keywords = {model petrinet}
Tobias Stumpf, Matthias Werner, "A conservative real-time garbage collector for C/C++ running on top of RTEMS", in 16th IEEE International Symposium on Object, Component, and Service-Oriented Real-Time Distributed Computing (ISORC 2013), 2013

@INPROCEEDINGS{StWe:RTGarbageCol:2013,
author = {Tobias Stumpf and Matthias Werner},
title = {A conservative real-time garbage collector for C/C++ running on top
of RTEMS},
booktitle = {16th IEEE International Symposium on Object, Component, and Service-Oriented
Real-Time Distributed Computing (ISORC 2013)},
year = {2013},
annote = {to appear},
keywords = {operatingsys}
Daniel Graff, Jan Richling, Matthias Werner, "Modeling Group Scheduling Problems in Space and Time by Timed Petri Nets", Fundamenta Informaticae, 122(2013)4, 297-313

@ARTICLE{GrRiWe:GroupScheduling:2013,
author = {Daniel Graff and Jan Richling and Matthias Werner},
title = {Modeling Group Scheduling Problems in Space and Time by Timed Petri
Nets},
journal = {Fundamenta Informaticae},
year = {2013},
volume = {122},
pages = {297--313},
number = {4},
issn = {0169-2968},
keywords = {cyberps petrinet proj_dimos}

2012

Matthias Werner, Andreas Löscher, Mario Haustein, Jan Richling, "Betriebssysteme für cyber-physische Systeme - Wie weit reichen die klassischen Abstraktionen?", in Cyber-Physical Systems - Enabling Multi-Nature Systems (CPMNS), 2012

@INPROCEEDINGS{WeLoHaRi:CPS-OS:2012,
author = {Matthias Werner and Andreas Löscher and Mario Haustein and Jan Richling},
title = {Betriebssysteme für cyber-physische Systeme -- Wie weit reichen die
klassischen Abstraktionen?},
booktitle = {Cyber-Physical Systems -- Enabling Multi-Nature Systems (CPMNS)},
year = {2012},
keywords = {mobility operatingsys cyberps proj_dimos}

2011

Dirk Müller, Matthias Werner, "Improved Heuristics for Partitioned Multiprocessor Scheduling Based on Rate-Monotonic Small-Tasks", in Proc. of the 19th International Conference on Real-Time and Network Systems (RTNS), 211-220, 2011

@INPROCEEDINGS{MuWe:ImprovedRMST:2011,
author = {Dirk Müller and Matthias Werner},
title = {Improved Heuristics for Partitioned Multiprocessor Scheduling Based
on Rate-Monotonic Small-Tasks},
booktitle = {Proc. of the 19th International Conference on Real-Time and Network
Systems (RTNS)},
year = {2011},
pages = {211-220},
month = sep,
keywords = {realtime scheduling proj_schedtest},
location = {Nantes, France}
Dirk Müller, Matthias Werner, "A Generalized View on Beneficial Task Sortings for Partitioned RMS Task Allocation on Multiprocessors", in Proc. of the 2nd Int'l Real-Time Scheduling Open Problems Seminar (RTSOPS) at 23rd Euromicro Int'l Conference on Real-Time Systems (ECRTS), 7-8, 2011

@INPROCEEDINGS{MuWe:SortPartRMS:2011,
author = {Dirk Müller and Matthias Werner},
title = {A Generalized View on Beneficial Task Sortings for Partitioned RMS
Task Allocation on Multiprocessors},
booktitle = {Proc. of the 2nd Int'l Real-Time Scheduling Open Problems Seminar
(RTSOPS) at 23rd Euromicro Int'l Conference on Real-Time Systems
(ECRTS)},
year = {2011},
pages = {7-8},
month = jul,
keywords = {realtime scheduling proj_schedtest},
location = {Porto, Portugal}
Dirk Müller, Matthias Werner, "Towards Exact Thresholds for Scheduling n Tasks on m Processors Based on Partitioned EDF", in 17th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2011), WiP Session, 2011

@INPROCEEDINGS{MuWe:TresholdPartEDF:2011,
author = {Dirk Müller and Matthias Werner},
title = {Towards Exact Thresholds for Scheduling n Tasks on m Processors Based
on Partitioned {EDF}},
booktitle = {17th IEEE Real-Time and Embedded Technology and Applications Symposium
(RTAS 2011), WiP Session},
year = {2011},
month = apr,
keywords = {realtime scheduling proj_schedtest},
location = {Chicago, USA}
Jan Richling, Matthias Werner, Gero Mühl, Michael C. Jäger and Hans-Ulrich Heiß, "Autonomie in verteilten IT-Architekturen", Oldenburg, 2011

@BOOK{RiWe:Autonomie:2011,
title = {Autonomie in verteilten IT-Architekturen},
publisher = {Oldenburg},
year = {2011},
author = {Jan Richling and Matthias Werner and Gero Mühl and Michael C. Jäger
and Hans-Ulrich Heiß},
keywords = {selfx faulttolerance architecture concepts autonomy}
Dirk Müller, Matthias Werner, "Genealogy of Hard Real-Time Preemptive Scheduling Algorithms for Identical Multiprocessors", Central European Journal of Computer Science, 1(2011)3, 253-265

@ARTICLE{MuWe:GenealogyRT_MP:2011,
author = {Dirk Müller and Matthias Werner},
title = {Genealogy of Hard Real-Time Preemptive Scheduling Algorithms for
Identical Multiprocessors},
journal = {Central European Journal of Computer Science},
year = {2011},
volume = {1},
pages = {253-265},
number = {3},
issn = {1896-1533},
keywords = {concepts realtime architecture proj_schedtest}
Helge Parzyjegla, Arnd Schröter, Daniel Graff, Anselm Busse and Alexej Schepeljanski, Jan Richling, Matthias Werner, Gero Mühl, "Autonomy Features and Feature Composition in REBECA", in 8th International Conference on Autonomic Computing, 2011

@INPROCEEDINGS{ParEtAl:AutonomyRebeca:2011,
author = {Helge Parzyjegla and Arnd Schröter and Daniel Graff and Anselm Busse
and Alexej Schepeljanski and Jan Richling and Matthias Werner and
Gero Mühl},
title = {Autonomy Features and Feature Composition in REBECA},
booktitle = {8th International Conference on Autonomic Computing},
year = {2011},
keywords = {composability architecture proj_rebeca}
Helge Parzyjegla, Arnd Schröter, Anselm Busse, Daniel Graff and Alexej Schepeljanski, Jan Richling, Matthias Werner, Gero Mühl, "Rebeca - eine autonome Publish/Subscribe Middleware", Praxis der Informationsverarbeitung und Kommunikation, 34(2011), 135-137

@ARTICLE{ParEtAl:Rebeca:2011,
author = {Helge Parzyjegla and Arnd Schröter and Anselm Busse and Daniel Graff
and Alexej Schepeljanski and Jan Richling and Matthias Werner and
Gero Mühl},
title = {Rebeca - eine autonome Publish/Subscribe Middleware},
journal = {Praxis der Informationsverarbeitung und Kommunikation},
year = {2011},
volume = {34},
pages = {135--137},
keywords = {composability architecture proj_rebeca}
Matthias Werner, Jan Richling, Hans-Ulrich Heiß, "Emergence in Action", in Müller-Schloer, Christian, Schmeck, Hartmut, Ungerer, Theo (ed.): Organic Computing - A Paradigm Shift for Complex Systems, 2011

@INCOLLECTION{WeRiHe:Emergence:2011,
author = {Matthias Werner and Jan Richling and Hans-Ulrich Heiß},
title = {Emergence in Action},
booktitle = {Organic Computing - A Paradigm Shift for Complex Systems},
publisher = {Springer},
year = {2011},
editor = {Müller-Schloer, Christian and Schmeck, Hartmut and Ungerer, Theo},
chapter = {6.1.7},
keywords = {selfx model autonomy}
Daniel Graff, Jan Richling, Tammo M. Stupp, Matthias Werner, "Context-Aware Annotations for Distributed Mobile Applications", in ARCS'11 Workshop Proceedings: Second Workshop on Context-Systems Design, Evaluation and Optimisation (CoSDEO 2011), 2011

@INPROCEEDINGS{GraEtAl:Annotations:2011,
author = {Daniel Graff and Jan Richling and Tammo M. Stupp and Matthias Werner},
title = {Context-Aware Annotations for Distributed Mobile Applications},
booktitle = {ARCS'11 Workshop Proceedings: Second Workshop on Context-Systems
Design, Evaluation and Optimisation (CoSDEO 2011)},
year = {2011},
keywords = {mobility cyberps proj_dimos}
Matthias Werner, Daniel Graff, Helge Parzyjegla, Jan Richling, "Verteilte aktive Objekte für verteilte mobile Systeme", in 7th KuVS-Fachgespräch Ortsbezogene Anwendungen und Dienste, 2011

@INPROCEEDINGS{WerEtAl:VerteilteAktiveObjekte:2011,
author = {Matthias Werner and Daniel Graff and Helge Parzyjegla and Jan Richling},
title = {Verteilte aktive Objekte für verteilte mobile Systeme},
booktitle = {7th KuVS-Fachgespräch Ortsbezogene Anwendungen und Dienste},
year = {2011},
editor = {Alex Küpper and Jörg Roth},
publisher = {Logos},
isbn = {978-3-8325-2935-2},
keywords = {mobility architecture cyberps proj_dimos}
Daniel Graff, Tammo M. Stupp, Jan Richling, Matthias Werner, "Using Timed Petri Nets to Model Spatial-temporal Group Scheduling Problems", in Concurrency, Specification & Programming (CS&P) 2011, 2011

@INPROCEEDINGS{Gra:GroupScheduling:2011,
author = {Daniel Graff and Tammo M. Stupp and Jan Richling and Matthias Werner},
title = {Using Timed Petri Nets to Model Spatial-temporal Group Scheduling
Problems},
booktitle = {Concurrency, Specification \& Programming (CS\&P) 2011},
year = {2011},
editor = {Marcin Szczuka and Ludwik Czaja and Andrzej Skowron and Magdalena
Kacprzak},
isbn = {978-83-62582-06-8},
keywords = {operatingsys mobility cyberps petrinet proj_dimos}
Daniel Graff, Jan Richling, Tammo M. Stupp, Matthias Werner, "Distributed Active Objects - A Systemic Approach to Distributed Mobile Applications", in 8th IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems, 2011

@INPROCEEDINGS{GraEtAl:DiAO:2011,
author = {Daniel Graff and Jan Richling and Tammo M. Stupp and Matthias Werner},
title = {Distributed Active Objects - A Systemic Approach to Distributed Mobile
Applications},
booktitle = {8th IEEE International Conference and Workshops on Engineering of
Autonomic and Autonomous Systems},
year = {2011},
keywords = {mobility cyberps proj_dimos}

2010

Daniel Graff, Matthias Werner, Helge Parzyjegla, Jan Richling and Gero Mühl, "An Object-Oriented and Context-Aware Approach for Distributed Mobile Applications", in Workshop on Context-Systems Design, Evaluation and Optimisation (CoSDEO 2010) at ARCS 2010 - Architecture of Computing Systems, 191-200, 2010

@INPROCEEDINGS{GrEtAl:OOContext:2010,
author = {Daniel Graff and Matthias Werner and Helge Parzyjegla and Jan Richling
and Gero Mühl},
title = {An Object-Oriented and Context-Aware Approach for Distributed Mobile
Applications},
booktitle = {Workshop on Context-Systems Design, Evaluation and Optimisation (CoSDEO
2010) at ARCS 2010 - Architecture of Computing Systems},
year = {2010},
pages = {191--200},
keywords = {operatingsys mobility cyberps proj_dimos}
Jan H. Schönherr, Jan Richling, Matthias Werner, Gero Mühl, "Event-Driven Processor Power Management", in 1st International Conference on Energy-Efficient Computing and Networking (e-energy 2010), 61-70, 2010

@INPROCEEDINGS{ScEtAl:EDPPM:2010,
author = {Jan H. Schönherr and Jan Richling and Matthias Werner and Gero Mühl},
title = {Event-Driven Processor Power Management},
booktitle = {1st International Conference on Energy-Efficient Computing and Networking
(e-energy 2010)},
year = {2010},
pages = {61-70},
month = apr,
publisher = {ACM},
keywords = {scheduling energy},
location = {Passau, Germany}
Dirk Müller, Matthias Werner, "Efficient RMS schedulability tests", in Proc. of the 1st Int'l Real-Time Scheduling Open Problems Seminar (RTSOPS) at 22nd Euromicro Int'l Conference on Real-Time Systems (ECRTS), 16-17, 2010

@INPROCEEDINGS{MuWe:EffRMS:2010,
author = {Dirk Müller and Matthias Werner},
title = {Efficient RMS schedulability tests},
booktitle = {Proc. of the 1st Int'l Real-Time Scheduling Open Problems Seminar
(RTSOPS) at 22nd Euromicro Int'l Conference on Real-Time Systems
(ECRTS)},
year = {2010},
pages = {16-17},
month = jul,
keywords = {realtime scheduling proj_schedtest},
location = {Brussels, Belgium}
Alexej Schepeljanski, Martin Däumler, Matthias Werner, "Entwicklung einer echtzeitfähigen CLI-Laufzeitumgebung für den Einsatz in der Automatisierungstechnik", in Eingebettete Systeme - Echtzeit 2010, 21-30, 2010

@INPROCEEDINGS{DaMuWe:Abstraktionen:2010,
author = {Alexej Schepeljanski and Martin Däumler and Matthias Werner},
title = {Entwicklung einer echtzeitfähigen CLI-Laufzeitumgebung für den Einsatz
in der Automatisierungstechnik},
booktitle = {Eingebettete Systeme -- Echtzeit 2010},
year = {2010},
pages = {21-30},
address = {Boppard},
publisher = {Springer},
isbn = {978-3-642-16188-9},
keywords = {realtime proj_rtnet proj_hrtplc}
Matthias Werner, Jan Richling, "Programming Models for Distributed Mobile Systems", in Bretagne Saxe Symposium, 2010

@INPROCEEDINGS{WeRi:Models:2010,
author = {Matthias Werner and Jan Richling},
title = {Programming Models for Distributed Mobile Systems},
booktitle = {Bretagne Saxe Symposium},
year = {2010},
address = {Rennes},
keywords = {cyberps models proj_dimos}
Matthias Werner, Jan Richling, Gero Mühl, "Two Abstractions for Distributed Systems of Mobile Nodes", in Seventh International Conference on Information Technology (ITNG 2010), 1219-1220, 2010

@INPROCEEDINGS{WeRiMu:SwarmsAndCostraints:2010,
author = {Matthias Werner and Jan Richling and Gero Mühl},
title = {Two Abstractions for Distributed Systems of Mobile Nodes},
booktitle = {Seventh International Conference on Information Technology (ITNG
2010)},
year = {2010},
pages = {1219--1220},
isbn = {978-1-4244-6270-4},
keywords = {concepts operatingsys mobility cyberps proj_dimos}
Schönherr, Jan H., Richling, Jan, Mühl, Gero, Matthias Werner, "A Scheduling Approach for Efficient Utilization of Hardware-Driven Frequency Scaling", in GI/ITG Workshop on Energy-aware Systems at ARCS 2010 - Architecture of Computing Systems, 367-376, 2010

@INPROCEEDINGS{ScEtAl:EnergyScaling:2010,
author = {Schönherr, Jan H. and Richling, Jan and Mühl, Gero and Matthias Werner},
title = {A Scheduling Approach for Efficient Utilization of Hardware-Driven
Frequency Scaling},
booktitle = {GI/ITG Workshop on Energy-aware Systems at ARCS 2010 - Architecture
of Computing Systems},
year = {2010},
pages = {367-376},
keywords = {operatingsys scheduling energy}

2009

Jan Richling, Jan H. Schönherr, Gero Mühl, Matthias Werner, "Saving Energy without Performance Degradation (Extended Abstract)", in Systemsoftware für die Hardware von morgen, GI Fachgruppentreffen, 2009

@INPROCEEDINGS{RicEtAl:EventEnergy:2009,
author = {Jan Richling and Jan H. Schönherr and Gero Mühl and Matthias Werner},
title = {Saving Energy without Performance Degradation (Extended Abstract)},
booktitle = {Systemsoftware für die Hardware von morgen, GI Fachgruppentreffen},
year = {2009},
address = {Bommerholz},
keywords = {energy operatingsys scheduling}
Matthias Werner, Jan Richling, Gero Mühl, "Abstraktionen für verteilte mobile Systeme", in Proceedings of the KuVS Workshop Ortsbezogene Anwendungen und Dienste, 2009

@INPROCEEDINGS{WeRiMu:Abstractions:2009,
author = {Matthias Werner and Jan Richling and Gero Mühl},
title = {Abstraktionen für verteilte mobile Systeme},
booktitle = {Proceedings of the KuVS Workshop Ortsbezogene Anwendungen und Dienste},
year = {2009},
keywords = {model mobility operatingsys cyberps proj_dimos}
Matthias Werner, "Editorial of Special Issue on Distributed and Self-organising Systems", Embedded and Self-Organizing Systems, (2009)

@ARTICLE{Wer:ESS-Editorial:2009,
author = {Matthias Werner},
title = {Editorial of Special Issue on Distributed and Self-organising Systems},
journal = {Embedded and Self-Organizing Systems},
year = {2009},
keywords = {concepts cyberps dimos}
Jan Richling, Jan H. Schönherr, Gero Mühl, Matthias Werner, "Towards Energy-Aware Multi-Core Scheduling", Praxis der Informationsverarbeitung und Kommunikation (PIK), 32(2009), 88-95

@ARTICLE{RiEtAl:EnergyAware:2009,
author = {Jan Richling and Jan H. Schönherr and Gero Mühl and Matthias Werner},
title = {Towards Energy-Aware Multi-Core Scheduling},
journal = {Praxis der Informationsverarbeitung und Kommunikation (PIK)},
year = {2009},
volume = {32},
pages = {88-95},
keywords = {scheduling energy operatingsys}
Martin Däumler, Dirk Müller, Matthias Werner, "Raum-Zeit-Constraints als Programmierabstraktion für Anwendungen in mobilen verteilten Systemen", in Softwareintensive verteilte Echtzeitsysteme - Echtzeit 2009, 31-41, 2009

@INPROCEEDINGS{DaMuWe:Abstraktionen:2008,
author = {Martin Däumler and Dirk Müller and Matthias Werner},
title = {Raum-Zeit-Constraints als Programmierabstraktion für Anwendungen
in mobilen verteilten Systemen},
booktitle = {Softwareintensive verteilte Echtzeitsysteme -- Echtzeit 2009},
year = {2009},
pages = {31-41},
address = {Boppard},
publisher = {Springer},
isbn = {978-3-642-04782-4},
keywords = {mobility architecture operatingsys cyberps proj_dimos}
Martin Däumler, Dirk Müller, Matthias Werner, "A Top-Down Approach for a Generic Programming Abstraction in Real Space-Time", Online-Journal: Eingebettete Selbstorganisierende Systeme, TU Chemnitz, (2009)

@ARTICLE{DaMuWe:TopDown:2009,
author = {Martin Däumler and Dirk Müller and Matthias Werner},
title = {A Top-Down Approach for a Generic Programming Abstraction in Real
Space-Time},
journal = {Online-Journal: Eingebettete Selbstorganisierende Systeme, TU Chemnitz},
year = {2009},
keywords = {mobility architecture operatingsys cyberps proj_dimos}
Dirk Müller, Matthias Werner, "Communication Protocols for Real-Time Systems: Time vs. Events Revisited", in Proc. of the 30th IFAC Workshop on Real-Time Programming and 4th Int'l Workshop on Real-Time Software (WRTP/RTS'09), 143-148, 2009

@INPROCEEDINGS{MuWe:CommProtRTS:2009,
author = {Dirk Müller and Matthias Werner},
title = {Communication Protocols for Real-Time Systems: Time vs. Events Revisited},
booktitle = {Proc. of the 30th IFAC Workshop on Real-Time Programming and 4th
Int'l Workshop on Real-Time Software (WRTP/RTS'09)},
year = {2009},
pages = {143-148},
isbn = {978-83-60810-22-4},
keywords = {communication realtime},
location = {Mragowo, Poland}

2008

Matthias Werner, Dirk Müller, Martin Däumler, Jan Richling and Gero Mühl, "Operating System Support for Distributed Applications in Real Space-Time", in Workshop on Autonomous and Autonomic Software-based Systems (ASBS) at the IEEE International Conference on Soft Computing as Transdisciplinary Science and Technology (CSTST), 469-478, 2008

@INPROCEEDINGS{WerEtAl:RealSpaceTime:2008,
author = {Matthias Werner and Dirk Müller and Martin Däumler and Jan Richling
and Gero Mühl},
title = {Operating System Support for Distributed Applications in Real Space-Time},
booktitle = {Workshop on Autonomous and Autonomic Software-based Systems (ASBS)
at the IEEE International Conference on Soft Computing as Transdisciplinary
Science and Technology (CSTST)},
year = {2008},
editor = {R. Chbeir and Y. Badr and A. Abraham and D. Laurent and F. Ferri},
pages = {469-478},
isbn = {978-1-60558-046-3},
key = {a},
keywords = {concepts mobility architecture operatingsys cyberps proj_dimos}
Martin Däumler, Robert Baumgartl, Matthias Werner, "WCET-Analyseverfahren in der automobilen Softwareentwicklung", in Aktuelle Anwendungen in Technik und Wirtschaft - Echtzeit 2008, 111-120, 2008

@INPROCEEDINGS{DaBaWe:WCET:2008,
author = {Martin Däumler and Robert Baumgartl and Matthias Werner},
title = {WCET-Analyseverfahren in der automobilen Softwareentwicklung},
booktitle = {Aktuelle Anwendungen in Technik und Wirtschaft -- Echtzeit 2008},
year = {2008},
pages = {111-120},
address = {Boppard},
publisher = {Springer},
isbn = {978-3-540-85323-7},
keywords = {realtime}
Michael C. Jaeger, Matthias Werner, "Web Services Dependability", in Khaled Kahn (ed.): Managing Web Services Quality: Measuring Outcomes and Effectiveness, 2008

@INCOLLECTION{JaWe:WebServiceDep:2008,
author = {Michael C. Jaeger and Matthias Werner},
title = {Web Services Dependability},
booktitle = {Managing Web Services Quality: Measuring Outcomes and Effectiveness},
publisher = {IGI Global},
year = {2008},
editor = {Khaled Kahn},
pages = {151-167},
address = {Hershey, PA},
keywords = {faulttolerance model}
Matthias Werner, Michael A. Jaeger, Helge Parzyjegla, "An Application of the $(\max, +)$ Algebra to Information Security Flow", in Proceedings of the 7th International Conference on Networking, 262-266, 2008

@INPROCEEDINGS{WeJaPa:Max+:2008,
author = {Matthias Werner and Michael A. Jaeger and Helge Parzyjegla},
title = {An Application of the $(\max, +)$ Algebra to Information Security
Flow},
booktitle = {Proceedings of the 7th International Conference on Networking},
year = {2008},
pages = {262-266},
address = {Cancun},
publisher = {IEEE},
doi = {10.1109/ICN.2008.87},
isbn = {978-0-7695-3106-9},
keywords = {model faulttolerance maxplus}
Matthias Werner, Jan Richling, Dirk Müller, Gero Mühl, "Towards a Holistic Approach for Distributed Real Space-Time Systems", in International Workshop on Dependable Network Computing and Mobile Systems at the 27th International Symposium on Reliable Distributed Systems, 63-67, 2008

@INPROCEEDINGS{Wer:Holistic:2008,
author = {Matthias Werner and Jan Richling and Dirk Müller and Gero Mühl},
title = {Towards a Holistic Approach for Distributed Real Space-Time Systems},
booktitle = {International Workshop on Dependable Network Computing and Mobile
Systems at the 27th International Symposium on Reliable Distributed
Systems},
year = {2008},
pages = {63-67},
keywords = {concepts mobility architecture realtime cyberps proj_dimos}
Michael A. Jaeger, Gero Mühl, Matthias Werner, Helge Parzyjegla and Hans-Ulrich Heiss, "Algorithms for Reconfiguring Self-Stabilizing Publish/Subscribe Systems", in Autonomous Systems - Self-Organisation, Management, and Control, 2008

@INPROCEEDINGS{JaeEtAl:SelfStab:2008,
author = {Michael A. Jaeger and Gero Mühl and Matthias Werner and Helge Parzyjegla
and Hans-Ulrich Heiss},
title = {Algorithms for Reconfiguring Self-Stabilizing Publish/Subscribe Systems},
booktitle = {Autonomous Systems -- Self-Organisation, Management, and Control},
year = {2008},
editor = {Mahr and Sheng},
month = oct,
publisher = {Springer},
note = {(accepted for publication)},
keywords = {selfx model operatingsys autonomy proj_rebeca},
location = {Shanghai, China}
Michael C. Jaeger, Matthias Werner, Gero Mühl, Hans-Ulrich Heiss, Uwe Laude, Christian Ruge, "Autonomie in IT-Systemen - Ein Konzeptionelles Modell", Praxis der Informationsverarbeitung und Kommunikation (PIK), Sonderheft Selbstorganisierende Systeme und deren Modellierung, 31(2008)1, 4-11

@ARTICLE{JaeEtAl:Autonomy:2008,
author = {Michael C. Jaeger and Matthias Werner and Gero Mühl and Hans-Ulrich
Heiss and Uwe Laude and Christian Ruge},
title = {Autonomie in IT-Systemen -- Ein Konzeptionelles Modell},
journal = {Praxis der Informationsverarbeitung und Kommunikation (PIK), Sonderheft
Selbstorganisierende Systeme und deren Modellierung},
year = {2008},
volume = {31},
pages = {4-11},
number = {1},
keywords = {concepts selfx faulttolerance autonomy}

2007

Matthias Werner, Gero Mühl, Helge Parzyjegla, Hans-Ulrich Heiss, "Betriebssystemunterstützung für verteilte Anwendungen in realer Raumzeit", in ITG KuVS'07, 2007

@INPROCEEDINGS{WerEtAl:MobileOS:2007,
author = {Matthias Werner and Gero Mühl and Helge Parzyjegla and Hans-Ulrich
Heiss},
title = {Betriebssystemunterstützung für verteilte Anwendungen in realer Raumzeit},
booktitle = {ITG KuVS'07},
year = {2007},
keywords = {mobility architecture operatingsys proj_dimos}
Matthias Werner, "Eigenschaften verlässlicher Systeme", 2007

@PHDTHESIS{Wer:Properties:2007,
author = {Matthias Werner},
title = {Eigenschaften verlässlicher Systeme},
school = {TU Berlin},
year = {2007},
type = {Habilitationsschrift},
keywords = {model realtime faulttolerance}
Gero Mühl, Matthias Werner, Michael A. Jaeger, Klaus Herrmann and Helge Parzyjegla, "On the Definitions of Self-Managing and Self-Organizing Systems", in KiVS 2007 Workshop: Selbstorganisierende, Adaptive, Kontextsensitive verteilte Systeme (SAKS 2007), 2007

@INPROCEEDINGS{MuEtAl:SelfManaging:2007,
author = {Gero Mühl and Matthias Werner and Michael A. Jaeger and Klaus Herrmann
and Helge Parzyjegla},
title = {On the Definitions of Self-Managing and Self-Organizing Systems},
booktitle = {KiVS 2007 Workshop: Selbstorganisierende, Adaptive, Kontextsensitive
verteilte Systeme (SAKS 2007)},
year = {2007},
series = {Informatik aktuell},
address = {Bern, Switzerland},
month = mar,
publisher = {Springer},
keywords = {model selfx concepts}

2006

Matthias Werner, Gero Mühl, "A State Equation for Petri Nets with Delaying Places", in IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2006), 2006

@INPROCEEDINGS{WeMu:StateEqPNDP:2006,
author = {Matthias Werner and Gero Mühl},
title = {A State Equation for Petri Nets with Delaying Places},
booktitle = {IEEE International Conference and Workshop on the Engineering of
Computer Based Systems (ECBS 2006)},
year = {2006},
keywords = {model petrinet}
Matthias Werner, Gero Mühl, "Non-reachability in Petri Nets with Delaying Places", in 14th IEEE Conference on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS) 2006, 401-409, 2006

@INPROCEEDINGS{WeMu:NonReachabilityPNDP:2006,
author = {Matthias Werner and Gero Mühl},
title = {Non-reachability in Petri Nets with Delaying Places},
booktitle = {14th IEEE Conference on Modeling, Analysis, and Simulation of Computer
and Telecommunication Systems (MASCOTS) 2006},
year = {2006},
pages = {401-409},
keywords = {model}
Matthias Werner, "A Framework to Find Optimal IRIS Schedules", Journal of Control and Cybernetics, 35(2006)3, 703-719

@ARTICLE{Wer:OptimalIRIS:2006,
author = {Matthias Werner},
title = {A Framework to Find Optimal IRIS Schedules},
journal = {Journal of Control and Cybernetics},
year = {2006},
volume = {35},
pages = {703-719},
number = {3},
keywords = {model realtime scheduling petrinet}
Klaus Herrmann, Matthias Werner, Gero Mühl, Hans-Ulrich Heiß, "Ein methodischer Ansatz zur Klassifizierung selbstorganisierender Softwaresysteme", in Selbstorganisierende, Adaptive, Kontextsensitive verteilte Systeme (SAKS), 2006

@INPROCEEDINGS{HerEtAl:Selbstorganisation:2006,
author = {Klaus Herrmann and Matthias Werner and Gero Mühl and Hans-Ulrich
Heiß},
title = {{Ein methodischer Ansatz zur Klassifizierung selbstorganisierender
Softwaresysteme}},
booktitle = {Selbstorganisierende, Adaptive, Kontextsensitive verteilte Systeme
(SAKS)},
year = {2006},
series = {Fachgespräch der GI/ITG-Fachgruppe Kommunikation und Verteilte Systeme},
address = {Kassel, Germany},
month = mar,
keywords = {model selfx}
Klaus Herrmann, Matthias Werner, Gero Mühl, "A Methodology for Classifying Self-Organizing Software Systems", International Transactions on Systems Science and Applications, 2(2006)1, 41-50

@ARTICLE{HeWeMu:2006:ClassiyingSOSS,
author = {Klaus Herrmann and Matthias Werner and Gero Mühl},
title = {A Methodology for Classifying Self-Organizing Software Systems},
journal = {International Transactions on Systems Science and Applications},
year = {2006},
volume = {2},
pages = {41-50},
number = {1},
keywords = {model selfx concepts}

2005

Louchka Popova-Zeugmann, Matthias Werner, "Extreme Runtimes of Schedules Modelled by Time Petri Nets", Fundamenta Informaticae, 67(2005), 163-174

@ARTICLE{PoWe:ExtremeRuntimes:2005,
author = {Louchka Popova-Zeugmann and Matthias Werner},
title = {Extreme Runtimes of Schedules Modelled by Time Petri Nets},
journal = {Fundamenta Informaticae},
year = {2005},
volume = {67},
pages = {163-174},
keywords = {model realtime scheduling petrinet}
Matthias Werner, "Using Timed Petri nets To Solve IRIS Scheduling Optimization", in International Federation of Operational Research Societies (IFORS) Conference, 2005

@INPROCEEDINGS{Wer:IRIS:2005,
author = {Matthias Werner},
title = {Using {Timed} {Petri} nets To Solve {IRIS} Scheduling Optimization},
booktitle = {International Federation of Operational Research Societies (IFORS)
Conference},
year = {2005},
keywords = {model realtime scheduling petrinet}

2004

Louchka Popova-Zeugmann, Matthias Werner, "Determining Worst-Case Times of Unknown Path in Time Petri Nets", in Proceedings of Concurrency, Specification & Programming 2004, 144-165, 2004

@INPROCEEDINGS{PoWe:WCET:2004,
author = {Louchka Popova-Zeugmann and Matthias Werner},
title = {Determining Worst-Case Times of Unknown Path in Time Petri Nets},
booktitle = {Proceedings of Concurrency, Specification {\&} Programming 2004},
year = {2004},
volume = {1},
number = {170},
series = {{Informatik-Berichte der HUB}},
pages = {144-165},
month = sep,
keywords = {model realtime petrinet}
Georg-Wilhelm Werner, Matthias Werner, "Systematische Schwachstellenbekämpfung statt routingmäßiger Instandhaltung", in SAP PM für EVU,, 2004

@INPROCEEDINGS{WeWe:Schwachstellen:2004,
author = {Georg-Wilhelm Werner and Matthias Werner},
title = {{Systematische Schwachstellenbekämpfung statt routingmäßiger Instandhaltung}},
booktitle = {SAP PM für EVU,},
year = {2004},
address = {Berlin},
keywords = {faulttolerance}
Jan Richling, Matthias Werner, Louchka Popova-Zeugmann, "A Formally-Proven Composable Architecture for Real-Time Systems", in Proceedings of Workshop about Architectures for Cooperative Embedded Real-Time Systems (WACERTS) at the 25th IEEEE Real-Time Systems Symposium, 31-34, 2004

@INPROCEEDINGS{RWP:MSS:2004,
author = {Jan Richling and Matthias Werner and Louchka Popova-Zeugmann},
title = {A Formally-Proven Composable Architecture for Real-Time Systems},
booktitle = {Proceedings of Workshop about Architectures for Cooperative Embedded
Real-Time Systems (WACERTS) at the 25th IEEEE Real-Time Systems Symposium},
year = {2004},
pages = {31-34},
keywords = {realtime composability architecture petrinet proj_mss}
Matthias Werner, Louchka Popova-Zeugmann, Jan Richling, "A Method to prove Non-reachability in Prioritized Duration Petri nets", Fundamenta Informaticae, 61(2004)3,4, 351-368

@ARTICLE{WPR:Non-Reachability:2004,
author = {Matthias Werner and Louchka Popova-Zeugmann and Jan Richling},
title = {A Method to prove Non-reachability in Prioritized Duration {Petri}
nets},
journal = {Fundamenta Informaticae},
year = {2004},
volume = {61},
pages = {351-368},
number = {3,4},
keywords = {model petrinet proj_mss}

2003

Matthias Werner, Louchka Popova-Zeugmann, Jan Richling, "Non-Reachability in Priority Duration Petri nets", in Proceedings Concurrency, Specification & Programming 2003, 561-574, 2003

@INPROCEEDINGS{WPR:Non-Reachability:2003,
author = {Matthias Werner and Louchka Popova-Zeugmann and Jan Richling},
title = {Non-Reachability in Priority Duration {Petri} nets},
booktitle = {Proceedings Concurrency, Specification {\&} Programming 2003},
year = {2003},
pages = {561-574},
address = {Czarna, Poland},
keywords = {model petrinet proj_mss}
Matthias Werner, Jan Richling, N. Milanovic, V. Stantchev, "Applying Composability to Dependable Embedded Systems", in Proceedings of the International Workshop on Dependable Embedded Systems at the 22nd Symposium on Reliable Distributed Systems (SRDS), 2003

@INPROCEEDINGS{WerEtAl:ApplyingComposability:2003,
author = {Matthias Werner and Jan Richling and N. Milanovic and V. Stantchev},
title = {{Applying Composability to Dependable Embedded Systems}},
booktitle = {Proceedings of the International Workshop on Dependable Embedded
Systems at the 22nd Symposium on Reliable Distributed Systems (SRDS)},
year = {2003},
keywords = {model composability}
Louchka Popova-Zeugmann, Matthias Werner, Jan Richling, "Using state-equation to prove non-reachability in Timed Petri nets", Fundamenta Informaticae, 55(2003)2, 187-202

@ARTICLE{PWR:StateEqDPN:2003,
author = {Louchka Popova-Zeugmann and Matthias Werner and Jan Richling},
title = {Using state-equation to prove non-reachability in {Timed} {Petri}
nets},
journal = {Fundamenta Informaticae},
year = {2003},
volume = {55},
pages = {187-202},
number = {2},
keywords = {model petrinet proj_mss}
Matthias Werner, "Aspektorientierung - Studie über den Einsatz von aspektorientiertem Systemdesign in sicherheitskritischen Systemen", Technical Report 2003-3, TU Berlin, 2003

@TECHREPORT{Wer:AOD:2003:TR,
author = {Matthias Werner},
title = {{Aspektorientierung - Studie über den Einsatz von aspektorientiertem
Systemdesign in sicherheitskritischen Systemen}},
institution = {TU Berlin},
year = {2003},
type = {{Forschungsbericht der Fakultät IV}},
number = {2003-3},
note = {ISSN 1436-9915},
keywords = {faulttolerance MDD}

2002

Louchka Popova-Zeugmann, Matthias Werner, Jan Richling, "A State Equation for Timed Petri nets", in Proceedings of Concurrency, Specification & Programming 2002, 2002

@INPROCEEDINGS{PWR:StateEqn:2002,
author = {Louchka Popova-Zeugmann and Matthias Werner and Jan Richling},
title = {A State Equation for {Timed} {Petri} nets},
booktitle = {Proceedings of Concurrency, Specification {\&} Programming 2002},
year = {2002},
address = {Berlin},
keywords = {model petrinet proj_mss}
Matthias Werner, Siegmar Sommer, Jan Richling, "The Balancing Robots - A Responsiveness Demonstrator", Technical Report 131, Institut für Informatik, Humboldt-Universität, 2002

@TECHREPORT{WSR:BalancingRobots:2002,
author = {Matthias Werner and Siegmar Sommer and Jan Richling},
title = {The Balancing Robots - A Responsiveness Demonstrator},
institution = {Institut für Informatik, Humboldt-Universität},
year = {2002},
type = {{Informatik Berichte}},
number = {131},
address = {Berlin},
keywords = {mobility realtime faulttolerance}
Jan Richling, Matthias Werner, Louchka Popova-Zeugmann, "Automatic Composition of Timed Petri net Specifications for a Real-Time Architecture", in Proceedings of 2002 IEEE International Conference on Robotics and Automation, 2002

@INPROCEEDINGS{RPW:Composition:2002,
author = {Jan Richling and Matthias Werner and Louchka Popova-Zeugmann},
title = {Automatic Composition of {Timed} {Petri} net Specifications for a
Real-Time Architecture},
booktitle = {Proceedings of 2002 IEEE International Conference on Robotics and
Automation},
year = {2002},
address = {Washington DC},
month = may,
keywords = {model compsability architecture realtime petrinet proj_mss}
Matthias Werner, Jan Richling, "Komponierbarkeit nichtfunktionaler Eigenschaften - Versuch einer Definition", in GI Fachtagung Betriebssysteme, 2002

@INPROCEEDINGS{WeRi:Composability:2002,
author = {Matthias Werner and Jan Richling},
title = {Komponierbarkeit nichtfunktionaler {E}igenschaften - {V}ersuch einer
{D}efinition},
booktitle = {GI Fachtagung Betriebssysteme},
year = {2002},
address = {Berlin},
keywords = {model composability proj_mss}
Jan Richling, Louchka Popova-Zeugmann, Matthias Werner, "Verification of Non-functional Properties of a Composable Architecture with Petri nets", Fundamenta Informaticae, 51(2002)1,2, 185-200

@ARTICLE{RPW:Verification:2002,
author = {Jan Richling and Louchka Popova-Zeugmann and Matthias Werner},
title = {Verification of Non-functional Properties of a Composable Architecture
with {Petri} nets},
journal = {Fundamenta Informaticae},
year = {2002},
volume = {51},
pages = {185-200},
number = {1,2},
keywords = {model composability architecture realtime petrinet proj_mss}

2001

Matthias Werner, Helmut Myritz, Uwe Düffert, Martin Lötzsch and Hans-Dieter Burkhard, "RoboCup-2000", in M. Veloso, E. Pagello, H.Kitano (ed.): , Springer,, 2001

@INBOOK{WerEtAl:HumboldtHeroes:2001,
chapter = {Humboldt Heroes},
title = {RoboCup-2000},
publisher = {Springer},
year = {2001},
editor = {M. Veloso and E. Pagello and H.Kitano},
author = {Matthias Werner and Helmut Myritz and Uwe Düffert and Martin Lötzsch
and Hans-Dieter Burkhard},
series = {LNAI},
keywords = {mobility operatingsys}
Matthias Werner, Cristian Oancea, Steffen Tschirpke, "Abschlussbericht zum Forschungsprojekt "`Dependability of a Telco-Platform"'", Technical Report , Institut für Informatik, Humboldt-Universität zu Berlin, 2001

@TECHREPORT{WOT:Telco:2001,
author = {Matthias Werner and Cristian Oancea and Steffen Tschirpke},
title = {Abschlussbericht zum Forschungsprojekt "`Dependability of a Telco-Platform"'},
institution = {Institut für Informatik, Humboldt-Universität zu Berlin},
year = {2001},
keywords = {faulttolerance operatingsys}
Jan Richling, Louchka Popova-Zeugmann, Matthias Werner, "Verification of Non-functional Properties of a Composable Architecture with Petri nets", in Proceedings of Concurency, Specification & Programming 2001, 2001

@INPROCEEDINGS{RPW:verification:2001,
author = {Jan Richling and Louchka Popova-Zeugmann and Matthias Werner},
title = {Verification of Non-functional Properties of a Composable Architecture
with {Petri} nets},
booktitle = {Proceedings of Concurency, Specification {\&} Programming 2001},
year = {2001},
keywords = {model composability petrinet proj_mss}

2000

Peter Ibach, Matthias Werner, "Technologische und strukturelle Voraussetzungen für den Einsatz von E-Commerce", in Euroforum Maintainance 2010, 2000

@INPROCEEDINGS{IbWe:eCommerce:2000,
author = {Peter Ibach and Matthias Werner},
title = {{T}echnologische und strukturelle {V}oraussetzungen für den {E}insatz
von {E-C}ommerce},
booktitle = {Euroforum Maintainance 2010},
year = {2000},
address = {Berlin},
keywords = {concepts}
Matthias Werner, "Responsivität - ein konsensbasierter Ansatz", WBI GmbH, 2000

@BOOK{Wer:Consensus:2000,
title = {Responsivität -- ein konsensbasierter Ansatz},
publisher = {WBI GmbH},
year = {2000},
author = {Matthias Werner},
keywords = {realtime faulttolerance concepts}
Matthias Werner, "Safe System-Level Diagnosis for Selected Fault Models", in Communication-Based Systems, 33-42, 2000

@INPROCEEDINGS{Wer:SystemDiagnosis:2000,
title = {Safe System-Level Diagnosis for Selected Fault Models},
booktitle = {Communication-Based Systems},
publisher = {Kluwer Academic Publishers},
year = {2000},
editor = {G. Hommel},
author = {Matthias Werner},
edition = {Dordrecht (Netherlands)},
isbn = {978-90-481-5399-2},
pages = {33--42},
keywords = {model faulttolerance}

1999

Hans-Dieter Burkhard, Matthias Werner, Frank Winkler et. al., "RoboCup-99: Robot Soccer World Cup III", in M. Veloso, E. Pagello, H.Kitano (ed.): , Springer Verlag,, 1999

@INBOOK{BurEtAl:HumboldtHeroes:1999,
chapter = {Humboldt Heroes in RoboCup-99},
title = {RoboCup-99: Robot Soccer World Cup III},
publisher = {Springer Verlag},
year = {1999},
editor = {M. Veloso and E. Pagello and H.Kitano},
author = {Hans-Dieter Burkhard and Matthias Werner and Frank Winkler et. al.},
series = {LNAI},
keywords = {mobility operatingsys}
Holger Karl, Andreas Polze, Matthias Werner, "A Flexible, Distributed I/O-based Framework for Improved Fault Tolerance of Legacy Software", Technical Report 118, Institut für Informatik, Humboldt-Universität, 1999

@TECHREPORT{KPM:FTDIO:1999:TR,
author = {Holger Karl and Andreas Polze and Matthias Werner},
title = {A Flexible, Distributed I/O-based Framework for Improved Fault Tolerance
of Legacy Software},
institution = {Institut für Informatik, Humboldt-Universität},
year = {1999},
type = {Informatik-Bericht},
number = {118},
keywords = {faulttolerance}
Hans-Dieter Burkhard, M. Ritzschke, Matthias Werner et.al., "The Humboldt Heroes: Controlling Sony Legged Robots using BDI", in RoboCup 99, 1999

@INPROCEEDINGS{BurEtAl:RoboCup99:1999,
author = {Hans-Dieter Burkhard and M. Ritzschke and Matthias Werner et.al.},
title = {The Humboldt Heroes: Controlling Sony Legged Robots using BDI},
booktitle = {RoboCup 99},
year = {1999},
keywords = {mobility operatingsys cyberps}

1998

Holger Karl, Matthias Werner, Lars Küttner, "Experimental investigation of message latencies in the Totem protocol in the presence of faults", in IEE Proceedings Softw., 1-9, 1998

@INPROCEEDINGS{KWK:TotemLatencies:1998,
author = {Holger Karl and Matthias Werner and Lars Küttner},
title = {Experimental investigation of message latencies in the Totem protocol
in the presence of faults},
booktitle = {IEE Proceedings Softw.},
year = {1998},
pages = {1-9},
address = {Inst. f. Informatik, Humboldt-Universität zu Berlin},
month = dec,
keywords = {faulttolerance}
Holger Karl, Matthias Werner, Lars Küttner, "An Experimental Investigation of Message Latencies in the Totem Protocol in the Presence of Faults", in Proceedings of Euromicro '98, 468-475, 1998

@INPROCEEDINGS{KWK:Totem:1998,
author = {Holger Karl and Matthias Werner and Lars Küttner},
title = {An Experimental Investigation of Message Latencies in the Totem Protocol
in the Presence of Faults},
booktitle = {Proceedings of Euromicro '98},
year = {1998},
pages = {468-475},
address = {VästerÃ¥s, Sweden},
month = aug,
keywords = {faulttolerance}

1997

Holger Karl, Matthias Werner, "An Optimal Checkpointing Interval for Real-Time Systems", Technical Report 92, Institut für Informatik, Humboldt-Universität, 1997

@TECHREPORT{KaWe:Checkpoint:1997:TR,
author = {Holger Karl and Matthias Werner},
title = {An Optimal Checkpointing Interval for Real-Time Systems},
institution = {Institut für Informatik, Humboldt-Universität},
year = {1997},
number = {92},
address = {Berlin},
keywords = {realtime faulttolerance faulttolerance}
Andreas Polze, Matthias Werner, Gerhard Fohler, "Predictable Network Computing", in Proceedings of the 17th International Conference on Distributed Computing Systems (ICDCS'97), 423-431, 1997

@INPROCEEDINGS{PWF:Predictable:1997,
author = {Andreas Polze and Matthias Werner and Gerhard Fohler},
title = {Predictable Network Computing},
booktitle = {Proceedings of the 17th International Conference on Distributed Computing
Systems (ICDCS'97)},
year = {1997},
pages = {423-431},
keywords = {model}
Holger Karl, Matthias Werner, "An Optimal Checkpointing Interval for Real-Time Systems", in Proc. of Intl. Conf. Parallel and Distributed Processing Techniques and Applications, 604-612, 1997

@INPROCEEDINGS{KaWe:Checkpoint:1997,
author = {Holger Karl and Matthias Werner},
title = {An Optimal Checkpointing Interval for Real-Time Systems},
booktitle = {Proc.\ of Intl.\ Conf.\ Parallel and Distributed Processing Techniques
and Applications},
year = {1997},
editor = {Arabnia, H. R.},
pages = {604-612},
address = {Las Vegas, NV},
month = jul,
keywords = {realtime model faulttolerance}
Matthias Werner, Holger Karl, "Towards a Definition of Responsiveness", Technical Report 91, Institut für Informatik, Humboldt-Universität, 1997

@TECHREPORT{WeKa:Responsiveness:1997:TR,
author = {Matthias Werner and Holger Karl},
title = {Towards a Definition of Responsiveness},
institution = {Institut für Informatik, Humboldt-Universität},
year = {1997},
type = {Informatik-Berichte},
number = {91},
address = {Berlin},
keywords = {realtime concepts}
Holger Karl, Andreas Polze, Matthias Werner, "Predictable Network Computing using Message-driven Scheduling", in Proceedings of the Workshop on Run-Time Systems for Parallel Programming, 1-10, 1997

@INPROCEEDINGS{KPW:MessDriven:1997,
author = {Holger Karl and Andreas Polze and Matthias Werner},
title = {Predictable Network Computing using Message--driven Scheduling},
booktitle = {Proceedings of the Workshop on Run-Time Systems for Parallel Programming},
year = {1997},
number = {IR-417},
series = {Tech. Report of the Vrije Universitaet Amsterdam},
pages = {1-10},
keywords = {faulttolerance architecture scheduling proj_mss}
Matthias Werner, "There is no Hard Real-Time", in 27th Fault-Tolerant Computing Symposium, 1997

@INPROCEEDINGS{Wer:NoRealTime:1997,
author = {Matthias Werner},
title = {There is no Hard Real-Time},
booktitle = {27th Fault-Tolerant Computing Symposium},
year = {1997},
series = {Outrageous opinion},
address = {Seattle},
keywords = {realtime concepts}
Holger Karl, Matthias Werner, "An Experimental Investigation of Message Latencies in the Totem Protocol in the Presence of Faults", Technical Report 93, Institut für Informatik, Humboldt-Universität, 1997

@TECHREPORT{KaWe:Totem:1997:TR,
author = {Holger Karl and Matthias Werner},
title = {An Experimental Investigation of Message Latencies in the Totem Protocol
in the Presence of Faults},
institution = {Institut für Informatik, Humboldt-Universität},
year = {1997},
type = {Informatik-Berichte},
number = {93},
address = {Berlin},
keywords = {faulttolerance}

1996

Andreas Polze, Matthias Werner, Miroslaw Malek, "High-Performance Responsive Computing with CORE and SONiC", Technical Report 75, Institut für Informatik, Humboldt-Universität, 1996

@TECHREPORT{PWM:CoreSonic:1996:TR,
author = {Andreas Polze and Matthias Werner and Miroslaw Malek},
title = {{High-Performance Responsive Computing with CORE and SONiC}},
institution = {Institut für Informatik, Humboldt-Universität},
year = {1996},
type = {Informatik-Berichte},
number = {75},
keywords = {faulttolerance architecture}
Matthias Werner, "Das robuste Orchester - Fehlertoleranz und Echtzeitfähigkeit unter NeXTStep", unix/mail, 14(1996)2, 81-86

@ARTICLE{Wer:Orchestra:1996,
author = {Matthias Werner},
title = {{Das robuste Orchester - Fehlertoleranz und Echtzeitfähigkeit unter
NeXTStep }},
journal = {unix/mail},
year = {1996},
volume = {14},
pages = {81-86},
number = {2},
keywords = {faulttolerance realtime}
Matthias Werner, Miroslaw Malek, "The Unstoppables - Responsiveness by Consensus", Technical Report 90, Institut für Informatik, Humboldt-Universität, 1996

@TECHREPORT{WeMa:Unstoppables:1996:TR,
author = {Matthias Werner and Miroslaw Malek},
title = {The Unstoppables - Responsiveness by Consensus},
institution = {Institut für Informatik, Humboldt-Universität},
year = {1996},
type = {Informatik-Berichte},
number = {90},
month = dec,
keywords = {realtime faulttolerance}
Matthias Werner, Andreas Polze, Miroslaw Malek, "The Unstoppable Orchestra: A Responsive Distributed Application", in Proceedings of the 3rd International Conference on Configurable Distributed Systems (ICCDS '96), 154-160, 1996

@INPROCEEDINGS{WPM:Orchestra:1996,
author = {Matthias Werner and Andreas Polze and Miroslaw Malek},
title = {The Unstoppable Orchestra: A Responsive Distributed Application},
booktitle = {Proceedings of the 3rd International Conference on Configurable Distributed
Systems (ICCDS '96)},
year = {1996},
pages = {154-160},
keywords = {realtime faulttolerance}
Matthias Werner, "Replikation in CORE", Technical Report , Graduiertenkolleg "`Kommunikationsbasierte Systeme"', 1996

@TECHREPORT{Wer:replikation:1996,
author = {Matthias Werner},
title = {Replikation in {CORE}},
institution = {Graduiertenkolleg "`Kommunikationsbasierte Systeme"'},
year = {1996},
keywords = {realtime faulttolerance architecture}

1995

Miroslaw Malek, Andreas Polze, Matthias Werner, "A Framework for Responsive Parallel Computing in Network-based Systems", in Proceedings of International Workshop on Advanced Parallel Processing Technologies, 1995

@INPROCEEDINGS{MPW:CORE:1995,
author = {Miroslaw Malek and Andreas Polze and Matthias Werner},
title = {A Framework for Responsive Parallel Computing in Network-based Systems},
booktitle = {Proceedings of International Workshop on Advanced Parallel Processing
Technologies},
year = {1995},
address = {Bejing, China},
month = sep,
keywords = {architecture}

Prof. Dr.-Ing. habil. Matthias Werner

Contact

Research interests

Dictum of the day

Vita

Publications