DEEP-SE
Welcome to the DEpendable Evolvable Pervasive Software Engineering (DEEP-SE) team at the Department of Electronics, Information Science and Bioengineering (DEIB) at Politecnico di Milano.
About Us
The DEEP-SE team conducts research on methods, techniques, tools, and frameworks for the design, development, and verification of complex software systems. By complex software we mean those systems that can be characterized, in varying degrees and flavors, as distributed, pervasive, adaptive, reconfigurable, dynamic, and critical. The pursued research activities encompass a variety of aspects of such systems, ranging from modeling and analysis issues in the early phases of their development, to issues related to their implementation and runtime management and optimization.
The team also investigates the economic and strategic impact of software on industry and society in general. Formal languages and techniques for the modeling and verification of the target applications play a central role in the research activity of the team. Most of the research activities eventually lead to software prototypes and experimentation, some of which are available as open-source software. Yet, various members of the team are also committed to methodological and theoretical investigation.
🚀 "Dynamic Resource Allocation for Deadline-Constrained Neural Network Training" was accepted at @SEAMSconf 2025! 😄 👏 First paper by Marco Garlini -- congrats to him, Luciano Baresi, and @gioenn!
🏆🏆 Huge success at #icse2025! "Parametric Falsification of Many Probabilistic Requirements under Flakiness" (@matteocamilli,R.Mirandola) & "Efficient Domain Augmentation for Autonomous Driving Testing Using Diffusion Models" (L.Baresi,D. Hu,A.Stocco,P.Tonella) got accepted 🏎️💨
👏 Congrats R. Sala, H. Sedghani, M. Passacantando, G. Verticale, @ardagna_danilo, who had their paper "AI Applications Resource Allocation in Computing Continuum: A Stackelberg Game Approach" accepted on IEEE Transactions on Cloud Computing! 📖 Read here:
🫵 The ACM DEBS 2025 Grand Challenge, organized by @alemargara83 and Luca De Martini, is looking for competitors! 🚀 Build the most efficient and scalable stream/event-processing solution by May 2nd to win an award at the conference in June! More info below 👇