Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Cinzia Bernardeschi
@article{DBLP:journals/access/BernardeschiDFP24,
author = {Cinzia Bernardeschi and
Andrea Domenici and
Adriano Fagiolini and
Maurizio Palmieri},
title = {Design and Validation of Cyber-Physical Systems Through Co-Simulation:
The Voronoi Tessellation Use Case},
journal = {{IEEE} Access},
volume = {12},
pages = {1064--1075},
year = {2024},
url = {https://doi.org/10.1109/ACCESS.2023.3347494},
doi = {10.1109/ACCESS.2023.3347494},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/BernardeschiDFP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BernardeschiDFP23,
author = {Cinzia Bernardeschi and
Andrea Domenici and
Adriano Fagiolini and
Maurizio Palmieri},
title = {Co-simulation and Formal Verification of Co-operative Drone Control
With Logic-Based Specifications},
journal = {Comput. J.},
volume = {66},
number = {2},
pages = {295--317},
year = {2023},
url = {https://doi.org/10.1093/comjnl/bxab161},
doi = {10.1093/COMJNL/BXAB161},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/BernardeschiDFP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comcom/PalmieriQFB23,
author = {Maurizio Palmieri and
Christian Quadri and
Adriano Fagiolini and
Cinzia Bernardeschi},
title = {Co-simulated digital twin on the network edge: {A} vehicle platoon},
journal = {Comput. Commun.},
volume = {212},
pages = {35--47},
year = {2023},
url = {https://doi.org/10.1016/j.comcom.2023.09.019},
doi = {10.1016/J.COMCOM.2023.09.019},
timestamp = {Sun, 31 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/comcom/PalmieriQFB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosp/AparoBLLM23,
author = {Carmelo Aparo and
Cinzia Bernardeschi and
Giuseppe Lettieri and
Fabio Lucattini and
Salvatore Montanarella},
title = {An Analysis System to Test Security of Software on Continuous Integration-Continuous
Delivery Pipeline},
booktitle = {{IEEE} European Symposium on Security and Privacy, EuroS{\&}P
2023 - Workshops, Delft, Netherlands, July 3-7, 2023},
pages = {58--67},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/EuroSPW59978.2023.00012},
doi = {10.1109/EUROSPW59978.2023.00012},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosp/AparoBLLM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2022w,
editor = {Paolo Masci and
Cinzia Bernardeschi and
Pierluigi Graziani and
Mario Koddenbrock and
Maurizio Palmieri},
title = {Software Engineering and Formal Methods. {SEFM} 2022 Collocated Workshops
- AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30,
2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13765},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-26236-4},
doi = {10.1007/978-3-031-26236-4},
isbn = {978-3-031-26235-7},
timestamp = {Thu, 16 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/2022w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BernardeschiDDPS22,
author = {Cinzia Bernardeschi and
Pierpaolo Dini and
Andrea Domenici and
Maurizio Palmieri and
Sergio Saponara},
editor = {Paolo Masci and
Cinzia Bernardeschi and
Pierluigi Graziani and
Mario Koddenbrock and
Maurizio Palmieri},
title = {Do-it-Yourself {FMU} Generation},
booktitle = {Software Engineering and Formal Methods. {SEFM} 2022 Collocated Workshops
- AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30,
2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13765},
pages = {210--227},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-26236-4\_19},
doi = {10.1007/978-3-031-26236-4\_19},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/BernardeschiDDPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartcomp/PalmieriVAB22,
author = {Maurizio Palmieri and
Carlo Vallati and
Giuseppe Anastasi and
Cinzia Bernardeschi},
title = {Demo: An On-line Supervisor for the Line Follower Robot},
booktitle = {2022 {IEEE} International Conference on Smart Computing, {SMARTCOMP}
2022, Helsinki, Finland, June 20-24, 2022},
pages = {180--182},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/SMARTCOMP55677.2022.00045},
doi = {10.1109/SMARTCOMP55677.2022.00045},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/smartcomp/PalmieriVAB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartcomp/PalmieriVAB22a,
author = {Maurizio Palmieri and
Carlo Vallati and
Giuseppe Anastasi and
Cinzia Bernardeschi},
title = {A Workflow for Designing an On-line Supervisor for Cyber-Physical
Systems: a Case Study},
booktitle = {2022 {IEEE} International Conference on Smart Computing, {SMARTCOMP}
2022, Helsinki, Finland, June 20-24, 2022},
pages = {323--328},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/SMARTCOMP55677.2022.00075},
doi = {10.1109/SMARTCOMP55677.2022.00075},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/smartcomp/PalmieriVAB22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wowmom/PalmieriQFRB22,
author = {Maurizio Palmieri and
Christian Quadri and
Adriano Fagiolini and
Gian Paolo Rossi and
Cinzia Bernardeschi},
title = {Co-simulated Digital Twin on the Network Edge: the case of platooning},
booktitle = {23rd {IEEE} International Symposium on a World of Wireless, Mobile
and Multimedia Networks, WoWMoM 2022, Belfast, United Kingdom, June
14-17, 2022},
pages = {613--618},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/WoWMoM54355.2022.00096},
doi = {10.1109/WOWMOM54355.2022.00096},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wowmom/PalmieriQFRB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soca/FrosiniPCSB21,
author = {Luca Frosini and
Pasquale Pagano and
Leonardo Candela and
Manuele Simi and
Cinzia Bernardeschi},
title = {ReLock: a resilient two-phase locking RESTful transaction model},
journal = {Serv. Oriented Comput. Appl.},
volume = {15},
number = {1},
pages = {75--92},
year = {2021},
url = {https://doi.org/10.1007/s11761-020-00311-z},
doi = {10.1007/S11761-020-00311-Z},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/soca/FrosiniPCSB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/virology/BernardeschiDPR21,
author = {Cinzia Bernardeschi and
Gianluca Dini and
Maurizio Palmieri and
Francesco Racciatti},
title = {A framework for formal analysis and simulative evaluation of security
attacks in wireless sensor networks},
journal = {J. Comput. Virol. Hacking Tech.},
volume = {17},
number = {3},
pages = {249--263},
year = {2021},
url = {https://doi.org/10.1007/s11416-021-00392-0},
doi = {10.1007/S11416-021-00392-0},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/virology/BernardeschiDPR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BernardeschiDDM21,
author = {Cinzia Bernardeschi and
Pierpaolo Dini and
Andrea Domenici and
Ayoub Mouhagir and
Maurizio Palmieri and
Sergio Saponara and
Tanguy Sassolas and
Lilia Zaourar},
editor = {Antonio Cerone and
Marco Autili and
Alessio Bucaioni and
Cl{\'{a}}udio Gomes and
Pierluigi Graziani and
Maurizio Palmieri and
Marco Temperini and
Gentiane Venture},
title = {Co-simulation of a Model Predictive Control System for Automotive
Applications},
booktitle = {Software Engineering and Formal Methods. {SEFM} 2021 Collocated Workshops
- CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10,
2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13230},
pages = {204--220},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-031-12429-7\_15},
doi = {10.1007/978-3-031-12429-7\_15},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/BernardeschiDDM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/BernardeschiDP21,
author = {Cinzia Bernardeschi and
Andrea Domenici and
Maurizio Palmieri},
editor = {Ludovico Iovino and
Lars Michael Kristensen},
title = {A Prototyping Process for Medical Devices and Systems},
booktitle = {{STAF} 2021 Workshop Proceedings: 9th International Workshop on Bidirectional
Transformations, Joint Workshop on Foundations and Practice of Visual
Modeling and Data for Model-Driven Engineering, International workshop
on {MDE} for Smart IoT Systems, 4th International Workshop on (Meta)Modeling
for Healthcare Systems, and 20th International Workshop on {OCL} and
Textual Modeling co-located with Software Technologies: Applications
and Foundations, Federation of Conferences {(STAF} 2021), Virtual
Event / Bergen, Norway, June 21-25, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2999},
pages = {115--124},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2999/mmhspaper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:10 +0100},
biburl = {https://dblp.org/rec/conf/staf/BernardeschiDP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2108-02964,
author = {Andrea Domenici and
Cinzia Bernardeschi},
editor = {Jos{\'{e}} Proen{\c{c}}a and
Andrei Paskevich},
title = {A Logic Theory Pattern for Linearized Control Systems},
booktitle = {Proceedings of the 6th Workshop on Formal Integrated Development Environment,
F-IDE@NFM 2021, Held online, 24-25th May 2021},
series = {{EPTCS}},
volume = {338},
pages = {46--52},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.338.7},
doi = {10.4204/EPTCS.338.7},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-02964.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BernardeschiDFP20,
author = {Cinzia Bernardeschi and
Andrea Domenici and
Adriano Fagiolini and
Maurizio Palmieri},
title = {Block-Based Models and Theorem Proving in Model-Based Development},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {79},
year = {2020},
url = {https://doi.org/10.14279/tuj.eceasst.79.1116},
doi = {10.14279/TUJ.ECEASST.79.1116},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eceasst/BernardeschiDFP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/PalmieriBM20,
author = {Maurizio Palmieri and
Cinzia Bernardeschi and
Paolo Masci},
title = {A framework for FMI-based co-simulation of human-machine interfaces},
journal = {Softw. Syst. Model.},
volume = {19},
number = {3},
pages = {601--623},
year = {2020},
url = {https://doi.org/10.1007/s10270-019-00754-9},
doi = {10.1007/S10270-019-00754-9},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/PalmieriBM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/virology/BernardeschiDP20,
author = {Cinzia Bernardeschi and
Andrea Domenici and
Maurizio Palmieri},
title = {Formalization and co-simulation of attacks on cyber-physical systems},
journal = {J. Comput. Virol. Hacking Tech.},
volume = {16},
number = {1},
pages = {63--77},
year = {2020},
url = {https://doi.org/10.1007/s11416-019-00344-9},
doi = {10.1007/S11416-019-00344-9},
timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/virology/BernardeschiDP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icissp/BernardeschiDPR20,
author = {Cinzia Bernardeschi and
Gianluca Dini and
Maurizio Palmieri and
Francesco Racciatti},
editor = {Steven Furnell and
Paolo Mori and
Edgar R. Weippl and
Olivier Camp},
title = {Analysis of Security Attacks in Wireless Sensor Networks: From {UPPAAL}
to Castalia},
booktitle = {Proceedings of the 6th International Conference on Information Systems
Security and Privacy, {ICISSP} 2020, Valletta, Malta, February 25-27,
2020},
pages = {815--824},
publisher = {{SCITEPRESS}},
year = {2020},
url = {https://doi.org/10.5220/0009380508150824},
doi = {10.5220/0009380508150824},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icissp/BernardeschiDPR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcnn/BernardeschiDMS20,
author = {Cinzia Bernardeschi and
Andrea Domenici and
Francesco Mercaldo and
Antonella Santone},
title = {Identify Potential Attacks from Simulated Log Analysis},
booktitle = {2020 International Joint Conference on Neural Networks, {IJCNN} 2020,
Glasgow, United Kingdom, July 19-24, 2020},
pages = {1--6},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/IJCNN48605.2020.9206825},
doi = {10.1109/IJCNN48605.2020.9206825},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcnn/BernardeschiDMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BernardeschiDPS20,
author = {Cinzia Bernardeschi and
Andrea Domenici and
Maurizio Palmieri and
Sergio Saponara and
Tanguy Sassolas and
Arief Wicaksana and
Lilia Zaourar},
editor = {Loek Cleophas and
Mieke Massink},
title = {Cross-level Co-simulation and Verification of an Automatic Transmission
Control on Embedded Processor},
booktitle = {Software Engineering and Formal Methods. {SEFM} 2020 Collocated Workshops
- ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September
14-15, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12524},
pages = {263--279},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-67220-1\_20},
doi = {10.1007/978-3-030-67220-1\_20},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/BernardeschiDPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BernardeschiDS19,
author = {Cinzia Bernardeschi and
Andrea Domenici and
Sergio Saponara},
title = {Formal Verification in the Loop to Enhance Verification of Safety-Critical
Cyber-physical Systems},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {77},
year = {2019},
url = {https://doi.org/10.14279/tuj.eceasst.77.1106},
doi = {10.14279/TUJ.ECEASST.77.1106},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/BernardeschiDS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/BernardeschiMCD19,
author = {Cinzia Bernardeschi and
Paolo Masci and
Davide Caramella and
Ruggero Dell'Osso},
title = {The benefits of using interactive device simulations as training material
for clinicians: an experience report with a contrast media injector
used in {CT}},
journal = {{SIGBED} Rev.},
volume = {16},
number = {2},
pages = {41--45},
year = {2019},
url = {https://doi.org/10.1145/3357495.3357500},
doi = {10.1145/3357495.3357500},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigbed/BernardeschiMCD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BernardeschiD19,
author = {Cinzia Bernardeschi and
Andrea Domenici},
editor = {Maurice H. ter Beek and
Alessandro Fantechi and
Laura Semini},
title = {Application of Model Checking to Fault Tolerance Analysis},
booktitle = {From Software Engineering to Formal Methods and Tools, and Back -
Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11865},
pages = {531--547},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30985-5\_31},
doi = {10.1007/978-3-030-30985-5\_31},
timestamp = {Sat, 12 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BernardeschiD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icissp/BernardeschiDP19,
author = {Cinzia Bernardeschi and
Andrea Domenici and
Maurizio Palmieri},
editor = {Paolo Mori and
Steven Furnell and
Olivier Camp},
title = {Modeling and Simulation of Attacks on Cyber-physical Systems},
booktitle = {Proceedings of the 5th International Conference on Information Systems
Security and Privacy, {ICISSP} 2019, Prague, Czech Republic, February
23-25, 2019},
pages = {700--708},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0007705307000708},
doi = {10.5220/0007705307000708},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icissp/BernardeschiDP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kes/BernardeschiMNS19,
author = {Cinzia Bernardeschi and
Francesco Mercaldo and
Vittoria Nardone and
Antonella Santone},
editor = {Imre J. Rudas and
J{\'{a}}nos Csirik and
Carlos Toro and
J{\'{a}}nos Botzheim and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Exploiting Model Checking for Mobile Botnet Detection},
booktitle = {Knowledge-Based and Intelligent Information {\&} Engineering Systems:
Proceedings of the 23rd International Conference KES-2019, Budapest,
Hungary, 4-6 September 2019},
series = {Procedia Computer Science},
volume = {159},
pages = {963--972},
publisher = {Elsevier},
year = {2019},
url = {https://doi.org/10.1016/j.procs.2019.09.263},
doi = {10.1016/J.PROCS.2019.09.263},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/kes/BernardeschiMNS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BernardeschiPDS19,
author = {Cinzia Bernardeschi and
Dini Pierpaolo and
Andrea Domenici and
Sergio Saponara},
editor = {Javier C{\'{a}}mara and
Martin Steffen},
title = {Co-simulation and Verification of a Non-linear Control System for
Cogging Torque Reduction in Brushless Motors},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2019 Collocated Workshops:
CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20,
2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12226},
pages = {3--19},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-57506-9\_1},
doi = {10.1007/978-3-030-57506-9\_1},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/BernardeschiPDS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/cb/BernardeschiDM19,
author = {Cinzia Bernardeschi and
Andrea Domenici and
Paolo Masci},
editor = {Pietro Li{\`{o}} and
Paolo Zuliani},
title = {Logic-Based Formalization of System Requirements for Integrated Clinical
Environments},
booktitle = {Automated Reasoning for Systems Biology and Medicine},
series = {Computational Biology},
volume = {30},
pages = {215--242},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17297-8\_8},
doi = {10.1007/978-3-030-17297-8\_8},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/cb/BernardeschiDM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tetc/CozziKCHDBSP18,
author = {Dario Cozzi and
Sebastian Korf and
Luca Cassano and
Jens Hagemeyer and
Andrea Domenici and
Cinzia Bernardeschi and
Luca Sterpone and
Mario Porrmann},
title = {OLT(RE)\({}^{\mbox{2}}\): An On-Line On-Demand Testing Approach for
Permanent Radiation Effects in Reconfigurable Systems},
journal = {{IEEE} Trans. Emerg. Top. Comput.},
volume = {6},
number = {4},
pages = {511--523},
year = {2018},
url = {https://doi.org/10.1109/TETC.2016.2586195},
doi = {10.1109/TETC.2016.2586195},
timestamp = {Fri, 15 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tetc/CozziKCHDBSP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BernardeschiDM18,
author = {Cinzia Bernardeschi and
Andrea Domenici and
Paolo Masci},
title = {A PVS-Simulink Integrated Environment for Model-Based Analysis of
Cyber-Physical Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {44},
number = {6},
pages = {512--533},
year = {2018},
url = {https://doi.org/10.1109/TSE.2017.2694423},
doi = {10.1109/TSE.2017.2694423},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BernardeschiDM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/virology/BernardeschiNDP18,
author = {Cinzia Bernardeschi and
Marco Di Natale and
Gianluca Dini and
Maurizio Palmieri},
title = {Verifying data secure flow in {AUTOSAR} models},
journal = {J. Comput. Virol. Hacking Tech.},
volume = {14},
number = {4},
pages = {269--289},
year = {2018},
url = {https://doi.org/10.1007/s11416-018-0317-y},
doi = {10.1007/S11416-018-0317-Y},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/virology/BernardeschiNDP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itasec/BernardeschiMS18,
author = {Cinzia Bernardeschi and
Paolo Masci and
Antonella Santone},
editor = {Elena Ferrari and
Marco Baldi and
Roberto Baldoni},
title = {Data Leakage in Java Applets with Exception Mechanism},
booktitle = {Proceedings of the Second Italian Conference on Cyber Security, Milan,
Italy, February 6th - to - 9th, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2058},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2058/paper-05.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:11 +0100},
biburl = {https://dblp.org/rec/conf/itasec/BernardeschiMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mesas/BernardeschiFPS18,
author = {Cinzia Bernardeschi and
Adriano Fagiolini and
Maurizio Palmieri and
Giulio Scrima and
Fabio Sofia},
editor = {Jan Mazal},
title = {ROS/Gazebo Based Simulation of Co-operative UAVs},
booktitle = {Modelling and Simulation for Autonomous Systems - 5th International
Conference, {MESAS} 2018, Prague, Czech Republic, October 17-19, 2018,
Revised Selected papers},
series = {Lecture Notes in Computer Science},
volume = {11472},
pages = {321--334},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-14984-0\_24},
doi = {10.1007/978-3-030-14984-0\_24},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mesas/BernardeschiFPS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/BozzoliSSB18,
author = {Ludovica Bozzoli and
Corrado De Sio and
Luca Sterpone and
Cinzia Bernardeschi},
title = {PyXEL: An Integrated Environment for the Analysis of Fault Effects
in SRAM-Based {FPGA} Routing},
booktitle = {2018 International Symposium on Rapid System Prototyping, {RSP} 2018,
Torino, Italy, October 4-5, 2018},
pages = {70--75},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/RSP.2018.8632000},
doi = {10.1109/RSP.2018.8632000},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rsp/BozzoliSSB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/PalmieriBM18,
author = {Maurizio Palmieri and
Cinzia Bernardeschi and
Paolo Masci},
editor = {Manuel Mazzara and
Iulian Ober and
Gwen Sala{\"{u}}n},
title = {A Flexible Framework for FMI-Based Co-Simulation of Human-Centred
Cyber-Physical Systems},
booktitle = {Software Technologies: Applications and Foundations - {STAF} 2018
Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11176},
pages = {21--33},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-04771-9\_2},
doi = {10.1007/978-3-030-04771-9\_2},
timestamp = {Thu, 14 Oct 2021 10:27:56 +0200},
biburl = {https://dblp.org/rec/conf/staf/PalmieriBM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/BernardeschiDP18,
author = {Cinzia Bernardeschi and
Andrea Domenici and
Maurizio Palmieri},
editor = {Manuel Mazzara and
Iulian Ober and
Gwen Sala{\"{u}}n},
title = {Towards Stochastic {FMI} Co-Simulations: Implementation of an {FMU}
for a Stochastic Activity Networks Simulator},
booktitle = {Software Technologies: Applications and Foundations - {STAF} 2018
Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11176},
pages = {34--44},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-04771-9\_3},
doi = {10.1007/978-3-030-04771-9\_3},
timestamp = {Wed, 26 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/staf/BernardeschiDP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/PalmieriBDF18,
author = {Maurizio Palmieri and
Cinzia Bernardeschi and
Andrea Domenici and
Adriano Fagiolini},
editor = {Manuel Mazzara and
Iulian Ober and
Gwen Sala{\"{u}}n},
title = {Demo: Co-simulation of UAVs with {INTO-CPS} and PVSio-web},
booktitle = {Software Technologies: Applications and Foundations - {STAF} 2018
Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11176},
pages = {52--57},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-04771-9\_5},
doi = {10.1007/978-3-030-04771-9\_5},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/staf/PalmieriBDF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icissp/BernardeschiNDP17,
author = {Cinzia Bernardeschi and
Marco Di Natale and
Gianluca Dini and
Maurizio Palmieri},
editor = {Paolo Mori and
Steven Furnell and
Olivier Camp},
title = {Verifying Data Secure Flow in {AUTOSAR} Models by Static Analysis},
booktitle = {Proceedings of the 3rd International Conference on Information Systems
Security and Privacy, {ICISSP} 2017, Porto, Portugal, February 19-21,
2017},
pages = {704--713},
publisher = {SciTePress},
year = {2017},
url = {https://doi.org/10.5220/0006288707040713},
doi = {10.5220/0006288707040713},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icissp/BernardeschiNDP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BernardeschiNDV17,
author = {Cinzia Bernardeschi and
Marco Di Natale and
Gianluca Dini and
Dario Varano},
editor = {Ahmed Seffah and
Birgit Penzenstadler and
Carina Alves and
Xin Peng},
title = {Modeling and generation of secure component communications in {AUTOSAR}},
booktitle = {Proceedings of the Symposium on Applied Computing, {SAC} 2017, Marrakech,
Morocco, April 3-7, 2017},
pages = {1473--1480},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3019612.3019682},
doi = {10.1145/3019612.3019682},
timestamp = {Wed, 01 Feb 2023 17:58:48 +0100},
biburl = {https://dblp.org/rec/conf/sac/BernardeschiNDV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/PalmieriBM17,
author = {Maurizio Palmieri and
Cinzia Bernardeschi and
Paolo Masci},
editor = {Antonio Cerone and
Marco Roveri},
title = {Co-simulation of Semi-autonomous Systems: The Line Follower Robot
Case Study},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages = {423--437},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_29},
doi = {10.1007/978-3-319-74781-1\_29},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/PalmieriBM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ahswn/AvvenutiBCV16,
author = {Marco Avvenuti and
Cinzia Bernardeschi and
Luca Cassano and
Alessio Vecchio},
title = {Adapting the Duty Cycle to Traffic Load in a Preamble Sampling {MAC}
for WSNs: Formal Specification and Performance Evaluation},
journal = {Ad Hoc Sens. Wirel. Networks},
volume = {31},
number = {1-4},
pages = {101--129},
year = {2016},
url = {http://www.oldcitypublishing.com/journals/ahswn-home/ahswn-issue-contents/ahswn-volume-31-number-1-4-2016/ahswn-31-1-4-p-101-129/},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ahswn/AvvenutiBCV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/integration/BernardeschiCDS16,
author = {Cinzia Bernardeschi and
Luca Cassano and
Andrea Domenici and
Luca Sterpone},
title = {UA\({}^{\mbox{2}}\)TPG: An untestability analyzer and test pattern
generator for SEUs in the configuration memory of SRAM-based FPGAs},
journal = {Integr.},
volume = {55},
pages = {85--97},
year = {2016},
url = {https://doi.org/10.1016/j.vlsi.2016.03.004},
doi = {10.1016/J.VLSI.2016.03.004},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/integration/BernardeschiCDS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/BernardeschiD16,
author = {Cinzia Bernardeschi and
Andrea Domenici},
title = {Verifying safety properties of a nonlinear control by interactive
theorem proving with the Prototype Verification System},
journal = {Inf. Process. Lett.},
volume = {116},
number = {6},
pages = {409--415},
year = {2016},
url = {https://doi.org/10.1016/j.ipl.2016.02.001},
doi = {10.1016/J.IPL.2016.02.001},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/BernardeschiD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sas/BernardeschiDM16,
author = {Cinzia Bernardeschi and
Andrea Domenici and
Paolo Masci},
title = {Towards a Formalization of System Requirements for an Integrated Clinical
Environment},
journal = {{EAI} Endorsed Trans. Self Adapt. Syst.},
volume = {2},
number = {6},
pages = {e3},
year = {2016},
url = {https://doi.org/10.4108/eai.14-10-2015.2261701},
doi = {10.4108/EAI.14-10-2015.2261701},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sas/BernardeschiDM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscc/BernardeschiDM16,
author = {Cinzia Bernardeschi and
Andrea Domenici and
Paolo Masci},
title = {Modeling communication network requirements for an integrated clinical
environment in the Prototype Verification System},
booktitle = {{IEEE} Symposium on Computers and Communication, {ISCC} 2016, Messina,
Italy, June 27-30, 2016},
pages = {135--140},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ISCC.2016.7543728},
doi = {10.1109/ISCC.2016.7543728},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iscc/BernardeschiDM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mesas/BernardeschiVND16,
author = {Cinzia Bernardeschi and
Gabriele Del Vigna and
Marco Di Natale and
Gianluca Dini and
Dario Varano},
editor = {Jan Hodick{\'{y}}},
title = {Using {AUTOSAR} High-Level Specifications for the Synthesis of Security
Components in Automotive Systems},
booktitle = {Modelling and Simulation for Autonomous Systems - Third International
Workshop, {MESAS} 2016, Rome, Italy, June 15-16, 2016, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {9991},
pages = {101--117},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47605-6\_8},
doi = {10.1007/978-3-319-47605-6\_8},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mesas/BernardeschiVND16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobihealth/BernardeschiCDV16,
author = {Cinzia Bernardeschi and
Mario G. C. A. Cimino and
Andrea Domenici and
Gigliola Vaglini},
editor = {Paolo Perego and
Giuseppe Andreoni and
Giovanna Rizzo},
title = {Using Smartwatch Sensors to Support the Acquisition of Sleep Quality
Data for Supervised Machine Learning},
booktitle = {Wireless Mobile Communication and Healthcare - 6th International Conference,
MobiHealth 2016, Milan, Italy, November 14-16, 2016, Proceedings},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {192},
pages = {251--259},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-58877-3\_33},
doi = {10.1007/978-3-319-58877-3\_33},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mobihealth/BernardeschiCDV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobihealth/AvvenutiBCCDV16,
author = {Marco Avvenuti and
Cinzia Bernardeschi and
Mario G. C. A. Cimino and
Guglielmo Cola and
Andrea Domenici and
Gigliola Vaglini},
editor = {Paolo Perego and
Giuseppe Andreoni and
Giovanna Rizzo},
title = {Detecting Elderly Behavior Shift via Smart Devices and Stigmergic
Receptive Fields},
booktitle = {Wireless Mobile Communication and Healthcare - 6th International Conference,
MobiHealth 2016, Milan, Italy, November 14-16, 2016, Proceedings},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {192},
pages = {398--405},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-58877-3\_50},
doi = {10.1007/978-3-319-58877-3\_50},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mobihealth/AvvenutiBCCDV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/MauroTDB17,
author = {Gioacchino Mauro and
Harold Thimbleby and
Andrea Domenici and
Cinzia Bernardeschi},
editor = {Catherine Dubois and
Paolo Masci and
Dominique M{\'{e}}ry},
title = {Extending a User Interface Prototyping Tool with Automatic {MISRA}
{C} Code Generation},
booktitle = {Proceedings of the Third Workshop on Formal Integrated Development
Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016},
series = {{EPTCS}},
volume = {240},
pages = {53--66},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.240.4},
doi = {10.4204/EPTCS.240.4},
timestamp = {Tue, 01 Jun 2021 08:33:36 +0200},
biburl = {https://dblp.org/rec/journals/corr/MauroTDB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/BernardeschiCD15,
author = {Cinzia Bernardeschi and
Luca Cassano and
Andrea Domenici},
title = {SRAM-Based {FPGA} Systems for Safety-Critical Applications: {A} Survey
on Design Standards and Proposed Methodologies},
journal = {J. Comput. Sci. Technol.},
volume = {30},
number = {2},
pages = {373--390},
year = {2015},
url = {https://doi.org/10.1007/s11390-015-1530-5},
doi = {10.1007/S11390-015-1530-5},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcst/BernardeschiCD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/BernardeschiCDS14,
author = {Cinzia Bernardeschi and
Luca Cassano and
Andrea Domenici and
Luca Sterpone},
title = {{ASSESS:} {A} Simulator of Soft Errors in the Configuration Memory
of SRAM-Based FPGAs},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {33},
number = {9},
pages = {1342--1355},
year = {2014},
url = {https://doi.org/10.1109/TCAD.2014.2329419},
doi = {10.1109/TCAD.2014.2329419},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/BernardeschiCDS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/BarontiBCDRS14,
author = {Federico Baronti and
Cinzia Bernardeschi and
Luca Cassano and
Andrea Domenici and
Roberto Roncella and
Roberto Saletti},
title = {Design and Safety Verification of a Distributed Charge Equalizer for
Modular Li-Ion Batteries},
journal = {{IEEE} Trans. Ind. Informatics},
volume = {10},
number = {2},
pages = {1003--1011},
year = {2014},
url = {https://doi.org/10.1109/TII.2014.2299236},
doi = {10.1109/TII.2014.2299236},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tii/BarontiBCDRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dft/SorrentiCKCHPB14,
author = {Domenico G. Sorrenti and
Dario Cozzi and
Sebastian Korf and
Luca Cassano and
Jens Hagemeyer and
Mario Porrmann and
Cinzia Bernardeschi},
title = {Exploiting dynamic partial reconfiguration for on-line on-demand testing
of permanent faults in reconfigurable systems},
booktitle = {2014 {IEEE} International Symposium on Defect and Fault Tolerance
in {VLSI} and Nanotechnology Systems, {DFT} 2014, Amsterdam, The Netherlands,
October 1-3, 2014},
pages = {203--208},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/DFT.2014.6962065},
doi = {10.1109/DFT.2014.6962065},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dft/SorrentiCKCHPB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dtis/CassanoCJKHPB14,
author = {Luca Cassano and
Dario Cozzi and
Dirk Jungewelter and
Sebastian Korf and
Jens Hagemeyer and
Mario Porrmann and
Cinzia Bernardeschi},
title = {An inter-processor communication interface for data-flow centric heterogeneous
embedded multiprocessor systems},
booktitle = {Proceedings of the 9th International Conference on Design {\&}
Technology of Integrated Systems in Nanoscale Era, {DTIS} 2014, Santorini,
Greece, May 6-8, 2014},
pages = {1--6},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/DTIS.2014.6850669},
doi = {10.1109/DTIS.2014.6850669},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/dtis/CassanoCJKHPB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/MasciZJODBCT14,
author = {Paolo Masci and
Yi Zhang and
Paul L. Jones and
Patrick Oladimeji and
Enrico D'Urso and
Cinzia Bernardeschi and
Paul Curzon and
Harold Thimbleby},
editor = {Julia M. Badger and
Kristin Yvonne Rozier},
title = {Combining PVSio with Stateflow},
booktitle = {{NASA} Formal Methods - 6th International Symposium, {NFM} 2014, Houston,
TX, USA, April 29 - May 1, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8430},
pages = {209--214},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06200-6\_16},
doi = {10.1007/978-3-319-06200-6\_16},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/MasciZJODBCT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/BernardeschiCCD13,
author = {Cinzia Bernardeschi and
Luca Cassano and
Mario G. C. A. Cimino and
Andrea Domenici},
title = {{GABES:} {A} genetic algorithm based environment for {SEU} testing
in SRAM-FPGAs},
journal = {J. Syst. Archit.},
volume = {59},
number = {10-D},
pages = {1243--1254},
year = {2013},
url = {https://doi.org/10.1016/j.sysarc.2013.10.006},
doi = {10.1016/J.SYSARC.2013.10.006},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsa/BernardeschiCCD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ahs/BernardeschiCD13,
author = {Cinzia Bernardeschi and
Luca Cassano and
Andrea Domenici},
title = {Formal approaches to {SEU} testing in FPGAs},
booktitle = {2013 {NASA/ESA} Conference on Adaptive Hardware and Systems, {AHS}
2013, Torino, Italy, June 24-27, 2013},
pages = {209--216},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/AHS.2013.6604248},
doi = {10.1109/AHS.2013.6604248},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/ahs/BernardeschiCD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/glvlsi/BernardeschiCDS13,
author = {Cinzia Bernardeschi and
Luca Cassano and
Andrea Domenici and
Luca Sterpone},
editor = {Jos{\'{e}} Luis Ayala and
Alex K. Jones and
Patrick H. Madden and
Ayse K. Coskun},
title = {Unexcitability analysis of SEus affecting the routing structure of
SRAM-based FPGAs},
booktitle = {Great Lakes Symposium on {VLSI} 2013 (part of ECRC), GLSVLSI'13, Paris,
France, May 2-4, 2013},
pages = {7--12},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2483028.2483050},
doi = {10.1145/2483028.2483050},
timestamp = {Tue, 23 Jul 2019 15:03:09 +0200},
biburl = {https://dblp.org/rec/conf/glvlsi/BernardeschiCDS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/BarontiBCDRS13,
author = {Federico Baronti and
Cinzia Bernardeschi and
Luca Cassano and
Andrea Domenici and
Roberto Roncella and
Roberto Saletti},
title = {Mitigation of Single Event Upsets in the control logic of a charge
equalizer for Li-ion batteries},
booktitle = {{IECON} 2013 - 39th Annual Conference of the {IEEE} Industrial Electronics
Society, Vienna, Austria, November 10-13, 2013},
pages = {6758--6763},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/IECON.2013.6700251},
doi = {10.1109/IECON.2013.6700251},
timestamp = {Mon, 09 Aug 2021 14:54:01 +0200},
biburl = {https://dblp.org/rec/conf/iecon/BarontiBCDRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/AvvenutiBFM12,
author = {Marco Avvenuti and
Cinzia Bernardeschi and
Nicoletta De Francesco and
Paolo Masci},
title = {{JCSI:} {A} tool for checking secure information flow in Java Card
applications},
journal = {J. Syst. Softw.},
volume = {85},
number = {11},
pages = {2479--2493},
year = {2012},
url = {https://doi.org/10.1016/j.jss.2012.05.061},
doi = {10.1016/J.JSS.2012.05.061},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/AvvenutiBFM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dft/BernardeschiCDS12,
author = {Cinzia Bernardeschi and
Luca Cassano and
Andrea Domenici and
Luca Sterpone},
title = {Accurate simulation of SEUs in the configuration memory of SRAM-based
FPGAs},
booktitle = {2012 {IEEE} International Symposium on Defect and Fault Tolerance
in {VLSI} and Nanotechnology Systems, {DFT} 2012, Austin, TX, USA,
October 3-5, 2012},
pages = {115--120},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/DFT.2012.6378210},
doi = {10.1109/DFT.2012.6378210},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dft/BernardeschiCDS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iolts/BernardeschiCD12,
author = {Cinzia Bernardeschi and
Luca Cassano and
Andrea Domenici},
title = {{SEU-X:} {A} SEu un-excitability prover for SRAM-FPGAs},
booktitle = {18th {IEEE} International On-Line Testing Symposium, {IOLTS} 2012,
Sitges, Spain, June 27-29, 2012},
pages = {25--30},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/IOLTS.2012.6313836},
doi = {10.1109/IOLTS.2012.6313836},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iolts/BernardeschiCD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ddecs/BernardeschiCD11,
author = {Cinzia Bernardeschi and
Luca Cassano and
Andrea Domenici},
editor = {Rolf Kraemer and
Adam Pawlak and
Andreas Steininger and
Mario Sch{\"{o}}lzel and
Jaan Raik and
Heinrich Theodor Vierhaus},
title = {Failure probability of {SRAM-FPGA} systems with Stochastic Activity
Networks},
booktitle = {14th {IEEE} International Symposium on Design and Diagnostics of Electronic
Circuits {\&} Systems, {DDECS} 2011, Cottbus, Germany, April 13-15,
2011},
pages = {293--296},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/DDECS.2011.5783098},
doi = {10.1109/DDECS.2011.5783098},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ddecs/BernardeschiCD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpl/BernardeschiCD11,
author = {Cinzia Bernardeschi and
Luca Cassano and
Andrea Domenici},
title = {Failure Probability and Fault Observability of {SRAM-FPGA} Systems},
booktitle = {International Conference on Field Programmable Logic and Applications,
{FPL} 2011, September 5-7, Chania, Crete, Greece},
pages = {385--388},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/FPL.2011.75},
doi = {10.1109/FPL.2011.75},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpl/BernardeschiCD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/BernardeschiMP09,
author = {Cinzia Bernardeschi and
Paolo Masci and
Holger Pfeifer},
editor = {Rachid Guerraoui and
Franck Petit},
title = {Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios},
booktitle = {Stabilization, Safety, and Security of Distributed Systems, 11th International
Symposium, {SSS} 2009, Lyon, France, November 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5873},
pages = {105--119},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05118-0\_8},
doi = {10.1007/978-3-642-05118-0\_8},
timestamp = {Wed, 07 Dec 2022 23:13:25 +0100},
biburl = {https://dblp.org/rec/conf/sss/BernardeschiMP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BernardeschiFLMM08,
author = {Cinzia Bernardeschi and
Nicoletta De Francesco and
Giuseppe Lettieri and
Luca Martini and
Paolo Masci},
title = {Decomposing bytecode verification by abstract interpretation},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {31},
number = {1},
pages = {3:1--3:63},
year = {2008},
url = {https://doi.org/10.1145/1452044.1452047},
doi = {10.1145/1452044.1452047},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/BernardeschiFLMM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BernardeschiMP08,
author = {Cinzia Bernardeschi and
Paolo Masci and
Holger Pfeifer},
editor = {Michael D. Harrison and
Mark{-}Alexander Sujan},
title = {Early Prototyping of Wireless Sensor Network Algorithms in {PVS}},
booktitle = {Computer Safety, Reliability, and Security, 27th International Conference,
{SAFECOMP} 2008, Newcastle upon Tyne, UK, September 22-25, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5219},
pages = {346--359},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87698-4\_29},
doi = {10.1007/978-3-540-87698-4\_29},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BernardeschiMP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BernardeschiLMM06,
author = {Cinzia Bernardeschi and
Giuseppe Lettieri and
Luca Martini and
Paolo Masci},
title = {Using Control Dependencies for Space-Aware Bytecode Verification},
journal = {Comput. J.},
volume = {49},
number = {2},
pages = {234--248},
year = {2006},
url = {https://doi.org/10.1093/comjnl/bxh161},
doi = {10.1093/COMJNL/BXH161},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/BernardeschiLMM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/BernardeschiLMM06,
author = {Cinzia Bernardeschi and
Giuseppe Lettieri and
Luca Martini and
Paolo Masci},
title = {Using postdomination to reduce space requirements of data flow analysis},
journal = {Inf. Process. Lett.},
volume = {98},
number = {1},
pages = {11--18},
year = {2006},
url = {https://doi.org/10.1016/j.ipl.2005.11.017},
doi = {10.1016/J.IPL.2005.11.017},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/BernardeschiLMM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iastedSE/BernardeschiDD05,
author = {Cinzia Bernardeschi and
Gianluca Dini and
Andrea Domenici},
editor = {Peter Kokol},
title = {{FACT:} {A} Tool for Code Generation from Communicating Automata},
booktitle = {{IASTED} International Conference on Software Engineering, part of
the 23rd Multi-Conference on Applied Informatics, Innsbruck, Austria,
February 15-17, 2005},
pages = {313--318},
publisher = {{IASTED/ACTA} Press},
year = {2005},
timestamp = {Thu, 27 Oct 2005 12:09:59 +0200},
biburl = {https://dblp.org/rec/conf/iastedSE/BernardeschiDD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BernardeschiLMM05,
author = {Cinzia Bernardeschi and
Giuseppe Lettieri and
Luca Martini and
Paolo Masci},
editor = {Fausto Spoto},
title = {A Space-Aware Bytecode Verifier for Java Cards},
booktitle = {Proceedings of the First Workshop on Bytecode Semantics, Verification,
Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April
9, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {141},
number = {1},
pages = {237--254},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.02.027},
doi = {10.1016/J.ENTCS.2005.02.027},
timestamp = {Tue, 13 Dec 2022 11:21:43 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BernardeschiLMM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BarbutiBF04,
author = {Roberto Barbuti and
Cinzia Bernardeschi and
Nicoletta De Francesco},
title = {Analyzing Information Flow Properties in Assembly Code by Abstract
Interpretation},
journal = {Comput. J.},
volume = {47},
number = {1},
pages = {25--45},
year = {2004},
url = {https://doi.org/10.1093/comjnl/47.1.25},
doi = {10.1093/COMJNL/47.1.25},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/BarbutiBF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BernardeschiFL04,
author = {Cinzia Bernardeschi and
Nicoletta De Francesco and
Giuseppe Lettieri},
title = {Concrete and Abstract Semantics to Check Secure Information Flow in
Concurrent Programs},
journal = {Fundam. Informaticae},
volume = {60},
number = {1-4},
pages = {81--98},
year = {2004},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi60-1-4-07},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BernardeschiFL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/BernardeschiFLM04,
author = {Cinzia Bernardeschi and
Nicoletta De Francesco and
Giuseppe Lettieri and
Luca Martini},
title = {Checking secure information flow in Java bytecode by code transformation
and standard bytecode verification},
journal = {Softw. Pract. Exp.},
volume = {34},
number = {13},
pages = {1225--1255},
year = {2004},
url = {https://doi.org/10.1002/spe.611},
doi = {10.1002/SPE.611},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/BernardeschiFLM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iastedSEA/BernardeschiM04,
author = {Cinzia Bernardeschi and
Luca Martini},
editor = {M. H. Hamza},
title = {Enforcement of applet boundaries in Java card systems},
booktitle = {Proceedings of the {IASTED} Conference on Software Engineering and
Applications, November 9-11, 2004, MIT, Cambridge, MA, {USA}},
pages = {96--101},
publisher = {{IASTED/ACTA} Press},
year = {2004},
timestamp = {Mon, 18 Jun 2007 14:30:27 +0200},
biburl = {https://dblp.org/rec/conf/iastedSEA/BernardeschiM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iastedSEA/BernardeschiMM04,
author = {Cinzia Bernardeschi and
Luca Martini and
Paolo Masci},
editor = {M. H. Hamza},
title = {Java bytecode verification with dynamic structures},
booktitle = {Proceedings of the {IASTED} Conference on Software Engineering and
Applications, November 9-11, 2004, MIT, Cambridge, MA, {USA}},
pages = {559--564},
publisher = {{IASTED/ACTA} Press},
year = {2004},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iastedSEA/BernardeschiMM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/AvvenutiBF03,
author = {Marco Avvenuti and
Cinzia Bernardeschi and
Nicoletta De Francesco},
title = {Java bytecode verification for secure information flow},
journal = {{ACM} {SIGPLAN} Notices},
volume = {38},
number = {12},
pages = {20--27},
year = {2003},
url = {https://doi.org/10.1145/966051.966055},
doi = {10.1145/966051.966055},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/AvvenutiBF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/BernardeschiFM03,
author = {Cinzia Bernardeschi and
Nicoletta De Francesco and
Luca Martini},
editor = {Robert Meersman and
Zahir Tari},
title = {Efficient Bytecode Verification Using Immediate Postdominators in
Control Flow Graphs: Extended Abstract},
booktitle = {On The Move to Meaningful Internet Systems 2003: {OTM} 2003 Workshops,
{OTM} Confederated International Workshops, HCI-SWWA, IPW, JTRES,
WORM, WMS, and {WRSM} 2003, Catania, Sicily, Italy, November 3-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2889},
pages = {425--436},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39962-9\_49},
doi = {10.1007/978-3-540-39962-9\_49},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/otm/BernardeschiFM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/BarbutiBF02,
author = {Roberto Barbuti and
Cinzia Bernardeschi and
Nicoletta De Francesco},
title = {Abstract interpretation of operational semantics for secure information
flow},
journal = {Inf. Process. Lett.},
volume = {83},
number = {2},
pages = {101--108},
year = {2002},
url = {https://doi.org/10.1016/S0020-0190(02)00219-3},
doi = {10.1016/S0020-0190(02)00219-3},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/BarbutiBF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/BernardeschiFL02,
author = {Cinzia Bernardeschi and
Nicoletta De Francesco and
Giuseppe Lettieri},
title = {An abstract semantics tool for secure information flow of stack-based
assembly programs},
journal = {Microprocess. Microsystems},
volume = {26},
number = {8},
pages = {391--398},
year = {2002},
url = {https://doi.org/10.1016/S0141-9331(02)00064-9},
doi = {10.1016/S0141-9331(02)00064-9},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mam/BernardeschiFL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/BernardeschiFG02,
author = {Cinzia Bernardeschi and
Alessandro Fantechi and
Stefania Gnesi},
title = {Model checking fault tolerant systems},
journal = {Softw. Test. Verification Reliab.},
volume = {12},
number = {4},
pages = {251--275},
year = {2002},
url = {https://doi.org/10.1002/stvr.258},
doi = {10.1002/STVR.258},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/BernardeschiFG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/BernardeschiFL02,
author = {Cinzia Bernardeschi and
Nicoletta De Francesco and
Giuseppe Lettieri},
title = {Using Standard Verifier to Check Secure Information Flow in Java Bytecode},
booktitle = {26th International Computer Software and Applications Conference {(COMPSAC}
2002), Prolonging Software Life: Development and Redevelopment, 26-29
August 2002, Oxford, England, Proceedings},
pages = {850--855},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/CMPSAC.2002.1045113},
doi = {10.1109/CMPSAC.2002.1045113},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/BernardeschiFL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BarbutiBF02,
author = {Roberto Barbuti and
Cinzia Bernardeschi and
Nicoletta De Francesco},
editor = {Gary B. Lamont and
Hisham Haddad and
George A. Papadopoulos and
Brajendra Panda},
title = {Checking security of Java bytecode by abstract interpretation},
booktitle = {Proceedings of the 2002 {ACM} Symposium on Applied Computing (SAC),
March 10-14, 2002, Madrid, Spain},
pages = {229--236},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/508791.508839},
doi = {10.1145/508791.508839},
timestamp = {Tue, 06 Nov 2018 11:06:47 +0100},
biburl = {https://dblp.org/rec/conf/sac/BarbutiBF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/BarbutiTBF02,
author = {Roberto Barbuti and
Luca Tesei and
Cinzia Bernardeschi and
Nicoletta De Francesco},
title = {Fixing the Java bytecode verifier by a suitable type domain},
booktitle = {Proceedings of the 14th international conference on Software engineering
and knowledge engineering, {SEKE} 2002, Ischia, Italy, July 15-19,
2002},
pages = {377--382},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/568760.568826},
doi = {10.1145/568760.568826},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/BarbutiTBF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BernardeschiF02,
author = {Cinzia Bernardeschi and
Nicoletta De Francesco},
editor = {Agostino Cortesi},
title = {Combining Abstract Interpretation and Model Checking for Analysing
Security Properties of Java Bytecode},
booktitle = {Verification, Model Checking, and Abstract Interpretation, Third International
Workshop, {VMCAI} 2002, Venice, Italy, January 21-22, 2002, Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {2294},
pages = {1--15},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-47813-2\_1},
doi = {10.1007/3-540-47813-2\_1},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/BernardeschiF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/BernardeschiFV01,
author = {Cinzia Bernardeschi and
Nicoletta De Francesco and
Gigliola Vaglini},
title = {An approach to system design based on {P/T} net simulation},
journal = {Inf. Softw. Technol.},
volume = {43},
number = {10},
pages = {591--605},
year = {2001},
url = {https://doi.org/10.1016/S0950-5849(01)00167-7},
doi = {10.1016/S0950-5849(01)00167-7},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/BernardeschiFV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/BernardeschiFG01,
author = {Cinzia Bernardeschi and
Alessandro Fantechi and
Stefania Gnesi},
title = {Formal validation of fault-tolerance mechanisms inside {GUARDS}},
journal = {Reliab. Eng. Syst. Saf.},
volume = {71},
number = {3},
pages = {261--270},
year = {2001},
url = {https://doi.org/10.1016/S0951-8320(00)00078-8},
doi = {10.1016/S0951-8320(00)00078-8},
timestamp = {Tue, 25 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ress/BernardeschiFG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BernardeschiFS00,
author = {Cinzia Bernardeschi and
Alessandro Fantechi and
Luca Simoncini},
title = {Formally Verifying Fault Tolerant System Designs},
journal = {Comput. J.},
volume = {43},
number = {3},
pages = {191--205},
year = {2000},
url = {https://doi.org/10.1093/comjnl/43.3.191},
doi = {10.1093/COMJNL/43.3.191},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/BernardeschiFS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BernardeschiFG99,
author = {Cinzia Bernardeschi and
Alessandro Fantechi and
Stefania Gnesi},
editor = {Massimo Felici and
Karama Kanoun and
Alberto Pasquini},
title = {Formal Validation of the {GUARDS} Inter-Consistency Mechanism},
booktitle = {Computer Safety, Reliability and Security, 18th International Conference,
SAFECOMP'99, Toulouse, France, September, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1698},
pages = {420--430},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48249-0\_36},
doi = {10.1007/3-540-48249-0\_36},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/BernardeschiFG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/BernardeschiBCMS98,
author = {Cinzia Bernardeschi and
Andrea Bondavalli and
Gy{\"{o}}rgy Csert{\'{a}}n and
Istv{\'{a}}n Majzik and
Luca Simoncini},
title = {Temporal analysis of data flow control systems},
journal = {Autom.},
volume = {34},
number = {2},
pages = {169--182},
year = {1998},
url = {https://doi.org/10.1016/S0005-1098(97)00176-3},
doi = {10.1016/S0005-1098(97)00176-3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/automatica/BernardeschiBCMS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BernardeschiFGLMR98,
author = {Cinzia Bernardeschi and
Alessandro Fantechi and
Stefania Gnesi and
Salvatore Larosa and
Giorgio Mongardi and
Dario Romano},
title = {A Formal Verification Environment for Railway Signaling System Design},
journal = {Formal Methods Syst. Des.},
volume = {12},
number = {2},
pages = {139--161},
year = {1998},
url = {https://doi.org/10.1023/A:1008645826258},
doi = {10.1023/A:1008645826258},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/BernardeschiFGLMR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/BernardeschiSF98,
author = {Cinzia Bernardeschi and
Luca Simoncini and
Alessandro Fantechi},
title = {Validating the Design of Dependable Systems},
booktitle = {1st International Symposium on Object-Oriented Real-Time Distributed
Computing {(ISORC} '98), 20-22 April 1998, Kyoto, Japan},
pages = {364--372},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ISORC.1998.666809},
doi = {10.1109/ISORC.1998.666809},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/BernardeschiSF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/BernardeschiFG97,
author = {Cinzia Bernardeschi and
Alessandro Fantechi and
Stefania Gnesi},
title = {An industrial application for the {JACK} environment},
journal = {J. Syst. Softw.},
volume = {39},
number = {3},
pages = {249--264},
year = {1997},
url = {https://doi.org/10.1016/S0164-1212(97)00057-5},
doi = {10.1016/S0164-1212(97)00057-5},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/BernardeschiFG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/BernardeschiFGM96,
author = {Cinzia Bernardeschi and
Alessandro Fantechi and
Stefania Gnesi and
Giorgio Mongardi},
editor = {Andrzej Hlawiczka and
Jo{\~{a}}o Gabriel Silva and
Luca Simoncini},
title = {Proving Safety Properties for Embedded Control Systems},
booktitle = {Dependable Computing - EDCC-2, Second European Dependable Computing
Conference, Taormina, Italy, October 2-4, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1150},
pages = {321--332},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61772-8\_46},
doi = {10.1007/3-540-61772-8\_46},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/edcc/BernardeschiFGM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BernardeschiFG96,
author = {Cinzia Bernardeschi and
Alessandro Fantechi and
Stefania Gnesi},
editor = {Erwin Schoitsch},
title = {Formal Verification of Safety Requirements on Complex Systems},
booktitle = {15th International Conference on Computer Safety, Reliability and
Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996},
pages = {21--30},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/978-1-4471-0937-2\_2},
doi = {10.1007/978-1-4471-0937-2\_2},
timestamp = {Tue, 25 Jun 2019 15:55:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BernardeschiFG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BernardeschiFV95,
author = {Cinzia Bernardeschi and
Nicoletta De Francesco and
Gigliola Vaglini},
title = {A Petri Nets Semantics for Data Flow Networks},
journal = {Acta Informatica},
volume = {32},
number = {4},
pages = {347--374},
year = {1995},
url = {https://doi.org/10.1007/BF01178383},
doi = {10.1007/BF01178383},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BernardeschiFV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/BernardeschiBS95,
author = {Cinzia Bernardeschi and
Andrea Bondavalli and
Luca Simoncini},
title = {Using Process Algebras for the Semantic Analysis of Data Flow Networks},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {78-D},
number = {8},
pages = {959--968},
year = {1995},
url = {http://search.ieice.org/bin/summary.php?id=e78-d\_8\_959},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/BernardeschiBS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/AnselmiBFGLMT95,
author = {A. Anselmi and
Cinzia Bernardeschi and
Alessandro Fantechi and
Stefania Gnesi and
Salvatore Larosa and
Giorgio Mongardi and
Fernando Torielli},
editor = {Gerhard Rabe},
title = {An Experience in Formal Verification of Safety Properties of a Railway
Signalling Control System},
booktitle = {14th International Conference on Computer Safety, Reliability and
Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995},
pages = {474--488},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-1-4471-3054-3\_33},
doi = {10.1007/978-1-4471-3054-3\_33},
timestamp = {Tue, 25 Jun 2019 09:49:42 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/AnselmiBFGLMT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/BernardeschiFP95,
author = {Cinzia Bernardeschi and
Alessandro Fantechi and
Fabio Patern{\`{o}}},
title = {Application of Correctness Preserving Transformations for Deriving
Architectural Descriptions of Interactive Systems from User Interface
Specifications},
booktitle = {SEKE'95, The 7th International Conference on Software Engineering
and Knowledge Engineering, June 22-24, 1995, Rockville, Maryland,
USA, Proceedings},
pages = {234--243},
publisher = {Knowledge Systems Institute},
year = {1995},
timestamp = {Wed, 31 Jan 2007 12:10:53 +0100},
biburl = {https://dblp.org/rec/conf/seke/BernardeschiFP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/BernardeschiFS94,
author = {Cinzia Bernardeschi and
Alessandro Fantechi and
Luca Simoncini},
editor = {Klaus Echtle and
Dieter K. Hammer and
David Powell},
title = {Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: {A}
Case Study},
booktitle = {Dependable Computing - EDCC-1, First European Dependable Computing
Conference, Berlin, Germany, October 4-6, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {852},
pages = {77--94},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58426-9\_125},
doi = {10.1007/3-540-58426-9\_125},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/edcc/BernardeschiFS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/BernardeschiBS93,
author = {Cinzia Bernardeschi and
Andrea Bondavalli and
Luca Simoncini},
editor = {Arndt Bode and
Mike Reeve and
Gottfried Wolf},
title = {From Data Flow Networks to Process Algebras},
booktitle = {{PARLE} '93, Parallel Architectures and Languages Europe, 5th International
{PARLE} Conference, Munich, Germany, June 14-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {694},
pages = {740--743},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56891-3\_73},
doi = {10.1007/3-540-56891-3\_73},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/parle/BernardeschiBS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BernardeschiSB93,
author = {Cinzia Bernardeschi and
Luca Simoncini and
Andrea Bondavalli},
editor = {Janusz G{\'{o}}rski},
title = {Data Flow Control Systems: an Example of Safety Validation},
booktitle = {The 12th International Conference on Computer Safety, Reliability
and Security, {SAFECOMP} 1993, Pozna{\'{n}}-Kiekrz, Poland, October
27-29, 1993},
pages = {9--20},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-1-4471-2061-2\_2},
doi = {10.1007/978-1-4471-2061-2\_2},
timestamp = {Mon, 24 Jun 2019 15:52:03 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BernardeschiSB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nato/BondavalliSB92,
author = {Andrea Bondavalli and
Luca Simoncini and
Cinzia Bernardeschi},
editor = {Wolfgang A. Halang and
Alexander D. Stoyenko},
title = {The Design of Distributed, Dependable Real-Time Systems Using a Functional
Paradigm},
booktitle = {Real Time Computing, Proceedings of the {NATO} Advanced Study Institute
on Real Time Computing, held in Sint Maarten, Dutch Antilles, October
5-17, 1992},
series = {{NATO} {ASI} Series},
volume = {127},
pages = {527--529},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-3-642-88049-0\_36},
doi = {10.1007/978-3-642-88049-0\_36},
timestamp = {Fri, 12 May 2017 11:23:45 +0200},
biburl = {https://dblp.org/rec/conf/nato/BondavalliSB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
