selected publications

• academic article

  • Key-Components for Digital Twin Modeling With Granularity: Use Case Car-as-a-Service.  IEEE Transactions on Emerging Topics in Computing.  10:23-33. 2022
  • Run-time reconfigurable RTOS for reconfigurable systems-on-chip.  Journal of Embedded Computing.  3:39-51. 2009
  • A Dynamically Reconfigurable Automotive Control System Architecture.  IFAC Proceedings Volumes.  41:9308-9313. 2008

• chapter

  • A Comparative Analysis Between SysML and AADL When Modeling a Real-Time System.  IFIP advances in information and communication technology. 27-38. 2023
  • Communication Layer Architecture for a Production Line Digital Twin Using Hierarchical Colored Petri Nets.  IFIP advances in information and communication technology. 41-50. 2023
  • Contract-Based Compositional Scheduling Analysis for Evolving Systems.  Springer eBooks. 272-282. 2013
  • Exploiting Segregation in Bus-Based MPSoCs to Improve Scalability of Model-Checking-Based Performance Analysis for SDFAs.  IFIP advances in information and communication technology. 2013
  • Self-Configurable Automotive Embedded Systems.  Springer eBooks. 119-131. 2012
  • Implementation of the AES Algorithm for a Reconfigurable, Bit Serial, Fully Pipelined Architecture.  Lecture Notes in Computer Science. 2009
  • Low–Level Space Optimization of an AES Implementation for a Bit–Serial Fully Pipelined Architecture.  IFIP advances in information and communication technology. 2009
  • Overview of Multicore Requirements towards Real-Time Communication.  Lecture Notes in Computer Science. 2009
  • Towards a Middleware Approach for a Self-configurable Automotive Embedded System.  Springer eBooks. 55-65. 2008
  • Approach for a Formal Verification of a Bit-serial Pipelined Architecture.  Springer eBooks. 47-56. 2007
  • Towards a Dynamically Reconfigurable Automotive Control System Architecture.  Springer eBooks. 71-84. 2007
  • Communication-Aware Component Allocation Algorithm for a Hybrid Architecture.  Springer eBooks. 175-184. 2007
  • A Self-Controlled and Dynamically Reconfigurable Architecture.  Kluwer Academic Publishers eBooks. 207-216. 2006
  • Path Concepts for a Reconfigurable Bit-Serial Synchronous Architecture.  Lecture Notes in Computer Science. 448-457. 2005
  • Hardware Design and Protocol Specification for the Control and Communication Within a Mechatronic System.  Springer eBooks. 113-122. 2004
  • The re-configurable delay-insensitive Flysig architecture.  Springer eBooks. 703-705. 1999

• conference paper

  • Towards Formalized Model-Based Requirements for a Seamless Design Approach in Safety-Critical Systems Development.  . 2015
  • Autonomous Flight Control Meets Custom Payload Processing: A Mixed-Critical Avionics Architecture Approach for Civilian UAVs.  . 2014
  • Contracts for evolving systems.  . 2013
  • Integrating Dynamic Load Balancing Strategies into the Car-Network.  . 2008
  • Optimization techniques for a reconfigurable, self-timed, and bit-serial architecture.  . 2007
  • Towards the Implementation of Path Concepts for a Reconfigurable Bit-Serial Synchronous Architecture.  . 2006
  • Energy aware multiple clock domain scheduling for a bit-serial, self-timed architecture.  . 2006
  • Invariants for Distributed Local Control Elements of a New Synchronous Bit-Serial Architecture.  . 2005
  • Control development for mechatronic systems with a fully reconfigurable pipeline architecture.  Symposium on Integrated Circuits and Systems Design. 231-236. 2003
  • A Fully Self-Timed Bit-Serial Pipeline Architecture for Embedded Systems.  Design, Automation, and Test in Europe. 11130-11131. 2003
  • A new configurable and scalable architecture for rapid prototyping of asynchronous designs for signal processing.  . 2003
  • A Fast Asynchronous Re-Configurable Architecture for Multimedia Applications.  Symposium on Integrated Circuits and Systems Design. 150-155. 2001