News Items (14)
| 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 in News |
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 in News |
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 in News |
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 in News |
0 | Oct 24, 2014 |
Best Paper Award at FACS 2014The paper "Compositional Analysis Using Component-Oriented Interpolation", co-authored by team members Joost-Pieter Katoen and Thomas Noll,… Started by Thomas Noll in Uncategorized |
0 | Sep 12, 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 in News |
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 in News |
0 | Aug 4, 2014 |
Paper on Compositional Analysis Using Component-Oriented InterpolationThe paper "Compositional Analysis Using Component-Oriented Interpolation", co-authored by team members Joost-Pieter Katoen and Thomas Noll,… Started by Thomas Noll in Uncategorized |
0 | Jul 31, 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 in News |
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 in News |
0 | Apr 14, 2014 |
Welcome to
D-MILS Project Website
D-MILS Partners
© 2024 Created by Scott Hansen.
Powered by
