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


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