Publication_recognition

•

0 likes•90 views

Francesco Flammini

This certificate of publication is for an article titled "Enabling the Usage of UML in the Verification of Railway Systems: the DAM-Rail Approach" authored by Simona Bernardi, Francesco Flammini, Stefano Marrone, Nicola Mazzocca, José Merseguer, Roberto Nardone, and Valeria Vittorini. The article was published in Reliability Engineering and System Safety in 2013 in volume 120C on pages 112 through 126.

Reliability Engineering
And System Safety
Certificate of publication for the article titled:
"Enabling the Usage of UML in the Verification
of Railway Systems: the DAM-Rail Approach "
Authored by:
Simona Bernardi, Francesco Flammini, Stefano Marrone, Nicola Mazzocca
José Merseguer, Roberto Nardone, Valeria Vittorini
Published in:
Volume 120C, 2013, Pages 112-126

Recommended

RevewCertificateRESS

RevewCertificateRESS

RevewCertificateRESS

Francesco Flammini

SSC'07Francesco Flammini

Flammini Francesco ARES'11

Flammini Francesco ARES'11

Flammini Francesco ARES'11

Francesco Flammini

TalentPath2013Francesco Flammini

PrimoSoccorsoFrancesco Flammini

IMSFrancesco Flammini

DottoratoFrancesco Flammini

BusinessCommunication

BusinessCommunication

BusinessCommunicationFrancesco Flammini

Recommended

RevewCertificateRESS

RevewCertificateRESS

RevewCertificateRESS

Francesco Flammini

SSC'07Francesco Flammini

Flammini Francesco ARES'11

Flammini Francesco ARES'11

Flammini Francesco ARES'11

Francesco Flammini

TalentPath2013Francesco Flammini

PrimoSoccorsoFrancesco Flammini

IMSFrancesco Flammini

DottoratoFrancesco Flammini

BusinessCommunication

BusinessCommunication

BusinessCommunicationFrancesco Flammini

RE 07 - art.02

Francesco Flammini

This document discusses reliability modeling approaches for complex command and control systems. It proposes using a multi-formalism modeling technique that combines different modeling formalisms like fault trees, Bayesian networks, repairable fault trees, and generalized stochastic Petri nets. This allows different aspects of the system to be modeled based on the formalism best suited to that aspect. An example is given of a multi-formalism availability model for a railway control system that combines these different modeling formalisms. The document also provides a brief introduction to some common modeling formalisms used for reliability, safety and security evaluation.

cert_iscr_ordine_ing

cert_iscr_ordine_ing

cert_iscr_ordine_ingFrancesco Flammini

ACMFrancesco Flammini

ESREL 2008

Francesco Flammini

ARES2013-ASTSFrancesco Flammini

ReviewCertificateEPES

ReviewCertificateEPES

ReviewCertificateEPES

Francesco Flammini

PrimoSoccorso2014

PrimoSoccorso2014

PrimoSoccorso2014Francesco Flammini

Reviewer_Certificate_CEE

Reviewer_Certificate_CEE

Reviewer_Certificate_CEE

Francesco Flammini

Flammini francesco delega

Flammini francesco delega

Flammini francesco delegaFrancesco Flammini

IEEE Senior Member Certificate

IEEE Senior Member Certificate

IEEE Senior Member Certificate

Francesco Flammini

AntincendioFrancesco Flammini

Dependable integrated surveillance systems for the physical security of metro...

Dependable integrated surveillance systems for the physical security of metro...

Dependable integrated surveillance systems for the physical security of metro...

Francesco Flammini

Modello231Francesco Flammini

AXISFrancesco Flammini

Ambiente&Sicurezza

Ambiente&Sicurezza

Ambiente&SicurezzaFrancesco Flammini

ARES - SeCIHD'11 Francesco Flammini

ARES - SeCIHD'11 Francesco Flammini

ARES - SeCIHD'11 Francesco Flammini

Francesco Flammini

The document summarizes a presentation about augmenting surveillance system capabilities through event correlation and distributed attack detection. It describes a framework called DETECT that models threat scenarios as event trees to automatically detect suspicious events across different sensor networks. DETECT correlates primitive events detected by sensors to provide early warnings. It was demonstrated on a scenario of chemical agents released in a subway station. Future work will make the detection models more robust and introduce probabilistic and Bayesian methods to account for sensor reliability and fuzzy reasoning.

ACIVS'12 Presentation by Francesco Flammini

ACIVS'12 Presentation by Francesco Flammini

ACIVS'12 Presentation by Francesco Flammini

