Wissenschaftliche Publikationen
Unsere öffentlich verfügbaren wissenschaftlichen Publikationen stehen Ihnen hier nach Veröffentlichungsdatum sortiert zur Verfügung.
Darüber hinaus bietet Ihnen die A-Z Leiste und das Suchfeld die Gelegenheit, unsere Publikationsdatenbank mit eigenen Auswahlkriterien zu durchsuchen. Sie können z. B. nach Autoren, Titel, Textinhalten oder Publikationsart suchen.
Die erweiterte Suche bietet Ihnen darüber hinaus die Möglichkeiten, die Suche direkt auf eine Person, eine Publikationsart, sowie ein Jahr einzuschränken. Die Kriterien sind selbstverständlich auch kombinierbar.
Bei Click auf die Anzahl-Anzeige rechts kommen Sie aus Ihrer Suche auch wieder auf die Anzeige aller Publikationen zurück.
Titel
Modelling and Synthesis of Communication Using OSSS-Channels
Buchtitel
Tagungsband: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Alle Autoren
Grüttner, Kim; Grabbe, Cornelia; Oppenheimer, Frank; Nebel, Wolfgang
Jahr
2006
Titel
Intelligentes Powermanagement
Titel der Konferenz
VDI/VDE/IT-Workshop
Alle Autoren
Nebel, Wolfgang; Helms, Domenik
Jahr
2006
Titel
Low-Power-Entwurfsmethoden für mobile Systeme
Alle Autoren
Hillers, Mark; Schulte, Milan; Nebel, Wolfgang; Pferdmenges, Ralf
Jahr
2006
Titel
Analysis of Large Safety-Critical Systems: A quantitative Approach
Buchtitel
AVACS Technical Report
Alle Autoren
Herbstritt, Marc; Wimmer, Ralf; Peikenkamp, Thomas; Böde, Eckard; Adelaide, Michael; Johr, Sven; Hermanns, Holger; Becker, Bernd
Jahr
2006
Titel
Ein umfassendes Umgebungsmodell als Integrationsstrategie für ortsbezogene Daten und Dienste
Alle Autoren
Daniela Nicklas
Jahr
2006
Titel
Task-orientierte Anwendungen in einer Smart Factory
Buchtitel
Mobile Informationssysteme - Potentiale, Hindernisse, Einsatz. Proc. {MMS'06}
Alle Autoren
Wieland, Matthias; Jendoubi, Lamine; Nicklas, Daniela; Leymann, Frank; Dürr Frank
Jahr
2006
Titel
Component based design of embedded automotive systems
Titel der Konferenz
Automatisierungs-, Assistenzsysteme und eingebettete >> Systeme für Transportmittel
Alle Autoren
Werner Damm
Jahr
2006
Titel
Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis
Buchtitel
Proceedings of the 2006 IEEE Design and Diagnostics of Electronic Circuits and systems
Titel der Konferenz
DDECS '06
Alle Autoren
Eisinger, Jochen; Polian, Ilja; Becker, Bernd; Thesing, Stephan; Wilhelm, Reinhard; Metzner, Alexander
Jahr
2006
Titel
Concurrent LSC Verification
Titel der Konferenz
5th International Workshop on Automated Verification of Critical Systems (AVoCS 2005)
Alle Autoren
Toben, Tobe; Westphal, Bernd
Jahr
2006
Titel
Adding Value to automotive models
Buchtitel
Automotive Software - Connected Services in Mobile Networks
Titel der Konferenz
ARTIST and NSF Workshop on Automotive Software Development
Alle Autoren
Eckard Böde; Werner Damm; Jarl Hoyem; Bernhard Josko; Jürgen Niehaus; Marc Segelken
Jahr
2006
Titel
Kontrollierte Experimente zum Einsatz von UML in der Lehre
Buchtitel
M-WISE: Modellierung wissensintensiver Prozesse im Software Engineering
Alle Autoren
Bischofs, Ludger; Hasselbring, Wilhelm; Thaden, Eike
Jahr
2006
Titel
Die KMDL-SE als UML-Erweiterung
Buchtitel
M-WISE: Modellierung wissensintensiver Prozesse im Software Engineering
Alle Autoren
Bischofs, Ludger; Hasselbring, Wilhelm; Thaden, Eike
Jahr
2006
Titel
Research Methods in Software Engineering
Alle Autoren
Hasselbring, Wilhelm; Giesecke, Simon
Jahr
2006
Titel
Migration von Altsystemen zu dienstorientierten Architekturen
Buchtitel
Handbuch der Software Architektur
Alle Autoren
Krieghoff, Stafan; Hasselbring, Wilhelm; Reussner, Ralf
Jahr
2006
Titel
M-Wise: Modellierung wissensintensiver Prozesse im Software Engineering
Alle Autoren
Gronau, Norbert; Hasselbring, Wilhelm
Jahr
2006
Titel
Bewertungstechniken für die Performanz
Buchtitel
Handbuch der Software-Architektur
Alle Autoren
Koziolek, Heiko; Firus, Viktoria; Becker, Steffen; Reussner, Ralf
Jahr
2006
Titel
Architekturbeschreibung
Buchtitel
Handbuch der Software-Architektur
Alle Autoren
Behrens, Jan; Giesecke, Simon; Matevka, Jasminka; Jost, Henning; Schreier, Ulf
Jahr
2006
Titel
Informationsbeschaffung in Softwareentwicklungs-Unternehmen aus Sicht des Wissensmanagements
Buchtitel
M-WISE: Modellierung wissensintensiver Prozesse im Software Engineering
Alle Autoren
Bischofs, Ludger; Hasselbring, Wilhelm; Thaden, Eike
Jahr
2006
Titel
Online-Umfrage: Wissensmanagement in der Softwareentwicklung
Buchtitel
M-WISE: Modellierung wissensintensiver Prozesse im Software Engineering
Alle Autoren
Bischofs, Ludger; Hasselbring, Wilhelm; Thaden, Eike
Jahr
2006
Titel
Literatursurvey zum Einsatz rollenorientierter Modellierung im Software
Buchtitel
M-WISE: Modellierung wissensintensiver Prozesse im Software Engineering
Alle Autoren
Bischofs, Ludger; Hasselbring, Wilhelm; Hindersmann, Knut; Thaden, Eike
Jahr
2006
Titel
Ein Verfahren zur Verifikation hochkomplexer Randbedingungen beim IC-Entwurf
Buchtitel
Tagungsband der ANALOG 2006
Alle Autoren
Freuer, Jan; Jerke, G.; Schäfer, A.; Hahn, K.; Brück, R.; Nassaj, A.; Nebel, W.
Jahr
2006
Titel
Information hiding in the join calculus
Buchtitel
Proceedings of the 11th Annual Asian Computing Science Conference
Alle Autoren
Ma, Qin; Maranget, Luc
Jahr
2006