BibTeX records: Ivan Cibrario Bertolotti

download as .bib file

@article{DBLP:journals/tvt/IkumapayiODHBB23,
  author       = {Omolade Ikumapayi and
                  Habeeb Olufowobi and
                  Jeremy Daily and
                  Tingting Hu and
                  Ivan Cibrario Bertolotti and
                  Gedare Bloom},
  title        = {{CANASTA:} Controller Area Network Authentication Schedulability Timing
                  Analysis},
  journal      = {{IEEE} Trans. Veh. Technol.},
  volume       = {72},
  number       = {8},
  pages        = {10024--10036},
  year         = {2023},
  url          = {https://doi.org/10.1109/TVT.2023.3258746},
  doi          = {10.1109/TVT.2023.3258746},
  timestamp    = {Thu, 14 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tvt/IkumapayiODHBB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/IkumapayiODHBB23,
  author       = {Omolade Ikumapayi and
                  Habeeb Olufowobi and
                  Jeremy Daily and
                  Tingting Hu and
                  Ivan Cibrario Bertolotti and
                  Gedare Bloom},
  title        = {Work in Progress: Schedulability Analysis of {CAN} and {CAN} {FD}
                  Authentication},
  booktitle    = {29th {IEEE} Real-Time and Embedded Technology and Applications Symposium,
                  {RTAS} 2023, San Antonio, TX, USA, May 9-12, 2023},
  pages        = {349--352},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/RTAS58335.2023.00038},
  doi          = {10.1109/RTAS58335.2023.00038},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtas/IkumapayiODHBB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/CheminodBDSV22,
  author       = {Manuel Cheminod and
                  Ivan Cibrario Bertolotti and
                  Luca Durante and
                  Lucia Seno and
                  Adriano Valenzano},
  title        = {Open-source firewalls for industrial applications: a laboratory study
                  of Linux IPFire behavior\({}^{\mbox{*}}\)},
  booktitle    = {{IECON} 2022 - 48th Annual Conference of the {IEEE} Industrial Electronics
                  Society, Brussels, Belgium, October 17-20, 2022},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/IECON49645.2022.9969064},
  doi          = {10.1109/IECON49645.2022.9969064},
  timestamp    = {Wed, 04 Jan 2023 16:48:30 +0100},
  biburl       = {https://dblp.org/rec/conf/iecon/CheminodBDSV22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wfcs/SenoCBDV22,
  author       = {Lucia Seno and
                  Manuel Cheminod and
                  Ivan Cibrario Bertolotti and
                  Luca Durante and
                  Adriano Valenzano},
  title        = {Improving performance and cyber-attack resilience in multi-firewall
                  industrial networks},
  booktitle    = {18th {IEEE} International Conference on Factory Communication Systems,
                  {WFCS} 2022, Pavia, Italy, April 27-29, 2022},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/WFCS53837.2022.9779199},
  doi          = {10.1109/WFCS53837.2022.9779199},
  timestamp    = {Wed, 01 Jun 2022 15:34:28 +0200},
  biburl       = {https://dblp.org/rec/conf/wfcs/SenoCBDV22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csi/HuBNH20,
  author       = {Tingting Hu and
                  Ivan Cibrario Bertolotti and
                  Nicolas Navet and
                  Lionel Havet},
  title        = {Automated fault tolerance augmentation in model-driven engineering
                  for {CPS}},
  journal      = {Comput. Stand. Interfaces},
  volume       = {70},
  pages        = {103424},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.csi.2020.103424},
  doi          = {10.1016/J.CSI.2020.103424},
  timestamp    = {Wed, 22 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/csi/HuBNH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csi/CenaBHV19,
  author       = {Gianluca Cena and
                  Ivan Cibrario Bertolotti and
                  Tingting Hu and
                  Adriano Valenzano},
  title        = {On a software-defined {CAN} controller for embedded systems},
  journal      = {Comput. Stand. Interfaces},
  volume       = {63},
  pages        = {43--51},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.csi.2018.11.007},
  doi          = {10.1016/J.CSI.2018.11.007},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csi/CenaBHV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/BloomCBHNV19,
  author       = {Gedare Bloom and
                  Gianluca Cena and
                  Ivan Cibrario Bertolotti and
                  Tingting Hu and
                  Nicolas Navet and
                  Adriano Valenzano},
  title        = {Event Notification in CAN-Based Sensor Networks},
  journal      = {{IEEE} Trans. Ind. Informatics},
  volume       = {15},
  number       = {10},
  pages        = {5613--5625},
  year         = {2019},
  url          = {https://doi.org/10.1109/TII.2019.2904082},
  doi          = {10.1109/TII.2019.2904082},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tii/BloomCBHNV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wfcs/BloomANB18,
  author       = {Gedare Bloom and
                  Bassma Alsulami and
                  Ebelechukwu Nwafor and
                  Ivan Cibrario Bertolotti},
  title        = {Design patterns for the industrial Internet of Things},
  booktitle    = {14th {IEEE} International Workshop on Factory Communication Systems,
                  {WFCS} 2018, Imperia, Italy, June 13-15, 2018},
  pages        = {1--10},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/WFCS.2018.8402353},
  doi          = {10.1109/WFCS.2018.8402353},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/wfcs/BloomANB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wfcs/CenaBHV18,
  author       = {Gianluca Cena and
                  Ivan Cibrario Bertolotti and
                  Tingting Hu and
                  Adriano Valenzano},
  title        = {Error detection and management in {CAN} {XR}},
  booktitle    = {14th {IEEE} International Workshop on Factory Communication Systems,
                  {WFCS} 2018, Imperia, Italy, June 13-15, 2018},
  pages        = {1--9},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/WFCS.2018.8402348},
  doi          = {10.1109/WFCS.2018.8402348},
  timestamp    = {Wed, 11 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wfcs/CenaBHV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/CenaBHV17,
  author       = {Gianluca Cena and
                  Ivan Cibrario Bertolotti and
                  Tingting Hu and
                  Adriano Valenzano},
  title        = {{CAN} With eXtensible In-Frame Reply: Protocol Definition and Prototype
                  Implementation},
  journal      = {{IEEE} Trans. Ind. Informatics},
  volume       = {13},
  number       = {5},
  pages        = {2436--2446},
  year         = {2017},
  url          = {https://doi.org/10.1109/TII.2017.2714183},
  doi          = {10.1109/TII.2017.2714183},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tii/CenaBHV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/HuBN17,
  author       = {Tingting Hu and
                  Ivan Cibrario Bertolotti and
                  Nicolas Navet},
  title        = {Towards seamless integration of N-version programming in model-based
                  design},
  booktitle    = {22nd {IEEE} International Conference on Emerging Technologies and
                  Factory Automation, {ETFA} 2017, Limassol, Cyprus, September 12-15,
                  2017},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/ETFA.2017.8247678},
  doi          = {10.1109/ETFA.2017.8247678},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/HuBN17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/NavetBH17,
  author       = {Nicolas Navet and
                  Ivan Cibrario Bertolotti and
                  Tingting Hu},
  title        = {Software patterns for fault injection in {CPS} engineering},
  booktitle    = {22nd {IEEE} International Conference on Emerging Technologies and
                  Factory Automation, {ETFA} 2017, Limassol, Cyprus, September 12-15,
                  2017},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/ETFA.2017.8247701},
  doi          = {10.1109/ETFA.2017.8247701},
  timestamp    = {Tue, 16 Jan 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/etfa/NavetBH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icit2/Bertolotti17,
  author       = {Ivan Cibrario Bertolotti},
  title        = {{RTOS} support in C-language toolchains},
  booktitle    = {{IEEE} International Conference on Industrial Technology, {ICIT} 2017,
                  Toronto, ON, Canada, March 22-25, 2017},
  pages        = {1328--1333},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/ICIT.2017.7915556},
  doi          = {10.1109/ICIT.2017.7915556},
  timestamp    = {Wed, 16 Oct 2019 14:14:48 +0200},
  biburl       = {https://dblp.org/rec/conf/icit2/Bertolotti17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icit2/BloomCBHV17,
  author       = {Gedare Bloom and
                  Gianluca Cena and
                  Ivan Cibrario Bertolotti and
                  Tingting Hu and
                  Adriano Valenzano},
  title        = {Supporting security protocols on CAN-based networks},
  booktitle    = {{IEEE} International Conference on Industrial Technology, {ICIT} 2017,
                  Toronto, ON, Canada, March 22-25, 2017},
  pages        = {1334--1339},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/ICIT.2017.7915557},
  doi          = {10.1109/ICIT.2017.7915557},
  timestamp    = {Sat, 13 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icit2/BloomCBHV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wfcs/BertolottiHN17,
  author       = {Ivan Cibrario Bertolotti and
                  Tingting Hu and
                  Nicolas Navet},
  title        = {Model-based design languages: {A} case study},
  booktitle    = {{IEEE} 13th International Workshop on Factory Communication Systems,
                  {WFCS} 2017, Trondheim, Norway, May 31 - June 2, 2017},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/WFCS.2017.7991964},
  doi          = {10.1109/WFCS.2017.7991964},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/wfcs/BertolottiHN17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wfcs/BloomCBHV17,
  author       = {Gedare Bloom and
                  Gianluca Cena and
                  Ivan Cibrario Bertolotti and
                  Tingting Hu and
                  Adriano Valenzano},
  title        = {Optimized event notification in {CAN} through in-frame replies and
                  Bloom filters},
  booktitle    = {{IEEE} 13th International Workshop on Factory Communication Systems,
                  {WFCS} 2017, Trondheim, Norway, May 31 - June 2, 2017},
  pages        = {1--10},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/WFCS.2017.7991963},
  doi          = {10.1109/WFCS.2017.7991963},
  timestamp    = {Sun, 29 Oct 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wfcs/BloomCBHV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csi/CenaBHV16,
  author       = {Gianluca Cena and
                  Ivan Cibrario Bertolotti and
                  Tingting Hu and
                  Adriano Valenzano},
  title        = {Seamless integration of {CAN} in intranets},
  journal      = {Comput. Stand. Interfaces},
  volume       = {46},
  pages        = {1--14},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.csi.2015.11.004},
  doi          = {10.1016/J.CSI.2015.11.004},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csi/CenaBHV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indin/CenaBHV16,
  author       = {Gianluca Cena and
                  Ivan Cibrario Bertolotti and
                  Tingting Hu and
                  Adriano Valenzano},
  title        = {{CAN} {XR:} {CAN} with extensible in-frame Reply},
  booktitle    = {14th {IEEE} International Conference on Industrial Informatics, {INDIN}
                  2016, Poitiers, France, July 19-21, 2016},
  pages        = {1198--1201},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/INDIN.2016.7819349},
  doi          = {10.1109/INDIN.2016.7819349},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/indin/CenaBHV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csi/BertolottiH15,
  author       = {Ivan Cibrario Bertolotti and
                  Tingting Hu},
  title        = {Modular design of an open-source, networked embedded system},
  journal      = {Comput. Stand. Interfaces},
  volume       = {37},
  pages        = {41--52},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.csi.2014.05.004},
  doi          = {10.1016/J.CSI.2014.05.004},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/csi/BertolottiH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csi/BertolottiDSV15,
  author       = {Ivan Cibrario Bertolotti and
                  Luca Durante and
                  Lucia Seno and
                  Adriano Valenzano},
  title        = {A twofold model for the analysis of access control policies in industrial
                  networked systems},
  journal      = {Comput. Stand. Interfaces},
  volume       = {42},
  pages        = {171--181},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.csi.2015.05.002},
  doi          = {10.1016/J.CSI.2015.05.002},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csi/BertolottiDSV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/CenaBHV15,
  author       = {Gianluca Cena and
                  Ivan Cibrario Bertolotti and
                  Tingting Hu and
                  Adriano Valenzano},
  title        = {A Mechanism to Prevent Stuff Bits in {CAN} for Achieving Jitterless
                  Communication},
  journal      = {{IEEE} Trans. Ind. Informatics},
  volume       = {11},
  number       = {1},
  pages        = {83--93},
  year         = {2015},
  url          = {https://doi.org/10.1109/TII.2014.2365153},
  doi          = {10.1109/TII.2014.2365153},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tii/CenaBHV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtsi/HuB15,
  author       = {Tingting Hu and
                  Ivan Cibrario Bertolotti},
  title        = {Overhead and ACK-induced jitter in Modbus {TCP} communication},
  booktitle    = {1st {IEEE} International Forum on Research and Technologies for Society
                  and Industry Leveraging a better tomorrow, {RTSI} 2015, Torino, Italy,
                  September 16-18, 2015},
  pages        = {392--397},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/RTSI.2015.7325130},
  doi          = {10.1109/RTSI.2015.7325130},
  timestamp    = {Tue, 08 Nov 2022 21:42:47 +0100},
  biburl       = {https://dblp.org/rec/conf/rtsi/HuB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtsi/BertolottiK15,
  author       = {Ivan Cibrario Bertolotti and
                  Gilda Ghafour Zadeh Kashani},
  title        = {On the performance of open-source {RTOS} synchronization primitives},
  booktitle    = {1st {IEEE} International Forum on Research and Technologies for Society
                  and Industry Leveraging a better tomorrow, {RTSI} 2015, Torino, Italy,
                  September 16-18, 2015},
  pages        = {398--402},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/RTSI.2015.7325131},
  doi          = {10.1109/RTSI.2015.7325131},
  timestamp    = {Tue, 08 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtsi/BertolottiK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtsi/CenaBHV15,
  author       = {Gianluca Cena and
                  Ivan Cibrario Bertolotti and
                  Tingting Hu and
                  Adriano Valenzano},
  title        = {Improving compatibility between {CAN} {FD} and legacy {CAN} devices},
  booktitle    = {1st {IEEE} International Forum on Research and Technologies for Society
                  and Industry Leveraging a better tomorrow, {RTSI} 2015, Torino, Italy,
                  September 16-18, 2015},
  pages        = {419--426},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/RTSI.2015.7325134},
  doi          = {10.1109/RTSI.2015.7325134},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtsi/CenaBHV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/BallarinoBCBDHLNSSTVV14,
  author       = {Andrea Ballarino and
                  Alessandro Brusaferri and
                  Marco Cereia and
                  Ivan Cibrario Bertolotti and
                  Luca Durante and
                  Tingting Hu and
                  Egidio Leo and
                  Leonardo Nicolosi and
                  Lucia Seno and
                  Stefano Spinelli and
                  Federico Tramarin and
                  Adriano Valenzano and
                  Stefano Vitturi},
  editor       = {Antoni Grau and
                  Herminio Mart{\'{\i}}nez},
  title        = {System-level performance of an automation solution based on industry
                  standards},
  booktitle    = {Proceedings of the 2014 {IEEE} Emerging Technology and Factory Automation,
                  {ETFA} 2014, Barcelona, Spain, September 16-19, 2014},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/ETFA.2014.7005350},
  doi          = {10.1109/ETFA.2014.7005350},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/BallarinoBCBDHLNSSTVV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/CereiaBDV14,
  author       = {Marco Cereia and
                  Ivan Cibrario Bertolotti and
                  Luca Durante and
                  Adriano Valenzano},
  editor       = {Antoni Grau and
                  Herminio Mart{\'{\i}}nez},
  title        = {Latency evaluation of a firewall for industrial networks based on
                  the Tofino Industrial Security Solution},
  booktitle    = {Proceedings of the 2014 {IEEE} Emerging Technology and Factory Automation,
                  {ETFA} 2014, Barcelona, Spain, September 16-19, 2014},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/ETFA.2014.7005177},
  doi          = {10.1109/ETFA.2014.7005177},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/CereiaBDV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wfcs/CenaBHV14,
  author       = {Gianluca Cena and
                  Ivan Cibrario Bertolotti and
                  Tingting Hu and
                  Adriano Valenzano},
  title        = {Effect of jitter-reducing encoders on {CAN} error detection mechanisms},
  booktitle    = {10th {IEEE} Workshop on Factory Communication Systems, {WFCS} 2014,
                  Toulouse, France, May 5-7, 2014},
  pages        = {1--10},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/WFCS.2014.6837604},
  doi          = {10.1109/WFCS.2014.6837604},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/wfcs/CenaBHV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wfcs/CenaBHV14a,
  author       = {Gianluca Cena and
                  Ivan Cibrario Bertolotti and
                  Tingting Hu and
                  Adriano Valenzano},
  title        = {Design, verification, and performance of a {MODBUS-CAN} adaptation
                  layer},
  booktitle    = {10th {IEEE} Workshop on Factory Communication Systems, {WFCS} 2014,
                  Toulouse, France, May 5-7, 2014},
  pages        = {1--10},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/WFCS.2014.6837605},
  doi          = {10.1109/WFCS.2014.6837605},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wfcs/CenaBHV14a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csi/CenaBHV13,
  author       = {Gianluca Cena and
                  Ivan Cibrario Bertolotti and
                  Tingting Hu and
                  Adriano Valenzano},
  title        = {On a family of run length limited, block decodable codes to prevent
                  payload-induced jitter in Controller Area Networks},
  journal      = {Comput. Stand. Interfaces},
  volume       = {35},
  number       = {5},
  pages        = {536--548},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.csi.2013.02.003},
  doi          = {10.1016/J.CSI.2013.02.003},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csi/CenaBHV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/CenaBHV13,
  author       = {Gianluca Cena and
                  Ivan Cibrario Bertolotti and
                  Tingting Hu and
                  Adriano Valenzano},
  title        = {Fixed-Length Payload Encoding for Low-Jitter Controller Area Network
                  Communication},
  journal      = {{IEEE} Trans. Ind. Informatics},
  volume       = {9},
  number       = {4},
  pages        = {2155--2164},
  year         = {2013},
  url          = {https://doi.org/10.1109/TII.2013.2240310},
  doi          = {10.1109/TII.2013.2240310},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tii/CenaBHV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/CenaBHV13,
  author       = {Gianluca Cena and
                  Ivan Cibrario Bertolotti and
                  Tingting Hu and
                  Adriano Valenzano},
  editor       = {Carla Seatzu},
  title        = {Software-based assessment of the synchronization and error handling
                  behavior of a real {CAN} controller},
  booktitle    = {Proceedings of 2013 {IEEE} 18th Conference on Emerging Technologies
                  {\&} Factory Automation, {ETFA} 2013, Cagliari, Italy, September
                  10-13, 2013},
  pages        = {1--9},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/ETFA.2013.6648025},
  doi          = {10.1109/ETFA.2013.6648025},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/CenaBHV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ics-csr/BertolottiDHV13,
  author       = {Ivan Cibrario Bertolotti and
                  Luca Durante and
                  Tingting Hu and
                  Adriano Valenzano},
  editor       = {Helge Janicke and
                  Kevin I. Jones},
  title        = {A Model for the Analysis of Security Policies in Industrial Networks},
  booktitle    = {1st International Symposium for {ICS} {\&} {SCADA} Cyber Security
                  Research 2013, {ICS-CSR} 2013, 16-17 September 2013, Leicester, {UK}},
  series       = {Workshops in Computing},
  publisher    = {{BCS}},
  year         = {2013},
  url          = {http://ewic.bcs.org/content/ConWebDoc/51170},
  timestamp    = {Thu, 25 Aug 2016 11:36:27 +0200},
  biburl       = {https://dblp.org/rec/conf/ics-csr/BertolottiDHV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/CenaBSVZ12,
  author       = {Gianluca Cena and
                  Ivan Cibrario Bertolotti and
                  Stefano Scanzio and
                  Adriano Valenzano and
                  Claudio Zunino},
  title        = {Evaluation of EtherCAT Distributed Clock Performance},
  journal      = {{IEEE} Trans. Ind. Informatics},
  volume       = {8},
  number       = {1},
  pages        = {20--29},
  year         = {2012},
  url          = {https://doi.org/10.1109/TII.2011.2172434},
  doi          = {10.1109/TII.2011.2172434},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tii/CenaBSVZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/critis/CheminodBDV12,
  author       = {Manuel Cheminod and
                  Ivan Cibrario Bertolotti and
                  Luca Durante and
                  Adriano Valenzano},
  editor       = {Bernhard M. H{\"{a}}mmerli and
                  Nils Kalstad Svendsen and
                  Javier L{\'{o}}pez},
  title        = {Modeling Emergency Response Plans with Coloured Petri Nets},
  booktitle    = {Critical Information Infrastructures Security - 7th International
                  Workshop, {CRITIS} 2012, Lillehammer, Norway, September 17-18, 2012,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7722},
  pages        = {106--117},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-41485-5\_10},
  doi          = {10.1007/978-3-642-41485-5\_10},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/critis/CheminodBDV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/CenaBHV12,
  author       = {Gianluca Cena and
                  Ivan Cibrario Bertolotti and
                  Tingting Hu and
                  Adriano Valenzano},
  title        = {Performance comparison of mechanisms to reduce bit stuffing jitters
                  in controller area networks},
  booktitle    = {Proceedings of 2012 {IEEE} 17th International Conference on Emerging
                  Technologies {\&} Factory Automation, {ETFA} 2012, Krakow, Poland,
                  September 17-21, 2012},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/ETFA.2012.6489559},
  doi          = {10.1109/ETFA.2012.6489559},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/CenaBHV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/CenaBHV12a,
  author       = {Gianluca Cena and
                  Ivan Cibrario Bertolotti and
                  Tingting Hu and
                  Adriano Valenzano},
  title        = {Performance evaluation and improvement of the {CPU-CAN} controller
                  interface for low-jitter communication},
  booktitle    = {Proceedings of 2012 {IEEE} 17th International Conference on Emerging
                  Technologies {\&} Factory Automation, {ETFA} 2012, Krakow, Poland,
                  September 17-21, 2012},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/ETFA.2012.6489561},
  doi          = {10.1109/ETFA.2012.6489561},
  timestamp    = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/CenaBHV12a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wfcs/CenaBH12,
  author       = {Gianluca Cena and
                  Ivan Cibrario Bertolotti and
                  Tingting Hu},
  editor       = {Thomas Nolte and
                  Andreas Willig},
  title        = {Formal verification of a distributed master election protocol},
  booktitle    = {9th {IEEE} International Workshop on Factory Communication Systems,
                  {WFCS} 2012, Lemgo, NRW, Germany, May 21-24, 2012},
  pages        = {245--254},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/WFCS.2012.6242572},
  doi          = {10.1109/WFCS.2012.6242572},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/wfcs/CenaBH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wfcs/CenaBV12,
  author       = {Gianluca Cena and
                  Ivan Cibrario Bertolotti and
                  Adriano Valenzano},
  editor       = {Thomas Nolte and
                  Andreas Willig},
  title        = {An efficient fixed-length encoding scheme for {CAN}},
  booktitle    = {9th {IEEE} International Workshop on Factory Communication Systems,
                  {WFCS} 2012, Lemgo, NRW, Germany, May 21-24, 2012},
  pages        = {265--274},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/WFCS.2012.6242574},
  doi          = {10.1109/WFCS.2012.6242574},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wfcs/CenaBV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/CereiaBS11,
  author       = {Marco Cereia and
                  Ivan Cibrario Bertolotti and
                  Stefano Scanzio},
  title        = {Performance of a Real-Time EtherCAT Master Under Linux},
  journal      = {{IEEE} Trans. Ind. Informatics},
  volume       = {7},
  number       = {4},
  pages        = {679--687},
  year         = {2011},
  url          = {https://doi.org/10.1109/TII.2011.2166777},
  doi          = {10.1109/TII.2011.2166777},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tii/CereiaBS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/BertolottiH11,
  author       = {Ivan Cibrario Bertolotti and
                  Tingting Hu},
  editor       = {Zoubir Mammeri},
  title        = {Real-time performance of an open-source protocol stack for low-cost,
                  embedded systems},
  booktitle    = {{IEEE} 16th Conference on Emerging Technologies {\&} Factory Automation,
                  {ETFA} 2011, Toulouse, France, September 5-9, 2011},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/ETFA.2011.6059000},
  doi          = {10.1109/ETFA.2011.6059000},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/BertolottiH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/CenaCBSVZ10,
  author       = {Gianluca Cena and
                  Marco Cereia and
                  Ivan Cibrario Bertolotti and
                  Stefano Scanzio and
                  Adriano Valenzano and
                  Claudio Zunino},
  title        = {A software implementation of {IEEE} 1588 on RTAI/RTnet platforms},
  booktitle    = {Proceedings of 15th {IEEE} International Conference on Emerging Technologies
                  and Factory Automation, {ETFA} 2010, September 13-16, 2010, Bilbao,
                  Spain},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2010},
  url          = {https://doi.org/10.1109/ETFA.2010.5640955},
  doi          = {10.1109/ETFA.2010.5640955},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/etfa/CenaCBSVZ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csi/CereiaB09,
  author       = {Marco Cereia and
                  Ivan Cibrario Bertolotti},
  title        = {Virtual machines for distributed real-time systems},
  journal      = {Comput. Stand. Interfaces},
  volume       = {31},
  number       = {1},
  pages        = {30--39},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.csi.2007.10.010},
  doi          = {10.1016/J.CSI.2007.10.010},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csi/CereiaB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csi/CheminodBDSV09,
  author       = {Manuel Cheminod and
                  Ivan Cibrario Bertolotti and
                  Luca Durante and
                  Riccardo Sisto and
                  Adriano Valenzano},
  title        = {Tools for cryptographic protocols analysis: {A} technical and experimental
                  comparison},
  journal      = {Comput. Stand. Interfaces},
  volume       = {31},
  number       = {5},
  pages        = {954--961},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.csi.2008.09.030},
  doi          = {10.1016/J.CSI.2008.09.030},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csi/CheminodBDSV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/CheminodBDMPSV09,
  author       = {Manuel Cheminod and
                  Ivan Cibrario Bertolotti and
                  Luca Durante and
                  Paolo Maggi and
                  Davide Pozza and
                  Riccardo Sisto and
                  Adriano Valenzano},
  title        = {Detecting Chains of Vulnerabilities in Industrial Networks},
  journal      = {{IEEE} Trans. Ind. Informatics},
  volume       = {5},
  number       = {2},
  pages        = {181--193},
  year         = {2009},
  url          = {https://doi.org/10.1109/TII.2009.2018627},
  doi          = {10.1109/TII.2009.2018627},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tii/CheminodBDMPSV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/BetzCB09,
  author       = {Wolfgang Betz and
                  Marco Cereia and
                  Ivan Cibrario Bertolotti},
  title        = {Experimental Evaluation of the Linux {RT} Patch for Real-time Applications},
  booktitle    = {Proceedings of 12th {IEEE} International Conference on Emerging Technologies
                  and Factory Automation, {ETFA} 2009, September 22-25, 2008, Palma
                  de Mallorca, Spain},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/ETFA.2009.5347056},
  doi          = {10.1109/ETFA.2009.5347056},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/BetzCB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/CenaBVZ09,
  author       = {Gianluca Cena and
                  Ivan Cibrario Bertolotti and
                  Adriano Valenzano and
                  Claudio Zunino},
  title        = {A High-performance CAN-like Arbitration Scheme for EtherCAT},
  booktitle    = {Proceedings of 12th {IEEE} International Conference on Emerging Technologies
                  and Factory Automation, {ETFA} 2009, September 22-25, 2008, Palma
                  de Mallorca, Spain},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/ETFA.2009.5347000},
  doi          = {10.1109/ETFA.2009.5347000},
  timestamp    = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/CenaBVZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/crc/zurawski2009/Bertolotti09,
  author       = {Ivan Cibrario Bertolotti},
  editor       = {Richard Zurawski},
  title        = {Network-Ready, Open Source Operating Systems for Embedded Real-Time
                  Applications},
  booktitle    = {Embedded Systems Design and Verification - Volume 1 of the Embedded
                  Systems Handbook},
  pages        = {8},
  publisher    = {{CRC} Press},
  year         = {2009},
  url          = {https://doi.org/10.1201/9781439807637.ch8},
  doi          = {10.1201/9781439807637.CH8},
  timestamp    = {Tue, 16 May 2017 14:01:47 +0200},
  biburl       = {https://dblp.org/rec/books/crc/zurawski2009/Bertolotti09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BertolottiDSV08,
  author       = {Ivan Cibrario Bertolotti and
                  Luca Durante and
                  Riccardo Sisto and
                  Adriano Valenzano},
  title        = {Efficient representation of the attacker's knowledge in cryptographic
                  protocols analysis},
  journal      = {Formal Aspects Comput.},
  volume       = {20},
  number       = {3},
  pages        = {303--348},
  year         = {2008},
  url          = {https://doi.org/10.1007/s00165-008-0078-3},
  doi          = {10.1007/S00165-008-0078-3},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/BertolottiDSV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csi/BertolottiDMSV07,
  author       = {Ivan Cibrario Bertolotti and
                  Luca Durante and
                  Paolo Maggi and
                  Riccardo Sisto and
                  Adriano Valenzano},
  title        = {Improving the security of industrial networks by means of formal verification},
  journal      = {Comput. Stand. Interfaces},
  volume       = {29},
  number       = {3},
  pages        = {387--397},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.csi.2006.06.002},
  doi          = {10.1016/J.CSI.2006.06.002},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/csi/BertolottiDMSV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csi/CenaBV07,
  author       = {Gianluca Cena and
                  Ivan Cibrario Bertolotti and
                  Adriano Valenzano},
  title        = {A socket interface for {CAN} devices},
  journal      = {Comput. Stand. Interfaces},
  volume       = {29},
  number       = {6},
  pages        = {662--673},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.csi.2007.07.004},
  doi          = {10.1016/J.CSI.2007.07.004},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csi/CenaBV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/CenaBVZ07,
  author       = {Gianluca Cena and
                  Ivan Cibrario Bertolotti and
                  Adriano Valenzano and
                  Claudio Zunino},
  title        = {Evaluation of Response Times in Industrial WLANs},
  journal      = {{IEEE} Trans. Ind. Informatics},
  volume       = {3},
  number       = {3},
  pages        = {191--201},
  year         = {2007},
  url          = {https://doi.org/10.1109/TII.2007.903219},
  doi          = {10.1109/TII.2007.903219},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tii/CenaBVZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/CheminodBDSV07,
  author       = {Manuel Cheminod and
                  Ivan Cibrario Bertolotti and
                  Luca Durante and
                  Riccardo Sisto and
                  Adriano Valenzano},
  title        = {Evaluating the Combined Effect of Vulnerabilities and Faults on Large
                  Distributed Systems},
  booktitle    = {2007 International Conference on Dependability of Computer Systems
                  (DepCoS-RELCOMEX 2007), June 14-16, 2007, Szklarska Poreba, Poland},
  pages        = {11--18},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/DEPCOS-RELCOMEX.2007.22},
  doi          = {10.1109/DEPCOS-RELCOMEX.2007.22},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/depcos/CheminodBDSV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/CheminodBDSV07a,
  author       = {Manuel Cheminod and
                  Ivan Cibrario Bertolotti and
                  Luca Durante and
                  Riccardo Sisto and
                  Adriano Valenzano},
  title        = {Experimental Comparison of Automatic Tools for the Formal Analysis
                  of Cryptographic Protocols},
  booktitle    = {2007 International Conference on Dependability of Computer Systems
                  (DepCoS-RELCOMEX 2007), June 14-16, 2007, Szklarska Poreba, Poland},
  pages        = {153--160},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/DEPCOS-RELCOMEX.2007.24},
  doi          = {10.1109/DEPCOS-RELCOMEX.2007.24},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/depcos/CheminodBDSV07a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/CenaBVZ07,
  author       = {Gianluca Cena and
                  Ivan Cibrario Bertolotti and
                  Adriano Valenzano and
                  Claudio Zunino},
  title        = {Reasoning about communication latencies in real WLANs},
  booktitle    = {Proceedings of 12th {IEEE} International Conference on Emerging Technologies
                  and Factory Automation, {ETFA} 2007, September 25-28, 2007, Patras,
                  Greece},
  pages        = {187--194},
  publisher    = {{IEEE}},
  year         = {2007},
  url          = {https://doi.org/10.1109/EFTA.2007.4416770},
  doi          = {10.1109/EFTA.2007.4416770},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/CenaBVZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BertolottiDSV06,
  author       = {Ivan Cibrario Bertolotti and
                  Luca Durante and
                  Riccardo Sisto and
                  Adriano Valenzano},
  title        = {Exploiting Symmetries for Testing Equivalence Verification in the
                  Spi Calculus},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {17},
  number       = {4},
  pages        = {815--832},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129054106004121},
  doi          = {10.1142/S0129054106004121},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijfcs/BertolottiDSV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimva/BertolottiDSV05,
  author       = {Ivan Cibrario Bertolotti and
                  Luca Durante and
                  Riccardo Sisto and
                  Adriano Valenzano},
  editor       = {Klaus Julisch and
                  Christopher Kr{\"{u}}gel},
  title        = {Automatic Detection of Attacks on Cryptographic Protocols: {A} Case
                  Study},
  booktitle    = {Detection of Intrusions and Malware, and Vulnerability Assessment,
                  Second International Conference, {DIMVA} 2005, Vienna, Austria, July
                  7-8, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3548},
  pages        = {69--84},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11506881\_5},
  doi          = {10.1007/11506881\_5},
  timestamp    = {Tue, 14 May 2019 10:00:47 +0200},
  biburl       = {https://dblp.org/rec/conf/dimva/BertolottiDSV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/CenaBV05,
  author       = {Gianluca Cena and
                  Ivan Cibrario Bertolotti and
                  Adriano Valenzano},
  title        = {Modelling CANopen communications according to the socket paradigm},
  booktitle    = {Proceedings of 10th {IEEE} International Conference on Emerging Technologies
                  and Factory Automation, {ETFA} 2005, September 19-22, 2005, Catania,
                  Italy},
  publisher    = {{IEEE}},
  year         = {2005},
  url          = {https://doi.org/10.1109/ETFA.2005.1612607},
  doi          = {10.1109/ETFA.2005.1612607},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/CenaBV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/crc/IIR2005/Bertolotti05,
  author       = {Ivan Cibrario Bertolotti},
  editor       = {Richard Zurawski},
  title        = {Internal Architecture and Features of Real-Time Embedded Operation
                  Systems},
  booktitle    = {The Industrial Information Technology Handbook},
  pages        = {1--23},
  publisher    = {{CRC} Press},
  year         = {2005},
  timestamp    = {Fri, 04 Mar 2005 13:41:15 +0100},
  biburl       = {https://dblp.org/rec/books/crc/IIR2005/Bertolotti05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/crc/Bertolotti05,
  author       = {Ivan Cibrario Bertolotti},
  editor       = {Richard Zurawski},
  title        = {Real-Time Embedded Operating Systems},
  booktitle    = {Embedded Systems Handbook},
  publisher    = {{CRC} Press},
  year         = {2005},
  url          = {https://doi.org/10.1201/9781420038163.ch11},
  doi          = {10.1201/9781420038163.CH11},
  timestamp    = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/crc/Bertolotti05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BDSV04,
  author       = {Ivan Cibrario Bertolotti and
                  Luca Durante and
                  Riccardo Sisto and
                  Adriano Valenzano},
  editor       = {Farn Wang},
  title        = {Exploiting Symmetries for Testing Equivalence in the Spi Calculus},
  booktitle    = {Automated Technology for Verification and Analysis: Second International
                  Conference, {ATVA} 2004, Taipei, Taiwan, ROC, October 31-November
                  3, 2004. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3299},
  pages        = {135--149},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30476-0\_15},
  doi          = {10.1007/978-3-540-30476-0\_15},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/BDSV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BertolottiDSV03,
  author       = {Ivan Cibrario Bertolotti and
                  Luca Durante and
                  Riccardo Sisto and
                  Adriano Valenzano},
  editor       = {Hartmut K{\"{o}}nig and
                  Monika Heiner and
                  Adam Wolisz},
  title        = {Introducing Commutative and Associative Operators in Cryptographic
                  Protocol Analysis},
  booktitle    = {Formal Techniques for Networked and Distributed Systems - {FORTE}
                  2003, 23rd {IFIP} {WG} 6.1 International Conference, Berlin, Germany,
                  September 29 - October 2, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2767},
  pages        = {224--239},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-39979-7\_15},
  doi          = {10.1007/978-3-540-39979-7\_15},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/BertolottiDSV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BDSV03,
  author       = {Ivan Cibrario Bertolotti and
                  Luca Durante and
                  Riccardo Sisto and
                  Adriano Valenzano},
  editor       = {Hubert Garavel and
                  John Hatcliff},
  title        = {A New Knowledge Representation Strategy for Cryptographic Protocol
                  Analysis},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems,
                  9th International Conference, {TACAS} 2003, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2003,
                  Warsaw, Poland, April 7-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2619},
  pages        = {284--298},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36577-X\_21},
  doi          = {10.1007/3-540-36577-X\_21},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/BDSV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics