Matthias Werner

61 papers A* 2A 2B 2C 6Misc 1Journal 14Unranked 31

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