Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Ivan Cibrario Bertolotti
@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} }
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.