1st DISIM Workshop on

Engineering Cyber-Physical Systems

Tuesday 26, January 2016, 2:00 pm

Meeting room 2.3, II floor, Coppito 1

University of L’Aquila, Italy



14:00 – Alessandro D’Innocenzo & Henry Muccini – Welcome & Introduction to CPS

14:20 – Giordano Pola – Formal methods for analysis and control of CPS

14:40 – Elena De Santis – Safe Communication in Power Systems: application to a DC microgrid control – Safe Human-Inspired Model for Vehicle Control

15:00 – Luigi Pomante: Electronic Design Automation & Embedded Systems Development

15:20 – Alessandro D’Innocenzo – Modeling and Co­design of Control Tasks over Wireless Networking Protocols: State of the Art and Challenges

15:40 – Henry Muccini – Architecting (Self-Adaptive) Cyber-Physical Systems: a View on the State of the Art

16:00 – Stefania Costantini – Agent-based hybrid architecture for Smart Cyber-Physical Systems and applications to eHealth

16:20 – Discussion




1 2 3
January 10th, 2024

CAIN 2024 – PC co-Chair

CAIN 2024 — 3rd International Conference on AI Engineering – Software Engineering for AI The goal of the CAIN Conference […]

May 23rd, 2024

Software Architecture Town Hall @ICSE 2024

Here the group photo of colleagues who attended the Software architecture Town Hall during the Int. Conference on Software Engineering […]

May 23rd, 2024

Showroom 4.0 – Tecnologie Digitali Innovative per i Beni Culturali – Speaker

Federico Martusciello and I are going to present our approach to bring together #VirtualReality and #Gamification for the #CulturalHeritage.

May 22nd, 2024

ISAPS 2024 – speaker

“iSAPS – the International Software Architecture PhD School – provides young researchers and practicing architects from the industry the opportunity […]

May 10th, 2023

Software Engineering in Practice @ICSE 2023 – PC co-Chair

SEIP – Software Engineering in Practice @ICSE 2023 The Software Engineering in Practice (SEIP) Track is the premier venue for […]

April 5th, 2023

ICSA 2023 – General co-Chair

ICSA 2023, 20th IEEE Int. Conference on Software Architecture ICSA is the premier venue for practitioners and researchers interested in […]

August 27th, 2018

SERENE 2018 – 10th International Workshop on Software Engineering for Resilient Systems

Resilience is an ability of a system to persistently deliver trustworthy services despite changes. Modern software systems continuously change in […]

August 27th, 2018

I-CiTies 2018 – 4th Italian Conference on ICT for Smart Cities And Communities

A smart city is a vision where key infrastructure components and services – e.g., environmental, emergency response, transport/mobility/energy management – […]

April 30th, 2017

Panel on ICT for the Culturale Heritage – L’Aquila, 04-05 May 2017

L’evento “ICT per i Beni Culturali”, che si terra’ a L’Aquila nei giorni 04 e 05 Maggio 2017, si pone […]

April 30th, 2017

CINI Smart Cities University Challenge

Il CINI Smart City University Challenge e’ una competizione universitaria organizzata dall’Universita’ degli Studi dell’Aquila e dal Laboratorio CINI su […]