Integrating Data Sources and Network Analysis Tools to Support the Fight Against Organized Crime. - Luigi Ferrara; Christian Mårtenson; Pontus Svenson; Per Svensson 001; Justo Hidalgo; Anastasio Molano; Anders L. Madsen (ISI Workshops, 2008)

SYSTEMATEKS: Scalable Interactive Modular Simulation (SIMS): Towards Sustainable Design. - Luigi Ferrara; Nastaran Dadashi (HCI (11), 2016)

Discovering of the unobservable behaviour of an Interpreted Petri Net model. - Francesco Basile; Gregory Faraut; Luigi Ferrara; Jean-Jacques Lesage (CDC, 2019)

Identification of Timed Input/Output Relationships For Industrial Automation Systems Using Timed Interpreted Petri Nets. - Francesco Basile; Luigi Ferrara (SMC, 2019)

An Optimization-Based Approach to Discover the Unobservable Behavior of a Discrete-Event System Through Interpreted Petri Nets. - Francesco Basile; Gregory Faraut; Luigi Ferrara; Jean-Jacques Lesage (IEEE Trans Autom. Sci. Eng., 2020)

Finite-time accuracy of timed discrete event systems. - Francesco Basile; Luigi Ferrara (CDC, 2021)

A sliding-window approach to analyze the accuracy of timed DESs. - Francesco Basile; Luigi Ferrara (ETFA, 2021)

A model-based approach to the validation of automation systems. - Francesco Basile; Luigi Ferrara (MED, 2021)

Validation of Industrial Automation Systems Using a Timed Model of System Requirements. - Francesco Basile; Luigi Ferrara (IEEE Trans. Control. Syst. Technol., 2023)