Francesco Flammini

Cozzolino, A., Flammini, G., Galli, V., Lamberti, M., Poggi, G., Pragliola, C.: Evaluating the effects of MJPEG compression on Motion Tracking in metro railway surveillance. In: Proc. 14th Intl. Conf. on Advanced Concepts for Intelligent Vision Systems, ACIVS 2012, Sept. 4-7 2012, Brno, Czech Republic, J. Blanc-Talon et al. (Eds.), Springer LNCS 7517, pp. 142–154 (Springer-Verlag Berlin Heidelberg, Germany, ISBN 978-3-642-33139-8)

pSHIELD_ASTS_FINAL

pSHIELD_ASTS_FINAL

pSHIELD_ASTS_FINAL

Francesco Flammini

The monitoring system installed sensors on a freight car to measure temperature, acceleration, humidity, and GPS coordinates from three separate networks. A control room collected and analyzed the data from the heterogeneous networks. The system addressed security issues like availability, integrity, and privacy through encryption protocols and detecting intrusions. It was tested on a real freight car to continuously monitor parameters and identify faulty measurements.

EWSN2015Francesco Flammini

Master ETICAS Francesco Flammini

Master ETICAS Francesco Flammini

Master ETICAS Francesco FlamminiFrancesco Flammini

TRA Visions Senior Researcher Award 2024.pdf

TRA Visions Senior Researcher Award 2024.pdf

TRA Visions Senior Researcher Award 2024.pdf

Francesco Flammini

RAILS - Railway Gazette 2023 (Flammini).pdf

RAILS - Railway Gazette 2023 (Flammini).pdf

RAILS - Railway Gazette 2023 (Flammini).pdf

Francesco Flammini

More Related Content

Viewers also liked

RE 07 - art.02

Francesco Flammini

This document discusses reliability modeling approaches for complex command and control systems. It proposes using a multi-formalism modeling technique that combines different modeling formalisms like fault trees, Bayesian networks, repairable fault trees, and generalized stochastic Petri nets. This allows different aspects of the system to be modeled based on the formalism best suited to that aspect. An example is given of a multi-formalism availability model for a railway control system that combines these different modeling formalisms. The document also provides a brief introduction to some common modeling formalisms used for reliability, safety and security evaluation.

cert_iscr_ordine_ing

cert_iscr_ordine_ing

cert_iscr_ordine_ingFrancesco Flammini

ACMFrancesco Flammini

ESREL 2008

Francesco Flammini

ARES2013-ASTSFrancesco Flammini

ReviewCertificateEPES

ReviewCertificateEPES

ReviewCertificateEPES

Francesco Flammini

PrimoSoccorso2014

PrimoSoccorso2014

PrimoSoccorso2014Francesco Flammini

Reviewer_Certificate_CEE

Reviewer_Certificate_CEE

Reviewer_Certificate_CEE

Francesco Flammini

Flammini francesco delega

Flammini francesco delega

Flammini francesco delegaFrancesco Flammini

IEEE Senior Member Certificate

IEEE Senior Member Certificate

IEEE Senior Member Certificate

Francesco Flammini

AntincendioFrancesco Flammini

Dependable integrated surveillance systems for the physical security of metro...

Dependable integrated surveillance systems for the physical security of metro...

Dependable integrated surveillance systems for the physical security of metro...

Francesco Flammini

Modello231Francesco Flammini

AXISFrancesco Flammini

Ambiente&Sicurezza

Ambiente&Sicurezza

Ambiente&SicurezzaFrancesco Flammini

ARES - SeCIHD'11 Francesco Flammini

ARES - SeCIHD'11 Francesco Flammini

ARES - SeCIHD'11 Francesco Flammini

Francesco Flammini

The document summarizes a presentation about augmenting surveillance system capabilities through event correlation and distributed attack detection. It describes a framework called DETECT that models threat scenarios as event trees to automatically detect suspicious events across different sensor networks. DETECT correlates primitive events detected by sensors to provide early warnings. It was demonstrated on a scenario of chemical agents released in a subway station. Future work will make the detection models more robust and introduce probabilistic and Bayesian methods to account for sensor reliability and fuzzy reasoning.

ACIVS'12 Presentation by Francesco Flammini

ACIVS'12 Presentation by Francesco Flammini

ACIVS'12 Presentation by Francesco Flammini

Francesco Flammini

