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
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
Title
Human Performance Modellierung mit interoperablen kognitiven Agenten
Booktitle
48. Fachausschusssitzung Anthropotechnik der Deutschen Gesellschaft für Luft- und Raumfahrt e.V., Cognitive Systems Engineering in der Fahrzeug- und Prozessführung, , 24.-25. Oktober 2006, Fraunhofer-IITB, Karlsruhe
All authors
Leuchter, S.; Lüdtke, A.; Urbas, L.
Year
2006
Title
Human Modeling and Complexity
Booktitle
Proceedings of the International Conference on Human-Computer Interaction in Aeronautics (HCI-Aero 06)
All authors
Javaux, D.; Lüdtke, A.; Polson, P.; Reuzeau, F.; Sarter, N.
Year
2006
Title
A Secure Semantic Interoperability Infrastructure for Inter-Enterprise Sharing of Electronic Healthcare Records
All authors
Boniface, Mike; Watkins, E. Rowland; Saleh, Ahmed; Dogac, Asuman; Eichelberg, Marco
Year
2006
Title
Web 2.0 and Multimedia: Hype, Challenge Synergy.
Booktitle
ACM International Conference on Multimedia 2006
All authors
Chang, Ed; Davis, Marc; Schmitz, Patrick; Boll, Susanne
Year
2006
Title
DICOM-CDs for communicating Radiological Images - The DRG approach for improving product and workflow quality
All authors
Mildenberger, Peter; Riesmeier, Jörg; Kotter, Elmar C.; Walz, Michael; Kauer, Thomas; Eichelberg, Marco
Year
2006
Title
Assistenzsystem für die Neurochirurgie - SpineNav verbessert navigierte Bildgebung
All authors
Hein, Andreas; Kirschstein, Uwe
Year
2006