selected publications

• academic article

  • A Cloud Architecture for Networked and Autonomous Vehicles.  IFAC-PapersOnLine.  54:233-239. 2021
  • An Architecture with Integrated Image Processing for Autonomous Micro Aerial Vehicles.  .  2011
  • Virtual integration of model-based functions under autosar.  ATZelektronik worldwide.  2010
  • Model checking C source code for embedded systems.  International Journal on Software Tools for Technology Transfer.  11:187-202. 2009
  • An open tool architecture for the formal verification of logic controllers in processing systems.  IFAC Proceedings Volumes.  32:4828-4833. 1999

• blog posting

  • Cyber-Physical Mobility Lab An Open-Source Platform for Networked and Autonomous Vehicles..  arXiv (Cornell University). 2020

• conference paper

  • Optimization-based Resource Allocation for an Automotive Service-oriented Software Architecture.  2022 IEEE Intelligent Vehicles Symposium (IV). 2022
  • Applying Runtime Monitoring to the Industrial Internet of Things.  . 2019
  • Load Balancing for Cross Layer Communication.  . 2012