MELATTI, IGOR

MELATTI, IGOR  

Dipartimento di Ingegneria e scienze dell'informazione e matematica  

Mostra records
Risultati 1 - 20 di 31 (tempo di esecuzione: 0.025 secondi).
Titolo Data di pubblicazione Autore(i) File
Optimizing Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems 1-gen-2023 Mancini, T; Melatti, I; Tronci, E
Any-Horizon Uniform Random Sampling and Enumeration of Constrained Scenarios for Simulation-Based Formal Verification 1-gen-2022 Mancini, T; Melatti, I; Tronci, E
A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries 1-gen-2022 Melatti, I; Mari, F; Mancini, T; Prodanovic, M; Tronci, E
A Constraint Optimization-Based Sense and Response System for Interactive Business Performance Management 1-gen-2021 Mari, F; Massini, A; Melatti, I; Tronci, E
On checking equivalence of simulation scripts 1-gen-2021 Mancini, T; Mari, F; Massini, A; Melatti, I; Tronci, E
MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks 1-gen-2020 Chen, Qm; Finzi, A; Mancinit, T; Melatti, I; Tronci, E
Residential Demand Management Using Individualized Demand Aware Price Policies 1-gen-2017 Hayes, Barry; Melatti, Igor; Mancini, Toni; Prodanovic, Milan; Tronci, Enrico
Linearizing Discrete-Time Hybrid Systems 1-gen-2017 Alimguzhin, V; Mari, F; Melatti, I; Salvo, I; Tronci, E
On minimising the maximum expected verification time 1-gen-2017 Mancini, T; Mari, F; Massini, A; Melatti, I; Salvo, I; Tronci, E
SyLVaaS: System Level Formal Verification as a Service 1-gen-2016 Mancini, T; Mari, F; Massini, A; Melatti, I; Tronci, E
Anytime system level verification via parallel random exhaustive hardware in the loop simulation 1-gen-2016 Mancini, T; Mari, F; Massini, A; Melatti, I; Tronci, E
Model-based synthesis of control software from system-level formal specifications 1-gen-2014 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
CGMurphi: Automatic Synthesis of Numerical Controllers for Nonlinear Hybrid Systems 1-gen-2013 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Daniele, Magazzeni; Igor, Melatti; Enrico, Tronci
System Level Formal Verification via Model Checking Driven Simulation 1-gen-2013 Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Merli, Fabio; Tronci, Enrico
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems 1-gen-2010 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Automatic Generation Of Optimal Controllers Through Model Checking Techniques 1-gen-2008 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Daniele, Magazzeni; Igor, Melatti; Alberto, Tofani; Enrico, Tronci
Disk Based Software Verification via Bounded Model Checking 1-gen-2007 Fernando, Brizzolari; Igor, Melatti; Enrico, Tronci; DELLA PENNA, Giuseppe
Automatic Synthesis of Robust Numerical Controllers 1-gen-2007 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Igor, Melatti; Daniele, Magazzeni; Alberto, Tofani; Enrico, Tronci
Computational models of myocardial endomysial collagen arrangement 1-gen-2007 Intrigila, B; Melatti, I; Tofani, A; Macchiarelli, Guido
A Case Study on Automated Generation of Integration Tests 1-gen-2006 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Igor, Melatti; M., Pecorari; O., Raparelli; Alberto, Tofani; Enrico, Tronci