Seminar titleSpeakerDate
The revolution of software: a look at the automotive and robotic domains (Slides) Patrizio Pelliccione (Chalmers University of Technology and University of Gothenburg, Sweden)7 February 2018
Complexity of strategic reasoning under partial observability Sasha Rubin (University of Naples Federico II)30 October 2017
Bias in the Web Ricardo Baeza-Yates (CTO of NTENT) 24 October 2017
Research activities of the Robotics Research Group @UNICAS on multi-robot system, underwater/aerial vehicle manipulator systems, and assistive robotics Profs. Arrichiello and Antonelli (Università di Cassino e Lazio Meridionale)7 June 2017
Choreographies for Communicating Systems. An overview and some future directionsEmilio Tuosto (University of Leicester, UK)21 April 2017
Towards superfluid Network Function Virtualization.Stefano Salsano (University of Rome Tor Vergata, Italy)2 February 2017
Predicting the Time to Migration into Deadlock for a Performance Antipattern Using a Discrete Time Markov Chain.Andre B. Bondi (Performance Consulting, USA)7 December 2016
Modeling and analysis of software-intensive cyberphysical systems.Heinz Schmidt (RMIT University, Melbourne, Australia)22 November 2016
Extracting WinAPI Call Graphs for Inferring Malicious Behaviours.Ricardo J. Rodríguez (University of Zaragoza, Spain)18 October 2016
Deterministic Majority/Plurality Consensus Protocols.L.A. Gąsieniec (University of Liverpool)27 September 2016
Constructing Domain Specific Modelling Languages for Model Driven Engineering.Juan De Lara and Esther Guerra (Universidad Autónoma in Madrid, Spain)21 July 2016
Middleware for Context-Sharing in Device-to-Device Mobile EnvironmentsChristine Julien (University of Texas, Austin, USA)19 July 2016
Robot-based computing systems: modeling and tasks (Slides).Alfredo Navarra (Dipartimento di Matematica e Informatica, Università degli Studi di Perugia, Italy)11 July 2016
An Intro/Demo to Xtext (Code – Tutorials)Lorenzo Bettini (Dipartimento di Informatica Università degli Studi di Torino, Italy)16 May 2016
The time-size-stretch tradeoff in fault-tolerant shortest-path treesGuido Proietti (Università degli Studi dell’Aquila, Italy)10-12 May 2016
The evolution of Rascal ecosystem (Slides)Paul Klint (CWI, Netherlands)4 May 2016
Discrete Opinion Games Social Influence through CoordinationGiuseppe Persiano (University of Salerno, Italy)25 November 2015
Performance Optimization in the Cloud for Spot and Burstable ResourcesDaniel J. Dubois (Imperial College, UK)16 September 2015
Towards Performance Aware DevOpsGiuliano Casale (Imperial College, UK)15 July 2015
Data Centric activities at the Barcelona Supercomputing CenterDavid Carrera (UPC Barcelona, Spain)25 June 2015
Why Does Software Fail and What Should be Done About It?Kishor Trivedi (Duke University, USA)11 June 2015
Capacity Planning for Infrastructure-as-a-Service CloudKishor Trivedi (Duke University, USA)09 June 2015
Protection of (personal) data: legal and technical perspectivesMarinella Petrocchi (ISTI-CNR, Pisa, Italy)13 May 2015
Measurement-based Performance Problem Detection and DiagnosisAndrè Van Hoorn (University of Stuttgart, Germany)21 April 2015
Variability Management in V&V of Cyber Physical SystemsLeire Etxeberria (University of Mondragon, Spain)10 February 2015
Efficiency Research in Information RetrievalNicola Tonellotto (IMT Lucca, Italy)15 December 2014
A formal approach to autonomic systems programming: The SCEL LanguageRocco De Nicola (IMT Lucca, GSSI, Italy)05 November 2014
Fitness landscape characterisation for search-based software engineering problemAldeida Aleti (Monash University, Australia)17 June 2014