Marius Bozga's News Items (2)

News Items Discussions Started (2) Replies Latest Activity

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

 

 

 

 

 

 

 

 

© 2019   Created by Scott Hansen.   Powered by

Badges  |  Report an Issue  |  Terms of Service