The following technical papers are available to provide additional information concerning the research and development that has been carried out in the D-MILS project:

• Model-driven Information Flow Security for Component-Based Systems.
  Authors: Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, and Marius Bozga
• IC3 Modulo Theories via Implicit Predicate Abstraction.
  Authors: Alessandro Cimatti, Alberto Griggio, Sergio Mover, and Stefano Tonetta
• Compositional Invariant Generation for Timed Systems.
  Authors: L. Astefanoaei, S. Ben Rayana, S. Bensalem, M. Bozga, and J. Combaz
• Security policies for distributed systems.
  Authors: Jean Quilbeuf, Georgeta Igna, Denis Bytschkow, and Harald Ruess
• Verifying LTL properties of hybrid systems with K-LIVENESS.
  Authors: Alessandro Cimatti, Alberto Griggio, Sergio Mover, and Stefano Tonetta
• The NUXMV Symbolic Model Checker.
  Authors: R. Cavada, A. Cimatti, M. Dorigatti, A. Griggio, A. Mariotti, A. Micheli, S. Mover, M. Roveri, and S. Tonetta
• Compositional Analysis Using Component-Oriented Interpolation.
  Authors: Viet Yen Nguyen, Benjamin Bittner, Joost-Pieter Katoen, and Thomas Noll
• EFSMT: A Logical Framework for the Design of Cyber-Physical Systems.
  Authors: Chih-Hong Cheng, Saddek Bensalem, Harald Ruess, Natarajan Shankar, and Ashish Tiwari
• Distributed MILS Architectural Approach for Secure Smart Grids.
  Authors: Denis Bytschkow, Jean Quilbeuf, Georgeta Igna, and Harald Ruess
• HYCOMP: an SMT-based Model Checker for Hybrid Systems.
  Authors: Alessandro Cimatti, Alberto Griggio, Sergio Mover, and Stefano Tonetta
• Combining MILS with Contract-Based Design for Safety and Security Requirements.
  Authors: Alessandro Cimatti, Rance DeLong, Davide Marcantonio, and Stefano Tonetta
• Characterization of Failure Effects on AADL Models.
  Authors: Bernhard Ern, Viet Yen Nguyen, and Thomas Noll
• Distributed MILS Architectural Approach for Secure Smart Grids.
  Authors: Denis Bytschkow, Jean Quilbeuf, Georgeta Igna, and Harald Ruess
• Building secure-by-construction distributed component-based systems.
  Authors: Najah Ben Said , Takoua Abdellatif, Saddek Bensalem, and Marius Bozga
• Security Type Checking for MILS-AADL Specifications.
  Authors: Kevin van der Pol and Thomas Noll
• Developing Assurance Cases for D-MILS Systems.
  Authors: Richard Hawkins, Tim Kelly, and Ibrahim Habli
• Weaving an Assurance Case from Design: A Model-Based Approach.
  Authors: Richard Hawkins, Ibrahim Habli, Dimitris Kolovos, Richard Paige, and Tim Kelly
• Compositional Verification for Timed Systems Based on Automatic Invariant Generation.
  Authors: Souha Ben Rayana, Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, and Jacques Combaz
• Comparative Analysis of Leakage Tools on Scalable Case Studies.
  Authors: Fabrizio Biondi, Axel Legay, and Jean Quilbeuf
• The Need for a Weaving Model in Assurance Case Automation.
  Authors: R. Hawkins, I. Habli, and T. Kelly
• A Model-based Approach to Secure Multi-party Distributed Systems.
  Authors: Najah Ben Said, Saddek Bensalem, Marius Bozga and Takoua Abdellatif

© 2014-2016 Copyright in all of the above documents remains vested in the D-MILS Project Partners.