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.

Working on testing ๐Ÿงช or analysis ๐Ÿ“Š for AI-enabled systems? ๐Ÿง ๐Ÿค– don't miss the chance to submit your work to our Special Issue! @JSSoftware

๐Ÿ—“๏ธWe've extended the deadline to August 31, 2024

๐Ÿ“ข Full CfP at

#AI #testing #analysis #cfp

โž• Deadline extended for the Special Track on Web Engineering for the Computing Continuum at the 25th International Conference of Web Information Systems Engineering (WISE 2024), co-chaired by @gioenn & L. Baresi!
๐Ÿ—“๏ธ NEW deadline: July 30
๐Ÿ‘‰ More info:

๐Ÿฅ‡ Congrats to Luca De Martini, @alemargara83, @gpaolo_c, Marco Donadoni, Edoardo Morassutto: their work "The Renoir Dataflow Platform: Efficient Data Processing without Complexity" was accepted on Future Generation Computer Systems! ๐Ÿ‘
More details on the project below ๐Ÿ‘‡

๐Ÿคฉโœจ Congrats to Michele Chiari (@micchiari), Luca Geatti, Nicola Gigante & Matteo Pradella (@bzoto) for having their "SMT-based Symbolic Model-Checking for Operator Precedence Languages" accepted at the Computer Aided Verification 2024 Conference!! โญ
More info below ๐Ÿ‘‡

Load More