Models and Applications of Distributed Systems
Lorenzo Bazzana, Marino Miculan (MADS lab, University of Udine)Michele Codutti (Danieli Automation) Operation Technology, i.e. the hardware and software that monitor and control industrial equipment, assets, processes and events, is required to respect high standards of security and reliability. Unfortunately, the analysis and security assessment of OT is less mature than that of Information Technology. In fact, products and components […]
Two fellowship grants are available at the University of Udine, Italy, for 12 and 18 months respectively, within the Italian national project “IT MATTERS – Methods and Tools for Trustworthy Smart Systems”. The fellowships are research-only, with no teaching or administrative obligations. Deadline for application is May 31, 2020, 14:00 CEST. Having a PhD is appreciated […]
A new version of jLibBig, the Java Library for Bigraphs, has been released today. The new version is codenamed “Easter’s Eve”. With respect to the previous one, these are the main improvements: Added the support for (Local) Directed Bigraphs, a generalisation of pure bigraphs where the link graph structure is more symmetric. Ported the Matching […]
The kick-off meeting of the PRIN 2017 project “IT MATTERS” has been in Pisa, on October 14. About 40 people have gathered, from the universities of Pisa, Udine, Camerino, the IMT of Lucca, the GSSI of L’Aquila and the CNR. The project is about trustworthiness of “smart systems”, so the MADS lab will have the […]
One year industrial research position at the University of Udine about Modelling and performance evaluation of train on-board networks Funded by EU FSE program HEaD Deadline for application: October 10, 2018, 11:30. Subject Nowadays trains feature advanced on-board information networks which are used both for essential services and for additional (infotainment) services, and must guarantee […]
The paper Behavioural equivalences for coalgebras with unobservable moves, by Tomasz Brengos and MADSLab members Marino Miculan and Marco Peressotti, has been published on the Special Issue of the Journal of Logical and Algebraic Methods in Programming dedicated to the OPCT 2014 Research Seminar.
The paper Open Transactions on Shared Memory, by MADSLab members Marino Miculan, Marco Peressotti, and Andrea Toneguzzo, have been presented at COORDINATION 2015, the conference on Coordination Models and Languages part of the DisCoTec, the International Federated Conference on Distributed Computing Techniques. Thanks to the many participants who have asked questions, raised remarks and fostered […]