Publications
- 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, pages 821–836, Baden-Baden, Deutschland, July 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), May 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, March 2014. Details DOI BIB
- Tool Support for Integrated Development of Component-based Embedded Systems In Software Engineering 2014 (SE 2014), pages 61–62, Kiel, Germany, February 2014. GI. Details BIB
- A Safety Aware Run-Time Environment for Adaptive Automotive Control Systems In Embedded Real-Time Software and Systems (ERTS2), February 2014. Details BIB
- Eingebettete Systeme der Zukunft - Charakteristika, Schl�sseltechnologien und Forschungsbedarf volume . BICCnet Clusterb�ro, , edition, January 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, pages 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), October 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), pages 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, pages 154–159, 2013. Details URL DOI BIB
- A Generic Approach Simplifying Model-to-Model Transformation Chains In Robert France , Jürgen Kazmeier , Ruth Breu and Colin Atkinson , editor, Model Driven Engineering Languages and Systems, volume 7590 of Lecture Notes in Computer Science, pages 579–594. Springer-Verlag, Berlin / Heidelberg, Germany, October 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), October 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), pages 224, April 2012. Details DOI BIB
- {Agenda CPS - Integrierte Forschungsagenda Cyber-Physical Systems} In Eva Geisberger and 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), pages 238 - 243, 2012. Details BIB
- Conforming the runtime inputs for hard real-time embedded systems In Jon Whittle , Tony Clark and Thomas Kühne , editor, Proceedings of the 49th Design Automation Conference (DAC), pages 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, pages 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, pages 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 and Oystein Haugen , editor, 49th Design Automation Conference (DAC), pages 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, pages 38–42, Sindelfingen, Germany, December 2011. Details URL BIB
- Automated Model-to-Metamodel Transformations Based on the Concepts of Deep Instantiation In Jon Whittle , Tony Clark and Thomas Kühne , editor, Model Driven Engineering Languages and Systems, volume 6981 of Lecture Notes in Computer Science, pages 17–31. Springer-Verlag, Berlin / Heidelberg, Germany, October 2011. Details DOI BIB
- Model Checking Industrial Robot Systems In Proceedings of the 18th International Workshop on Model Checking of Software (SPIN 2011), pages 161–176, July 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, June 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, pages 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, pages 31-40, February 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, February 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, January 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, , pages 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, pages 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 and 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 and 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 volume . ForTISS GmbH, , edition, 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 volume . ForTISS GmbH, , edition, 2011. Details BIB
- On the Hardness of Priority Synthesis In Radu Calinescu and David Garlan , editor, Implementation and Application of Automata - 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings, pages 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, pages 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 volume . ForTISS GmbH, , edition, 2011. Details BIB
- Vom Modell zum Code fuer IEC 61508, ISO 26262 und Co. In Proceedings of the 3rd Embedded Software Engineering Congress, December 2010. Details URL BIB
- Model-to-Metamodel Transformation for the Development of Component-Based Systems In Dorina C. Petriu , Nicolas Rouquette and Oystein Haugen , editor, Model Driven Engineering Languages and Systems, volume 6395 of Lecture Notes in Computer Science, pages 391–405. Springer-Verlag, Berlin / Heidelberg, Germany, October 2010. Details DOI BIB
- Model-Based Specification of Timing Requirements In Proceedings of the 10th ACM International Conference on Embedded Software (EMSOFT 2010), pages 239–248, Scottsdale, Arizona, USA, October 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), October 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, October 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, October 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, pages 89-92, Terrassa, Spain, July 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), May 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, February 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, February 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, pages 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), June 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, May 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 and Andrea Marin , editor, Proceedings of the IEEE International Symposium on Computational Intelligence in Robotics and Automation, CIRA 2009, 15-18 December 2009, Daejeon, Korea, pages 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, pages 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, pages 540–545, Beijing, China, 2008. Details DOI BIB