Reinhard Schneider

27 papers A* 3A 4C 3Misc 2Journal 3Unranked 11
YearRankTypeTitle / Venue / Authors
2014 — conf
Automata-theoretic modeling of fixed-priority non-preemptive scheduling for formal timing verification.
ASP-DAC
Matthias Kauer, Sebastian Steinhorst, Reinhard Schneider, Martin Lukasiewycz, Samarjit Chakraborty
2014 — —
Cross-Layer Design of Automotive Cyber-Physical Systems.
Reinhard Schneider
2014 J jnl
Quantifying Notions of Extensibility in FlexRay Schedule Synthesis.
ACM Trans. Design Autom. Electr. Syst.
Reinhard Schneider, Dip Goswami, Samarjit Chakraborty, Unmesh D. Bordoloi, Petru Eles, Zebo Peng
2014 J jnl
Relaxing Signal Delay Constraints in Distributed Embedded Controllers.
IEEE Trans. Control. Syst. Technol.
Dip Goswami, Reinhard Schneider, Samarjit Chakraborty
2014 — conf
Task- and network-level schedule co-synthesis of Ethernet-based time-triggered systems.
ASP-DAC
Licong Zhang, Dip Goswami, Reinhard Schneider, Samarjit Chakraborty
2014 — conf
Timing challenges in automotive software architectures.
ICSE Companion
Licong Zhang, Reinhard Schneider, Alejandro Masrur, Martin Becker, Martin Geier, Samarjit Chakraborty
2013 — conf
Arbitrated Network Control Systems: A Co-Design of Control and Platform for Cyber-Physical Systems.
CPSW@CISS
Anuradha M. Annaswamy, Damoon Soudbakhsh, Reinhard Schneider, Dip Goswami, Samarjit Chakraborty
2013 A conf
Compositional analysis of switched ethernet topologies.
DATE
Reinhard Schneider, Licong Zhang, Dip Goswami, Alejandro Masrur, Samarjit Chakraborty
2013 — conf
Formal verification of distributed controllers using Time-Stamped Event Count Automata.
ASP-DAC
Matthias Kauer, Sebastian Steinhorst, Dip Goswami, Reinhard Schneider, Martin Lukasiewycz, Samarjit Chakraborty
2013 A* conf
Let's put the car in your phone!
DAC
Martin Geier, Martin Becker, Daniel Yunge, Benedikt Dietrich, Reinhard Schneider, Dip Goswami, Samarjit Chakraborty
2013 J jnl
Multi-layered scheduling of mixed-criticality cyber-physical systems.
J. Syst. Archit.
Reinhard Schneider, Dip Goswami, Alejandro Masrur, Martin Becker, Samarjit Chakraborty
2013 A conf
Multirate controller design for resource- and schedule-constrained automotive ECUs.
DATE
Dip Goswami, Alejandro Masrur, Reinhard Schneider, Chun Jason Xue, Samarjit Chakraborty
2013 A* conf
Reliability challenges for electric vehicles: from devices to architecture and systems software.
DAC
Georg Georgakos, Ulf Schlichtmann, Reinhard Schneider, Samarjit Chakraborty
2012 C conf
Adaptive switching controllers for systems with hybrid communication protocols.
ACC
Harald Voit, Anuradha M. Annaswamy, Reinhard Schneider, Dip Goswami, Samarjit Chakraborty
2012 — conf
Adaptive switching controllers for tracking with hybrid communication protocols.
CDC
Harald Voit, Anuradha Annaswamy, Reinhard Schneider, Dip Goswami, Samarjit Chakraborty
2012 — conf
Challenges in automotive cyber-physical systems design.
ICSAMOS
Dip Goswami, Reinhard Schneider, Alejandro Masrur, Martin Lukasiewycz, Samarjit Chakraborty, Harald Voit, Anuradha Annaswamy
2012 — conf
Modular scheduling of distributed heterogeneous time-triggered automotive systems.
ASP-DAC
Martin Lukasiewycz, Reinhard Schneider, Dip Goswami, Samarjit Chakraborty
2012 C conf
QoC-oriented efficient schedule synthesis for mixed-criticality cyber-physical systems.
FDL
Reinhard Schneider, Dip Goswami, Alejandro Masrur, Samarjit Chakraborty
2012 A conf
Time-triggered implementations of mixed-criticality automotive software.
DATE
Dip Goswami, Martin Lukasiewycz, Reinhard Schneider, Samarjit Chakraborty
2011 — conf
Co-design of cyber-physical systems via controllers with flexible delay constraints.
ASP-DAC
Dip Goswami, Reinhard Schneider, Samarjit Chakraborty
2011 Misc conf
Constraint-driven synthesis and tool-support for FlexRay-based automotive control systems.
CODES+ISSS
Reinhard Schneider, Dip Goswami, Sohaib Zafar, Martin Lukasiewycz, Samarjit Chakraborty
2011 A* conf
On the quantification of sustainability and extensibility of FlexRay schedules.
DAC
Reinhard Schneider, Dip Goswami, Samarjit Chakraborty, Unmesh D. Bordoloi, Petru Eles, Zebo Peng
2011 A conf
Re-engineering cyber-physical control applications for hybrid communication protocols.
DATE
Dip Goswami, Reinhard Schneider, Samarjit Chakraborty
2011 — conf
Schedulability analysis of distributed cyber-physical applications on mixed time-/event-triggered bus architectures with retransmissions.
SIES
Alejandro Masrur, Dip Goswami, Reinhard Schneider, Harald Voit, Anuradha Annaswamy, Samarjit Chakraborty
2010 Misc conf
Modeling buffers with data refresh semantics in automotive architectures.
EMSOFT
Linh Thi Xuan Phan, Reinhard Schneider, Samarjit Chakraborty, Insup Lee
2010 C conf
Optimized Schedule Synthesis under Real-Time Constraints for the Dynamic Segment of FlexRay.
EUC
Reinhard Schneider, Unmesh D. Bordoloi, Dip Goswami, Samarjit Chakraborty
2010 — conf
Optimizing Hierarchical Schedules for Improved Control Performance.
SIES
Harald Voit, Reinhard Schneider, Dip Goswami, Anuradha Annaswamy, Samarjit Chakraborty