Academic Publications

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

2016

Silviu S. Craciunas and Ramon Serna Oliver, "Combined Task- and Network-level Scheduling for Distributed Time-triggered Networked Systems", Real-Time Systems, Volume 52, Issue 2, pp. 161-200, Springer, 2016.

2015

Ayhan Mehmed, Sasikumar Punnekkat, Wilfried Steiner, Giacomo Spampinato and Martin Lettner, "Improving Dependability of Vision-Based Advanced Driver Assistance Systems by Use of Navigation Data and Checkpoint Recognition", The 36th International conference on Computer Safety, Reliability and Security (SAFECOMP), Springer 2015.

Wilfried Steiner, Ayhan Mehmed and Sasikumar Punnekkat, "Improving Intelligent Vehicle Dependability By Means of Infrastructure-Induced Tests", The 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networking, 1st International Workshop on Safety and Security of Intelligent Vehicles (SSIV), IEEE 2015.

Pablo Gutiérrez Peón, Elisabeth Uhlemann, Wilfried Steiner and Mats Björkman, "A Wireless MAC Method with Support for Heterogeneous Data Traffic", Presented at the 41st Annual Conference of the IEEE Industrial Electronics Society (IECON), Yokohama, Japan, November 2015.

Marina Gutiérrez, Wilfried Steiner, Radu Dobrin and Sasikumar Punnekkat, "A Configuration Agent based on the Time-Triggered Paradigm for Real-Time Networks", 11th IEEE World Conference on Factory Communication Systems (WFCS), Palma de Mallorca - May 2015 Recipient of “Best Work-in-Progress Paper” award.

Marina Gutiérrez, Wilfried Steiner, Radu Dobrin and Sasikumar Punnekkat, "Learning the Parameters of Periodic Traffic based on Network Measurements", 3rd IEEE International Workshop on Measurement & Networking (M&N), Coimbra - October 2015.

2014

Pablo Gutiérrez Peón, Hermann Kopetz and Wilfried Steiner, "Towards a Reliable and High-Speed Wireless Complement to TTEthernet", presented at the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Barcelona, Spain, September 2014.

Ramon Serna Oliver, Silviu S. Craciunas, and Georg Stöger, "Analysis of Deterministic Ethernet Scheduling for the Industrial Internet of Things", Proceedings of 19th International Workshop on Computer-Aided Modeling Analysis and Design of Communication Links and Networks (CAMAD), IEEE, 2014.

Barbara Gallina, Shaghayegh Kashiyarandi, Karlheinz Zugsbratl, and Arjan Geven, "Enabling Cross-domain Reuse of Tool Qualification Certifcation Artefacts", Proceedings of the 1st International Workshop on DEvelopment, Verification and VAlidation of cRiTical Systems (DEVVARTS), Springer, LNCS 8696, ISBN: 978-3-319-10556-7, pp. 255-266, Florence (Italy), 8 September, 2014.

Silviu S. Craciunas, Ramon Serna Oliver, and Valentin Ecker, "Optimal Static Scheduling of Real-time Tasks on Distributed Time-triggered Networked Systems", Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2014), IEEE, 2014.

Silviu S. Craciunas and Ramon Serna Oliver, "SMT-based Task- and Network-level Static Schedule Generation for Time-triggered Networked Systems", Proceedings of the 22nd International Conference on Real-Time Networks and Systems (RTNS 2014), ACM, 2014. (Best paper award)

Steiner, Wilfried, Flavio Bonomi, and Hermann Kopetz, "Towards synchronous deterministic channels for the Internet of Things", Internet of Things (WF-IoT), 2014 IEEE World Forum on. IEEE, 2014

2012

D. Tamas-Selicean, P. Pop, W. Steiner, "Synthesis of communication schedules for TTEthernet-based mixed-criticality systems", Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS 2012), ACM, 2012

D. Chimerel, C. Patrascu, S. Anghel, Y. Katz, W. Steiner, "On the Development of a Real-Time Ethernet Switch for Ultra-highly Dependable Applications," Proceedings of the Ninth European Dependable Computing Conference (EDCC 2012), IEEE, 2012

B. Dutertre, A. Easwaran, B. Hall, and W. Steiner, "Model-Based Analysis of Time-Triggered Ethernet", Proceedings of the 30th IEEE/AIAA Digital Avionics Systems Conference (DASC 2012), IEEE 2012, Recipient of "Best in Session" and "Best in Track" awards

2011

L. Briesemeister, G. Denker, D. Elenius, I. Mason, S. Varadarajan, D. Bhatt, B. Hall, G. Madl, and W. Steiner, "Quantitative Fault Propagation Analysis for Networked Cyber-Physical Systems," Proceedings of The Second Analytic Virtual Integration of Cyber-Physical Systems Workshop (AVICPS 2011), Workshop in Conjunction with RTSS 2011

W. Steiner and J. Rushby, "TTA and PALS: Formally Verified Design Patterns for Distributed Cyber-Physical Systems," Proceedings of the 29th IEEE/AIAA Digital Avionics Systems Conference (DASC 2011), IEEE 2011, Recipient of "Best in Session" and "Best in Track" awards

W. Steiner and B. Dutertre, "Layered Diagnosis and Clock-Rate Correction for the TTEthernet Clock Synchronization Protocol, " Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2011), IEEE Computer Society, 2011

W. Steiner, G. Bauer, B. Hall and M. Paulitsch, "Time-Triggered Ethernet: TTEthernet," In Time-Triggered Communication, R. Obermaisser, editor, CRC Press, 2011

W. Steiner and B. Dutertre, "Automated Formal Verification of the TTEthernet Synchronization Quality," Proceedings of the 3rd NASA Formal Methods Symposium (NFM 2011), Springer Lecture Notes in Computer Science, 2011

W. Steiner, "Synthesis of Static Communication Schedules for Mixed-Criticality Systems," Proceedings of the 1st IEEE Workshop on Architectures and Applications for Mixed-Criticality Systems (AMICS 2011), IEEE Computer Society, 2011

2010

W. Steiner and G. Bauer, "Mixed-criticality networks for adaptive systems," Proceedings of the 29th IEEE/AIAA Digital Avionics Systems Conference (DASC 2010), IEEE, 2010, pp. 5.A.3-1 - 5.A.3-10

W. Steiner, "An Evaluation of SMT-based Schedule Synthesis For Time-Triggered Multi-Hop Networks," Proceedings of the 31st IEEE Real-Time Systems Symposium (RTSS 2010), IEEE Computer Society, 2010

W. Steiner and B. Dutertre, "SMT-Based Formal Verification of a TTEthernet Synchronization Function," Proceedings of the 15th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2010), Lecture Notes in Computer Science 6371 Springer, 2010, pp. 148-163

2009

W. Steiner and G. Bauer, "TTEthernet: Time-triggered services for Ethernet networks," Proceedings of the 28th IEEE/AIAA Digital Avionics Systems Conference (DASC 2009),  IEEE, 2009

W. Steiner, G. Bauer, B. Hall, M. Paulitsch, and S. Varadarajan, "TTEthernet Dataflow Concept," Proceedings of the 8th International Symposium on Networking Computing and Applications (NCA 2009), IEEE Computer Society, 2009, pp. 319-322