Title: Effective and User-friendly Specification of Multi-Robot MissionsWhen: Wednesday 24, April 15:00-16:00Where: Aula seminari, blocco 0 Abstract: Mobile robots are increasingly used in everyday life to autonomously realize missions such as exploring rooms, delivering goods, or following certain paths for…
GSSI Seminar by Adrian Rutle
When: Wednesday, April 17, 2019, 15:00 Where: Library Room, GSSI Title: Model Repair with Reinforcement LearningSeminar by Prof. Adrian Rutle, Department of Computing, Mathematics and Physics – Western Norway University of Applied Sciences Abstract:Model Driven Engineering is an emerging branch of Software Engineering used to handle…
Seminar by Luca Berardinelli on “Model-Driven Engineering in Practice at Braintribe: tools, challenges, and collaborations”
When: Tuesday, April 16th, 11AM Where: Meeting Room, “Alan Turing” building Title: Model-Driven Engineering in Practice at Braintribe: tools, challenges, and collaborations. Summary: Braintribe (https://www.braintribe.com) is a SME founded in 2005, with around 70 employees, located in Vienna, Zurich,…
Seminars Prof. Carlo Fischione, Monday 15 and Tuesday 16, from 2 pm to 6 pm
Prof. Carlo Fischione (Royal Institute of Technology – KTH, Sweden) will give two classes on Monday 15 and Tuesday 16, from 2 pm to 6 pm in Aula Seminari DISIM (Alan Turing Building), on the following topics: Title: Fundamentals of…
Lectio Magistralis at the GSSI on Software Heritage by Stefano Zacchiroli
Schedule: 24 April, 11.30 – 12.30 Place: GSSI – Main Lecture Hall, v. Francesco Crispi 7 Speaker: Stefano ZacchiroliIRIF, Université Paris Diderot / Inria / IRILL, Paris, Francehttps://upsilon.cc/~zack/ Title: “Software Heritage: source code analysis at the scale of the world” Abstract: The…
Collaborative and Confidential Information Sharing and Analysis for Cyber Protection
Speaker: Rogerio de Lemos, University of Kent, UKWhen: Wednesday, April 03rdWhere: Sala Riunioni di Matematica, Coppito I building at: 2:30 PM Abstract:Analysing cyber threat information (CTI) provides organisations with valuable intelligence about which of their systems are being attacked, and…
Towards Compositional Transformations for Dependability Analysis of Evolving and Reconfigurable Systems
Speaker: Kristof Marussy, Fault Tolerant Systems Research Group, University of BudapestWhen: Tuesday, March 19, 3:15PM Where: Aula 1.7 (Coppito 1)Title: Towards Compositional Transformations for Dependability Analysis of Evolving and Reconfigurable Systems Abstract: Evaluation of the reliability and performance of variable…
Discovering complex individual and social behavior patterns via Social network Analysis
Speaker: Prof. Pasquale De Meo, Università di Messina When: Wednesday, February 6, 2019 Where: AULA A1.4 COPPITO ZERO Title: Discovering complex individual and social behavior patterns via Social network Analysis Thanks to the availability of user profiles and records of…
Seminar “Facing Uncertainty in Complex Cyber-Physical System Design”
Speaker: Malina Software Corp. (Canada), Simula Research Laboratory (Norway), Monash University (Australia) When: Thursday, February 7, 2019 Where: room Alan Turing, Coppito Zero (Blocco 0) Title: Facing Uncertainty in Complex CPS Design ABSTRACT: The unprecedented complexity of many modern-day cyber-physical systems (CPS) requires changes in…