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


GSSI Lectures from Radu Calinescu

Quantitative Verification for Software Performance Engineering Quantitative verification is a mathematically based technique for analysing the correctness, reliability, performance and other quality-of-service properties of systems characterised by stochastic behaviour. This two-lecture course will cover the use of the technique in software performance engineering at design and run time, with an emphasis on advanced topics linked […]

Continue reading


GSSI Seminar, Dr. Daniel J. Dubois, September 16, 11:30 am

Date: Wednesday September 16, 11:30 a.m. Place: GSSI Room D, ground floor Speaker: Dr. Daniel J. Dubois (Imperial College, London, UK) Title: Performance Optimization in the Cloud for Spot and Burstable Resources Abstract: In recent years some of the main cloud providers are offering new pricing models for renting their resources. The most popular ones […]

Continue reading