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
Abstraction and Counterexample-guided Construction of Omega-Automata for Model Checking of Step-dicrete linear Hybrid Models
Booktitle
Computer Aided Verification
Title of Conference
19th International Conference on Computer Aided Verification 2007
All authors
Segelken, Marc
Year
2007
Title
Automated cell characterization by a nanohandling robot station
Title of Conference
The 15th Mediterranean Conference on Control & Automation, 2007, MED '07
All authors
Krohs, F., Hagemann, S., Fatikow, S.
Year
2007
Title
Automated Cell Characterization by a nanohandling robot station
Title of Conference
IEEE Mediterranean Conference on Control and Automation (MED)
All authors
Krohs, Florian; Hagemann, Saskia; Fatikow, Sergej
Year
2007
Title
ANDRES - ANalysis and Design of run-time REconfigurable, heterogeneous Systems
Booktitle
Proceedings of Design, Automation and Test in Europe 2007, Nice, France
Title of Conference
Design, Automation and Test in Europe 2007 (Workshop on FPGAs and Reconfigurable Systems)
All authors
Herrholz, Andreas; Oppenheimer, Frank; Schallenberg, Andreas; Nebel, Wolfgang; Grimm, Christoph; Damm, Markus; Herrera, Fernando; Villar, Eugenio; Sander, Ingo; Jantsch, Axel; Fouilliart, Anne-Marie; Martinez, Marcos
Year
2007
Title
Automated Characterization and Manipulation of Biological Cells by a Nanohandling Robot Station
Title of Conference
Nanotech Northern Europe (NTNE) 2007
All authors
Hagemann, S.; Krohs, F.; Fatikow, S.
Year
2007
Title
Automated Characterization and Manipulation of Biological Cells by a Nanohandling Robot Station
Title of Conference
Nanotech Northern Europe (NTNE)
All authors
Hagemann, Saskia; Krohs, Florian; Fatikow, Sergej
Year
2007
Title
A Component Framework for Personalized Multimedia Applications
All authors
Scherp, Ansgar
Year
2007
Title
A Design Methodology for Distributed Real-Time Automotive Applications
Booktitle
Proceedings of the GM R&D Workshop, Bangalore, India
Title of Conference
GM R&D Workshop
All authors
Damm, Werner; Metzner, Alexander
Year
2007
Title
AG Informationstechnologie der DRG: Standardisierung und Testat von DICOM-CDs
All authors
Walz, Michael; Kotter, Elmar C.; Riesmeier, Jörg; Onken, Michael; Kauer, Thomas; Eichelberg, Marco; Mildenberger, Peter
Year
2007
Title
Annotating and Integrating Legacy RDBMSs for the Utility Domain
Booktitle
EnviroInfo 2007, Environmental Informatics and Systems Research
Title of Conference
EnviroInfo 2007
All authors
Grüning, Fabian; Uslar, Mathias
Year
2007
Title
Automatic Abstraction Refinement for Timed Automata
Booktitle
Formal Modeling and Analysis of Timed Systems. 5th International Conference, FORMATS 2007
All authors
Dierks, Henning; Kupferschmid, Sebastian; Larsen, Kim G.
Year
2007
Title
Automating verification of cooperation, control, and design in traffic applications
Booktitle
Formal Methods and Hybrid Real-Time Systems, Essays Dedicated to Dines Bjoerner and Zhou Chaochen on the Occasion of Their 70th Birthdays
All authors
Damm, Werner; Mikschl, Alfred; Oehlerking, Jens; Olderog, Ernst-Rüdiger;Pang, Jun; Platzer, André; Segelken, Marc; Wirtz, Bernd
Year
2007
Title
Anwendungen des M-Commerce - Grenzen in Recht und Technik
Booktitle
DACH Security 2007
All authors
Krüger, Nils; Boll, Susanne
Year
2007
Title
An Ontology-Based Approach for Modelling Architectural Styles
Booktitle
ECSA 2007
Title of Conference
ECSA 2007
All authors
Giesecke, Simon; Hasselbring, Wilhelm; Pahl, Claus
Year
2007
Title
A Software Architecture for Reliable Collaborative Working Environments
Booktitle
Proceedings of the 16th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises
Title of Conference
5th International Workshop on Distributed and Mobile Collaboration (DMC 2007)
All authors
Duong, Hoa Dung Ha; Melchiorre, Christian; Meyer, Eike Michael; Nieto, Ignacio; Paris, Gerard; Pelliccione, Patrizio; Tastet-Cherel, Frederique
Year
2007
Title
AuditoryPong - Playing PONG in the Dark
Booktitle
Audio Mostly 2007 - 2nd Conference on Interaction with Sound
Title of Conference
Audio Mostly 2007 - 2nd Conference on Interaction with Sound
All authors
Heuten, Wilko; Henze, Niels; Boll, Susanne; Klante, Palle
Year
2007
Title
Angiographic 3-D Blood Flow Measurement : Concept and Preliminary Experiments
Booktitle
CURAC
Title of Conference
CURAC 2006
All authors
Kirschstein, Uwe; Kronberg, Kay; Hein, Andreas
Year
2006
Title
AFM probe-based nanohandling robot station for the Characterization of CNTs and biological cells
Booktitle
5th Int. Workshop on Microfactories (IWMF)
All authors
Fatikow, Sergej; Eichhorn, Volkmar; Hagemann, Saskia; Hülsen, Helge
Year
2006
Title
A macro-based approach to use partially defective FPGAs
Booktitle
VLSI-SoC 2006 -- PhD Forum Digest of Papers
All authors
Frimont, Sven
Year
2006
Title
Assembly inside a Scanning Electron Microscope using Electron Beam induced Deposition
Booktitle
IEEE Int. Conference on Intelligent Robots and Systems (IROS)
All authors
Wich, T.; Sievers, T.; Fatikow, S.
Year
2006
Title
Analyzing the Timing Characteristics of Task Activations
Booktitle
Proceedings of the first IEEE Symposium on Industrial Embedded Systems (IES)
Title of Conference
First IEEE Symposium on Industrial Embedded Systems 2006
All authors
Bodmann, Frank; Albers, Karsten; Slomka, Frank
Year
2006
Title
Analysis and Modeling of Subthreshold Leakage of RT-Components under PTV and State Variation
Booktitle
Tagungsband
Title of Conference
Intl. Symposium on Low Power Electronic Design
All authors
Helms, Domenik; Ehmen, Günter ; Nebel, Wolfgang
Year
2006
Title
Automatisierte Testfallgenerierung für rekonfigurierbare Systeme
All authors
König, Frank
Year
2006
Title
Automatic Nanohandling Station inside a Scanning Electron Microscope
Booktitle
2nd Int. Conference in Multi-Material Micro Manufacture (4M)
All authors
Fatikow, S.; Wich, T.; Kray, S.; Hülsen, H.; Sievers, T.;Jähnisch, M.; Eichhorn, V.
Year
2006
Title
Adaptives Performance Management mit Annotierten Strategy Maps
Booktitle
Integration, Informationslogistik und Architektur
All authors
Koch, Sascha; Meister, Jürgen
Year
2006