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.
Roberto Venditti; Nareg Minaskan Karabid; Evmorfia Biliri; Miguel Villegas; Barry Kirwan; Carl Westin; Jekaterina Basjuka; Simone Pozzi
In: Human Interaction and Emerging Technologies: Artificial Intelligence and Future Applications. International Conference on Applied Human Factors and Ergonomics (AHFE-2025), 13th International Conference on Human Interaction & Emerging Technologies: Artificial Intelligence & Future Applications, located at IHIET-AI 2025, AHFE Open Access, 3/2025.
In: 28th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS-2025), May 5-7, Lyon, France, 2025.
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: The Thirty-Eighth Annual Conference on Neural Information Processing Systems. Neural Information Processing Systems (NeurIPS-2024), December 10-15, Vancouver, British Columbia, Canada, Pages 7552-7579, Vol. 37, Neural Information Processing Systems, 1/2025.
In: 55th International Symposium on Multiple-Valued Logic (ISMVL 2025). IEEE International Symposium on Multiple-Valued Logic (ISMVL-2025), June 5-6, Montreal, Canada, 2025.