News Items (14)

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 in News

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 in News

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 in News

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 in News

0 Oct 24, 2014

Best Paper Award at FACS 2014

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

The 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-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 in News

0 Aug 4, 2014

Paper on Compositional Analysis Using Component-Oriented Interpolation

The 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 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 in News

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 in News

0 Apr 14, 2014

RSS

D-MILS Partners

 

 

 

 

 

 

 

 

© 2017   Created by Scott Hansen.   Powered by

Badges  |  Report an Issue  |  Terms of Service