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
From RTL IP to Functional System-Level Models with Extra-Functional Properties
Titel der Konferenz
CODES+ISSS’12
Alle Autoren
Lorenz, Daniel; Grüttner, Kim; Bombieri, Nicola; Guarnieri, Valerio, Bocchio, Sara
Jahr
2012
Titel
Flexible webbasierte Visualisierung von Sensordaten mit Lage- und Tiefeninformationen zur Hochwasserfrühwarnung
Titel der Konferenz
Geoinformatik 2012 „Mobilität und Umwelt“
Alle Autoren
Jansen, Stephan; Brinkhoff, Thomas
Jahr
2012
Titel
From fMRI Data To Cognitive Models: Testing the ACT-R Brain Mapping Hypothesis with an Ex-Post Model
Buchtitel
COGNITIVE 2011 - The Third International Conference on Advanced Cognitive Technologies and Applications
Titel der Konferenz
COGNITIVE 2011 - The Third International Conference on Advanced Cognitive Technologies and Applications, September 25-30, 2011, Rome, Italy
Alle Autoren
Lenk, Jan Charles; Möbus, Claus; Özyurt, J.; Thiel, C. M.; Claassen, A.
Jahr
2011
Titel
Flexible Mapping of Concurrent Object-Oriented Applications to MPSoC Platforms
Titel der Konferenz
Map2MPSoC 2011 Workshop
Alle Autoren
Hartmann, Philipp A.; Grüttner, Kim; Oppenheimer, Frank; Nebel, Wolfgang
Jahr
2011
Titel
Flexible and Efficient Sensor Data Processing - A Hybrid Approach
Titel der Konferenz
14. GI-Fachtagung Datenbanksysteme für Business, Technologie und Web (BTW)
Alle Autoren
Claas Busemann, Christian Kuka, Susanne Boll, Daniela Nicklas
Jahr
2011
Titel
Further Steps towards Driver Modelling according to the Bayesian Programming Approach
Buchtitel
Digital Human Modelling, Conference Proceedings
Titel der Konferenz
HCI 2009
Alle Autoren
Möbus, Claus; Eilers, Mark
Jahr
2009
Titel
Forschungsprojekt CogniLog: Natur als Vorbild - Kognitive Logistikmodule steuern Umschlagsysteme.
Alle Autoren
Heiserich, G.; Kamenik, J.; Wellmann, T.
Jahr
2009
Titel
Further Steps Towards Driver Modeling according to the Bayesian Programming Approach
Buchtitel
Digital Human Modeling
Titel der Konferenz
HCI 2009
Alle Autoren
Möbus, C., Eilers, M.
Jahr
2009
Titel
First Steps towards Driver Modelling According to the Bayesian Programming Approach
Buchtitel
Symposium Cognitive Modelling
Titel der Konferenz
KogWis 2008
Alle Autoren
Möbus, Claus; Eilers, Mark
Jahr
2008
Titel
First Steps Towards Driver Modelling According to the Bayesian Programming Approach
Buchtitel
KogWis 2008, Symposium Cognitive Modelling
Alle Autoren
Möbus, C; Eilers, M.
Jahr
2008
Titel
From High-Level Verification to Real-Time Scheduling: A Property-Preserving Integration
Alle Autoren
Faber, Johannes; Stierand, Ingo
Jahr
2007
Titel
Federated Spatial Cursors
Titel der Konferenz
Proceedings of the VIII Brazilian Symposium on GeoInformatics : GeoInfo2006
Alle Autoren
Cipriani Nazario ; Grossmann, Matthias; Nicklas, Daniela; Mitschang, Bernhard
Jahr
2007
Titel
Formale Verifikation von ASCET Modellen im Rahmen der Entwicklung der Aktivlenkung
Alle Autoren
Damm, W.; Schulte, C.; Segelken, M.; Wittke, H.; Higgen, U.; Eckrich, M.
Jahr
2006
Titel
Formal Verification of LSC's in the Development Process
Buchtitel
Integration of Software Specification Techniques for Applications in Engineering
Alle Autoren
Brill, Matthias; Buschermöhle, Ralf; Damm, Werner; Klose, Jochen; Westphal, Bernd; Wittke, Hartmut
Jahr
2006
Titel
Federating Location-Based Data Services
Alle Autoren
Mitschang, Bernhard; Nicklas, Daniela; Großmann, Matthias; Schwarz, Thomas; Hönle, Nicola
Jahr
2005
Titel
Formal Verification of a Sensor Voting and Monitoring UML Model
Titel der Konferenz
4th International Workshop on Critical Systems Development Using Modeling Languages (CSDUML 2005)
Alle Autoren
Mrugalla, Christian; Robbe, Oliver; Schinz, Ingo; Toben, Tobe; Westphal, Bernd
Jahr
2005
Titel
Finding Optimal Plans for Domains with Continuous Effects with UPPAAL CORA
Buchtitel
Proceedings of the ICAPS'05 Workshop on Verification and alidation of Model-Based Planning and Scheduling Systems
Alle Autoren
Dierks, Henning
Jahr
2005
Titel
From Home to World - Supporting Context-aware Applications through World Models
Buchtitel
Proceedings of the Second IEEE International Conference on Pervasive Computing and Communications (PerCom 2004), 14-17 March 2004, Orlando, FL, USA
Alle Autoren
Lehmann, Othmar; Bauer, Martin; Becker, Christian; Nicklas, Daniela
Jahr
2004
Titel
Formale Analyse und Verifikation von Statemate Entwürfen
Alle Autoren
Bienmüller, T.; Damm, W.; Klose, J.; Wittke, H.
Jahr
2001
Titel
Formal Verification of an Avionics Application using Abstraction and Symbolic Model Checking
Buchtitel
Towards System Safety - Proceedings of the Seventh Safety-critical Systems Symposium, Huntingdon, UK
Alle Autoren
Bienmüller, T.; Brockmeyer, U.; Damm, W.; Döhmen, G.; Eßmann, C.; Holberg, H. J.; Hungar, H.; Josko, B.; Schlör, R.; Wittich, G.; Wittke, H.; Clements, G.
Jahr
1999
Titel
First-Order-CTL Model Checking
Buchtitel
18th Conference on Foundations of Software Technology and Theroretical Computer Science
Alle Autoren
Bohn, J.; Damm, W.; Grumberg, O.; Hungar, H.; Laster, K.
Jahr
1998