Skip to contents

Flammini, Francesco [Editor]; Bologna, Sandro [Other]; Vittorini, Valeria [Other] ; SAFECOMP 30 2011 Neapel

Computer safety, reliability, and security : 30th international conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2011

Published in: Lecture notes in computer science ; 6894
Lang, Frédéric [Author] ; Flammini, Francesco [Editor]

Formal Methods for Industrial Critical Systems : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings

View online
Schließen

Access

... to E-book via DOI (Volltext)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham [u.a.]: Springer, 2014

Published in: Lecture notes in computer science ; 8718
Flammini, Francesco [Author] ; Bologna, Sandro [Other]; Vittorini, Valeria [Other]

Computer Safety, Reliability, and Security : 30th International Conference,SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

Published in: Lecture notes in computer science ; 6894
Pani, Subhendu Kumar [Editor]; Dash, Sujata [Editor]; dos Santos, Wellington P. [Editor]; Chan Bukhari, Syed Ahmad [Editor]; Flammini, Francesco [Editor]

Assessing COVID-19 and Other Pandemics and Epidemics using Computational Modelling and Data Analysis - [1st ed. 2022.]

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer International Publishing, 2022. ; Cham: Imprint: Springer, 2022.
Benkendorff, Leonard [Author]; Dotti, Francesco Flammini [Author]; Stock, Katja [Author]; Cai, Maxwell Xu [Author]; Spurzem, Rainer [Author]

Hot Jupiter formation in dense star clusters

View online
Schließen

Access

... to article (Volltext ; freely accessible)

... to article via DOI (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

February 2024

Published in: Royal Astronomical Society: Monthly notices of the Royal Astronomical Society ; 528(2024), 2 vom: Feb., Seite 2834-2850
Marrone, Stefano [Editor]; De Sanctis, Martina [Editor]; Kocsis, Imre [Editor]; Adler, Rasmus [Editor]; Hawkins, Richard [Editor]; Schleiß, Philipp [Editor]; Nardone, Roberto [Editor]; Flammini, Francesco [Editor]; Vittorini, Valeria [Editor]

Dependable Computing – EDCC 2022 Workshops : SERENE, DREAMS, AI4RAILS, Zaragoza, Spain, September 12, 2022, Proceedings - [1st ed. 2022.]

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer International Publishing, 2022. ; Cham: Imprint: Springer, 2022.

Published in: Communications in Computer and Information Science ; 1656
Flammini, Francesco

Digital twins as run-time predictive models for the resilience of cyber-physical systems: a conceptual framework

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

The Royal Society, 2021

Published in: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 379 (2021) 2207, Seite 20200369
Flammini, Francesco

Technical Committee Reports: The Future of Homeland Security

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Institute of Electrical and Electronics Engineers (IEEE), 2016

Published in: IEEE Systems, Man, and Cybernetics Magazine, 2 (2016) 3, Seite 11-13
Flammini, Francesco

Model-Based Approaches for Railway Safety, Reliability and Security: The Experience of Ansaldo STS

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2009

Published in: IFAC Proceedings Volumes, 42 (2009) 5, Seite 2
Tokody, Daniel; Flammini, Francesco

Smart Systems for the Protection of Individuals

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Trans Tech Publications, Ltd., 2017

Published in: Key Engineering Materials, 755 (2017), Seite 190-197
Lang, Frédéric; Flammini, Francesco

Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS'2014)

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2016

Published in: Science of Computer Programming, 118 (2016), Seite 1-2
Kumar, Nithin; Nagarathna; Flammini, Francesco

YOLO-Based Light-Weight Deep Learning Models for Insect Detection System with Field Adaption

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

MDPI AG, 2023

Published in: Agriculture, 13 (2023) 3, Seite 741
Zahid, Maryam; Bucaioni, Alessio; Flammini, Francesco

Model-based Trustworthiness Evaluation of Autonomous Cyber-Physical Production Systems: A Systematic Mapping Study

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2024

Published in: ACM Computing Surveys, 56 (2024) 6, Seite 1-28
Papp, Jozsef; Tokody, Daniel; Flammini, Francesco

From traditional manufacturing and automation systems to holonic intelligent systems

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2018

Published in: Procedia Manufacturing, 22 (2018), Seite 931-935
Fantechi, Alessandro; Flammini, Francesco; Gnesi, Stefania

Formal methods for railway control systems

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2014

Published in: International Journal on Software Tools for Technology Transfer, 16 (2014) 6, Seite 643-646
Fantechi, Alessandro; Flammini, Francesco; Gnesi, Stefania

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: Formal Methods for Intelligent Transportation Systems

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2012

Published in: Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies (2012), Seite 187-189
Flammini, Francesco; Mazzocca, Nicola; Orazzo, Antonio

Automatic instantiation of abstract tests on specific configurations for large critical control systems

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wiley, 2009

Published in: Software Testing, Verification and Reliability, 19 (2009) 2, Seite 91-110
Xue, Xingsi; Shankar, Achyut; Flammini, Francesco; Zamani, Mazdak

Similarity Feature Construction for Semantic Sensor Ontology Integration via Light Genetic Programming

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Institute of Electrical and Electronics Engineers (IEEE), 2024

Published in: IEEE Internet of Things Journal (2024), Seite 1-1
Mauro José Pappaterra; María Lucía Pappaterra; Francesco Flammini

A study on the application of convolutional neural networks for the maintenance of railway tracks

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2024

Published in: Discover Artificial Intelligence, 4 (2024) 1, Seite 1-20
Partovian, Sania; Bucaioni, Alessio; Flammini, Francesco; Thornadtsson, Johan

Analysis of log files to enable smart-troubleshooting in Industry 4.0: a systematic mapping study

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Institute of Electrical and Electronics Engineers (IEEE), 2023

Published in: IEEE Access (2023), Seite 1-1

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication