Publikationen
Liste als BibTeX-Datei exportieren
- RACE RTE: A Runtime Environment for Robust Fault-Tolerant Vehicle Functions In 3rd Workshop on Critical Automotive applications - Robustness & Safety (CARS), Paris, France, September 2015. Details URL BIB
- An Automated Electric Vehicle Prototype Showing New Trends in Automotive Architectures In IEEE 18th International Conference on Intelligent Transportation Systems (ITSC), 2015. Details DOI BIB
- Applying Pay-burst-only-once Principle for Periodic Power Management in Hard Real-time Pipelined Multiprocessor Systems ACM Transactions on Design Automation of Electronic Systems (TODAES), ():, 2015. Details BIB
- Steuerungsprogramme 4.0 In Automation 2014, Seiten 821–836, Baden-Baden, Deutschland, Juli 2014. VDI/VDE. Details BIB
- Deployment Calculation and Analysis for a Fail-Operational Automotive Platform In 1st Workshop on Engineering Dependable Systems of Systems (EDSoS), Mai 2014. Details URL BIB
- CHROMOSOME: A Run-Time Environment for Plug&Play-Capable Embedded Real-Time Systems In Sixth International Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2014), April 2014. ACM. Details BIB
- A framework for reliability-aware embedded system design on multiprocessor platforms Microprocessors and Microsystems, 38(6):539–551, März 2014. Details DOI BIB
- Tool Support for Integrated Development of Component-based Embedded Systems In Software Engineering 2014 (SE 2014), Seiten 61–62, Kiel, Germany, Februar 2014. GI. Details BIB
- A Safety Aware Run-Time Environment for Adaptive Automotive Control Systems In Embedded Real-Time Software and Systems (ERTS2), Februar 2014. Details BIB
- Eingebettete Systeme der Zukunft - Charakteristika, Schl�sseltechnologien und Forschungsbedarf Band . BICCnet Clusterb�ro, , Ausgabe, Januar 2014. Details BIB
- A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems In Proceedings of the 12th International Conference on Software Engineering and Formal Methods (SEFM), 2014. Details DOI BIB
- Autonomes Fahren und die ISO 26262 In Embedded Software Engineering Kongress 2014, Seiten 217-221, 2014. Details BIB
- Employing early model-based safety evaluation to iteratively derive E/E architecture design Elsevier - Science of Computer Programming, ():161-179, 2014. Details URL DOI BIB
- Learning Weighted Joint-based Features for Action Recognition Using Depth Camera In The 9th International Conference on Computer Vision Theory and Applications(VISAPP), 2014. Details BIB
- Multiple Vehicle Cooperative Localization with Spatial Registration Based on a Probability Hypothesis Density Filter Sensors, 14(1):995–1009, 2014. Details URL DOI BIB
- RACE: A Centralized Platform Computer Based Architecture for Automotive Applications In Vehicular Electronics Conference (VEC) and the International Electric Vehicle Conference (IEVC) (VEC/IEVC 2013), Oktober 2013. IEEE. Details DOI BIB
- AutoPnP - Plug-and-produce in der Automation: Wandelbare Fabrik als cyber-physisches System atp edition, 55(4):42–49, April 2013. Details BIB
- Reconfigurable Industrial Process Monitoring using the CHROMOSOME Middleware In The Fifth International Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2013), April 2013. ACM. Details BIB
- Towards Adaptable Manufacturing Systems In IEEE International Conference on Industrial Technology (ICIT), Seiten 1410–1415, 2013. IEEE, Details DOI BIB
- A Framework for Reliability-Aware Design Exploration for MPSoC Based Systems Design Automation for Embedded Systems (DAEM), ():, 2013. Details URL BIB
- A Lane Marking Extraction Approach based on Random Finite Set Statistics In Intelligent Vehicles Symposium (IV), 2013 IEEE, 2013. Details BIB
- A Model-Driven Approach for Runtime Reliability Analysis In Proceedings of the Sixth Latin-American Symposium on Dependable Computing, 2013. Details URL DOI BIB
- Cumulative Error Estimation from Noisy Relative Measurements In 16th International Conference on Intelligent Transport Systems (ITSC), 2013. Details BIB
- Effective Online Power Management with Adaptive Interplay of DVS and DPM for Embedded Real-time System In 16th Euromicro International Conference on Digital System Design (DSD), 2013. Details BIB
- Energy Optimization with Worst-Case Deadline Guarantee for Pipelined Multiprocessor Systems In Design, Automation and Test in Europe (DATE), 2013. Details BIB
- Future Cars: Necessity for an Adaptive and Distributed Multiple Independent Levels of Security (MILS) Architecture In Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (HiCoNS), 2013. Details BIB
- Multiple Vehicle Cooperative Localization Under Random Finite Set Framework In IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013. Details BIB
- Synthesizing Controllers for Automation Tasks with Performance Guarantees In Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings, Seiten 154–159, 2013. Details URL DOI BIB
- A Generic Approach Simplifying Model-to-Model Transformation Chains In Robert France , Jürgen Kazmeier , Ruth Breu und Colin Atkinson , Editor, Model Driven Engineering Languages and Systems, Band 7590 von Lecture Notes in Computer Science, Seiten 579–594. Springer-Verlag, Berlin / Heidelberg, Germany, Oktober 2012. Details DOI BIB
- Single Camera Visual Odometry Based on Random Finite Set Statistics In IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Oktober 2012. Details BIB
- A Sensor Fusion Approach for Localization with Cumulative Error Elimination In Proceedings of 2012 IEEE International Conference on Multisensor Fusion and Information Integration (MFI 2012), September 2012. Details BIB
- Demo Abstract: An Inverted Pendulum demonstrator for Timed Model-based Design of Embedded Systems In 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems (ICCPS), Seiten 224, April 2012. Details DOI BIB
- {Agenda CPS - Integrierte Forschungsagenda Cyber-Physical Systems} In Eva Geisberger und Manfred Broy , Editor, . Springer, 2012. Details URL BIB
- SW-basierte Integration von neuen Fahrzeugfunktionen in zentralisierten Controllern In Automotive - Safety & Security, 2012. Details URL BIB
- An Automotive Side-View System Based on Ethernet and IP In 26th International Conference on Advanced Information Networking and Applications Workshops (WAINA), Seiten 238 - 243, 2012. Details BIB
- Conforming the runtime inputs for hard real-time embedded systems In Jon Whittle , Tony Clark und Thomas Kühne , Editor, Proceedings of the 49th Design Automation Conference (DAC), Seiten 430–436, 2012. Details DOI BIB
- Deriving fault-detection mechanisms from safety requirements Springer Computer Science - Research and Development, ():, 2012. Details URL DOI BIB
- Early Safety Evaluation of Design Decisions in E/E Architecture according to ISO 26262 In Proceedings of the 3rd International ACM SIGSOFT Symposium on Architecting Critical Systems, 2012. Details BIB
- Embedded Systems and Software Challenges in Electric Vehicles In In Design, Automation and Test in Europe (DATE), 2012. Details BIB
- Game solving for industrial automation and control In IEEE International Conference on Robotics and Automation, ICRA 2012, 14-18 May, 2012, St. Paul, Minnesota, USA, Seiten 4367–4372, 2012. Details URL DOI BIB
- MGSyn: Automatic Synthesis for Industrial Automation In Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, Seiten 658–664, 2012. Details URL DOI BIB
- Static Scheduling of a Time-Triggered Network-on-Chip based on SMT Solving In Design, Automation and Test in Europe (DATE), Dresden, Germany, 2012. Details URL BIB
- The Software Car: Building ICT Architectures for Future Electric Vehicles In Proceedings of the 2012 IEEE International Electric Vehicle Conference, 2012. Details BIB
- Towards Fault-Tolerant Embedded Systems with Imperfect Fault Detection In Dorina C. Petriu , Nicolas Rouquette und Oystein Haugen , Editor, 49th Design Automation Conference (DAC), Seiten 188-196, San Francisco, CA, USA, 2012. Details URL DOI BIB
- Visual Odometry based on Random Finite Set Statistics in Urban Environment In Intelligent Vehicles Symposium (IV), 2012 IEEE, 2012. Details URL DOI BIB
- Middleware-Architekturen zur Integration von Systemen in Systems-of-Systems In Tagungsband Embedded Software Engineering Kongress, Seiten 38–42, Sindelfingen, Germany, Dezember 2011. Details URL BIB
- Automated Model-to-Metamodel Transformations Based on the Concepts of Deep Instantiation In Jon Whittle , Tony Clark und Thomas Kühne , Editor, Model Driven Engineering Languages and Systems, Band 6981 von Lecture Notes in Computer Science, Seiten 17–31. Springer-Verlag, Berlin / Heidelberg, Germany, Oktober 2011. Details DOI BIB
- Model Checking Industrial Robot Systems In Proceedings of the 18th International Workshop on Model Checking of Software (SPIN 2011), Seiten 161–176, Juli 2011. Springer-Verlag. Details URL DOI BIB
- Synthesis of Diagnostic Techniques Based on an IEC 61508-aware Metamodel In Proceedings of the 6th Symposium on Industrial Embedded Systems (SIES 2011), Work-in-Progress Session, Juni 2011. Details DOI BIB
- Multifunk: Self-Organizing Sensor Networks for Industrial Process Monitoring In Jian-Jia Chen , Editor, Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'11), Work-in-Progress Session, Seiten 57–60, April 2011. Details URL BIB
- Beschreibung der Plattformabhängigkeit eingebetteter Applikationen mit Dienstmodellen In Tagungsband des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, Seiten 31-40, Februar 2011. Details URL BIB
- Energy-Aware Task Allocation for Network-on-Chip Based Heterogeneous Multiprocessor Systems In 19th Euromicro International Conference on Parallel, Distributed and Network-Based Computing(PDP), Ayia Napa, Cyprus, Februar 2011. Details URL DOI BIB
- Model-Based Analysis and Development of Dependable Systems In Model-Based Engineering of Embedded Real-Time Systems. Lecture Notes in Computer Science Vol. 6000, Januar 2011. Springer. Details URL DOI BIB
- GAVS+: An Open Platform for the Research of Algorithmic Game Solving In Tools and Algorithms for the Construction and Analysis of Systems - 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, , Seiten 258–261, 2011. Details URL DOI BIB
- A Workflow for Runtime Adaptive Task Allocation on Heterogeneous MPSoCs In Design, Automation and Test in Europe (DATE), Grenoble, France, 2011. Details URL DOI BIB
- Algorithms for Synthesizing Priorities in Component-Based Systems In Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings, Seiten 150–167, 2011. Details URL DOI BIB
- Analysis and Optimization of Fault-Tolerant Task Scheduling on Multiprocessor Embedded Systems In Xiaoping Chen , Peter Stone , LuisEnrique Sucar und Tijn van der Zant , Editor, International Conference on Hardware-Software Codesign and System Synthesis (CODES+ISSS). Embedded System Week, Taipei, Taiwan, 2011. Details URL DOI BIB
- Mehr Software (im) Wagen - Informations- und Kommunikationstechnologie als Motor der Elektromobilität der Zukunft In Eva Geisberger und Manfred Broy , Editor, Konferenzband 2. Automobiltechnisches Kolloqium 2011, 2011. VDI Verlag. Details BIB
- Mehr Software (im) Wagen: Informations- und Kommunikationstechnik (IKT) als Motor der Elektromobilität der Zukunft, Abschlussbericht des vom Bundesministerium für Wirtschaft und Technologie geförderten Verbundvorhabens eCar-IKT-Systemarchitektur für Elektromobilität Band . ForTISS GmbH, , Ausgabe, 2011. Details BIB
- Mehr Software (im) Wagen: Informations- und Kommunikationstechnik (IKT) als Motor der Elektromobilität der Zukunft, Zusammenfassung der Ergebnisse des vom Bundesministerium für Wirtschaft und Technologie geförderten Verbundvorhabens eCar-IKT-Systemarchitektur für Elektromobilität Band . ForTISS GmbH, , Ausgabe, 2011. Details BIB
- On the Hardness of Priority Synthesis In Radu Calinescu und David Garlan , Editor, Implementation and Application of Automata - 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings, Seiten 110–117, 2011. Details URL DOI BIB
- Optimizations for Game-based Software Synthesis TR-2011-12, Verimag Research Report, 2011. Details BIB
- Reliability-Aware Design Optimization for Multiprocessor Embedded Systems In 14th Euromicro International Conference on Digital System Design (DSD), Oulu, Finland, 2011. Details URL DOI BIB
- Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice In Verification, Model Checking, and Abstract Interpretation - 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings, Seiten 118–133, 2011. Details URL DOI BIB
- The Software Car: Information and Communication Technology (ICT) as an Engine for the Electromobility of the Future, Summary of results of the "eCar ICT System Architecture for Electromobility" research project sponsored by the Federal Ministry of Economics and Technology Band . ForTISS GmbH, , Ausgabe, 2011. Details BIB
- Vom Modell zum Code fuer IEC 61508, ISO 26262 und Co. In Proceedings of the 3rd Embedded Software Engineering Congress, Dezember 2010. Details URL BIB
- Model-to-Metamodel Transformation for the Development of Component-Based Systems In Dorina C. Petriu , Nicolas Rouquette und Oystein Haugen , Editor, Model Driven Engineering Languages and Systems, Band 6395 von Lecture Notes in Computer Science, Seiten 391–405. Springer-Verlag, Berlin / Heidelberg, Germany, Oktober 2010. Details DOI BIB
- Model-Based Specification of Timing Requirements In Proceedings of the 10th ACM International Conference on Embedded Software (EMSOFT 2010), Seiten 239–248, Scottsdale, Arizona, USA, Oktober 2010. Association for Computer Machinery. Details URL DOI BIB
- MultiNet: An Intelligent Sensor Cable In Fifth IEEE International Workshop on Practical Issues in Building Sensor Network Applications (SenseApp 2010), Oktober 2010. IEEE. Details URL BIB
- Propagation, Transformation and Refinement of Safety Requirements In Proceedings of the 3rd Workshop on Non-functional System Properties in Domain Specific Modeling Languages, Oktober 2010. Details URL BIB
- Runtime Adaptive Allocation of Dynamically Mixed Tasks on a Heterogeneous MPSoC platform In Design and Architectures for Signal and Image Processing conference (DASIP), Edinburgh, UK, Oktober 2010. Details URL DOI BIB
- FTOS: Model-Driven Development of Fault-Tolerant Automation Systems Proceedings of the 15th IEEE International Conference on Emerging Techonologies and Factory Automation, ():, September 2010. Details URL DOI BIB
- Hardware-aware model-driven software development In ACACES 2010 Poster Abstracts, Seiten 89-92, Terrassa, Spain, Juli 2010. High-Performance Embedded Architecture and Compiliation Network of Excellence. Details BIB
- Towards and Adaptive Execution of Applications in Heterogeneous Embedded Networks In Software Engineering for Sensor Network Applications (SESENA 2010), Mai 2010. ACM/IEEE. Details URL BIB
- Formal Modeling of Safety Requirements in the Model-Driven Development of Safety Critical Embedded Systems In Proceedings of the Eighth European Dependable Computing Conference (EDCC 2010), April 2010. Details URL BIB
- Service Migration Scenarios for Embedded Networks In The Fifth International Workshop on Service Oriented Architectures in Converging Networked Environments (SOCNE 2010), April 2010. IEEE. Details URL BIB
- Stand und Anforderungen an eine Werkzeugunterstuetzung zur Entwicklung von Automatisierungssoftware TUM-I1003, Technische Universität München, Februar 2010. Details URL BIB
- Modell-zu-Metamodell-Transformationen zur Entwicklung von komponentenbasierten Systemen In 6. Dagstuhl-Workshop MBEES 2010: Model-Based Development of Embedded Systems, Februar 2010. Details URL BIB
- GAVS: Game Arena Visualization and Synthesis In Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings, Seiten 347–352, 2010. Details URL DOI BIB
- A Game-theoretic Approach for Synthesizing Fault-Tolerant Embedded Systems CoRR, abs/1011.0268():, 2010. Details URL BIB
- Efficient Communication in Control-Oriented Embedded Networks In Proceedings of the 14th IEEE International Conference on Emerging Technologies and Factory Automation, September 2009. Details URL BIB
- eSOA - Service Oriented Architectures adapted for Embedded Networks In Proceedings of the 7th International Conference on Industrial Informatics), Juni 2009. Details URL BIB
- Services to the Field: An Approach for Resource Constrained Sensor/Actor Networks In The Fourth Workshop on Service Oriented Architectures in Converging Networked Environments (SOCNE 2009) – extended version, Mai 2009. IEEE. Details URL BIB
- Developing Service Oriented Sensor/Actuator Networks using a Tailored Middleware In 6th International Conference on Information Technology : New Generations (ITNG 2009), April 2009. IEEE. Details URL BIB
- eSOA - SOA für eingebettete Netze In Proceedings of the Workshop on Service Oriented Computing at KIVS 2009), 2009. Details URL BIB
- Examining robotic systems with shape-adjustable manipulators under dynamic environments: From simulation to verification In MariaSimonetta Balsamo , William J. Knottenbelt und Andrea Marin , Editor, Proceedings of the IEEE International Symposium on Computational Intelligence in Robotics and Automation, CIRA 2009, 15-18 December 2009, Daejeon, Korea, Seiten 72–77, 2009. Details URL DOI BIB
- FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant Systems CoRR, abs/0905.3946():, 2009. Details URL BIB
- Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness CoRR, abs/0905.3951():, 2009. Details URL BIB
- Toward the Design of Robotic Software with Verifiable Safety In Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009, Seattle, Washington, USA, July 20-24, 2009. Volume 1, Seiten 622–623, 2009. Details URL DOI BIB
- EasyLab: Model-Based Development of Software for Mechatronic Systems In IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, Seiten 540–545, Beijing, China, 2008. Details DOI BIB