Search dblp for Publications

export results for "toc:db/conf/hipeac/mils2015.bht:"

 download as .bib file

@inproceedings{DBLP:conf/hipeac/AdamTRS15,
  author       = {Daniel Adam and
                  Sergey Tverdyshev and
                  Carsten Rolfes and
                  Timo Sandmann},
  editor       = {Sergey Tverdyshev},
  title        = {Two Architecture Approaches for {MILS} Systems in Mobility Domains
                  (Automobile, Railway and Avionik)},
  booktitle    = {International Workshop on {MILS:} Architecture and Assurance for Secure
                  Systems, MILS@HiPEAC 2015, Amsterdam, The Netherlands, January 20,
                  2015},
  publisher    = {Zenodo},
  year         = {2015},
  url          = {https://doi.org/10.5281/zenodo.47991},
  doi          = {10.5281/ZENODO.47991},
  timestamp    = {Thu, 02 Aug 2018 14:39:18 +0200},
  biburl       = {https://dblp.org/rec/conf/hipeac/AdamTRS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hipeac/Blasum15,
  author       = {Holger Blasum},
  editor       = {Sergey Tverdyshev},
  title        = {Partitioning in Safety and Security: Mapping to {MILS} Core Partitioning
                  Mechanisms},
  booktitle    = {International Workshop on {MILS:} Architecture and Assurance for Secure
                  Systems, MILS@HiPEAC 2015, Amsterdam, The Netherlands, January 20,
                  2015},
  publisher    = {Zenodo},
  year         = {2015},
  url          = {https://doi.org/10.5281/zenodo.47974},
  doi          = {10.5281/ZENODO.47974},
  timestamp    = {Thu, 02 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hipeac/Blasum15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hipeac/DeLong15,
  author       = {Rance J. DeLong},
  editor       = {Sergey Tverdyshev},
  title        = {{MILS} Initiatives Within The Open Group},
  booktitle    = {International Workshop on {MILS:} Architecture and Assurance for Secure
                  Systems, MILS@HiPEAC 2015, Amsterdam, The Netherlands, January 20,
                  2015},
  publisher    = {Zenodo},
  year         = {2015},
  url          = {https://doi.org/10.5281/zenodo.47988},
  doi          = {10.5281/ZENODO.47988},
  timestamp    = {Thu, 02 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hipeac/DeLong15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hipeac/HawkinsKH15,
  author       = {Richard Hawkins and
                  Tim Kelly and
                  Ibrahim Habli},
  editor       = {Sergey Tverdyshev},
  title        = {Developing Assurance Cases for {D-MILS} Systems},
  booktitle    = {International Workshop on {MILS:} Architecture and Assurance for Secure
                  Systems, MILS@HiPEAC 2015, Amsterdam, The Netherlands, January 20,
                  2015},
  publisher    = {Zenodo},
  year         = {2015},
  url          = {https://doi.org/10.5281/zenodo.47984},
  doi          = {10.5281/ZENODO.47984},
  timestamp    = {Thu, 02 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hipeac/HawkinsKH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hipeac/KoolenS15,
  author       = {Ruud Koolen and
                  Julien Schmaltz},
  editor       = {Sergey Tverdyshev},
  title        = {Formal Methods for {MILS:} Formalisations of the {GWV} Firewall},
  booktitle    = {International Workshop on {MILS:} Architecture and Assurance for Secure
                  Systems, MILS@HiPEAC 2015, Amsterdam, The Netherlands, January 20,
                  2015},
  publisher    = {Zenodo},
  year         = {2015},
  url          = {https://doi.org/10.5281/zenodo.47983},
  doi          = {10.5281/ZENODO.47983},
  timestamp    = {Thu, 02 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hipeac/KoolenS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hipeac/Lescuyer15,
  author       = {St{\'{e}}phane Lescuyer},
  editor       = {Sergey Tverdyshev},
  title        = {ProvenCore: Towards a Verified Isolation Micro-Kernel},
  booktitle    = {International Workshop on {MILS:} Architecture and Assurance for Secure
                  Systems, MILS@HiPEAC 2015, Amsterdam, The Netherlands, January 20,
                  2015},
  publisher    = {Zenodo},
  year         = {2015},
  url          = {https://doi.org/10.5281/zenodo.47990},
  doi          = {10.5281/ZENODO.47990},
  timestamp    = {Thu, 02 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hipeac/Lescuyer15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hipeac/NetkachovaMPB15,
  author       = {Kateryna Netkachova and
                  Kevin Mueller and
                  Michael Paulitsch and
                  Robin Bloomfield},
  editor       = {Sergey Tverdyshev},
  title        = {Security-Informed Safety Case Approach to Analysing {MILS} Systems},
  booktitle    = {International Workshop on {MILS:} Architecture and Assurance for Secure
                  Systems, MILS@HiPEAC 2015, Amsterdam, The Netherlands, January 20,
                  2015},
  publisher    = {Zenodo},
  year         = {2015},
  url          = {https://doi.org/10.5281/zenodo.47987},
  doi          = {10.5281/ZENODO.47987},
  timestamp    = {Thu, 02 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hipeac/NetkachovaMPB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hipeac/PolN15,
  author       = {Kevin van der Pol and
                  Thomas Noll},
  editor       = {Sergey Tverdyshev},
  title        = {Security Type Checking for {MILS-AADL} Specifications},
  booktitle    = {International Workshop on {MILS:} Architecture and Assurance for Secure
                  Systems, MILS@HiPEAC 2015, Amsterdam, The Netherlands, January 20,
                  2015},
  publisher    = {Zenodo},
  year         = {2015},
  url          = {https://doi.org/10.5281/zenodo.47989},
  doi          = {10.5281/ZENODO.47989},
  timestamp    = {Wed, 08 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hipeac/PolN15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hipeac/RuessT15,
  author       = {Harald Rue{\ss} and
                  Stefano Tonetta},
  editor       = {Sergey Tverdyshev},
  title        = {Distributed {MILS} {(D-MILS)} Specification, Analysis, Deployment,
                  and Assurance of Distributed Critical Systems},
  booktitle    = {International Workshop on {MILS:} Architecture and Assurance for Secure
                  Systems, MILS@HiPEAC 2015, Amsterdam, The Netherlands, January 20,
                  2015},
  publisher    = {Zenodo},
  year         = {2015},
  url          = {https://doi.org/10.5281/zenodo.47985},
  doi          = {10.5281/ZENODO.47985},
  timestamp    = {Thu, 02 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hipeac/RuessT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hipeac/SinnhoferRSK15,
  author       = {Andreas Daniel Sinnhofer and
                  Wolfgang Raschke and
                  Christian Steger and
                  Christian Kreiner},
  editor       = {Sergey Tverdyshev},
  title        = {Evaluation paradigm selection according to Common Criteria for an
                  incremental product development},
  booktitle    = {International Workshop on {MILS:} Architecture and Assurance for Secure
                  Systems, MILS@HiPEAC 2015, Amsterdam, The Netherlands, January 20,
                  2015},
  publisher    = {Zenodo},
  year         = {2015},
  url          = {https://doi.org/10.5281/zenodo.47986},
  doi          = {10.5281/ZENODO.47986},
  timestamp    = {Thu, 02 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hipeac/SinnhoferRSK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hipeac/Tverdyshev15,
  author       = {Sergey Tverdyshev},
  editor       = {Sergey Tverdyshev},
  title        = {{EURO-MILS:} Building and certifying modular secure systems},
  booktitle    = {International Workshop on {MILS:} Architecture and Assurance for Secure
                  Systems, MILS@HiPEAC 2015, Amsterdam, The Netherlands, January 20,
                  2015},
  publisher    = {Zenodo},
  year         = {2015},
  url          = {https://doi.org/10.5281/zenodo.47972},
  doi          = {10.5281/ZENODO.47972},
  timestamp    = {Thu, 02 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hipeac/Tverdyshev15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/hipeac/2015mils,
  editor       = {Sergey Tverdyshev},
  title        = {International Workshop on {MILS:} Architecture and Assurance for Secure
                  Systems, MILS@HiPEAC 2015, Amsterdam, The Netherlands, January 20,
                  2015},
  publisher    = {Zenodo},
  year         = {2015},
  url          = {http://mils-workshop-2015.mils.community/},
  timestamp    = {Thu, 02 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hipeac/2015mils.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.