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 Books 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 Books 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 Books 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 Benkendorff, Leonard [Author]; Dotti, Francesco Flammini [Author]; Stock, Katja [Author]; Cai, Maxwell Xu [Author]; Spurzem, Rainer [Author] Hot Jupiter formation in dense star clusters Articles View online Schließen > Access ... to article via DOI (Volltext ; freely accessible) ... to article (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 Flammini, Francesco Digital twins as run-time predictive models for the resilience of cyber-physical systems: a conceptual framework Articles 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 Articles 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 Articles 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 Flammini, Francesco; Alcaraz, Cristina Guest Editorial Navigating the Nexus of Cyber Security and Resilience Articles 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 Transactions on Emerging Topics in Computing, 12 (2024) 2, Seite 558-558 Tokody, Daniel; Flammini, Francesco Smart Systems for the Protection of Individuals Articles 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) Articles 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 Articles 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 Kumar Kaushal, Rajesh; Kumar, Naveen; Flammini, Francesco Enhancing Data Integrity in Higher Education:A Blockchain-Based Student Complaint System Using Hyperledger Fabric Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Deanship of Scientific Research, 2024 Published in: International Journal of Computing and Digital Systems, 15 (2024) 1, Seite 1387-1397 Zahid, Maryam; Bucaioni, Alessio; Flammini, Francesco Model-based Trustworthiness Evaluation of Autonomous Cyber-Physical Production Systems: A Systematic Mapping Study Articles 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 Articles 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 Articles 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 Articles 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 Articles 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 Articles 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 Pappaterra, Mauro José; Pappaterra, María Lucía; Flammini, Francesco A study on the application of convolutional neural networks for the maintenance of railway tracks Articles 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, 2024 Published in: Discover Artificial Intelligence, 4 (2024) 1 Partovian, Sania; Bucaioni, Alessio; Flammini, Francesco; Thornadtsson, Johan Analysis of log files to enable smart-troubleshooting in Industry 4.0: a systematic mapping study Articles 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
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 Books 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 Books 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 Books 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
Benkendorff, Leonard [Author]; Dotti, Francesco Flammini [Author]; Stock, Katja [Author]; Cai, Maxwell Xu [Author]; Spurzem, Rainer [Author] Hot Jupiter formation in dense star clusters Articles View online Schließen > Access ... to article via DOI (Volltext ; freely accessible) ... to article (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
> Access ... to article via DOI (Volltext ; freely accessible) ... to article (Volltext ; freely accessible)
Flammini, Francesco Digital twins as run-time predictive models for the resilience of cyber-physical systems: a conceptual framework Articles 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 Articles 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 Articles 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
Flammini, Francesco; Alcaraz, Cristina Guest Editorial Navigating the Nexus of Cyber Security and Resilience Articles 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 Transactions on Emerging Topics in Computing, 12 (2024) 2, Seite 558-558
Tokody, Daniel; Flammini, Francesco Smart Systems for the Protection of Individuals Articles 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) Articles 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 Articles 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
Kumar Kaushal, Rajesh; Kumar, Naveen; Flammini, Francesco Enhancing Data Integrity in Higher Education:A Blockchain-Based Student Complaint System Using Hyperledger Fabric Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Deanship of Scientific Research, 2024 Published in: International Journal of Computing and Digital Systems, 15 (2024) 1, Seite 1387-1397
Zahid, Maryam; Bucaioni, Alessio; Flammini, Francesco Model-based Trustworthiness Evaluation of Autonomous Cyber-Physical Production Systems: A Systematic Mapping Study Articles 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 Articles 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 Articles 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 Articles 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 Articles 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 Articles 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
Pappaterra, Mauro José; Pappaterra, María Lucía; Flammini, Francesco A study on the application of convolutional neural networks for the maintenance of railway tracks Articles 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, 2024 Published in: Discover Artificial Intelligence, 4 (2024) 1
Partovian, Sania; Bucaioni, Alessio; Flammini, Francesco; Thornadtsson, Johan Analysis of log files to enable smart-troubleshooting in Industry 4.0: a systematic mapping study Articles 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
> Media type Skip to next facet Articles (119) Wert ausschließen Books (3) Wert ausschließen Conference Proceedings (1) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (63) Wert ausschließen Without Specification (59) Wert ausschließen Show more show less
> Language Skip to next facet English (68) Wert ausschließen Not determined (55) Wert ausschließen Show more show less
> Subject Skip to next facet Technology (17) Wert ausschließen Physics (11) Wert ausschließen Computer science (9) Wert ausschließen Mathmatics (7) Wert ausschließen General (5) Wert ausschließen Chemistry and pharmacology (4) Wert ausschließen Geography (2) Wert ausschließen Economics (2) Wert ausschließen Biology (1) Wert ausschließen Geology and paleontology (1) Wert ausschließen Agriculture and forestry, horticulture, fisheries, housekeeping (1) Wert ausschließen Medicine (1) Wert ausschließen Show more show less
> Creator Skip to next facet Flammini, Francesco (83) Wert ausschließen Vittorini, Valeria (21) Wert ausschließen Marrone, Stefano (14) Wert ausschließen Mazzocca, Nicola (14) Wert ausschließen Natarajan, Rajesh (11) Wert ausschließen Nardone, Roberto (10) Wert ausschließen Gururaj, H. L. (8) Wert ausschließen Pragliola, Concetta (8) Wert ausschließen Flammini, Davide (7) Wert ausschließen Moro, Fabio (7) Wert ausschließen Ferrari, Paolo (6) Wert ausschließen Flammini, Alessandro (6) Wert ausschließen Fonnesu, Nicola (6) Wert ausschließen Agostini, Pietro (5) Wert ausschließen Alberghi, Ciro (5) Wert ausschließen Angiolini, Massimo (5) Wert ausschließen Candido, Luigi (5) Wert ausschließen Capogni, Marco (5) Wert ausschließen Capone, Mauro (5) Wert ausschließen Cataldo, Sebastiano (5) Wert ausschließen Contessa, Gian Marco (5) Wert ausschließen Diamanti, Dario (5) Wert ausschließen Dongiovanni, Danilo (5) Wert ausschließen D’Annibale, Francesco (5) Wert ausschließen D’Arienzo, Marco (5) Wert ausschließen Farini, Mirko (5) Wert ausschließen Fiore, Angela (5) Wert ausschließen Flammini, Sarah (5) Wert ausschließen Frisoni, Manuela (5) Wert ausschließen Gadani, Gianni (5) Wert ausschließen Gentili, Angelo (5) Wert ausschließen Grasso, Giacomo (5) Wert ausschließen Guardati, Manuela (5) Wert ausschließen Guidoni, David (5) Wert ausschließen Kouwenhoven, M B N (5) Wert ausschließen Lamberti, Marco (5) Wert ausschließen Lepore, Luigi (5) Wert ausschließen Mancini, Andrea (5) Wert ausschließen Mariani, Andrea (5) Wert ausschließen Marinari, Ranieri (5) Wert ausschließen Marzo, Giuseppe A. (5) Wert ausschließen Mastroianni, Bruno (5) Wert ausschließen Orefice, Agostina (5) Wert ausschließen Pietropaolo, Antonino (5) Wert ausschließen Pinna, Tonio (5) Wert ausschließen Rizzo, Antonietta (5) Wert ausschließen Rydzy, Alexander (5) Wert ausschließen Salvi, Stefano (5) Wert ausschließen Santoli, Demis (5) Wert ausschließen Santucci, Alessia (5) Wert ausschließen Saraceno, Luca (5) Wert ausschließen Sartorio, Camillo (5) Wert ausschließen Scaglione, Salvatore (5) Wert ausschließen Sermenghi, Valerio (5) Wert ausschließen Serra, Emanuele (5) Wert ausschließen Simonetti, Andrea (5) Wert ausschließen Spassovsky, Ivan Panov (5) Wert ausschließen Spurzem, Rainer (5) Wert ausschließen Tascini, Carlo (5) Wert ausschließen Terranova, Nicholas (5) Wert ausschließen Tosti, Silvano (5) Wert ausschließen Ubaldini, Alberto (5) Wert ausschließen Utili, Marco (5) Wert ausschließen Voukelatou, Konstantina (5) Wert ausschließen Zito, Pietro (5) Wert ausschließen Zola, Danilo (5) Wert ausschließen Zummo, Giuseppe (5) Wert ausschließen Caporuscio, Mauro (4) Wert ausschließen De Donato, Lorenzo (4) Wert ausschließen Flammini, Lisa (4) Wert ausschließen Flammini Dotti, Francesco (4) Wert ausschließen Menichetti, Francesco (4) Wert ausschließen Tagliaferri, Enrico (4) Wert ausschließen Azari, Mehdi Saman (3) Wert ausschließen Benoit, Philippe (3) Wert ausschließen Bondavalli, Andrea (3) Wert ausschließen Di Paolo, Antonello (3) Wert ausschließen Dotti, Francesco Flammini (3) Wert ausschließen Esposito, Mariana (3) Wert ausschließen Fantechi, Alessandro (3) Wert ausschließen Flammini, Alessandra (3) Wert ausschließen H L, Gururaj (3) Wert ausschließen Karl, Kevin (3) Wert ausschließen Leonildi, Alessandro (3) Wert ausschließen Lodola, Alessio (3) Wert ausschließen Lokesh, Gururaj Harinahalli (3) Wert ausschließen Orsetti, Valerio (3) Wert ausschließen Quadrelli, Roberta (3) Wert ausschließen Shu, Qi (3) Wert ausschließen Somma, Alessandra (3) Wert ausschließen Vitale, Francesco (3) Wert ausschließen Alcaraz, Cristina (2) Wert ausschließen Alfieri, Roberta (2) Wert ausschließen Andersson, Jesper (2) Wert ausschließen Balador, Ali (2) Wert ausschließen Barocelli, Elisabetta (2) Wert ausschließen Bologna, Sandro (2) Wert ausschließen Bonelli, Mara (2) Wert ausschließen Bose, S. Subash Chandra (2) Wert ausschließen Brancati, Francesco (2) Wert ausschließen Show more show less
> Collection Skip to next facet Institute of Electrical and Electronics Engineers (IEEE) (CrossRef) (22) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (17) Wert ausschließen MDPI AG (CrossRef) (14) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (14) Wert ausschließen Elsevier BV (CrossRef) (6) Wert ausschließen Springer International Publishing (CrossRef) (6) Wert ausschließen Croatian Interdisciplinary Society (CrossRef) (4) Wert ausschließen Oxford University Press (OUP) (CrossRef) (4) Wert ausschließen Verbunddaten SWB (4) Wert ausschließen Wiley (CrossRef) (4) Wert ausschließen American Society for Microbiology (CrossRef) (3) Wert ausschließen Copernicus GmbH (CrossRef) (3) Wert ausschließen American Astronomical Society (CrossRef) (2) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (2) Wert ausschließen IOP Publishing (CrossRef) (2) Wert ausschließen IOS Press (CrossRef) (2) Wert ausschließen The Royal Society (CrossRef) (2) Wert ausschließen American Chemical Society (ACS) (CrossRef) (1) Wert ausschließen DOAJ Directory of Open Access Journals (1) Wert ausschließen Deanship of Scientific Research (CrossRef) (1) Wert ausschließen Frontiers Media SA (CrossRef) (1) Wert ausschließen IEEE (CrossRef) (1) Wert ausschließen Lizenzfreie Online-Ressourcen (1) Wert ausschließen Ovid Technologies (Wolters Kluwer Health) (CrossRef) (1) Wert ausschließen River Publishers (CrossRef) (1) Wert ausschließen SAGE Publications (CrossRef) (1) Wert ausschließen Springer Nature Singapore (CrossRef) (1) Wert ausschließen Springer Nature Switzerland (CrossRef) (1) Wert ausschließen Trans Tech Publications, Ltd. (CrossRef) (1) Wert ausschließen World Scientific Pub Co Pte Lt (CrossRef) (1) Wert ausschließen Show more show less