Cozzolino, A., Flammini, G., Galli, V., Lamberti, M., Poggi, G., Pragliola, C.: Evaluating the effects of MJPEG compression on Motion Tracking in metro railway surveillance. In: Proc. 14th Intl. Conf. on Advanced Concepts for Intelligent Vision Systems, ACIVS 2012, Sept. 4-7 2012, Brno, Czech Republic, J. Blanc-Talon et al. (Eds.), Springer LNCS 7517, pp. 142–154 (Springer-Verlag Berlin Heidelberg, Germany, ISBN 978-3-642-33139-8)

pSHIELD_ASTS_FINAL

pSHIELD_ASTS_FINAL

pSHIELD_ASTS_FINAL

Francesco Flammini

The monitoring system installed sensors on a freight car to measure temperature, acceleration, humidity, and GPS coordinates from three separate networks. A control room collected and analyzed the data from the heterogeneous networks. The system addressed security issues like availability, integrity, and privacy through encryption protocols and detecting intrusions. It was tested on a real freight car to continuously monitor parameters and identify faulty measurements.

EWSN2015Francesco Flammini

Master ETICAS Francesco Flammini

Master ETICAS Francesco Flammini

Master ETICAS Francesco FlamminiFrancesco Flammini

Viewers also liked (20)

RE 07 - art.02

cert_iscr_ordine_ing

cert_iscr_ordine_ing

cert_iscr_ordine_ing

ACM

ESREL 2008

ARES2013-ASTS

ReviewCertificateEPES

ReviewCertificateEPES

ReviewCertificateEPES

PrimoSoccorso2014

PrimoSoccorso2014

PrimoSoccorso2014

Reviewer_Certificate_CEE

Reviewer_Certificate_CEE

Reviewer_Certificate_CEE

Flammini francesco delega

Flammini francesco delega

Flammini francesco delega

IEEE Senior Member Certificate

IEEE Senior Member Certificate

IEEE Senior Member Certificate

Antincendio

Dependable integrated surveillance systems for the physical security of metro...

Dependable integrated surveillance systems for the physical security of metro...

Dependable integrated surveillance systems for the physical security of metro...

Modello231

AXIS

Ambiente&Sicurezza

Ambiente&Sicurezza

Ambiente&Sicurezza

ARES - SeCIHD'11 Francesco Flammini

ARES - SeCIHD'11 Francesco Flammini

ARES - SeCIHD'11 Francesco Flammini

ACIVS'12 Presentation by Francesco Flammini

ACIVS'12 Presentation by Francesco Flammini

ACIVS'12 Presentation by Francesco Flammini

pSHIELD_ASTS_FINAL

pSHIELD_ASTS_FINAL

pSHIELD_ASTS_FINAL

EWSN2015

Master ETICAS Francesco Flammini

Master ETICAS Francesco Flammini

Master ETICAS Francesco Flammini

More from Francesco Flammini

TRA Visions Senior Researcher Award 2024.pdf

TRA Visions Senior Researcher Award 2024.pdf

TRA Visions Senior Researcher Award 2024.pdf

Francesco Flammini

RAILS - Railway Gazette 2023 (Flammini).pdf

RAILS - Railway Gazette 2023 (Flammini).pdf

RAILS - Railway Gazette 2023 (Flammini).pdf

Francesco Flammini

Award-Fedcsis Conference 2023.pdf

Award-Fedcsis Conference 2023.pdf

Award-Fedcsis Conference 2023.pdf

Francesco Flammini

Internationalization of the Curriculum Conference Certificate

Internationalization of the Curriculum Conference Certificate

Internationalization of the Curriculum Conference Certificate

Francesco Flammini

This certificate confirms that Francesco Flammini participated in a two-day symposium on internationalizing university curriculums held November 17-18, 2022 at the Polo Universitario Lugano - Campus EST in Lugano-Viganello, Switzerland. The event was organized by the Department of Innovative Technologies and the Swiss Global Competence Lab at the University of Applied Sciences and Arts of Southern Switzerland.

IEEE SMC TCHS Award Ceremony at IEEE CSR conference 2021

IEEE SMC TCHS Award Ceremony at IEEE CSR conference 2021

IEEE SMC TCHS Award Ceremony at IEEE CSR conference 2021

Francesco Flammini

The IEEE SMC Technical Committee on Homeland Security (TCHS) held its annual award ceremony. Five awards were given to recognize outstanding leadership, research, service, early career contributions, and contributions by women in the field of homeland security. Award winners included Professor Isaac Ben-Israel for leadership, Professors Ernesto Damiani, Steven Furnell, and Igor Linkov for research and innovation, Stavros Shiaeles, Nicholas Kolokotronis, and Emanuele Bellini for service, Luca Faramondi for his early career contributions, and Cristina Alcaraz for her contributions and role modeling as a woman in the field.

