The paper "Compositional Analysis Using Component-Oriented Interpolation", co-authored by team members Joost-Pieter Katoen and Thomas Noll, has received the Best Paper Award at the 11th International Symposium on Formal Aspects of Component Softwar.... It presents a novel abstraction technique that exploits the compositionality of a concurrent system consisting of interacting components.

Views: 217

Reply to This

D-MILS Partners

 

 

 

 

 

 

 

 

© 2024   Created by Scott Hansen.   Powered by

Badges  |  Report an Issue  |  Terms of Service