RoboSapiens

Menu

Conferences Publications

Publications in Conferences / Workshops

  1. Ioannis Bountouris, Nikolaos Passalis, Anastasios Tefas (2024). Probabilistic Knowledge Transfer for Lightweight Vision Transformers. *European Signal Processing Conference, 2024*.
    https://doi.org/10.23919/EUSIPCO63174.2024.10715017

  2. Michail Loufakis, Pavlos Tosidis, Nikolaos Passalis, Anastasios Tefas (2024). Improving Active Face Recognition using Multi-Task Learning. *15th International Conference on Information, Intelligence, Systems and Applications*.
    https://doi.org/10.1109/IISA62523.2024.10786720

  3. Joakim Schack Betzer, Jalil Boudjadar, Mirgita Frasheri, Prasad Talasila (2024). Digital Twin Enabled Runtime Verification for  Autonomous Mobile Robots under Uncertainty. *28th International Symposium on Distributed Simulation and Real Time Applications*.
    https://doi.org/10.48550/arXiv.2412.09913

  4. Thomas Wright, Louise A. Dennis, Jim Woodcock, Simon Foster (2024). Formal Verification of BDI Agents. *The Combined Power of Research, Education, and Dissemination (Festschrift for Tiziana Margaria, LNCS)*.
    https://doi.org/10.1007/978-3-031-73887-6_20

  5. Tzoulio Chamiti, Nikolaos Passalis, Anastasios Tefas (2024). Large Models in Dialogue for Active Perception and Anomaly Detection. *International Conference on Pattern Recognition 2025*.
    https://doi.org/10.1007/978-3-031-78447-7_25

  6. Pavlos Tosidis, Nikolaos Passalis, Anastasios Tefas (2024). Continual Updates of Face Embeddings using Deep Reinforcement Learning. *International Conference on Pattern Recognition, FBE2024*.
    https://doi.org/10.1007/978-3-031-87660-8_24

  7. Chengjie Lu, Jiahui Wu, Shaukat Ali, Mikkel Labori Olsen (2024). Assessing the Uncertainty and Robustness of the Laptop Refurbishing Software. *18th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2025*.
    https://doi.org/10.1109/ICST62969.2025.10988977

  8. James Baxter, Bert Van Acker, Morten Kristensen, Thomas Wright, Ana Cavalcanti, Claudio Gomes (2025). Formal Architectural Patterns for Adaptive Robotic Software. *28th International Conference on Fundamental Approaches to Software Engineering (FASE 2025)*. 

  9. Shaukat Ali, Paolo Arcaini & Aitor Arrieta (2024). Foundation Models for the Digital Twins Creation of Cyber-Physical Systems. *International Symposium on Leveraging Applications of Formal Methods*.
    https://doi.org/10.1007/978-3-031-75390-9_2

  10. Wang, R. Skulstad and H. Zhang, “Physics-Informed Neural Networks for Robust System Identification of Ship Roll Dynamics With Noise Resilience,” in IEEE Transactions on Industrial Informatics, vol. 21, no. 5, pp. 3934-3942, May 2025.
    https://doi.org/10.1109/TII.2025.3534406

  11. Ziggy Attala, Fang Yan, Simon Foster, Ana Cavalcanti and Jim Woodcock (2025). Process-Algebraic Semantics for Verifying Intelligent Robotic Control Software. *The 17th NASA Formal Methods Symposium (NFM2025)*.
    https://doi.org/10.1007/978-3-031-93706-4_2

  12. Tongtong Wang, Beatriz Sanguino, Guoyuan Li and Houxiang Zhang (2025). Adaptive and Continuous Maritime Vessel Trajectory Prediction Under Varying Environments with Uncertainty Awareness. *8th IEEE International Conference on Industrial Cyber-Physical Systems (ICPS)*. 

  13. Beatriz Sanguino, Tongtong Wang, Øivind Kare Kjerstad, Guoyuan Li, Houxiang Zhang (2025). Real-Time Interaction with a Ship Bridge Simulator via a Multi-Threaded Framework. *8th IEEE International Conference on Industrial Cyber-Physical Systems (ICPS)*. 

  14. Sahar Nasimi Nezhad, (2025). Toward the Trust-Enhanced MAPE-K Loop: A Novel Robotic Software Architecture. *8th IEEE International Conference on Industrial Cyber-Physical Systems (ICPS)*. 

  15. Sahar Nasimi Nezhad, (2025). Towards a Standardized Framework for Developing Trustworthy Self-Adaptive Robotic System. *Annual Modeling and Simulation Conference (ANNSIM)*. 

  16. Ioannis Bountouris, Nikolaos Passalis, Anastasios Tefas (2024). Probabilistic Knowledge Transfer for Lightweight Vision Transformers. *European Signal Processing Conference (EUSIPCO 2024)*.
    https://doi.org/10.23919/EUSIPCO63174.2024.10715017


  17. Michail Loufakis, Pavlos Tosidis, Nikolaos Passalis, Anastasios Tefas (2024). Improving Active Face Recognition using Multi-Task Learning. *The Fifteenth International Conference on Information, Intelligence, Systems and Applications (IISA 2024)*.
    https://doi.org/10.1109/IISA62523.2024.10786720

  18. Morten Haahr Kristensen; Alberto Bonizzi; Cláudio Gomes; Simon Thrane Hansen; Carlos Isasa; Hannes Iven, et al. (2024). Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service. *2024 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C)*.
    https://doi.org/ 10.1109/ACSOS-C63493.2024.00042

  19. Emmanouil Eleftheriadis, Theodoros Manousis, Nikolaos Passalis, Anastasios Tefas (2025) Trustworthy High-Resolution Pose Estimation Through Active Perception Using Vision Transformers. 2nd Workshop on Forging Trust in AI @ IEEE International Joint Conference on Neural Networks 2025.

  20. Dimitrios Spanos, Nikolaos Passalis, Anastasios Tefas (2025) Reliable Uncertainty Estimation in Autonomous Systems via Feature Collapse Mitigation. 8th IEEE International Conference on Industrial Cyber-Physical Systems (ICPS).
    https://doi.org/10.1109/ICPS65515.2025.11087916

  21. Nikolaos Kaparinos, Nikolaos Passalis, Anastasios Tefas (2025) Single Pass Uncertainty Estimation in Q-Learning via Dropout Distillation. IEEE International Joint Conference on Neural Networks (IJCNN) 2025.

  22. Neron Michail Panagiotopoulos, Nikolaos Passalis, Anastasios Tefas (2025) Perception-based Probabilistic Latent Space Matching for Anomaly Detection in Industrial Autonomous Systems. The Sixteenth International Conference on Information, Intelligence, Systems and Applications (IISA 2025).

  23. Loukia Avramelou, Manos Kirtas, Nikolaos Passalis, Anastasios Tefas (2025) Robust Robotic Perception using Adaptive Multiplicative Optimization for Deep Reinforcement Learning. The Sixteenth International Conference on Information, Intelligence, Systems and Applications (IISA 2025).

  24. Nylænder, A. Arrieta, S. Ali and P. Arcaini (2025) Search-based Generation of Waypoints for Triggering Self-Adaptations in Maritime Autonomous Vessels.
    https://dl.acm.org/doi/10.1145/3712256.3726399

  25. Boudjadar, Jalil & Frasheri, Mirgita. (2025). A Digital Twin Enabled Runtime Analysis and Mitigation for Autonomous Robots Under Uncertainties.

  26. Isaku, Erblin & Sartaj, Hassan & Ali, Shaukat & Sanguino, Beatriz & Wang, Tongtong & Li, Guoyuan & Zhang, Houxiang & Peyrucain, Thomas. (2025). Out of Distribution Detection in Self-adaptive Robots with AI-powered Digital Twins.
    https://doi.org/10.48550/arXiv.2509.12982

  27. Romanos Voulgarakis, Dimitrios Katsikas, Nikolaos Passalis, Anastasios Tefas (2025) Latent behavior cloning for deep reinforcement learning robotic tasks.
    https://eusipco2025.org/wp-content/uploads/pdfs/0001927.pdf

  28. Alexandros Vasileiadis, Nikos Nikolaidis (2025)
    Generation of annotated data for human-centric computer vision tasks using augmented reality.
    https://eusipco2025.org/wp-content/uploads/pdfs/0000785.pdf

  29. Pasios, N. Nikolaidis (2025) Enhancing Photorealism in CARLA Autonomous Driving Simulator.
    https://eusipco2025.org/wp-content/uploads/pdfs/0000671.pdf