Marius Bozga
  • Male
  • Grenoble
  • France

Marius Bozga's News Items

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, Marius Bozga in collaboration with Takoua Abdellatif from…Continue

Started 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, Saddek Bensalem, Marius Bozga and Jacques Combaz has been…Continue

Tags: verification, compositional

Started Apr 14, 2014

 

Marius Bozga's Page

Comment Wall

You need to be a member of D-MILS Project Website to add comments!

  • No comments yet!
 
 
 

D-MILS Partners

 

 

 

 

 

 

 

 

© 2017   Created by Scott Hansen.   Powered by

Badges  |  Report an Issue  |  Terms of Service