Professur Betriebssysteme
  • Anmelden

Veröffentlichungen

Bitte beachten: Einträge vor 2000 sind möglicherweise nicht vollständig.
    2009

  1. 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) (BibTeX)
  2. 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 (BibTeX)
  3. 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 (BibTeX)
  4. Matthias Werner, "Editorial of Special Issue on Distributed and Self-organising Systems", Embedded and Self-Organizing Systems, (2009) (BibTeX)
  5. Martin Däumler, Dirk Müller, "A programming abstraction for motion-aware applications running on distributed systems of mobile components", in CAMS '09: Proceedings of the 1st International Workshop on Context-Aware Middleware and Services, 67-72, 2009 (BibTeX)
  6. 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 (BibTeX)
  7. 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 (BibTeX)
  8. Matthias Werner, Jan Richling, Gero Mühl, "Abstraktionen für verteilte mobile Systeme", in Proceedings of the KuVS Workshop Ortsbezogene Anwendungen und Dienste, 2009 (BibTeX)


    9. 2008

  9. Aaron Ruß, Wolfgang Hesse, Dirk Müller, "Ambient Information Systems - Do They Open a New Quality of IS?", in SIGSAND-EUROPE 2008, 93-107, 2008 (BibTeX)
  10. Michael Bölker, Thomas Engel, Mathias Gutmann, Ulrike Henckel, Wolfgang Hesse, Dirk Müller, Benjamin Rathgeber, Aaron Ruß, Tareq Syed, "MeBIT - an interdisciplinary project on "`information"' metaphors and their impact on the idea of man", in SIGSAND-EUROPE 2008, 113-115, 2008 (BibTeX)
  11. Wolfgang Hesse, Dirk Müller, Aaron Ruß, "Information, information systems, information society - interpretations and implication", Poiesis & Praxis: International Journal of Technology Assessment and Ethics of Science, 5(2008)3/4, 159-183 (BibTeX)
  12. 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 (BibTeX)
  13. Dirk Müller, Wolfgang Hesse, Aaron Ruß, "Metaphors for and originating from the Informatics Domain", in ECAP 2008, 39, 2008 (BibTeX)
  14. 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 (BibTeX)
  15. Dirk Müller, Aaron Ruß, Wolfgang Hesse, "Communication without sender or receiver? On virtualisation in the information process", Poiesis & Praxis: International Journal of Technology Assessment and Ethics of Science, 5(2008)3/4, 185-192 (BibTeX)
  16. Michael C. Jaeger, Matthias Werner, "Web Services Dependability", in Khaled Kahn (Hrsg.): Managing Web Services Quality: Measuring Outcomes and Effectiveness, 2008 (BibTeX)
  17. Matthias Werner, Dirk Müller, Martin Däumler, Jan Richling, 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 (BibTeX)
  18. Michael A. Jaeger, Gero Mühl, Matthias Werner, Helge Parzyjegla, Hans-Ulrich Heiss, "Algorithms for Reconfiguring Self-Stabilizing Publish/Subscribe Systems", in Autonomous Systems - Self-Organisation, Management, and Control, 2008 (BibTeX)
  19. Tom Mens, Gabriele Taentzer, Dirk Müller, "Model-Driven Software Refactoring", in J. Rech and C. Bunse (Hrsg.): Model-Driven Software Development: Integrating Quality Assurance, 2008 (BibTeX)
  20. 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 (BibTeX)
  21. 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 (BibTeX)


    22. 2007

  22. Gero Mühl, Matthias Werner, Michael A. Jaeger, Klaus Herrmann, Helge Parzyjegla, "On the Definitions of Self-Managing and Self-Organizing Systems", in KiVS 2007 Workshop: Selbstorganisierende, Adaptive, Kontextsensitive verteilte Systeme (SAKS 2007), 2007 (BibTeX)
  23. Matthias Werner, Gero Mühl, Helge Parzyjegla, Hans-Ulrich Heiss, "Betriebssystemunterstützung für verteilte Anwendungen in realer Raumzeit", in ITG KuVS'07, 2007 (BibTeX)


    24. 2006

  24. 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 (BibTeX)
  25. Matthias Werner, "A Framework to Find Optimal IRIS Schedules", Journal of Control and Cybernetics, 35(2006)3, 703-719 (BibTeX)
  26. 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 (BibTeX)
  27. 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 (BibTeX)
  28. 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 (BibTeX)


    29. 2005

  29. Louchka Popova-Zeugmann, Matthias Werner, "Extreme Runtimes of Schedules Modelled by Time Petri Nets", Fundamenta Informaticae, 67(2005), 163-174 (BibTeX)
  30. Matthias Werner, "Using Timed Petri nets To Solve IRIS Scheduling Optimization", in International Federation of Operational Research Societies (IFORS) Conference, 2005 (BibTeX)


    31. 2004

  31. 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 (BibTeX)
  32. Matthias Werner, Louchka Popova-Zeugmann, Jan Richling, "A Method to prove Non-reachability in Prioritized Duration Petri nets", Fundamentae Informaticae, 61(2004)3,4, 351-368 (BibTeX)
  33. 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 (BibTeX)
  34. Georg-Wilhelm Werner, Matthias Werner, "Systematische Schwachstellenbekämpfung statt routingmäßiger Instandhaltung", in SAP PM für EVU,, 2004 (BibTeX)


    35. 2003

  35. 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 (BibTeX)
  36. Matthias Werner, Louchka Popova-Zeugmann, Jan Richling, "Non-Reachability in Priority Duration Petri nets", in Proceedings Concurrency, Specification & Programming 2003, 561-574, 2003 (BibTeX)
  37. 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 (BibTeX)
  38. Matthias Werner, "Aspektorientierung - Studie über den Einsatz von aspektorientiertem Systemdesign in sicherheitskritischen Systemen", Forschungsbericht 2003-3, TU Berlin, 2003 (BibTeX)


    39. 2002

  39. Louchka Popova-Zeugmann, Matthias Werner, Jan Richling, "A State Equation for Timed Petri nets", in Proceedings of Concurrency, Specification & Programming 2002, 2002 (BibTeX)
  40. 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 (BibTeX)
  41. Matthias Werner, Jan Richling, "Komponierbarkeit nichtfunktionaler Eigenschaften - Versuch einer Definition", in GI Fachtagung Betriebssysteme, 2002 (BibTeX)
  42. 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 (BibTeX)
  43. Winfried Kalfa, Reinhold Kroeger, Frank Koehler, "Integrating Simulators and Real-Life Experiments into an XML-based Teaching and Learning Platform", in World Conference on Educational Multimedia, Hypermedia and Telecommunications, 902-907, 2002 (BibTeX)
  44. Matthias Werner, Siegmar Sommer, Jan Richling, "The Balancing Robots - A Responsiveness Demonstrator", Forschungsbericht 131, Institut für Informatik, Humboldt-Universität, 2002 (BibTeX)
  45. Winfried Kalfa, "Wieviel Informatik braucht die Schule?", in Workshop "`Konzepte zur informatischen Bildung an allgemein bildenden und berufsbildenen Schulen"', 2002 (BibTeX)
  46. Winfried Kalfa, Elke Wällnitz, Volker Fickert, "Möglichkeiten von Simulationen und virtuellen Praktika in der Präsenzlehre des Lehrgebietes Betriebsysteme durch e-Learning", in Von e-Learning bis e-Payment: Leipziger Informatiktage'02, 2002 (BibTeX)
  47. Elke Wällnitz, "Eine neue Fachrichtung am beruflichen Gymnasium - Ergebnisse und Perspektiven eines Schulversuches", in Workshop "`Konzepte zur informatischen Bildung an allgemein bildenden und berufsbildenden Schulen"', 2002 (BibTeX)


    48. 2001

  48. 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 (BibTeX)
  49. Matthias Werner, Cristian Oancea, Steffen Tschirpke, "Abschlussbericht zum Forschungsprojekt "`Dependability of a Telco-Platform"'", Forschungsbericht , Institut für Informatik, Humboldt-Universität zu Berlin, 2001 (BibTeX)
  50. Matthias Werner, Helmut Myritz, Uwe Düffert, Martin Lötzsch, Hans-Dieter Burkhard, "RoboCup-2000", in M. Veloso and E. Pagello and H.Kitano (Hrsg.): RoboCup-2000, Springer, 2001 (BibTeX)
  51. Stefan Ludwig, Winfried Kalfa, "File System Encryption with Integrated User Management", Operating Systems Review, 35(2001)4 (BibTeX)


    52. 2000

  52. Robert Baumgartl, Ingo Oeser, Daniel Schreiber, Michael Schwindt, "DSP Accelerator Support for Linux", in Proceedings of ICSPAT'2000, 2000 (BibTeX)
  53. Robert Baumgartl, Ingo Oeser, Daniel Schreiber, Michael Schwindt, "Signalprozessoren als Koprozessoren für Linux", in PEARL 2000 - Echtzeitbetriebssysteme und Linux, 2000 (BibTeX)
  54. Peter Ibach, Matthias Werner, "Technologische und strukturelle Voraussetzungen für den Einsatz von E-Commerce", in Euroforum Maintainance 2010, 2000 (BibTeX)
  55. Matthias Werner, "Responsivität - ein konsensbasierter Ansatz", WBI GmbH, 2000
    (BibTeX)
  56. Matthias Werner, "Communication-Based Systems", in G. Hommel (Hrsg.): Communication-Based Systems, Kluwer Academic Publishers, 2000 (BibTeX)


    57. 1999

  57. Frank Schubert, Kevin Brem, "An Object-Oriented, Dynamically Adaptable, Virtual File System for CHEOPS", in Proceedings of 2nd ECOOP Workshop on Object-Orientation and Operating System, 1999 (BibTeX)
  58. Holger Karl, Andreas Polze, Matthias Werner, "A Flexible, Distributed I/O-based Framework for Improved Fault Tolerance of Legacy Software", Forschungsbericht 118, Institut für Informatik, Humboldt-Universität, 1999 (BibTeX)
  59. Hans-Dieter Burkhard, M. Ritzschke, Matthias Werner et.al., "The Humboldt Heroes: Controlling Sony Legged Robots using BDI", in RoboCup 99, 1999 (BibTeX)
  60. Hans-Dieter Burkhard, Matthias Werner, Frank Winkler et. al., "RoboCup-99: Robot Soccer World Cup III", in M. Veloso and E. Pagello and H.Kitano (Hrsg.): RoboCup-99: Robot Soccer World Cup III, Springer Verlag, 1999 (BibTeX)


    61. 1998

  61. 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 (BibTeX)
  62. 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 (BibTeX)


    63. 1997

  63. 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 (BibTeX)
  64. 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 (BibTeX)
  65. Frank Schubert, "A reflective Architecture for an adaptable object-oriented Operating Systems based on C++", in Workshop Object Orientation and Operating Systems on the European Conference on Object-Oriented Programming 1997, 515-522, 1997 (BibTeX)
  66. Matthias Werner, "There is no Hard Real-Time", in 27th Fault-Tolerant Computing Symposium, 1997 (BibTeX)
  67. Holger Karl, Matthias Werner, "An Optimal Checkpointing Interval for Real-Time Systems", Forschungsbericht 92, Institut für Informatik, Humboldt-Universität, 1997 (BibTeX)
  68. 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 (BibTeX)
  69. Holger Karl, Matthias Werner, "An Experimental Investigation of Message Latencies in the Totem Protocol in the Presence of Faults", Forschungsbericht 93, Institut für Informatik, Humboldt-Universität, 1997 (BibTeX)
  70. Matthias Werner, Holger Karl, "Towards a Definition of Responsiveness", Forschungsbericht 91, Institut für Informatik, Humboldt-Universität, 1997 (BibTeX)


    71. 1996

  71. 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 (BibTeX)
  72. Matthias Werner, Miroslaw Malek, "The Unstoppables - Responsiveness by Consensus", Forschungsbericht 90, Institut für Informatik, Humboldt-Universität, 1996 (BibTeX)
  73. Matthias Werner, "Das robuste Orchester - Fehlertoleranz und Echtzeitfähigkeit unter NeXTStep", unix/mail, 14(1996)2, 81-86 (BibTeX)
  74. Andreas Polze, Matthias Werner, Miroslaw Malek, "High-Performance Responsive Computing with CORE and SONiC", Forschungsbericht 75, Institut für Informatik, Humboldt-Universität, 1996 (BibTeX)
  75. Matthias Werner, "Replikation in CORE", Forschungsbericht , Graduiertenkolleg "`Kommunikationsbasierte Systeme"', 1996 (BibTeX)


    76. 1995

  76. 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 (BibTeX)