Seminar by Emilio Tuosto

Date: April 21, 3pm Place: GSSI Main Lecture Hall Speaker: Prof. Emilio Tuosto Title: Choreographies for Communicating Systems. An overview and some future directions Abstract: Communicating and distributed systems are notoriously difficult to design, implement, and verify. The problems that affect the realisation of traditional software are amplified by the effects produced by concurrency and […]

Continue reading


Seminar by Prof. Stefano Salsano

Date: February 2, 11:15 am, GSSI Library Room Speaker: Prof. Stefano Salsano, University of Rome Tor Vergata, Italy Title: Towards superfluid Network Function Virtualization (NFV) Abstract: Network Softwarization is an overall trend that is changing the way in which communication networks are designed, implemented, deployed and run. The Network Function Virtualization (NFV) paradigm is an […]

Continue reading


Seminar by Dr. Andre B. Bondi

Date: December 7, 3pm, GSSI Room B Speaker: Dr. Andre B. Bondi Title: Predicting the Time to Migration into Deadlock for a Performance Antipattern Using a Discrete Time Markov Chain Abstract: When processes join a common FCFS queue to acquire or release resources in an object pool of fixed size, deadlock occurs if the process […]

Continue reading


Seminar by Heinz Schmidt

Date: November 22, 2pm, GSSI Main Lecture Hall Speaker: Prof Dr.-Ing. Heinz Schmidt, RMIT University, Melbourne, Australia Title: Modeling and analysis of software-intensive cyberphysical systems Abstract: In this talk I will give an overview of work on large industrial and eResearch systems in our software engineering research group. These systems are typically cyberphysical and cloud-enabled. […]

Continue reading


Seminar by Ricardo J. Rodríguez, University of Zaragoza, Spain

Date: October 18, 11am, GSSI Room B Speaker: Ricardo J. Rodriguez, University of Zaragoza, Spain Title: Extracting WinAPI Call Graphs for Inferring Malicious Behaviours Abstract: The number of incidents related to cyberattacks is increasing rapidly, accordingto numerous numerous software security vendors during last years. In this regard, malicious software specially crafted to proliferate in PC […]

Continue reading


Seminar from Christine Julien

Date: Tue, 19 July, 15:00 – 16:00, GSSI Room B Speaker: Christine Julien Title: Middleware for Context-Sharing in Device-to-Device Mobile Environments Abstract: In mobile systems, device-to-device communication and coordination are increasingly mainstream. In these new styles of interactions, it is essential for co-located devices to share (potentially over multiple hops) expressive context information at low-overhead. […]

Continue reading


Seminar from Luca Naso

Date: 27th of June, 3 pm, GSSI Main Hall Speaker: Luca Naso Title: “Big Data: from science to markets” What do galaxies, LHC, stock markets, our facebook profiles and worldwide computer networks share in common? All of them produce an “astronomical” amount of data every day and we want to use them. The challenge in […]

Continue reading


Seminar from Michele Loreti

Tuesday 24th May, 2016 – GSSI – Room D (11.30 – 12.30) Speaker: Dr. Michele Loreti – University of Florence, Italy. Title: Monitoring of Spatio-Temporal properties of Cyber-Physical Systems Abstract: Cyber-Physical Systems (CPS) or “smart” systems are co-engineered interacting networks of physical and computational components. These systems provide the foundation of critical infrastructure. CPS typically […]

Continue reading