Appreciation Certificate

Appreciation Certificate

Appreciation Certificate

Francesco Flammini

Digital Twins for Trustworthy Autonomy

Digital Twins for Trustworthy Autonomy

Digital Twins for Trustworthy Autonomy

Francesco Flammini

IEEE GCAIIoT 2020 certificate

IEEE GCAIIoT 2020 certificate

IEEE GCAIIoT 2020 certificate

Francesco Flammini

IEEE Intelligent Transportation Systems Conference 2020 - Low-Power Wide-Area...

IEEE Intelligent Transportation Systems Conference 2020 - Low-Power Wide-Area...

IEEE Intelligent Transportation Systems Conference 2020 - Low-Power Wide-Area...

Francesco Flammini

Science of Computer Programming, Certificate of Reviewing

Science of Computer Programming, Certificate of Reviewing

Science of Computer Programming, Certificate of Reviewing

Francesco Flammini

ACM DSP appointment letter

ACM DSP appointment letter

ACM DSP appointment letter

Francesco Flammini

Francesco Flammini has been appointed as a Distinguished Speaker for the Association for Computing Machinery (ACM) for a three year term. The ACM's Distinguished Speaker Program engages emerging professionals, students, and the public through leading researchers on topics in computing. Gabriele Kotsis, the ACM President, thanked Flammini for joining this prestigious program and lending his time to benefit the computing community.

“AI techniques in cyber-security applications”. Flammini lnu susec19

“AI techniques in cyber-security applications”. Flammini lnu susec19

“AI techniques in cyber-security applications”. Flammini lnu susec19

Francesco Flammini

The document discusses using artificial intelligence techniques like Bayesian networks and event trees for cybersecurity applications. It describes how these techniques can help address issues with security operations centers being overwhelmed by too much information from various sensors and systems. Bayesian networks and event trees can help fuse data from different sources to detect threats more effectively. The document provides examples of how Bayesian networks can be built using historical threat data and customized for specific organizations. It also discusses how these models can be updated dynamically based on real-time data from systems.

Ansaldo STS Innovation award 2009

Ansaldo STS Innovation award 2009

Ansaldo STS Innovation award 2009

Francesco Flammini

Ansaldo STS Innovation Award 2014 - Francesco Flammini

Ansaldo STS Innovation Award 2014 - Francesco Flammini

Ansaldo STS Innovation Award 2014 - Francesco Flammini

Francesco Flammini

IoT Research & Education at LNU

IoT Research & Education at LNU

IoT Research & Education at LNU

Francesco Flammini

Embedded systems control devices and have dedicated functions, while cyber-physical systems intensively connect computational entities to the physical world. The research group at Linnaeus University studies cyber-physical systems and IoT security, developing techniques for smart troubleshooting of connected devices and applying IoT solutions to smart environments. They also provide IoT education to help students learn about these important topics.

Francesco Flammini - talk at DISCORAIL'19

Francesco Flammini - talk at DISCORAIL'19

Francesco Flammini - talk at DISCORAIL'19

Francesco Flammini

- The document discusses virtual coupling, which aims to allow trains to operate closer together while maintaining safety. It explores extending ERTMS Level 3 to enable this through cooperative driving and dynamic train compositions. - Preliminary simulations show a train joining a fleet in virtual coupling mode and coordinated emergency braking of the coupled trains. Further work is needed to fully implement and test virtual coupling.

Towards railway virtual coupling

Towards railway virtual coupling

Towards railway virtual coupling

Francesco Flammini

This document discusses using virtual coupling to increase railway line capacity. Virtual coupling would allow trains to virtually join together by reducing headways. This could transfer achievements from vehicle platooning to railways. The document proposes a vision of virtual coupling integrated with ERTMS Level 3 moving block signaling. Trains would communicate position/speed and follow a desired spacing profile determined by the radio block center. A stochastic Petri net model is presented and simulated, showing virtual coupling could increase train frequency on a high-speed line from 20 to 100 trains per hour by reducing headways from 3 to 0.36 minutes. Compatibility with ERTMS standards is discussed.

Smart-Troubleshooting Symbiotic Autonomous Systems in the Connected Society

Smart-Troubleshooting Symbiotic Autonomous Systems in the Connected Society

Smart-Troubleshooting Symbiotic Autonomous Systems in the Connected Society

Francesco Flammini

