Kim Larsen will deliver an advanced course at GSSI, stay tuned!

Lecturer: Kim Larsen, http://people.cs.aau.dk/~kgl/ Title: From Timed Automata to Stochastic Hybrid Games – Model Checking, Synthesis, Performance Analysis, Optimization and Machine Learning Abstract: Timed automata and games, priced timed automata and energy automata have emerged as useful formalisms for modeling real-time and energy-aware systems as found in several embedded and cyber-physical systems. During the last […]

Continue reading


Seminar by Sasha Rubin

Date: 30 October, 14:30 Place: GSSI Main Lecturer Hall Speaker: Sasha Rubin (University of Naples Federico II) – https://sasharubin.github.io Title: Complexity of strategic reasoning under partial observability Abstract: There is a need for humans to be able to trust the decisions made by the Artificial Agents (AA) we interact with. This challenge cannot be met […]

Continue reading


Seminar by Mohammad Hamdaqa

Date: October 17, 4pm Place: GSSI Main Lecture Hall Speaker: Mohammad Hamdaqa Title: Around the Cloud in Less than 60 Minutes Abstract: Advances in cloud platforms have changed the application development landscape. Cloud platforms abstract the complexity of application delivery to enable the applications’ rapid development and easy management. This changes the way development teams […]

Continue reading


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