Matthias Werner

Orcid: 0000-0002-3963-2246

Affiliations:
  • Chemnitz University of Technology, Faculty of Computer Science, Germany
  • Humboldt University of Berlin, Unter den Linden, Germany


According to our database1, Matthias Werner authored at least 60 papers between 1996 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Formal analysis of timeliness in the RaSTA protocol.
Proceedings of the 17th Conference on Computer Science and Intelligence Systems, 2022

Heuristic Risk Treatment for ISO/SAE 21434 Development Projects.
Proceedings of the 17th Conference on Computer Science and Intelligence Systems, 2022

2021
Following the White Rabbit: Integrity Verification Based on Risk Analysis Results.
Proceedings of the CSCS '21: Computer Science in Cars Symposium, 2021

2020
Verification of Integrity in Vehicle Architectures.
Proceedings of the NISS 2020: The 3rd International Conference on Networking, Information Systems & Security, Marrakech, Morocco, March 31, 2020

2019
Dynamic Composition of Cyber-Physical Systems.
Proceedings of the 52nd Hawaii International Conference on System Sciences, 2019

A New Definition of Composition of LTIHA.
Proceedings of the 28th International Workshop on Concurrency, 2019

2018
Superposition Principle in Composable Hybrid Automata.
Fundam. Informaticae, 2018

Dynamic vehicle software with AUTOCONT.
Proceedings of the 55th Annual Design Automation Conference, 2018

Compositional Expressiveness of Hybrid Models.
Proceedings of the 27th International Workshop on Concurrency, 2018

2017
Dynamic Paging Method Switching - An Implementation for KVM.
Proceedings of the High Performance Computing, 2017

Doktorandensymposium.
Proceedings of the 47. Jahrestagung der Gesellschaft für Informatik, 2017

2016
Ituitionistic Fuzzy Estimation of the Generalized Nets Model of Spatial-Temporal Group Scheduling Problems.
Proceedings of the Imprecision and Uncertainty in Information Representation and Processing, 2016

Configurable Fault Trees.
Proceedings of the Software Engineering for Resilient Systems - 8th International Workshop, 2016

Adaptive cyber-physical systems with interpreted operating system kernels.
Proceedings of the 5th Mediterranean Conference on Embedded Computing, 2016

Considering Superposition in the Composable Hybrid Automata.
Proceedings of the 25th International Workshop on Concurrency, 2016

2015
Bi-Level Deadline Scaling for Admission Control in Mixed-Criticality Systems.
Proceedings of the 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2015

Cyber-physical operating systems - What are the right abstractions?
Proceedings of the 4th Mediterranean Conference on Embedded Computing, 2015

WAP: What activates a bug? A refinement of the Laprie terminology model.
Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

Considering Concurrency in Early Spacecraft Design Studies.
Proceedings of the 24th International Workshop on Concurrency, 2015

2014
A Holistic State Equation for Timed Petri Nets.
Fundam. Informaticae, 2014

2013
A Note on "New Strategies for Assigning Real-Time Tasks to Multiprocessor Systems".
IEEE Trans. Computers, 2013

Modeling Group Scheduling Problems in Space and Time by Timed Petri Nets.
Fundam. Informaticae, 2013

Reducing startup time of a deterministic virtualizing runtime environment.
Proceedings of the International Workshop on Software and Compilers for Embedded Systems, 2013

Programming and Managing the Swarm - An Operating System for an Emerging System of Mobile Devices.
Proceedings of the IEEE 9th International Conference on Mobile Ad-hoc and Sensor Networks, 2013

A conservative real-time garbage collector for C/C++ running on top of RTEMS.
Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013

Quantifying the advantage of EDF vs. RMS schedulability on a uniprocessor using a differential analysis and a power-law total utilization distribution.
Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013

2012
Optimierung der Code-Generierung virtualisierender Ausführungsumgebungen zur Erzielung deterministischer Ausführungszeiten zur Erzielung deterministischer Ausführungszeiten.
Proceedings of the Kommunikation unter Echtzeitbedingungen, 2012

2011
REBECA - eine autonome Publish/Subscribe Middleware.
Prax. Inf.verarb. Kommun., 2011

