Modeling buffers with data refresh semantics in automotive architectures. - Linh Thi Xuan Phan; Reinhard Schneider 001; Samarjit Chakraborty; Insup Lee 001 (EMSOFT, 2010)

Optimized Schedule Synthesis under Real-Time Constraints for the Dynamic Segment of FlexRay. - Reinhard Schneider 001; Unmesh D. Bordoloi; Dip Goswami; Samarjit Chakraborty (EUC, 2010)

Optimizing Hierarchical Schedules for Improved Control Performance. - Harald Voit; Reinhard Schneider 001; Dip Goswami; Anuradha Annaswamy; Samarjit Chakraborty (SIES, 2010)

Co-design of cyber-physical systems via controllers with flexible delay constraints. - Dip Goswami; Reinhard Schneider 001; Samarjit Chakraborty (ASP-DAC, 2011)

Constraint-driven synthesis and tool-support for FlexRay-based automotive control systems. - Reinhard Schneider 001; Dip Goswami; Sohaib Zafar; Martin Lukasiewycz; Samarjit Chakraborty (CODES+ISSS, 2011)

On the quantification of sustainability and extensibility of FlexRay schedules. - Reinhard Schneider 001; Dip Goswami; Samarjit Chakraborty; Unmesh D. Bordoloi; Petru Eles; Zebo Peng (DAC, 2011)

Re-engineering cyber-physical control applications for hybrid communication protocols. - Dip Goswami; Reinhard Schneider 001; Samarjit Chakraborty (DATE, 2011)

Schedulability analysis of distributed cyber-physical applications on mixed time-/event-triggered bus architectures with retransmissions. - Alejandro Masrur; Dip Goswami; Reinhard Schneider 001; Harald Voit; Anuradha Annaswamy; Samarjit Chakraborty (SIES, 2011)

Adaptive switching controllers for systems with hybrid communication protocols. - Harald Voit; Anuradha M. Annaswamy; Reinhard Schneider 001; Dip Goswami; Samarjit Chakraborty (ACC, 2012)

Modular scheduling of distributed heterogeneous time-triggered automotive systems. - Martin Lukasiewycz; Reinhard Schneider 001; Dip Goswami; Samarjit Chakraborty (ASP-DAC, 2012)

Adaptive switching controllers for tracking with hybrid communication protocols. - Harald Voit; Anuradha Annaswamy; Reinhard Schneider 001; Dip Goswami; Samarjit Chakraborty (CDC, 2012)

Time-triggered implementations of mixed-criticality automotive software. - Dip Goswami; Martin Lukasiewycz; Reinhard Schneider 001; Samarjit Chakraborty (DATE, 2012)

QoC-oriented efficient schedule synthesis for mixed-criticality cyber-physical systems. - Reinhard Schneider 001; Dip Goswami; Alejandro Masrur; Samarjit Chakraborty (FDL, 2012)

Challenges in automotive cyber-physical systems design. - Dip Goswami; Reinhard Schneider 001; Alejandro Masrur; Martin Lukasiewycz; Samarjit Chakraborty; Harald Voit; Anuradha Annaswamy (ICSAMOS, 2012)

Formal verification of distributed controllers using Time-Stamped Event Count Automata. - Matthias Kauer; Sebastian Steinhorst; Dip Goswami; Reinhard Schneider 001; Martin Lukasiewycz; Samarjit Chakraborty (ASP-DAC, 2013)

Arbitrated Network Control Systems: A Co-Design of Control and Platform for Cyber-Physical Systems. - Anuradha M. Annaswamy; Damoon Soudbakhsh; Reinhard Schneider 001; Dip Goswami; Samarjit Chakraborty (CPSW@CISS, 2013)

Let's put the car in your phone! - Martin Geier 001; Martin Becker 001; Daniel Yunge; Benedikt Dietrich; Reinhard Schneider 001; Dip Goswami; Samarjit Chakraborty (DAC, 2013)

Reliability challenges for electric vehicles: from devices to architecture and systems software. - Georg Georgakos; Ulf Schlichtmann; Reinhard Schneider 001; Samarjit Chakraborty (DAC, 2013)

Multirate controller design for resource- and schedule-constrained automotive ECUs. - Dip Goswami; Alejandro Masrur; Reinhard Schneider 001; Chun Jason Xue; Samarjit Chakraborty (DATE, 2013)

Compositional analysis of switched ethernet topologies. - Reinhard Schneider 001; Licong Zhang; Dip Goswami; Alejandro Masrur; Samarjit Chakraborty (DATE, 2013)

Multi-layered scheduling of mixed-criticality cyber-physical systems. - Reinhard Schneider 001; Dip Goswami; Alejandro Masrur; Martin Becker 001; Samarjit Chakraborty (J. Syst. Archit., 2013)

Automata-theoretic modeling of fixed-priority non-preemptive scheduling for formal timing verification. - Matthias Kauer; Sebastian Steinhorst; Reinhard Schneider 001; Martin Lukasiewycz; Samarjit Chakraborty (ASP-DAC, 2014)

Task- and network-level schedule co-synthesis of Ethernet-based time-triggered systems. - Licong Zhang; Dip Goswami; Reinhard Schneider 001; Samarjit Chakraborty (ASP-DAC, 2014)

Timing challenges in automotive software architectures. - Licong Zhang; Reinhard Schneider 001; Alejandro Masrur; Martin Becker 001; Martin Geier 001; Samarjit Chakraborty (ICSE Companion, 2014)

Relaxing Signal Delay Constraints in Distributed Embedded Controllers. - Dip Goswami; Reinhard Schneider 001; Samarjit Chakraborty (IEEE Trans. Control. Syst. Technol., 2014)

Quantifying Notions of Extensibility in FlexRay Schedule Synthesis. - Reinhard Schneider 001; Dip Goswami; Samarjit Chakraborty; Unmesh D. Bordoloi; Petru Eles; Zebo Peng (ACM Trans. Design Autom. Electr. Syst., 2014)

Cross-Layer Design of Automotive Cyber-Physical Systems. - Reinhard Schneider 001 (Verlag Dr. Hut, 2014)