Integrating RAM and Disk Based Verification within the Mur-phi Verifier. - Giuseppe Della Penna; Benedetto Intrigila; Igor Melatti; Enrico Tronci; Marisa Venturini Zilli (CHARME, 2003)

Finite Horizon Analysis of Markov Chains with the Mur-phi Verifier. - Giuseppe Della Penna; Benedetto Intrigila; Igor Melatti; Enrico Tronci; Marisa Venturini Zilli (CHARME, 2003)

Xere: Towards a Natural Interoperability between XML and ER Diagrams. - Giuseppe Della Penna; Antinisca Di Marco; Benedetto Intrigila; Igor Melatti; Alfonso Pierantonio (FASE, 2003)

Automatic Verification of a Turbogas Control System with the Mur varphi Verifier. - Giuseppe Della Penna; Benedetto Intrigila; Igor Melatti; Michele Minichino; Ester Ciancamerla; Andrea Parisse; Enrico Tronci; Marisa Venturini Zilli (HSCC, 2003)

Finite Horizon Analysis of Stochastic Systems with the Mur varphi Verifier. - Giuseppe Della Penna; Benedetto Intrigila; Igor Melatti; Enrico Tronci; Marisa Venturini Zilli (ICTCS, 2003)

Bounded Probabilistic Model Checking with the Muralpha Verifier. - Giuseppe Della Penna; Benedetto Intrigila; Igor Melatti; Enrico Tronci; Marisa Venturini Zilli (FMCAD, 2004)

Exploiting transition locality in automatic verification of finite-state concurrent systems. - Giuseppe Della Penna; Benedetto Intrigila; Igor Melatti; Enrico Tronci; Marisa Venturini Zilli (Int. J. Softw. Tools Technol. Transf., 2004)

Exploiting Hub States in Automatic Verification. - Giuseppe Della Penna; Igor Melatti; Benedetto Intrigila; Enrico Tronci (ATVA, 2005)

A Model Checking Technique for the Verification of Fuzzy Control Systems. - Benedetto Intrigila; Daniele Magazzeni; Igor Melatti; Enrico Tronci (CIMCA/IAWTIC, 2005)

Explicit Algorithms for Probabilistic Model Checking. - Igor Melatti (2005)

A Case Study on Automated Generation of Integration Tests. - Giuseppe Della Penna; Alberto Tofani; Marcello Pecorari; Orazio Raparelli; Benedetto Intrigila; Igor Melatti; Enrico Tronci (FDL, 2006)

Automatic generation of optimal controllers through model checking techniques. - Giuseppe Della Penna; Daniele Magazzeni; Alberto Tofani; Benedetto Intrigila; Igor Melatti; Enrico Tronci (ICINCO-ICSO, 2006)

Interoperability mapping from XML schemas to ER diagrams. - Giuseppe Della Penna; Antinisca Di Marco; Benedetto Intrigila; Igor Melatti; Alfonso Pierantonio (Data Knowl. Eng., 2006)

Finite horizon analysis of Markov Chains with the Murphi verifier. - Giuseppe Della Penna; Benedetto Intrigila; Igor Melatti; Enrico Tronci; Marisa Venturini Zilli (Int. J. Softw. Tools Technol. Transf., 2006)

Disk Based Software Verification via Bounded Model Checking. - Fernando Brizzolari; Igor Melatti; Enrico Tronci; Giuseppe Della Penna (APSEC, 2007)

Computational models of myocardial endomysial collagen arrangement. - Benedetto Intrigila; Igor Melatti; Alberto Tofani; Guido Macchiarelli (Comput. Methods Programs Biomed., 2007)

Model Checking Nash Equilibria in MAD Distributed Systems. - Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci; Lorenzo Alvisi; Allen Clement; Harry C. Li (FMCAD, 2008)

Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco networks. - Andrea Bobbio; Ester Ciancamerla; Saverio Di Blasi; Alessandro Iacomini; Federico Mari; Igor Melatti; Michele Minichino; Alessandro Scarlatti; Enrico Tronci; Roberta Terruggia; Emilio Zendri (CRiSIS, 2009)

Model Checking Coalition Nash Equilibria in MAD Distributed Systems. - Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci; Lorenzo Alvisi; Allen Clement; Harry C. Li (SSS, 2009)

Parallel and distributed model checking in Eddy. - Igor Melatti; Robert Palmer; Geoffrey Sawaya; Yu Yang 013; Robert M. Kirby; Ganesh Gopalakrishnan (Int. J. Softw. Tools Technol. Transf., 2009)

Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems. - Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci (CAV, 2010)

Quantized Feedback Control Software Synthesis from System Level Formal Specifications for Buck DC/DC Converters - Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci (CoRR, 2011)

From Boolean Functional Equations to Control Software - Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci (CoRR, 2011)

Quantized Feedback Control Software Synthesis from System Level Formal Specifications - Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci (CoRR, 2011)

Automatic control software synthesis for quantized discrete time hybrid systems. - Vadim Alimguzhin; Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci (CDC, 2012)

On model based synthesis of embedded control software. - Vadim Alimguzhin; Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci (EMSOFT, 2012)

Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems. - Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci (ICTAC, 2012)

System Level Formal Verification via Model Checking Driven Simulation. - Toni Mancini; Federico Mari; Annalisa Massini; Igor Melatti; Fabio Merli; Enrico Tronci (CAV, 2013)

A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software. - Vadim Alimguzhin; Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci (SPIN, 2013)

On-the-Fly Control Software Synthesis. - Vadim Alimguzhin; Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci (SPIN, 2013)

CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems. - Giuseppe Della Penna; Benedetto Intrigila; Daniele Magazzeni; Igor Melatti; Enrico Tronci (Eur. J. Control, 2013)