Genealogy of hard real-time preemptive scheduling algorithms for identical multiprocessors.
Central Eur. J. Comput. Sci., 2011

Improved Heuristics for Partitioned Multiprocessor Scheduling Based on Rate-Monotonic Small-Tasks.
Proceedings of the 19th International Conference on Real-Time and Network Systems, 2011

Context-Aware Annotations for Distributed Mobile Applications.
Proceedings of the ARCS 2011, 2011

Emergence in Action.
Proceedings of the Organic Computing - A Paradigm Shift for Complex Systems, 2011

2010
Entwicklung einer echtzeitfähigen CLI-Laufzeitumgebung für den Einsatz in der Automatisierungstechnik.
Proceedings of the Eingebettete Systeme, 2010

Two Abstractions for Distributed Systems of Mobile Nodes.
Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010

Event-driven processor power management.
Proceedings of the 1st International Conference on Energy-Efficient Computing and Networking, 2010

A Scheduling Approach for Efficient Utilization of Hardware-Driven Frequency Scaling.
Proceedings of the ARCS '10, 2010

An Object-Oriented and Context-Aware Approach for Distributed Mobile Applications.
Proceedings of the ARCS '10, 2010

2009
Towards Energy-Aware Multi-Core Scheduling.
Prax. Inf.verarb. Kommun., 2009

Raum-Zeit-Constraints als Programmierabstraktion für Anwendungen in mobilen verteilten Systemen.
Proceedings of the Software-intensive verteilte Echtzeitsysteme, 2009

2008
Autonomie in IT-Systemen. Ein Konzeptionelles Modell.
Prax. Inf.verarb. Kommun., 2008

Operating system support for distributed applications in real space-time.
Proceedings of the CSTST 2008: Proceedings of the 5th International Conference on Soft Computing as Transdisciplinary Science and Technology, 2008

WCET-Analyseverfahren in der automobilen Softwareentwicklung.
Proceedings of the Aktuelle Anwendungen in Technik und Wirtschaft, 2008

Algorithms for Reconfiguring Self-Stabilizing Publish/Subscribe Systems.
Proceedings of the Autonomous Systems, 2008

An Application of the (max, +) Algebra to Information Flow Security.
Proceedings of the Seventh International Conference on Networking (ICN 2008), 2008

2006
A Methodology for Classifying Self-Organizing Software Systems.
Int. Trans. Syst. Sci. Appl., 2006

Non-reachability in Petri Nets with Delaying Places.
Proceedings of the 14th International Symposium on Modeling, 2006

A State Equation for Petri Nets with Delaying Places.
Proceedings of the 13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 2006

Reconfiguring Self-stabilizing Publish/Subscribe Systems.
Proceedings of the Large Scale Management of Distributed Systems, 2006

2005
Extreme Runtimes of Schedules Modelled by Time Petri Nets.
Fundam. Informaticae, 2005

2004
A Method to Prove Non-Reachability in Priority Duration Petri Nets.
Fundam. Informaticae, 2004

2003
Using State Equation to Prove Non-Reachability in Timed Petrinets.
Fundam. Informaticae, 2003

2002
Verification of Non-functional Properties of a Composable Architecture with Petrinets.
Fundam. Informaticae, 2002

Automatic Composition of Timed Petrinet Specifications for a Real-Time Architecture.
Proceedings of the 2002 IEEE International Conference on Robotics and Automation, 2002

2000
Responsivität: ein konsensbasierter Ansatz.
PhD thesis, 2000

Humboldt Heroes.
Proceedings of the RoboCup 2000: Robot Soccer World Cup IV, 2000

1999
Humboldt Hereos in RoboCup-99.
Proceedings of the RoboCup-99: Robot Soccer World Cup III, 1999

1998
Experimental investigation of message latencies in the Totem protocol in the Presence of faults.
IEE Proc. Softw., 1998

An Experimental Investigation of Message Latencies in the Totem Protocol in the Presence of Faults.
Proceedings of the 24th EUROMICRO '98 Conference, 1998

1997
Predictable Network Computing.
Proceedings of the 17th International Conference on Distributed Computing Systems, 1997

1996
The Unstoppable Orchestra: a responsive distributed application.
Proceedings of the Third International Conference on Configurable Distributed Systems, 1996


  Loading...