Sep 25, Darko Bozhinoski (IRIDIA, Université Libre de Bruxelles): Software Engineering for Robotic Systems: From Individual Robots to Autonomous Swarms
Sep 16, Adiel Tuyishime (GSSI): Enhancing Model Management with Automated REST API Generation
Sep 9, Yelyzaveta Kurkchi (GSSI): Towards Cyber-Physical-Ethical Systems
Sep 6, Balachander Krishnamurthy (AT&T Labs--Research): Generative AI and the rise of tailored LLMs
Jul 26, Rickson Simioni Pereira (GSSI): On the Need for Configurable Travel Recommender Systems: A Systematic Mapping Study
Jul 18, Laura Nenzi (University of Trieste): Learning Temporal Logic Formulas from Time-series Data
Jun 25, Marc Serra-Garcia (AMOLF): Cognitive dynamical systems: Talking structures, smart nano-robots and the limits of green computers
Jun 25, Carlo Ghezzi (Politecnico di Milano): Rethinking software engineering research and education in the light of digital humanism
Jun 10, Adrian Francalanza (University of Malta): Runtime Instrumentation for Reactive Components
May 30, Tiziano Santilli (GSSI): Continuous Compliance in the Automotive Industry
May 28, Mirgita Frasheri (Aarhus University): Digital Twins for Mobile Robots
May 17, Leonardo Mostarda (Camerino University): Scalable solutions for IoT smart contract execution
Apr 11, Guglielmo De Angelis (CNR--IASI): Flakiness goes live: Insights from an In Vivo testing simulation study
Apr 5, Aldeida Aleti (Monash University): Testing AI based systems
Apr 4, Alexandra Bota, Enrico Iavazzo and Maurizio Spiriticchio (Fameccanica): Industrial automation and digital transformation. The case of Angelini Technologies - Fameccanica
Feb 28, Bas Luttik (TU Eindhoven, The Netherlands): Verifying shared-memory mutual exclusion algorithms with non-atomic reads and writes
Feb 23, Carlos Gustavo Lopez Pombo (CITECCA and UBA): Verification of software artifacts in the nuclear domain (an experience report)
Feb 20, Daniel Yankelevic (Fundar, Argentina): Data, models and public policies
Feb 16, Nikos Tzevelekos (Queen Mary University, London): Nominal games, automata and program verification
Jan 13. Nicola Prezza (Univesity of Venice): Sketching and Streaming for Data Compression
Jan 30. Travis Gagie (Dalhousie University, Canada): r-bar indexing
Jan 22. Marie Farrell (University of Manchester): Requirements Specification for Autonomous Robotic Systems: Time to Start FRETting
Jan 16. Imran Khan and Olaf Maurer (Zalando): Joint Order Selection, Allocation, Batching and Picking for Large Scale Warehouses
Jan 10. Yllka Velaj (University of Vienna): Embedding and Clustering of Atributed Multiplex Networks
Jan 9. Alberto Pelliccione (AI Capital): How AI is Reshaping Cybersecurity