This document summarizes a presentation on smart troubleshooting of interconnected devices. It discusses how as devices become more connected and complex, troubleshooting failures is challenging. Research aims to gather error logs from different devices, analyze them to match fixes and instructions. This could help with troubleshooting in smart cities and transportation. The proposed approach would reuse a framework to model dependability and security. It is connected to research on symbiotic autonomous systems and addresses areas like big data, machine learning, and cybersecurity.

SuccesfulGrantApplications_Jan 23, 2017_certificate-506560

SuccesfulGrantApplications_Jan 23, 2017_certificate-506560

SuccesfulGrantApplications_Jan 23, 2017_certificate-506560

Francesco Flammini

Attestato FLAMMINI ISO 14298

Attestato FLAMMINI ISO 14298

Attestato FLAMMINI ISO 14298Francesco Flammini

More from Francesco Flammini (20)

TRA Visions Senior Researcher Award 2024.pdf

TRA Visions Senior Researcher Award 2024.pdf

TRA Visions Senior Researcher Award 2024.pdf

RAILS - Railway Gazette 2023 (Flammini).pdf

RAILS - Railway Gazette 2023 (Flammini).pdf

RAILS - Railway Gazette 2023 (Flammini).pdf

Award-Fedcsis Conference 2023.pdf

Award-Fedcsis Conference 2023.pdf

Award-Fedcsis Conference 2023.pdf

Internationalization of the Curriculum Conference Certificate

Internationalization of the Curriculum Conference Certificate

Internationalization of the Curriculum Conference Certificate

IEEE SMC TCHS Award Ceremony at IEEE CSR conference 2021

IEEE SMC TCHS Award Ceremony at IEEE CSR conference 2021

IEEE SMC TCHS Award Ceremony at IEEE CSR conference 2021

Appreciation Certificate

Appreciation Certificate

Appreciation Certificate

Digital Twins for Trustworthy Autonomy

Digital Twins for Trustworthy Autonomy

Digital Twins for Trustworthy Autonomy

IEEE GCAIIoT 2020 certificate

IEEE GCAIIoT 2020 certificate

IEEE GCAIIoT 2020 certificate

IEEE Intelligent Transportation Systems Conference 2020 - Low-Power Wide-Area...

IEEE Intelligent Transportation Systems Conference 2020 - Low-Power Wide-Area...

IEEE Intelligent Transportation Systems Conference 2020 - Low-Power Wide-Area...

Science of Computer Programming, Certificate of Reviewing

Science of Computer Programming, Certificate of Reviewing

Science of Computer Programming, Certificate of Reviewing

ACM DSP appointment letter

ACM DSP appointment letter

ACM DSP appointment letter

“AI techniques in cyber-security applications”. Flammini lnu susec19

“AI techniques in cyber-security applications”. Flammini lnu susec19

“AI techniques in cyber-security applications”. Flammini lnu susec19

Ansaldo STS Innovation award 2009

Ansaldo STS Innovation award 2009

Ansaldo STS Innovation award 2009

Ansaldo STS Innovation Award 2014 - Francesco Flammini

Ansaldo STS Innovation Award 2014 - Francesco Flammini

Ansaldo STS Innovation Award 2014 - Francesco Flammini

IoT Research & Education at LNU

IoT Research & Education at LNU

IoT Research & Education at LNU

Francesco Flammini - talk at DISCORAIL'19

Francesco Flammini - talk at DISCORAIL'19

Francesco Flammini - talk at DISCORAIL'19

Towards railway virtual coupling

Towards railway virtual coupling

Towards railway virtual coupling

Smart-Troubleshooting Symbiotic Autonomous Systems in the Connected Society

Smart-Troubleshooting Symbiotic Autonomous Systems in the Connected Society

Smart-Troubleshooting Symbiotic Autonomous Systems in the Connected Society

SuccesfulGrantApplications_Jan 23, 2017_certificate-506560

SuccesfulGrantApplications_Jan 23, 2017_certificate-506560

SuccesfulGrantApplications_Jan 23, 2017_certificate-506560

Attestato FLAMMINI ISO 14298

Attestato FLAMMINI ISO 14298

Attestato FLAMMINI ISO 14298

Publication_recognition

1. Reliability Engineering And System Safety Certificate of publication for the article titled: "Enabling the Usage of UML in the Verification of Railway Systems: the DAM-Rail Approach " Authored by: Simona Bernardi, Francesco Flammini, Stefano Marrone, Nicola Mazzocca José Merseguer, Roberto Nardone, Valeria Vittorini Published in: Volume 120C, 2013, Pages 112-126