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 by Prof. L. A. Gąsieniec from University of Liverpool

Speaker: Prof. L.A. Gąsieniec (University of Liverpool) Title: Deterministic Majority/Plurality Consensus Protocols Where: GSSI (Main Lecture Hall) When: Tue 27/09/2016, 15:00-16:00 Abstract: We study space-optimal population protocols for several variants of the majority and plurality consensus problems. We start with an important amendment allowing majority population protocols to report equality if neither of the original […]

Continue reading


Seminar by Juan De Lara and Esther Guerra

Title: Constructing Domain Specific Modelling Languages for Model Driven Engineering. When: 21/07/2016 11:00 am Where: Room B Abstract: Model-Driven Engineering (MDE) is a Software Engineering paradigm that promotes an active use of models and transformations throughout all phases of software development. Hence, models are used to specify, test, simulate and generate code for the final […]

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 by Prof. A. Navarra on Robot-based computing systems

Speaker: Prof. Alfredo Navarra (University of Perugia) Title: Robot-based computing systems: modeling and tasks Where: GSSI (Main Lecture Hall) When: Mon 11/07/2016, 15:00-17:00 Abstract: In the last years a considerably effort in the area of distributed computing has been devoted to the study of models and algorithmic approaches for the so called robot-based computing systems, […]

Continue reading