18 citations · 68 across the 14 of their papers we have counts for
3 papers · 1 filter
Model-based analysis support for dependable complex systems in CHESS
Felicien Ihirwe, Silvia Mazzini, Pierluigi Pierini +2
The challenges related to dependable complex systems are heterogeneous and involve different aspects of the system. On one hand, the decision-making processes need to take into acc…
Reactive Synthesis from Extended Bounded Response LTL Specifications
Alessandro Cimatti, Luca Geatti, Nicola Gigante +2
Reactive synthesis is a key technique for the design of correct-by-construction systems and has been thoroughly investigated in the last decades. It consists in the synthesis of a…
A Cloud-Based Collaboration Platform for Model-Based Design of Cyber-Physical Systems
Peter Gorm Larsen, Hugo Daniel Macedo, John Fitzgerald +6
Businesses, particularly small and medium-sized enterprises, aiming to start up in Model-Based Design (MBD) face difficult choices from a wide range of methods, notations and tools…