Publikationen

Shishir Muralidhara; Sravan Kumar Jagadeesh; René Schuster; Didier Stricker

In: SN Computer Science (SNCS), Vol. 5, Pages 0-16, Springer, 2024.

Soumya Sengupta; Abhoy Kole; Kamalika Datta; Indranil Sengupta; Rolf Drechsler

In: Himanshu Thapliyal; Travis Humble. Quantum Computing: Circuits, Systems, Automation and Applications. Pages 69-87, Springer, 2024.

Werner Damm; David Hess; Mark Schweda; Janos Sztipanovits; Klaus Bengler; Bianca Biebl; Martin Fränzle; Willem Hagemann; Moritz Held; Klas Ihme; Severin Kacianka; Alyssa J Kerscher; Sebastian Lehnhoff; Andreas Luedtke; Alexander Pretschner; Astrid Rakow; Jochem Rieger; Daniel Sonntag; Maike Schwammberger; Benedikt Austel; Anirudh Unni; Eric Veith

In: ACM Transactions on Cyber-Physical Systems (TCPS), Vol. 8, Pages 1-32, ACM, 1/2024.

Klaus Bengler; Werner Damm; Andreas Luedtke; Jochem Rieger; Benedikt Austel; Bianca Biebl; Martin Fränzle; Willem Hagemann; Moritz Held; David Hess; Klas Ihme; Severin Kacianka; Alyssa J Kerscher; Forrest Laine; Sebastian Lehnhoff; Alexander Pretschner; Astrid Rakow; Daniel Sonntag; Janos Sztipanovits; Maike Schwammberger; Mark Schweda; Anirudh Unni; Eric Veith

In: ACM Transactions on Cyber-Physical Systems (TCPS), Vol. 8, Pages 1-27, ACM, 1/2024.

Michael Barz; Panagiotis Karagiannis; Johan Kildal; Andoni Rivera Pinto; Judit Ruiz de Munain; Jesús Rosel; Maria Madarieta; Konstantina Salagianni; Panagiotis Aivaliotis; Sotiris Makris; Daniel Sonntag

In: Mohammad-Reza Alam; Madjid Fathi (Hrsg.). Integrated Systems: Innovations and Applications: Results of the 8th International Conference on …

Payam Habiby; Fatemeh Shirinzadeh; Rolf Drechsler

In: 36. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von …

Weiyan Zhang; Muhammad Hassan; Rolf Drechsler

In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und …

Ece Nur Demirhan Coskun; Sallar Ahmadi-Pour; Muhammad Hassan; Rolf Drechsler

In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und …

Niko Kleer; Martin Feick; Florian Daiber; Michael Feld

In: Companion of the 2024 ACM/IEEE International Conference on Human-Robot Interaction. ACM/IEEE International Conference on Human-Robot Interaction …

Mark Niemeyer; Julian Arkenau; Sebastian Pütz; Joachim Hertzberg

In: 2024 IEEE International Conference on Robotics and Automation. IEEE International Conference on Robotics and Automation (ICRA-2024), May 13-17, …