Publications of the R&D-Division Transportation
Below you will find all publication - published in the R+D Division Transportation.
Using the search box, you can narrow the issue further, for example, you can search by author, title, text content, or booktitle.
Title
Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems
Booktitle
Proceedings of the Seventeenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems
All authors
Teige, Tino; Fränzle, Martin
Year
2011
Title
Green-IT – Herausforderungen und Potenziale
Title of Conference
Green Forum 2010
All authors
Nebel, Wolfgang
Year
2010
Title
Green-IT – Herausforderungen und Potenziale
Title of Conference
Green Forum 2010
All authors
Nebel, Wolfgang
Year
2010
Title
Green-IT – Herausforderungen und Potenziale
Title of Conference
Green Forum 2010
All authors
Nebel, Wolfgang
Year
2010
Title
go!CART - Das UAV Programm der Metropolregion Bremen-Oldenburg
Booktitle
Photogrammetrie, Laserscanning, Optische 3D-Messtechnik
Title of Conference
Oldenburger 3D-Tage
All authors
Puls, Tim
Year
2010
Title
GPS-based Position Control and Waypoint Navigation System for Quadrocopters
Title of Conference
IROS09: International Conference on Intelligent RObots and Systems
All authors
Puls, Tim; Kemper, Markus; Küke, Reimund; Hein, Andreas
Year
2009
Title
Gesellschaftlicher Nutzen der Heimvernetzung
Title of Conference
Dritter Nationaler IT-Gipfel 2008
All authors
Brucke, Matthias; Busemann, Claas; Heuten, Wilko; Kamenik, Jens; Lünsdorf, Ontje; Sobeck, Ann-Kathrin
Year
2008
Title
Guaranteed termination in the verification of LTL properties of non-linear robust discrete time hybrid systems
Booktitle
International Journal of Foundations of Computer Science
All authors
Werner Damm; Guilherme Pinto; Stefan Ratschan
Year
2007
Title
Guaranteed termination in the verification of LTL properties of non-linear robust discrete time hybrid systems.
All authors
Damm, W.; Pinto, G.; Ratschan, S.
Year
2006
Title
Guaranteed termination in the verification of LTL properties of non-linear robust hybrid systems.
Booktitle
Automated Technology for Verification and Analysis (ATA)
All authors
Damm, W.; Pinto, G.; Ratschan, S.
Year
2005
Title
Generating Mixed Hardware/Software Systems from SDL Specifications
Booktitle
Tagungsband
All authors
Slomka, Frank; Dörfel, Matthias; Münzenberger, Ralf
Year
2001