default search action
Search dblp for Publications
export results for "toc:db/conf/hipeac/mils2018.bht:"
@inproceedings{DBLP:conf/hipeac/BekkerGHQ18, author = {Chera Bekker and Maurits de Graaf and Gerard Hoekstra and Thomas B. Quillinan}, editor = {Sergey Tverdyshev}, title = {Enabling Civil/Military Cooperation in Crisis Management}, booktitle = {International Workshop on {MILS:} Architecture and Assurance for Secure Systems, MILS@DSN 2018, Luxembourg, June 25, 2018}, publisher = {Zenodo}, year = {2018}, url = {https://doi.org/10.5281/zenodo.1305175}, doi = {10.5281/ZENODO.1305175}, timestamp = {Fri, 21 Sep 2018 12:06:23 +0200}, biburl = {https://dblp.org/rec/conf/hipeac/BekkerGHQ18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hipeac/BirkholzKZKAHKS18, author = {Henk Birkholz and Christoph Krau{\ss} and Maria Zhdanova and Don Kuzhiyelil and Tolga Arul and Markus Heinrich and Stefan Katzenbeisser and Neeraj Suri and Tsvetoslava Vateva{-}Gurova and Christian Schlehuber}, editor = {Sergey Tverdyshev}, title = {A Reference Architecture for Integrating Safety and Security Applications on Railway Command and Control Systems}, booktitle = {International Workshop on {MILS:} Architecture and Assurance for Secure Systems, MILS@DSN 2018, Luxembourg, June 25, 2018}, publisher = {Zenodo}, year = {2018}, url = {https://doi.org/10.5281/zenodo.1314095}, doi = {10.5281/ZENODO.1314095}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hipeac/BirkholzKZKAHKS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hipeac/BlasumT18, author = {Holger Blasum and Sergey Tverdyshev}, editor = {Sergey Tverdyshev}, title = {Classic and Adaptive {AUTOSAR} in {MILS} terms}, booktitle = {International Workshop on {MILS:} Architecture and Assurance for Secure Systems, MILS@DSN 2018, Luxembourg, June 25, 2018}, publisher = {Zenodo}, year = {2018}, url = {https://doi.org/10.5281/zenodo.1307651}, doi = {10.5281/ZENODO.1307651}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hipeac/BlasumT18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hipeac/CimattiDST18, author = {Alessandro Cimatti and Rance DeLong and Ivan Stojic and Stefano Tonetta}, editor = {Sergey Tverdyshev}, title = {Towards adaptive {MILS} System: Model- Based Design, Verification and Run-Time Adaptation: Slides}, booktitle = {International Workshop on {MILS:} Architecture and Assurance for Secure Systems, MILS@DSN 2018, Luxembourg, June 25, 2018}, publisher = {Zenodo}, year = {2018}, url = {https://doi.org/10.5281/zenodo.1306063}, doi = {10.5281/ZENODO.1306063}, timestamp = {Fri, 21 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hipeac/CimattiDST18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hipeac/EngqvistP18, author = {Markus Engqvist and Staffan Persson}, editor = {Sergey Tverdyshev}, title = {Cybersecurity in the Railway Sector}, booktitle = {International Workshop on {MILS:} Architecture and Assurance for Secure Systems, MILS@DSN 2018, Luxembourg, June 25, 2018}, publisher = {Zenodo}, year = {2018}, url = {https://doi.org/10.5281/zenodo.1306072}, doi = {10.5281/ZENODO.1306072}, timestamp = {Fri, 21 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hipeac/EngqvistP18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hipeac/HametnerR18, author = {Reinhard Hametner and Stefan Resch}, editor = {Sergey Tverdyshev}, title = {A Platform Approach for Fusing Safety and Security on a Solid Foundation}, booktitle = {International Workshop on {MILS:} Architecture and Assurance for Secure Systems, MILS@DSN 2018, Luxembourg, June 25, 2018}, publisher = {Zenodo}, year = {2018}, url = {https://doi.org/10.5281/zenodo.1306081}, doi = {10.5281/ZENODO.1306081}, timestamp = {Fri, 21 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hipeac/HametnerR18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hipeac/KoelemeijerANBD18, author = {Dorien Koelemeijer and Rasma Araby and Ayoub Nouri and Marius Bozga and Rance DeLong}, editor = {Sergey Tverdyshev}, title = {A Model-based Approach to Certification of Adaptive {MILS}}, booktitle = {International Workshop on {MILS:} Architecture and Assurance for Secure Systems, MILS@DSN 2018, Luxembourg, June 25, 2018}, publisher = {Zenodo}, year = {2018}, url = {https://doi.org/10.5281/zenodo.1306089}, doi = {10.5281/ZENODO.1306089}, timestamp = {Fri, 21 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hipeac/KoelemeijerANBD18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hipeac/SchulzGT18, author = {Thorsten Schulz and Frank Golatowski and Dirk Timmermann}, editor = {Sergey Tverdyshev}, title = {In Search for a Simple Secure Protocol for Safety-Critical High-Assurance Applications}, booktitle = {International Workshop on {MILS:} Architecture and Assurance for Secure Systems, MILS@DSN 2018, Luxembourg, June 25, 2018}, publisher = {Zenodo}, year = {2018}, url = {https://doi.org/10.5281/zenodo.1306101}, doi = {10.5281/ZENODO.1306101}, timestamp = {Fri, 21 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hipeac/SchulzGT18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/hipeac/2018mils, editor = {Sergey Tverdyshev}, title = {International Workshop on {MILS:} Architecture and Assurance for Secure Systems, MILS@DSN 2018, Luxembourg, June 25, 2018}, publisher = {Zenodo}, year = {2018}, url = {http://mils-workshop-2018.mils.community/}, timestamp = {Fri, 21 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hipeac/2018mils.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.