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
Part II: Component-Based Design and Integration Platforms
Buchtitel
Embedded Systems Design: The ARTIST Roadmap for Research and Development
Alle Autoren
Brinksma, E.; Coulson, G.; Crnkovic, I.; Evans, A.; Gérard, S.; Graf, S.; Hermanns, S.; Jézeqél, J.-M.; Jonsson, B.; Plouzeau, N.; Ravn, A.; Schnoebelen, Ph.; Terrier, F.; Votintseva, A.
Jahr
2005
Titel
Hardware/Software Co-Synthesis of Real-Time Systems with Approximated Analysis Algorithms
Buchtitel
Tagungsband: Model-based development of embedded systems
Alle Autoren
Slomka, Frank; Albers, Karsten
Jahr
2005
Titel
RTSAT - Scheduling Tasks in Distributed Real-Time Systems by Satisfiability Checking
Buchtitel
Proceedings of the IEEE Real-Time Systems Symposium
Alle Autoren
Metzner, Alexander; Herde, Christian
Jahr
2005
Titel
Scheduling Distributed Real-Time Systems by Satisfiability Checking
Buchtitel
Proceedings of the IEEE Conference on Embedded and Real-Time Computing Systems and Applications.
Alle Autoren
Metzner, A.; Fränzle, M.; Herde, C.; Stierand, I.
Jahr
2005
Titel
Controlling speculative design processes using rich component models
Buchtitel
5th International Conference on Application of Concurrency to System Design (ACSD 2005)
Alle Autoren
Damm, Werner
Jahr
2005
Titel
Designing for dynamic partially reconfigurable FPGAs with SystemC and OSSS
Buchtitel
Advances in Design and Specification Languages for SoCs
Alle Autoren
Schallenberg, Andreas; Oppenheimer , Frank; Nebel, Wolfgang
Jahr
2005
Titel
A discrete-time UML semantics for concurrency and communication in safety-critical applications
Alle Autoren
Damm, Werner; Josko, Bernhard; Pnueli, Amir; Votintseva, Angelika
Jahr
2005
Titel
DCbot: Exploring the Web as Value-Added Service for Location-Based Applications.
Titel der Konferenz
Proceedings of the 21st International Conference on Data Engineering (Demonstrations)
Alle Autoren
Jakob Mihály; Großmann, Matthias; Hönle, Nicola; Nicklas, Daniela
Jahr
2005
Titel
Shared Dynamic Context Models: Benefits for Advanced Sensor Data Fusion for Autonomous Robots
Buchtitel
Proc. of Artificial Intelligence and Applications 2005
Alle Autoren
Käppeler Uwe-Philipp; Kindermann, Georg; Nicklas, Daniela; Hönle, Nicola; Dudkowski, Dominique
Jahr
2005
Titel
Benefits of Integrating Meta Data into a Context Model
Buchtitel
3rd IEEE International Conference on Pervasive Computing and Communications PerCom 2005, 8-12 March 2005, Kauai Island, HI, USA
Alle Autoren
Hönle, Nicola; Uwe-Philipp Käppeler; Nicklas, Daniela; Schwarz, Thomas; Grossmann, Matthias;
Jahr
2005
Titel
Design and Implementation Issues for Explorative Location-based Applications: the NexusRallye
Buchtitel
Proceedings for the VI Brazilian Symposium on GeoInformatics
Alle Autoren
Nicklas, Daniela; Hönle, Nicola; Moltenbrey, Michael; Mitschang, Bernhard
Jahr
2004
Titel
The Rhapsody UML Verification Environment
Titel der Konferenz
2nd International Conference on Software Engineering and Formal Methods (SEFM 2004)
Alle Autoren
Schinz, Ingo; Mrugalla, Christian; Toben, Tobe; Westphal, Bernd
Jahr
2004
Titel
A Multiobjective Tabu Search Algorithm for the Design Space Exploration of embedded Systems
Buchtitel
Tagungsband: Dipes
Alle Autoren
Slomka, Frank; Albers, Karsten; Hofmann, Richard
Jahr
2004
Titel
On Detecting Deadlocks in Large UML Models
Buchtitel
Design Methods and Applications for Distributed Embedded Systems
Alle Autoren
Kersten, Michael; Nebel, Wolfgang
Jahr
2004
Titel
An Event Stream Driven Approximation for the Analysis of Real-Time Systems
Buchtitel
IEEE Proceedings of the 16th Euromicro Conference on Real-Time Systems
Alle Autoren
Albers, Karsten; Slomka, Frank
Jahr
2004
Titel
AccesSights - A Multimodal Location-Aware Mobile Tourist Information System
Buchtitel
Proceedings of the 9th International Conference on Computers Helping People with Special Needs (ICCHP '04)
Alle Autoren
Klante, Palle; Krösche, Jens; Boll, Susanne
Jahr
2004
Titel
A Navigation System Concept for an Indoor Micro Air Vehicle
Buchtitel
First European Micro Air Vehicle Conference and Flight Competition
Alle Autoren
Eich, M.; Kemper, M., Fatikow, S.
Jahr
2004
Titel
Model Checking - Grundlagen und Praxiserfahrungen
Alle Autoren
Buschermöhle, Ralf; Brörkens, Mark; Brückner, Ingo; Damm, Werner; Hasselbring, Wilhelm; Josko, Bernhard; Schulte, Christoph; Wolf, Thomas
Jahr
2004
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
OOCOSIM - An Object-Oriented Codesign Method for Embedded HW/SW Systems
Buchtitel
Proceedings of Design, Automation and Test in Europe 2004
Titel der Konferenz
Design, Automation and Test in Europe 2004
Alle Autoren
Oppenheimer, Frank
Jahr
2004
Titel
Evaluation of a Refinement-Driven SystemC-Based Design Flow
Buchtitel
Tagungsband DATE'04 Designer's Forum, Paris
Alle Autoren
Schubert, Thorsten; Hanisch, Jürgen; Gerlach, Joachim; Appell, Jens-E.; Nebel, Wolfgang
Jahr
2004
Titel
Why Model Checking Can Improve WCET Analysis
Buchtitel
Proceeding of the 16 th Internation Conference on Computer Aided Verification
Titel der Konferenz
CAV 04
Alle Autoren
Metzner, Alexander
Jahr
2004
Titel
Echtzeitsimulator untersucht Systemmodell
Alle Autoren
Slomka, Frank;Münzenberger, Ralf
Jahr
2004
Titel
Live Sequence Charts
Buchtitel
Integration of Software Specification Techniques for Applications in Engineering
Alle Autoren
Brill, Mathias; Damm, Werner; Klose, Jochen; Westphal, Bernd; Wittke, Hartmut
Jahr
2004