Igor Melatti

70 papers A* 2B 5C 11Misc 1Journal 32Unranked 18
YearRankTypeTitle / Venue / Authors
2025 J jnl
Automating Execution and Verification of BPMN+DMN Business Processes.
CoRR
Giuseppe Della Penna, Igor Melatti
2023 J jnl
Optimising Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems.
CoRR
Toni Mancini, Igor Melatti, Enrico Tronci
2023 J jnl
Optimizing Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems.
IEEE Trans. Software Eng.
Toni Mancini, Igor Melatti, Enrico Tronci
2022 J jnl
A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries.
IEEE Trans. Ind. Electron.
Igor Melatti, Federico Mari, Toni Mancini, Milan Prodanovic, Enrico Tronci
2022 J jnl
Any-Horizon Uniform Random Sampling and Enumeration of Constrained Scenarios for Simulation-Based Formal Verification.
IEEE Trans. Software Eng.
Toni Mancini, Igor Melatti, Enrico Tronci
2021 J jnl
A Constraint Optimization-Based Sense and Response System for Interactive Business Performance Management.
Appl. Artif. Intell.
Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
2021 J jnl
A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries.
CoRR
Igor Melatti, Federico Mari, Toni Mancini, Milan Prodanovic, Enrico Tronci
2021 J jnl
Any-horizon uniform random sampling and enumeration of constrained scenarios for simulation-based formal verification.
CoRR
Toni Mancini, Igor Melatti, Enrico Tronci
2021 J jnl
MILP, pseudo-boolean, and OMT solvers for optimal fault-tolerant placements of relay nodes in mission critical wireless networks.
CoRR
Qian Matteo Chen, Alberto Finzi, Toni Mancini, Igor Melatti, Enrico Tronci
2021 J jnl
On checking equivalence of simulation scripts.
J. Log. Algebraic Methods Program.
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
2021 J jnl
Parallel Statistical Model Checking for Safety Verification in Smart Grids.
CoRR
Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Jorn Klaas Gruber, Barry P. Hayes, Milan Prodanovic, Lars Elmegaard
2021 J jnl
Visualisation of Control Software for Cyber-Physical Systems.
Inf.
Igor Melatti, Federico Mari, Ivano Salvo, Enrico Tronci
2020 — conf
Electricity Network Constraint Management using Individualised Demand Aware Price Policies.
OVERLAY
Igor Melatti, Vadim Alimguzhin, Federico Mari, Milan Prodanovic, Barry P. Hayes
2020 J jnl
MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks.
Fundam. Informaticae
Qian Matteo Chen, Alberto Finzi, Toni Mancini, Igor Melatti, Enrico Tronci
2020 — conf
Optimal Fault-Tolerant Relay Node Positioning in Critical Wireless Networks via Artificial Intelligence.
OVERLAY
Qian Matteo Chen, Toni Mancini, Igor Melatti, Enrico Tronci, Alberto Finzi
2019 — conf
Control Software Synthesis for Cyber-Physical Systems with QKS.
OVERLAY@AI*IA
Vadim Alimguzhin, Federico Mari, Igor Melatti
2018 C conf
An Efficient Algorithm for Network Vulnerability Analysis Under Malicious Attacks.
ISMIS
Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2018 — conf
Computing Personalised Treatments through In Silico Clinical Trials.
RCRA@FLoC
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Ivano Salvo, Stefano Sinisi, Enrico Tronci, Rainald Ehrig, Susanna Röblitz, Brigitte Leeners
2018 — conf
Parallel Statistical Model Checking for Safety Verification in Smart Grids.
SmartGridComm
Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Jorn Klaas Gruber, Barry P. Hayes, Milan Prodanovic, Lars Elmegaard
2017 J jnl
Linearizing Discrete-Time Hybrid Systems.
IEEE Trans. Autom. Control.
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2017 J jnl
On minimising the maximum expected verification time.
Inf. Process. Lett.
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Ivano Salvo, Enrico Tronci
2017 J jnl
Residential Demand Management Using Individualized Demand Aware Price Policies.
IEEE Trans. Smart Grid
Barry Patrick Hayes, Igor Melatti, Toni Mancini, Milan Prodanovic, Enrico Tronci
2016 J jnl
Anytime system level verification via parallel random exhaustive hardware in the loop simulation.
Microprocess. Microsystems
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
2016 J jnl
SyLVaaS: System Level Formal Verification as a Service.
Fundam. Informaticae
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
2015 C conf
A Glimpse of SmartHG Project Test-bed and Communication Infrastructure.
DSD
Vadim Alimguzhin, Federico Mari, Igor Melatti, Enrico Tronci, Emad Samuel Malki Ebeid, Søren Aagaard Mikkelsen, Rune Hylsberg Jacobsen, Jorn Klaas Gruber, Barry P. Hayes, Francisco Huerta, Milan Prodanovic
2015 — conf
Computing Biological Model Parameters by Parallel Statistical Model Checking.
IWBBIO (2)
Toni Mancini, Enrico Tronci, Ivano Salvo, Federico Mari, Annalisa Massini, Igor Melatti
2015 — conf
Simulator Semantics for System Level Formal Verification.
GandALF
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
2015 C conf
SyLVaaS: System Level Formal Verification as a Service.
PDP
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
2015 C conf
User Flexibility Aware Price Policy Synthesis for Smart Grids.
DSD
Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Jorn Klaas Gruber, Barry Patrick Hayes, Milan Prodanovic, Lars Elmegaard
2014 C conf
Anytime System Level Verification via Random Exhaustive Hardware in the Loop Simulation.
DSD
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
2014 — conf
Demand-aware price policy synthesis and verification services for Smart Grids.
SmartGridComm
Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Jorn Klaas Gruber, Barry P. Hayes, Milan Prodanovic, Lars Elmegaard
2014 J jnl
Model-based synthesis of control software from system-level formal specifications.
ACM Trans. Softw. Eng. Methodol.
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2014 B conf
Patient-specific models from inter-patient biological models and clinical records.
FMCAD
Enrico Tronci, Toni Mancini, Ivano Salvo, Stefano Sinisi, Federico Mari, Igor Melatti, Annalisa Massini, Francesco Davì, Thomas Dierkes, Rainald Ehrig, Susanna Röblitz, Brigitte Leeners, Tillmann H. C. Kruger, Marcel Egli, Fabian Ille
2014 C conf
System Level Formal Verification via Distributed Multi-core Hardware in the Loop Simulation.
PDP
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
2013 — conf
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software.
SPIN
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2013 J jnl
A multi-hop advertising discovery and delivering protocol for multi administrative domain MANET.
Mob. Inf. Syst.
Federico Mari, Igor Melatti, Enrico Tronci, Alberto Finzi
2013 J jnl
CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems.
Eur. J. Control
Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Igor Melatti, Enrico Tronci
2013 — conf
On-the-Fly Control Software Synthesis.
SPIN
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2013 A* conf
System Level Formal Verification via Model Checking Driven Simulation.
CAV
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Fabio Merli, Enrico Tronci
2012 J jnl
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software
CoRR
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2012 J jnl
Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems
CoRR
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2012 — conf
Automatic control software synthesis for quantized discrete time hybrid systems.
CDC
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2012 J jnl
On Model Based Synthesis of Embedded Control Software
CoRR
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2012 Misc conf
On model based synthesis of embedded control software.
EMSOFT
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2012 C conf
Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems.
ICTAC
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2011 J jnl
From Boolean Functional Equations to Control Software
CoRR
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2011 J jnl
Quantized Feedback Control Software Synthesis from System Level Formal Specifications
CoRR
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2011 J jnl
Quantized Feedback Control Software Synthesis from System Level Formal Specifications for Buck DC/DC Converters
CoRR
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2010 A* conf
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems.
CAV
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2009 C conf
Model Checking Coalition Nash Equilibria in MAD Distributed Systems.
SSS
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement, Harry C. Li
2009 J jnl
Parallel and distributed model checking in Eddy.
Int. J. Softw. Tools Technol. Transf.
Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan
2009 C conf
Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco networks.
CRiSIS
Andrea Bobbio, Ester Ciancamerla, Saverio Di Blasi, Alessandro Iacomini, Federico Mari, Igor Melatti, Michele Minichino, Alessandro Scarlatti, Enrico Tronci, Roberta Terruggia, Emilio Zendri
2008 B conf
Model Checking Nash Equilibria in MAD Distributed Systems.
FMCAD
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement, Harry C. Li
2007 J jnl
Computational models of myocardial endomysial collagen arrangement.
Comput. Methods Programs Biomed.
Benedetto Intrigila, Igor Melatti, Alberto Tofani, Guido Macchiarelli
2007 C conf
Disk Based Software Verification via Bounded Model Checking.
APSEC
Fernando Brizzolari, Igor Melatti, Enrico Tronci, Giuseppe Della Penna
2006 C conf
A Case Study on Automated Generation of Integration Tests.
FDL
Giuseppe Della Penna, Alberto Tofani, Marcello Pecorari, Orazio Raparelli, Benedetto Intrigila, Igor Melatti, Enrico Tronci
2006 — conf
Automatic generation of optimal controllers through model checking techniques.
ICINCO-ICSO
Giuseppe Della Penna, Daniele Magazzeni, Alberto Tofani, Benedetto Intrigila, Igor Melatti, Enrico Tronci
2006 J jnl
Finite horizon analysis of Markov Chains with the Murphi verifier.
Int. J. Softw. Tools Technol. Transf.
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
2006 J jnl
Interoperability mapping from XML schemas to ER diagrams.
Data Knowl. Eng.
Giuseppe Della Penna, Antinisca Di Marco, Benedetto Intrigila, Igor Melatti, Alfonso Pierantonio
2006 — conf
Parallel and Distributed Model Checking in Eddy.
SPIN
Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan
2005 — conf
A Model Checking Technique for the Verification of Fuzzy Control Systems.
CIMCA/IAWTIC
Benedetto Intrigila, Daniele Magazzeni, Igor Melatti, Enrico Tronci
2005 — —
Explicit Algorithms for Probabilistic Model Checking.
Igor Melatti
2005 B conf
Exploiting Hub States in Automatic Verification.
ATVA
Giuseppe Della Penna, Igor Melatti, Benedetto Intrigila, Enrico Tronci
2004 B conf
Bounded Probabilistic Model Checking with the Mur
FMCAD
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
2004 J jnl
Exploiting transition locality in automatic verification of finite-state concurrent systems.
Int. J. Softw. Tools Technol. Transf.
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
2003 — conf
Automatic Verification of a Turbogas Control System with the Mur varphi Verifier.
HSCC
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Michele Minichino, Ester Ciancamerla, Andrea Parisse, Enrico Tronci, Marisa Venturini Zilli
2003 — conf
Finite Horizon Analysis of Markov Chains with the Mur-phi Verifier.
CHARME
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
2003 — conf
Finite Horizon Analysis of Stochastic Systems with the Mur varphi Verifier.
ICTCS
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
2003 — conf
Integrating RAM and Disk Based Verification within the Mur-phi Verifier.
CHARME
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
2003 B conf
Xere: Towards a Natural Interoperability between XML and ER Diagrams.
FASE
Giuseppe Della Penna, Antinisca Di Marco, Benedetto Intrigila, Igor Melatti, Alfonso Pierantonio