Search the dblp DataBase

Publications of Author

1. 
   Why Are Modalities Good for Interface Theories?. [Citation Graph (, )][DBLP]
   
   
2. 
   Modal interfaces: unifying interface automata and modal specifications. [Citation Graph (, )][DBLP]
   
   
3. 
   A Compositional Approach on Modal Specifications for Timed Systems. [Citation Graph (, )][DBLP]
   
   
4. 
   Modal Contracts for Component-Based Design. [Citation Graph (, )][DBLP]
   
   
5. 
   Refinement and Consistency of Timed Modal Specifications. [Citation Graph (, )][DBLP]
   
   
6. 
   Residual for Component Specifications. [Citation Graph (, )][DBLP]