News (11)
| News Items | Replies | Latest Activity |
|---|---|---|
Final results available for downloadThe final set of reports from the D-MILS project have been made available for download. Click on the Results tab at the top of the website… Started by Scott Hansen |
0 | Dec 3, 2015 |
Paper on HyComp model checker for hybrid systemsThe paper "HyComp: an SMT-based Model Checker for Hybrid Systems" by Alessandro Cimatti, Alberto Griggio, Sergio Mover, and Stefano Tonetta… Started by Stefano Tonetta |
0 | Jan 28, 2015 |
International Workshop on MILS: Architecture and Assurance for Secure Systems, Amsterdam, 20 January 2015We are pleased to inform all of those interested in more information concerning D-MILS technologies that there will be a half-day workshop… Started by Scott Hansen |
0 | Nov 17, 2014 |
Paper on Model-Based Assurance CasesThe paper "Weaving an Assurance Case from Design: A Model-Based Approach", authored by team members Richard Hawkins and Tim Kelly with coll… Started by Richard Hawkins |
0 | Oct 24, 2014 |
Paper on the nuXmv Symbolic Model CheckerThe paper "The nuXmv Symbolic Model Checker" by Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti… Started by Stefano Tonetta |
0 | Aug 4, 2014 |
Paper on Verifying LTL properties of hybrid systems with K-livenessThe paper "Verifying LTL properties of hybrid systems with K-liveness" by Alessandro Cimatti, Alberto Griggio, Sergio Mover, and Stefano To… Started by Stefano Tonetta |
0 | Aug 4, 2014 |
Paper on secBIP, a framework to study information flow security in component-based systemsThe paper "Model-driven Information Flow Security for Component-Based Systems" by UJV/Verimag team members Najah Ben Said, Saddek Bensalem,… Started by Marius Bozga |
0 | Apr 14, 2014 |
Paper on compositional verification presented at TACAS 2014The paper "Compositional Invariant Generation for Timed Systems" by UJF/Verimag team members Lacramioara Astefanoaei, Souha Ben Rayana, Sad… Started by Marius Bozga |
0 | Apr 14, 2014 |
Presentation at the 2nd Secure Smart Grid WorkshopThe paper "Architectural design for secure smart grids" was presented at the 2nd Secure Smart Grid Workshop. It presents how the D-MILS app… Started by Jean Quilbeuf |
0 | Mar 11, 2014 |
European Commission Project ReviewThe first annual project review by the European Commission of the initial results from the D-MILS project will take place on 3 December 201… Started by Scott Hansen |
0 | Dec 1, 2013 |
Welcome to
D-MILS Project Website
D-MILS Partners
© 2024 Created by Scott Hansen.
Powered by
