Publikationen im FuE-Bereich Verkehr
Nachfolgend finden Sie alle - innerhalb des FuE-Bereichs Verkehr veröffentlichten - Publikationen.
Anhand des Suchfelds können Sie die Ausgabe weiter einschränken, z. B. können Sie nach Autor, Titel, Textinhalten oder Publikationsart suchen.
Titel
Why Model Checking Can Improve WCET Analysis
Buchtitel
Proceedings of the 16th International Conference on Computer Aided Verification (CAV'04)
Alle Autoren
Metzner, A.
Jahr
2004
Titel
On the Verification of Cooperating Traffic Agents
Buchtitel
Proc. FMCO '03: Formal Methods for Components and Objects
Alle Autoren
Damm, W.; Hungar, H.; Olderog, E.-R.
Jahr
2004
Titel
On building location aware applications using an open platform based on the Nexus Augmented World Model.
Alle Autoren
Nicklas Daniela; Mitschang, Bernhard
Jahr
2004
Titel
Keeping Track of Flying Elephants: Challenges in Large-Scale Management of Complex Mobile Objects
Buchtitel
Keeping Track of Flying Elephants: Challenges in {Large-Scale} Management of Complex Mobile Objects.
Alle Autoren
Drosdol, Tobias; Schwarz, Thomas; Bauer, Martin; Grossmann, Matthias; Hönle, Nicola; Nicklas, Daniela
Jahr
2004
Titel
On efficiently processing nearest neighbor queries in a loosely coupled set of data sources
Buchtitel
12th {ACM} International Workshop on Geographic Information Systems, {ACM-GIS} 2004, November 12-13, 2004, Washington, DC, USA, Proceedings
Alle Autoren
Schwarz, Thomas; Iofcea, Markus; Grossmann, Matthias; Hönle, Nicola; Nicklas, Daniela; Mitschang, Bernhard
Jahr
2004
Titel
A Library for Managing Spatial Context Using Arbitrary Coordinate Systems
Buchtitel
2nd {IEEE Conference on Pervasive Computing and Communications Workshops {(PerCom} 2004 Workshops), 14-17 March 2004, Orlando, FL, USA
Alle Autoren
Schwarz, Thomas; Hönle, Nicola; Grossmann, Matthias; Nicklas, Daniela
Jahr
2004
Titel
Where do spatial context-models end and where do ontologies start? A proposal of a combined approach
Buchtitel
Proceedings of the First International Workshop on Advanced Context Modelling, Reasoning and Management in conjunction with {UbiComp} 2004
Alle Autoren
Becker, Christian; Nicklas, Daniela;
Jahr
2004
Titel
A Semantics for Distributed Execution of STATEMATE
Alle Autoren
Fränzle, Martin; Niehaus, Jürgen; Metzner, Alexander; Damm, Werner
Jahr
2003
Titel
Extending the SystemC Synthesis Subset by Object Oriented Features
Buchtitel
Tagungsband CODES + ISSS 2003
Alle Autoren
Grimpe, Eike; Oppenheimer, Frank
Jahr
2003
Titel
Live Sequence Charts: A Graphical Formalism for the Specification of Communication Behavior.
Alle Autoren
Klose, Jochen
Jahr
2003
Titel
Sicherheit für sicherheitskritische Systeme
Alle Autoren
Schulte, C.; Brörkens, M.; Brückner, I.; Buschermöhle, R.; Wolf, T.
Jahr
2003
Titel
Case Study: SystemC-Based Design of an Industrial Exposure Control Unit
Buchtitel
Tagungsband
Alle Autoren
Braun, Axel; Schubert, Thorsten; Stark, Martin; Haug, Karsten; Gerlach, Joachim; Rosenstiel, Wolfgang
Jahr
2003
Titel
HW-Driven Emulation with Automatic Interface Generation
Buchtitel
Tagungsband
Alle Autoren
Çakir, Mustafa; Grimpe, Eike; Nebel, Wolfgang
Jahr
2003
Titel
NexusScout: An Advanced Location-Based Application on a Distributed, Open Mediation Platform.
Titel der Konferenz
VLDB 2003, Proceedings of 29th International Conference on Very Large Data Bases (Demonstration)
Alle Autoren
Nicklas, Daniela;Grossmann, Matthias; Schwarz, Thomas
Jahr
2003
Titel
627: Umgebungsmodelle für mobile kontextbezogene Systeme
Buchtitel
Innovative Informatikanwendungen, Band 1, Beiträge der 33. Jahrestagung der Gesellschaft für Informatik e.V.
Alle Autoren
Kurt Rothermel and Dieter Fritsch and Paul J. K\
Jahr
2003
Titel
A Rotorcraft Micro Air Vehicle for Indoor Applications
Buchtitel
Proc. of 11th Int. IEEE Conf. on Advanced Robotics
Alle Autoren
Kemper, M.; Merkel, M.; Fatikow, S.
Jahr
2003
Titel
Individuelle Voraussetzungen der strategischen Handlungsflexibilität
Buchtitel
Strategische Handlungsflexibilität, Band 1: Grundlagen für die Entwicklung von Trainingsprogrammen
Alle Autoren
Schröder, O.; Möbus, C.; Lüdtke, A.
Jahr
2003
Titel
Prognose von Bedienungsfehlern durch Simulation der Entstehung gelernter Sorglosigkeit bei der Pilot-Cockpit Interaktion
Buchtitel
Situation Awareness in der Fahrzeug- und Prozessführung: 44. Fachausschusssitzung Anthropotechnik der Deutschen Gesellschaft
Alle Autoren
Lüdtke, A.; Möbus, C.
Jahr
2003
Titel
Intelligentes WBT: Zur kognitionspsychologisch geleiteten Spezifikation verteilter und intelligenter e-Learning Systeme
Buchtitel
43. Kongress der Deutschen Gesellschaft für Psychologie 2002
Alle Autoren
Möbus, C.
Jahr
2003
Titel
Modellierung von Routineeffekten durch gelernte Sorglosigkeit der Bedienung teilautonomer Systeme
Buchtitel
43. Kongress der Deutschen Gesellschaft für Psychologie 2002
Alle Autoren
Lüdtke, A.; Möbus, C.
Jahr
2003
Titel
Prognose von Bedienungsfehlern durch Routinebildung in teilautonomen Systemen: Konzept und empirische Untersuchung
Buchtitel
Bedienen und Verstehen: 4. Berliner Werkstatt Mensch-Maschine-Systeme 2001
Alle Autoren
Lüdtke, A.; Möbus, C.
Jahr
2003
Titel
Eine intelligente Problemlöseumgebung für die Grundlagen der Elektrotechnik
Buchtitel
6.Workshop Multimedia für Bildung und Wirtschaft
Alle Autoren
Yakimchuk, V.; Garbe, H.; Möbus, C.; Thole, H.-J.
Jahr
2003
Titel
Modeling and Validating Train System Applications Using Statemate and Live Sequence Charts
Buchtitel
Proceedings of the Conference on Integrated Design and Process Technology (IDPT2002)
Alle Autoren
Bohn, J.; Damm, W.; Klose, J.; Moik, A.; Wittke, H.
Jahr
2003
Titel
Dynamic Event Generation for Runtime Checking using the JDI
Buchtitel
Runtime Verification
Alle Autoren
Brörkens, M.; Müller, M.
Jahr
2003