Nuzzo, Pierluigi
Nuzzo, Pierluigi
Mostra
records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.013 secondi).
A Contract-Based Requirement Engineering Framework for the Design of Industrial Cyber-Physical Systems
2022-01-01 Lora, Michele; Nuzzo, Pierluigi
Co-Design of Topology, Scheduling, and Path Planning in Automated Warehouses
2023-01-01 Leet, Christopher; Oh, Chanwook; Lora, Michele; Koenig, Sven; Nuzzo, Pierluigi
Constraint-driven nonlinear reachability analysis with automated tuning of tool properties
2024-01-01 Geretti, Luca; Collins, Pieter; Nuzzo, Pierluigi; Villa, Tiziano
Design Automation for Cyber-Physical Production Systems: Lessons Learned from the DeFacto Project
2024-01-01 Lora, Michele; Gaiardelli, Sebastiano; Oh, Chanwook; Spellini, Stefano; Nuzzo, Pierluigi; Fummi, Franco
Efficient Exploration of Cyber-Physical System Architectures Using Contracts and Subgraph Isomorphism
2024-01-01 Xiao, Yifeng; Oh, Chanwook; Lora, Michele; Nuzzo, Pierluigi
Quantitative Verification and Design Space Exploration under Uncertainty with Parametric Stochastic Contracts
2022-01-01 Oh, Chanwook; Lora, Michele; Nuzzo, Pierluigi
Special issue: Formal verification of cyber-physical systems
2022-01-01 Geretti, Luca; Abate, Alessandro; Nuzzo, Pierluigi; Villa, Tiziano
Task Assignment, Scheduling, and Motion Planning for Automated Warehouses for Million Product Workloads
2023-01-01 Leet, Christopher; Oh, Chanwook; Lora, Michele; Koenig, Sven; Nuzzo, Pierluigi