Search the dblp DataBase

Publications of Author

1. 
   Model-checking agent refinement. [Citation Graph (, )][DBLP]
   
   
2. 
   On coordination, autonomy and time. [Citation Graph (, )][DBLP]
   
   
3. 
   Strategic executions of choreographed timed normative multi-agent systems. [Citation Graph (, )][DBLP]
   
   
4. 
   The Refinement of Choreographed Multi-Agent Systems. [Citation Graph (, )][DBLP]
   
   
5. 
   Rewriting Agent Societies Strategically. [Citation Graph (, )][DBLP]
   
   
6. 
   Using Rewrite Strategies for Testing BUpL Agents. [Citation Graph (, )][DBLP]
   
   
7. 
   Reo Connectors as Coordination Artifacts in 2APL Systems. [Citation Graph (, )][DBLP]
   
   
8. 
   A Verification Framework for Normative Multi-Agent Systems. [Citation Graph (, )][DBLP]
   
   
9. 
   Going for Gold with 2APL. [Citation Graph (, )][DBLP]
   
   
10. 
    Fault-Based Test Case Generation for Component Connectors. [Citation Graph (, )][DBLP]