Amelie Gyrard; Somayeh Abedian; Philip Gribbon; George Manias; Rick van Nuland; Kurt Zatloukal; Irina Emilia Nicolae; Gabriel Danciu; Septimiu Nechifor; Luis Marti-Bonmati; Pedro Mallol; Stefano Dalmiani; Serge Autexier; Mario Jendrossek; Ioannis Avramidis; Eva Garcia Alvarez; Petr Holub; Ignacio Blanquer; Anna Boden; Rada Hussein
In: 28. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2025). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2025), March 11-12, Rostock, Germany, Pages 61-65, VDE, 3/2025.
Jakob Fabian Lehmann; Gesa Wimberg; Serge Autexier; Alberto Acebes; Agni Delvinioti; Nicoletta di Giorgi; Thrasyvoulos Giannakopoulos; Christos Kalloniatis; Konstantina Kostopoulou; Sofoklis Kyriazakos; Costas Lambrinoudakis; Danae Lekka; Andreas Menegatos; Giulio Pagliari; Aristodemos Pnevmatikakis; Monique Tabak
In: Sylvia Pelayo (Hrsg.). Proceedings 18th International Conference on Health Informatics (HEALTHINF 2025), 20-22 February 2025. International Conference on Health Informatics (HEALTHINF-2025), 18th International Conference on Health Informatics, located at BIOSTEC-2025, February 20-22, Porto, Portugal, ISBN 978-989-758-731-3, SCITEPRESS, 2/2025.
Alberto Acebes; Serge Autexier; Marjolein Brusse-Keizer; Agni Delvinioti; Thrasyvoulos Giannakopoulos; Christiane Grünloh; Florian Hahn; Rain Jögi; Christos Kalloniatis; Konstantina Kostopoulou; Sofoklis Kyriazakos; Kostas Lamprinoudakis; Jakob Lehmann; Danae Lekka; Anke Lenferink; Federico Mazzone; Guilio Pagliari; Stefano Patarnello; Aristodemos Pnevmatikakis; Jarno Raid; Monique Tabak; Job Van Der Palen; Gesa Wimberg
In: Companion Proceedings of the 2024 Conference on Interactive Surfaces and Spaces. ACM International Conference on Interactive Surfaces and Spaces (ISS-2024), November 27-31, Vancouver BC Canada, Canada, Pages 58-62, ISBN 9798400712784, ACM, 10/2024.
In: Tiziana Margaria; Bernhard Steffen (Hrsg.). 12th International Symposium Leveraging Applications of Formal Methods, Verification and Validation, (ISOLA 2024),Crete, Greece, October 27–31, 2024, Part IV. International Symposium Leveraging Applications of Formal Methods, Verification and Validation (ISOLA-2024), October 27-31, Heraklion, Greece, LNCS, Vol. 15222, Springer Cham, 10/2024.
Amelie Gyrard; Philip Gribbon; Rada Hussein; Somayeh Abedian; Luis Marti Bonmati; Gibi Luisa Caborner; George Manias; Gabriel Danciu; Stefano Dalmiani; Serge Autexier; Rick van Nuland; Mario Jendrosse; Ioannis Avramidis; Eva Garcia Alvarez
In: John Mantas; Arie Hasman (Hrsg.). Proceedings 34th Medical Informatics Europe Conference (MIE 2024). Medical Informatics Europe Congress (MIE-2024), Athens, Greece, Pages 1292-1296, Studies in Health Technol, Vol. 316, IOS Press, 8/2024.
In: 46th Annual International Conference of the IEEE Engineering in Medicine and Biology Society. International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC-2024), Orlando, USA, 2024.