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
Time, Abstraction and Heuristics - Automatic Verification and Planning of Timed Systems using Abstraction and Heuristics
Alle Autoren
Henning Dierks
Jahr
2005
Titel
Preliminary Results of a Case Study: Model Checking for Advanced Automotive Applications
Buchtitel
FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-20, 2005, Proceedings
Alle Autoren
Eissler, Stefan; Scheidler, Christian; Josko, Bernhard; Sandmann, Guido; Stroop, Joachim
Jahr
2005
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
DCbot: Finding Spatial Information on the Web
Buchtitel
Database Systems for Advanced Applications, 10th International Conference, {DASFAA} 2005, Beijing, China
Alle Autoren
Jakob Mihály; Großmann, Matthias; Nicklas, Daniela; Mitschang, Bernhard
Jahr
2005
Titel
SMIs: Small and Medium Size Research Institutes
Buchtitel
Programm BIS 2005
Alle Autoren
Nebel, Wolfgang
Jahr
2005
Titel
Efficiently Managing Context Information for Large-Scale Scenarios.
Buchtitel
3rd IEEE International Conference on Pervasive Computing and Communications PerCom 2005, 8-12 March 2005, Kauai Island, HI, USA
Alle Autoren
Grossmann, Matthias; Bauer, Martin; Hönle, Nicola; Käppeler Uwe-Philipp; Nicklas, Daniela; Schwarz, Thomas
Jahr
2005
Titel
OSSS+R Simulation of Reconfigurable Architectures
Alle Autoren
Schallenberg, Andreas; Oppenheimer, Frank; Nebel, Wolfgang
Jahr
2005
Titel
Efficient Feasibility Analysis for Real-time systems with EDF-Scheduling
Buchtitel
IEEE Proceeding of the Conference Design, Automation and Test in Europe (DATE) 2005
Alle Autoren
Albers, Karsten; Slomka, Frank
Jahr
2005
Titel
OSSS+R: Simulation of Reconfigurable Architectures
Buchtitel
University Booth DATE 2005
Alle Autoren
Schallenberg, Andreas; Oppenheimer, Frank; Nebel, Wolfgang
Jahr
2005
Titel
Requirements on Hardware/Software Communication Design based on Abstract Communication Models
Alle Autoren
Grabbe, Cornelia; Oppenheimer, Frank; Schubert, Thorsten
Jahr
2005
Titel
Experimentelle Evaluierung der Laufzeiteigenschaften von neuen Verfahren zur Echtzeitanalyse
Alle Autoren
Nyhof, Michael
Jahr
2005
Titel
Entwurf und Implementierung einer HW/SW-Umgebung zur Anbindung einer Emulationsplattform an einen HW-Simulator
Alle Autoren
Jaeger, Andreas
Jahr
2005
Titel
OOCOSIM - An Object-Oriented Co-design Method for Embedded HW / SW Systems
Alle Autoren
Oppenheimer, Frank
Jahr
2005
Titel
Controlling speculative design processes using rich component models
Titel der Konferenz
5th International Conference on Application of Concurrency to System Design (ACSD 2005)
Alle Autoren
Werner Damm
Jahr
2005
Titel
Predictable and Efficient Architectures for Real-Time System Synthesis
Buchtitel
Proceedings of the Workshop on Embedded Real-Time Systems Implementation
Alle Autoren
Metzner, Alexander
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
Guaranteed termination in the verification of LTL properties of non-linear robust hybrid systems.
Buchtitel
Automated Technology for Verification and Analysis (ATA)
Alle Autoren
Damm, W.; Pinto, G.; Ratschan, S.
Jahr
2005
Titel
An Environment for Compositional Specification and Verification of Complex Embedded Systems
Alle Autoren
Wittke, Hartmut
Jahr
2005
Titel
Live and let die: LSC-based verification of UML models.
Alle Autoren
Damm, Werner; Westphal, Bernd
Jahr
2005
Titel
Einfluss der durch Hardware-/Software-Partionierung hervorgerufenen Kommunikation auf Leistungsdaten einer Schaltung
Alle Autoren
Grüttner, K.
Jahr
2005
Titel
Analyse von PDM-Daten zum Entwicklungscontrolling
Buchtitel
Informations- und Wissensdrehscheibe Produktmanagement
Alle Autoren
Strickmann, Jens; Abels, Sven; Hahn, Axel
Jahr
2005
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