Publications
Search

Publications :: Search

Show venue

On this page you see the details of the selected venue.

    Conference
    Name: 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016 2016
    URL: http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7423043
    DBLP: db/conf/hase/hase2016.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 45  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Tarek Awwad, Nadia Bennani, Lionel Brunie, David Coquil, Harald Kosch, Veronika Rehn-Sonigo.
    Task Characterization for an Effective Worker Targeting in Crowdsourcing.
    17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016 2016 (0) 2016
    Conference paper
    Yufei Jiang, Can Zhang, Dinghao Wu, Peng Liu 0005.
    Feature-Based Software Customization: Preliminary Analysis, Formalization, and Methods.
    17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016 2016 (0) 2016
    Conference paper
    Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Oleg Sokolsky, Insup Lee.
    Representation of Confidence in Assurance Cases Using the Beta Distribution.
    17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016 2016 (0) 2016
    Conference paper
    Michaël Lauer, Matthieu Amy, Jean-Charles Fabre, Matthieu Roy, William Excoffon, Miruna Stoicescu.
    Engineering Adaptive Fault-Tolerance Mechanisms for Resilient Computing on ROS.
    17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016 2016 (0) 2016
    Conference paper
    Philipp Stephanow, Christian Banse, Julian Schütte.
    Generating Threat Profiles for Cloud Service Certification Systems.
    17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016 2016 (0) 2016
    Conference paper
    Swastik Brahma, Kevin A. Kwiat, Pramod K. Varshney, Charles A. Kamhoua.
    CSRS: Cyber Survive and Recover Simulator.
    17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016 2016 (0) 2016
    Conference paper
    Kerianne H. Gross, Aaron Fifarek, Jonathan A. Hoffman.
    Incremental Formal Methods Based Design Approach Demonstrated on a Coupled Tanks Control System.
    17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016 2016 (0) 2016
    Conference paper
    Renyu Yang, Tianyu Wo, Chunming Hu, Jie Xu, Mingming Zhang.
    D^2PS: A Dependable Data Provisioning Service in Multi-tenant Cloud Environment.
    17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016 2016 (0) 2016
    Conference paper
    Xi Wu, Yongxin Zhao, Huibiao Zhu.
    Integrating a Calculus with Mobility and Quality for Wireless Sensor Networks.
    17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016 2016 (0) 2016
    Conference paper
    Guillaume Babin, Yamine Aït Ameur, Marc Pantel.
    Correct Instantiation of a System Reconfiguration Pattern: A Proof and Refinement-Based Approach.
    17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016 2016 (0) 2016
    Show item 1 to 10 of 45  

    Your query returned 45 matches in the database.