Scientific Publications
Our publicly available publications are available here, sortable for title (alphabet) and year.
In addition, the search field gives you the opportunity to browse our publications database with your own selection criteria. You can search for example by author, title, text content, or booktitle.
Title
Modelling and Synthesis of Communication Using OSSS-Channels
Booktitle
Tagungsband: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
All authors
Grüttner, Kim; Grabbe, Cornelia; Oppenheimer, Frank; Nebel, Wolfgang
Year
2006
Title
Intelligentes Powermanagement
Title of Conference
VDI/VDE/IT-Workshop
All authors
Nebel, Wolfgang; Helms, Domenik
Year
2006
Title
Low-Power-Entwurfsmethoden für mobile Systeme
All authors
Hillers, Mark; Schulte, Milan; Nebel, Wolfgang; Pferdmenges, Ralf
Year
2006
Title
Analysis of Large Safety-Critical Systems: A quantitative Approach
Booktitle
AVACS Technical Report
All authors
Herbstritt, Marc; Wimmer, Ralf; Peikenkamp, Thomas; Böde, Eckard; Adelaide, Michael; Johr, Sven; Hermanns, Holger; Becker, Bernd
Year
2006
Title
Ein umfassendes Umgebungsmodell als Integrationsstrategie für ortsbezogene Daten und Dienste
All authors
Daniela Nicklas
Year
2006
Title
Task-orientierte Anwendungen in einer Smart Factory
Booktitle
Mobile Informationssysteme - Potentiale, Hindernisse, Einsatz. Proc. {MMS'06}
All authors
Wieland, Matthias; Jendoubi, Lamine; Nicklas, Daniela; Leymann, Frank; Dürr Frank
Year
2006
Title
Component based design of embedded automotive systems
Title of Conference
Automatisierungs-, Assistenzsysteme und eingebettete >> Systeme für Transportmittel
All authors
Werner Damm
Year
2006
Title
Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis
Booktitle
Proceedings of the 2006 IEEE Design and Diagnostics of Electronic Circuits and systems
Title of Conference
DDECS '06
All authors
Eisinger, Jochen; Polian, Ilja; Becker, Bernd; Thesing, Stephan; Wilhelm, Reinhard; Metzner, Alexander
Year
2006
Title
Concurrent LSC Verification
Title of Conference
5th International Workshop on Automated Verification of Critical Systems (AVoCS 2005)
All authors
Toben, Tobe; Westphal, Bernd
Year
2006
Title
Adding Value to automotive models
Booktitle
Automotive Software - Connected Services in Mobile Networks
Title of Conference
ARTIST and NSF Workshop on Automotive Software Development
All authors
Eckard Böde; Werner Damm; Jarl Hoyem; Bernhard Josko; Jürgen Niehaus; Marc Segelken
Year
2006
Title
Kontrollierte Experimente zum Einsatz von UML in der Lehre
Booktitle
M-WISE: Modellierung wissensintensiver Prozesse im Software Engineering
All authors
Bischofs, Ludger; Hasselbring, Wilhelm; Thaden, Eike
Year
2006
Title
Die KMDL-SE als UML-Erweiterung
Booktitle
M-WISE: Modellierung wissensintensiver Prozesse im Software Engineering
All authors
Bischofs, Ludger; Hasselbring, Wilhelm; Thaden, Eike
Year
2006
Title
Research Methods in Software Engineering
All authors
Hasselbring, Wilhelm; Giesecke, Simon
Year
2006
Title
Migration von Altsystemen zu dienstorientierten Architekturen
Booktitle
Handbuch der Software Architektur
All authors
Krieghoff, Stafan; Hasselbring, Wilhelm; Reussner, Ralf
Year
2006
Title
M-Wise: Modellierung wissensintensiver Prozesse im Software Engineering
All authors
Gronau, Norbert; Hasselbring, Wilhelm
Year
2006
Title
Bewertungstechniken für die Performanz
Booktitle
Handbuch der Software-Architektur
All authors
Koziolek, Heiko; Firus, Viktoria; Becker, Steffen; Reussner, Ralf
Year
2006
Title
Architekturbeschreibung
Booktitle
Handbuch der Software-Architektur
All authors
Behrens, Jan; Giesecke, Simon; Matevka, Jasminka; Jost, Henning; Schreier, Ulf
Year
2006
Title
Informationsbeschaffung in Softwareentwicklungs-Unternehmen aus Sicht des Wissensmanagements
Booktitle
M-WISE: Modellierung wissensintensiver Prozesse im Software Engineering
All authors
Bischofs, Ludger; Hasselbring, Wilhelm; Thaden, Eike
Year
2006
Title
Online-Umfrage: Wissensmanagement in der Softwareentwicklung
Booktitle
M-WISE: Modellierung wissensintensiver Prozesse im Software Engineering
All authors
Bischofs, Ludger; Hasselbring, Wilhelm; Thaden, Eike
Year
2006
Title
Literatursurvey zum Einsatz rollenorientierter Modellierung im Software
Booktitle
M-WISE: Modellierung wissensintensiver Prozesse im Software Engineering
All authors
Bischofs, Ludger; Hasselbring, Wilhelm; Hindersmann, Knut; Thaden, Eike
Year
2006
Title
Ein Verfahren zur Verifikation hochkomplexer Randbedingungen beim IC-Entwurf
Booktitle
Tagungsband der ANALOG 2006
All authors
Freuer, Jan; Jerke, G.; Schäfer, A.; Hahn, K.; Brück, R.; Nassaj, A.; Nebel, W.
Year
2006
Title
Information hiding in the join calculus
Booktitle
Proceedings of the 11th Annual Asian Computing Science Conference
All authors
Ma, Qin; Maranget, Luc
Year
2006