Zobrazeno 1 - 10 of 24 pro vyhledávání: '"Ugo Gentile"'
1
A novel association rule mining method for the identification of rare functional dependencies in Complex Technical Infrastructures from alarm data
Autor: Ahmed Shokry, Luigi Serio, Piero Baraldi, Federico Antonello, Enrico Zio, Ugo Gentile
Publikováno v: Expert Systems with Applications
Expert Systems with Applications, Elsevier, 2021, 170, pp.114560. ⟨10.1016/j.eswa.2021.114560⟩
This work presents a data-driven method for identifying rare functional dependencies among components of different systems of Complex Technical Infrastructures (CTIs) from large-scale databases of alarm messages. It is based on the representation of
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b10901c2a66892720a7db67856a400b6
https://hal-mines-paristech.archives-ouvertes.fr/hal-03479213
Zobrazit plný text záznamu
2
Security modelling and formal verification of survivability properties: Application to cyber–physical systems
Autor: José Merseguer, Roberto Nardone, Stefano Marrone, Ugo Gentile, Simona Bernardi
Publikováno v: Zaguán. Repositorio Digital de la Universidad de Zaragoza
instname
The modelling and verification of systems security is an open research topic whose complexity and importance needs, in our view, the use of formal and non-formal methods. This paper addresses the modelling of security using misuse cases and the autom
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::84a817d0540b7624d7760dd38a6a6059
http://zaguan.unizar.es/record/106601
Zobrazit plný text záznamu
3
From Dynamic State Machines to Promela
Autor: Roberto Nardone, Adriano Peron, Luigi Libero Lucio Starace, Massimo Benerecetti, Stefano Marrone, Valeria Vittorini, Ugo Gentile
Publikováno v: Model Checking Software ISBN: 9783030309220
SPIN
Dynamic State Machines (DSTM) is an extension of Hierarchical State Machines recently introduced to answer some concerns raised by model-based validation of railway control systems. However, DSTM can be used to model a wide class of systems for desig
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::896c0606a477c873cde99adb898bffa2
http://hdl.handle.net/11588/775734
Zobrazit plný text záznamu
4
A Feature Selection-based Approach for the Identification of Critical Components in Complex Technical Infrastructures: Application to the CERN Large Hadron Collider
Autor: Luigi Serio, Andrea Castellano, Enrico Zio, Ugo Gentile, Ahmed Shokry, Piero Baraldi
Publikováno v: Reliability Engineering and System Safety
Reliability Engineering and System Safety, Elsevier, 2020, 201, pp.106974. ⟨10.1016/j.ress.2020.106974⟩
Complex Technical Infrastructures (CTIs) are large-scale systems made of tens of thousands of interdependent components organized in complex hierarchical architectures. They evolve in time in a way that at one point their functional logic may be more
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::62b4b5e1740079c0c9b7b0a13aee192d
https://hal-mines-paristech.archives-ouvertes.fr/hal-03137361
Zobrazit plný text záznamu
6
Data-driven extraction of association rules of dependent abnormal behaviour groups
Autor: Luigi Serio, Ahmed Shokry, Ugo Gentile, Enrico Zio, Federico Antonello, Piero Baraldi
Publikováno v: Proceedings of the 29th European Safety and Reliability Conference (ESREL)
Proceedings of the 29th European Safety and Reliability Conference (ESREL), Sep 2019, Hannover, Germany. pp.3308-3313, ⟨10.3850/978-981-11-2724-3_0723-cd⟩
International audience
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::558b93e010c927de6ccd22ac69e85a79
http://hdl.handle.net/11311/1160359
Zobrazit plný text záznamu
7
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers
Autor: Valeria Vittorini, Roberto Nardone, Gaetano Pisani, Adriano Peron, Aniello Amato, Luigi Velardi, Nicola Mazzocca, Gregorio Barberio, Beniamino Di Martino, Renato De Guglielmo, Ugo Gentile, Massimo Benerecetti, Stefano Marrone
Product and application life-cycle management (PLM/ALM) are the processes that govern a product and a software system, respectively, encompassing the creation, deployment and operation of a system from the beginning to the end of its life. As both PL
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::94d6084e0df06ab814cda18262b65a18
http://hdl.handle.net/11591/424716
Zobrazit plný text záznamu
9
Advancements in knowledge elicitation for computer-based critical systems
Autor: Simona Bernardi, Ugo Gentile, Roberto Nardone, Stefano Marrone
The availability of a huge amount of data has enabled the massive application of machine learning and deep learning techniques across different domains involving computer-based critical systems. A huge set of automatic learning frameworks tackle diff
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b5506da5fd06a2103bac60aac2b1fd7d
http://hdl.handle.net/11367/99017
Zobrazit plný text záznamu
10
Association rules extraction for the identification of functional dependencies in complex technical infrastructures
Autor: Luigi Serio, Ahmed Shokry, Ugo Gentile, Federico Antonello, Piero Baraldi, Enrico Zio
Publikováno v: Reliability Engineering and System Safety
Reliability Engineering and System Safety, Elsevier, 2021, 209, pp.107305. ⟨10.1016/j.ress.2020.107305⟩
This work proposes a method for identifying functional dependencies among components of complex technical infrastructures using databases of alarm messages. The developed method is based on the representation of the alarm database by a binary matrix,
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::13fd3c91f64fd1ceacb11fc38924fa01
https://doi.org/10.1016/j.ress.2020.107305
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje