News (11)

News Items Replies Latest Activity

Final results available for download

The 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 systems

The 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 2015

We 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 Cases

The 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 Checker

The 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-liveness

The 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 systems

The 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 2014

The 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 Workshop

The 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 Review

The 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

RSS

D-MILS Partners

 

 

 

 

 

 

 

 

© 2017   Created by Scott Hansen.   Powered by

Badges  |  Report an Issue  |  Terms of Service