MELATTI, IGOR
MELATTI, IGOR
Dipartimento di Ingegneria e scienze dell'informazione e matematica
Optimizing Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems
2023-01-01 Mancini, T; Melatti, I; Tronci, E
Any-Horizon Uniform Random Sampling and Enumeration of Constrained Scenarios for Simulation-Based Formal Verification
2022-01-01 Mancini, T; Melatti, I; Tronci, E
A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries
2022-01-01 Melatti, I; Mari, F; Mancini, T; Prodanovic, M; Tronci, E
A Constraint Optimization-Based Sense and Response System for Interactive Business Performance Management
2021-01-01 Mari, F; Massini, A; Melatti, I; Tronci, E
On checking equivalence of simulation scripts
2021-01-01 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
2020-01-01 Chen, Qm; Finzi, A; Mancinit, T; Melatti, I; Tronci, E
Residential Demand Management Using Individualized Demand Aware Price Policies
2017-01-01 Hayes, Barry; Melatti, Igor; Mancini, Toni; Prodanovic, Milan; Tronci, Enrico
Linearizing Discrete-Time Hybrid Systems
2017-01-01 Alimguzhin, V; Mari, F; Melatti, I; Salvo, I; Tronci, E
On minimising the maximum expected verification time
2017-01-01 Mancini, T; Mari, F; Massini, A; Melatti, I; Salvo, I; Tronci, E
SyLVaaS: System Level Formal Verification as a Service
2016-01-01 Mancini, T; Mari, F; Massini, A; Melatti, I; Tronci, E
Anytime system level verification via parallel random exhaustive hardware in the loop simulation
2016-01-01 Mancini, T; Mari, F; Massini, A; Melatti, I; Tronci, E
Model-based synthesis of control software from system-level formal specifications
2014-01-01 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
CGMurphi: Automatic Synthesis of Numerical Controllers for Nonlinear Hybrid Systems
2013-01-01 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Daniele, Magazzeni; Igor, Melatti; Enrico, Tronci
System Level Formal Verification via Model Checking Driven Simulation
2013-01-01 Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Merli, Fabio; Tronci, Enrico
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems
2010-01-01 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Automatic Generation Of Optimal Controllers Through Model Checking Techniques
2008-01-01 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Daniele, Magazzeni; Igor, Melatti; Alberto, Tofani; Enrico, Tronci
Disk Based Software Verification via Bounded Model Checking
2007-01-01 Fernando, Brizzolari; Igor, Melatti; Enrico, Tronci; DELLA PENNA, Giuseppe
Automatic Synthesis of Robust Numerical Controllers
2007-01-01 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Igor, Melatti; Daniele, Magazzeni; Alberto, Tofani; Enrico, Tronci
Computational models of myocardial endomysial collagen arrangement
2007-01-01 Intrigila, B; Melatti, I; Tofani, A; Macchiarelli, Guido
Finite Horizon Analysis of Markov Chains with the Murphi Verifier
2006-01-01 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Igor, Melatti; Enrico, Tronci; MARISA VENTURINI, Zilli
| 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 | |
| Finite Horizon Analysis of Markov Chains with the Murphi Verifier | 1-gen-2006 | DELLA PENNA, Giuseppe; Benedetto, Intrigila; Igor, Melatti; Enrico, Tronci; MARISA VENTURINI, Zilli |