The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "MILS@DSN"( http://dblp.L3S.de/Venues/MILS@DSN )

URL (DBLP): http://dblp.uni-trier.de/db/conf/hipeac

Publication years (Num. hits)
2018 (9)
Publication types (Num. hits)
inproceedings(8) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Dorien Koelemeijer, Rasma Araby, Ayoub Nouri, Marius Bozga, Rance DeLong A Model-based Approach to Certification of Adaptive MILS. Search on Bibsonomy MILS@DSN The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Rance DeLong, Ivan Stojic, Stefano Tonetta Towards adaptive MILS System: Model- Based Design, Verification and Run-Time Adaptation: Slides. Search on Bibsonomy MILS@DSN The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sergey Tverdyshev (eds.) International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS@DSN 2018, Luxembourg, June 25, 2018. Search on Bibsonomy MILS@DSN The full citation details ... 2018 DBLP  BibTeX  RDF
1Henk Birkholz, Christoph Krauß, Maria Zhdanova, Don Kuzhiyelil, Tolga Arul, Markus Heinrich, Stefan Katzenbeisser 0001, Neeraj Suri, Tsvetoslava Vateva-Gurova, Christian Schlehuber A Reference Architecture for Integrating Safety and Security Applications on Railway Command and Control Systems. Search on Bibsonomy MILS@DSN The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Holger Blasum, Sergey Tverdyshev Classic and Adaptive AUTOSAR in MILS terms. Search on Bibsonomy MILS@DSN The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Reinhard Hametner, Stefan Resch A Platform Approach for Fusing Safety and Security on a Solid Foundation. Search on Bibsonomy MILS@DSN The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Markus Engqvist, Staffan Persson Cybersecurity in the Railway Sector. Search on Bibsonomy MILS@DSN The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thorsten Schulz, Frank Golatowski, Dirk Timmermann In Search for a Simple Secure Protocol for Safety-Critical High-Assurance Applications. Search on Bibsonomy MILS@DSN The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Chera Bekker, Maurits de Graaf, Gerard Hoekstra, Thomas B. Quillinan Enabling Civil/Military Cooperation in Crisis Management. Search on Bibsonomy MILS@DSN The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #9 of 9 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license