A multi-hop advertising discovery and delivering protocol for multi administrative domain MANET. - Federico Mari; Igor Melatti; Enrico Tronci; Alberto Finzi (Mob. Inf. Syst., 2013)

Anytime System Level Verification via Random Exhaustive Hardware in the Loop Simulation. - Toni Mancini; Federico Mari; Annalisa Massini; Igor Melatti; Enrico Tronci (DSD, 2014)

Patient-specific models from inter-patient biological models and clinical records. - 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; et al. (FMCAD, 2014)

System Level Formal Verification via Distributed Multi-core Hardware in the Loop Simulation. - Toni Mancini; Federico Mari; Annalisa Massini; Igor Melatti; Enrico Tronci (PDP, 2014)

Demand-aware price policy synthesis and verification services for Smart Grids. - Toni Mancini; Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci; Jorn Klaas Gruber; Barry P. Hayes; Milan Prodanovic; Lars Elmegaard (SmartGridComm, 2014)

Model-based synthesis of control software from system-level formal specifications. - Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci (ACM Trans. Softw. Eng. Methodol., 2014)

A Glimpse of SmartHG Project Test-bed and Communication Infrastructure. - 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 001; Milan Prodanovic (DSD, 2015)

User Flexibility Aware Price Policy Synthesis for Smart Grids. - Toni Mancini; Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci; Jorn Klaas Gruber; Barry Patrick Hayes; Milan Prodanovic; Lars Elmegaard (DSD, 2015)

Computing Biological Model Parameters by Parallel Statistical Model Checking. - Toni Mancini; Enrico Tronci; Ivano Salvo; Federico Mari; Annalisa Massini; Igor Melatti (IWBBIO (2), 2015)

Simulator Semantics for System Level Formal Verification. - Toni Mancini; Federico Mari; Annalisa Massini; Igor Melatti; Enrico Tronci (GandALF, 2015)

SyLVaaS: System Level Formal Verification as a Service. - Toni Mancini; Federico Mari; Annalisa Massini; Igor Melatti; Enrico Tronci (Fundam. Informaticae, 2016)

Anytime system level verification via parallel random exhaustive hardware in the loop simulation. - Toni Mancini; Federico Mari; Annalisa Massini; Igor Melatti; Enrico Tronci (Microprocess. Microsystems, 2016)

On minimising the maximum expected verification time. - Toni Mancini; Federico Mari; Annalisa Massini; Igor Melatti; Ivano Salvo; Enrico Tronci (Inf. Process. Lett., 2017)

Linearizing Discrete-Time Hybrid Systems. - Vadim Alimguzhin; Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci (IEEE Trans. Autom. Control., 2017)

Residential Demand Management Using Individualized Demand Aware Price Policies. - Barry Patrick Hayes; Igor Melatti; Toni Mancini; Milan Prodanovic; Enrico Tronci (IEEE Trans. Smart Grid, 2017)

An Efficient Algorithm for Network Vulnerability Analysis Under Malicious Attacks. - Toni Mancini; Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci (ISMIS, 2018)

Computing Personalised Treatments through In Silico Clinical Trials. - Toni Mancini; Federico Mari; Annalisa Massini; Igor Melatti; Ivano Salvo; Stefano Sinisi; Enrico Tronci; Rainald Ehrig; Susanna Röblitz; Brigitte Leeners (RCRA@FLoC, 2018)

Parallel Statistical Model Checking for Safety Verification in Smart Grids. - Toni Mancini; Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci; Jorn Klaas Gruber; Barry P. Hayes; Milan Prodanovic; Lars Elmegaard (SmartGridComm, 2018)

Control Software Synthesis for Cyber-Physical Systems with QKS. - Vadim Alimguzhin; Federico Mari; Igor Melatti (OVERLAY@AI*IA, 2019)

Optimal Fault-Tolerant Relay Node Positioning in Critical Wireless Networks via Artificial Intelligence. - Qian Matteo Chen; Toni Mancini; Igor Melatti; Enrico Tronci; Alberto Finzi (OVERLAY, 2020)

Electricity Network Constraint Management using Individualised Demand Aware Price Policies. - Igor Melatti; Vadim Alimguzhin; Federico Mari; Milan Prodanovic; Barry P. Hayes (OVERLAY, 2020)

MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks. - Qian Matteo Chen; Alberto Finzi; Toni Mancini; Igor Melatti; Enrico Tronci (Fundam. Informaticae, 2020)

A Constraint Optimization-Based Sense and Response System for Interactive Business Performance Management. - Federico Mari; Annalisa Massini; Igor Melatti; Enrico Tronci (Appl. Artif. Intell., 2021)

Visualisation of Control Software for Cyber-Physical Systems. - Igor Melatti; Federico Mari; Ivano Salvo; Enrico Tronci (Inf., 2021)

On checking equivalence of simulation scripts. - Toni Mancini; Federico Mari; Annalisa Massini; Igor Melatti; Enrico Tronci (J. Log. Algebraic Methods Program., 2021)

A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries. - Igor Melatti; Federico Mari; Toni Mancini; Milan Prodanovic; Enrico Tronci (IEEE Trans. Ind. Electron., 2022)

Any-Horizon Uniform Random Sampling and Enumeration of Constrained Scenarios for Simulation-Based Formal Verification. - Toni Mancini; Igor Melatti; Enrico Tronci (IEEE Trans. Software Eng., 2022)

Optimising Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems. - Toni Mancini; Igor Melatti; Enrico Tronci (CoRR, 2023)

Optimizing Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems. - Toni Mancini; Igor Melatti; Enrico Tronci (IEEE Trans. Software Eng., 2023)