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
Accurate PTV, State, and ABB Aware RTL Blackbox Modeling of Subthreshold, Gate, and PN-Junction Leakage
Booktitle
Tagungsband
Title of Conference
PATMOS 2006
Year
2006
Title
A Behaviour-Based Navigation System for an Autonomous Indoor Blimp
Booktitle
Proc. of Mechatronics 2006
Title of Conference
4th IFAC Symposium on Mechatronic Systems
All authors
Mahn, M.; Kemper, M.
Year
2006
Title
Assembly tasks inside an SEM
Booktitle
Int. Conference on Robotics: Science and Systems
All authors
Wich, T.; Fatikow, S.
Year
2006
Title
Automatic Annotation of Geographic Maps
Booktitle
10th International Conference on Computers Helping People with Special Needs
Title of Conference
10th International Conference on Computers Helping People with Special Needs
All authors
Horstmann, Mirko; Heuten, Wilko; Miene, Andrea; Boll, Susanne
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
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
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
Architekturbeschreibung
Booktitle
Handbuch der Software-Architektur
All authors
Behrens, Jan; Giesecke, Simon; Matevka, Jasminka; Jost, Henning; Schreier, Ulf
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
Assistenzsystem für die Neurochirurgie - SpineNav verbessert navigierte Bildgebung
All authors
Hein, Andreas; Kirschstein, Uwe
Year
2006
Title
A Multi-Phase Deadlock Detection Method for Reactive Systems Based on UML Models
All authors
Kersten, Michael
Year
2006
Title
Adapting an AI Planning Heuristic for Directed Model Checking
Booktitle
13th International SPIN Workshop on Model Checking of Software
All authors
Kupferschmid, S.; Hoffmann, J.; Dierks, H.; Behrmann, G.
Year
2006
Title
A Modelling and Simulation Enviroment for Real-time Pricing Scenarios in Energy Markets
Booktitle
EnviroInfo 2006 - Managing Environmental Knowledge
Title of Conference
EnviroInfo 2006
All authors
Sonnenschein, Michael; Stadler, Michael; Rapp, Barbara; Bremer, Joerg; Brunhorn, St.
Year
2006
Title
Adding Value to Automotive Models
Booktitle
Automotive Software - Connected Services in Mobile Networks. First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004,
All authors
Böde, Eckard; Damm, Werner; Hoyem, Jarl; Josko, Bernhard; Niehaus, Jürgen; Segelken, Marc
Year
2006
Title
A unified approach for the adequate visualization of structured medical reports
Booktitle
Medical Imaging 2006: PACS and Imaging Informatics
All authors
Riesmeier, Jörg; Eichelberg, Marco; Wilkens, Thomas; Jensch, Peter
Year
2006
Title
An Optimal Approach to the Task Allocation Problem on Hierarchical Architectures.
Booktitle
Proceedings of the 20th IEEE International Parallel and Distributed Processing Symposium
All authors
Metzner, A.; Fränzle, M.; Herde, C.; Stierand, I.
Year
2006
Title
Automatic verification of hybrid systems with large discrete state space
Booktitle
Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis (ATVA'06)
All authors
Damm, W.; Disch, S.; Hungar, H.; Pang, J.; Pigorsch, F.; Scholl, C.; Waldmann, U.; Wirtz, B.
Year
2006
Title
Automatische Archivierung von kardiologischen Magnetresonanz-Aufnahmen: Ein integrierter Ansatz zur Workflow-Unterstützung in kardiologischen Abteilungen
All authors
Wilkens, Thomas; Riesmeier, Jörg; Claus, Marcel S.; Kronberg, Kay
Year
2005
Title
Automatisierte Archivierung von angiografischen Filmen zur Workflow-Unterstützung im Herzkatheterlabor
All authors
Claus, Marcel; Kronberg, Kay; Riesmeier, Jörg; Reil, Gert-Hinrich
Year
2005
Title
Aktuelle Entwicklungen von DICOM und Nutzen im Alltag
Booktitle
RöFo - Fortschritte auf dem Gebiet der Röntgenstrahlen und der bildgebenden Verfahren
All authors
Eichelberg, Marco; Mildenberger, Peter
Year
2005
Title
Automatic Nanohandling Station inside an SEM
Booktitle
Topical Meeting of Microfacotories for MEMS and Nanofactories
All authors
Fatikow, S.; Wich, T.; Sievers, T.; Hülsen, H.
Year
2005
Title
Architect vs. Software-Architect
Booktitle
ECOOP ´05 Workshop Pratical Problems of Programming in the Large, Glasgow
All authors
Stefan Dilz
Year
2005
Title
An automated System for Electron Beam induced Deposition
Booktitle
50. Internationales Wissenschaftliches Kolloquium (50. IWK)
All authors
Wich, T.;Welker, J.;Meyer, I.
Year
2005
Title
A High Level Constant Coefficient Multiplier Power Model for Power Estimation on High Levels of Abstraction
Booktitle
Tagungsband: Integrated Circuit and System Design
All authors
Schulz, Arne; Schallenberg, Andreas; Helms, Domenik; Schulte, Milan; Reimer, Axel; Nebel, Wolfgang
Year
2005
Title
A lightweight process model and development methodology for component frameworks
Booktitle
10th International Workschop on Component-Oriented Programming
Year
2005