 | 2009 |
|---|
| 7 |       | Lacramioara Astefanoaei,
Frank S. de Boer,
Mehdi Dastani:
On coordination, autonomy and time.
AAMAS (2) 2009: 1357-1358 |
| 6 | | Bernhard K. Aichernig,
Farhad Arbab,
Lacramioara Astefanoaei,
Frank S. de Boer,
Sun Meng,
Jan J. M. M. Rutten:
Fault-Based Test Case Generation for Component Connectors.
TASE 2009: 147-154 |
| 5 | | Lacramioara Astefanoaei,
Frank S. de Boer,
Mehdi Dastani:
Rewriting Agent Societies Strategically.
Web Intelligence/IAT Workshops 2009: 441-444 |
| 2008 |
|---|
| 4 | | Lacramioara Astefanoaei,
Frank S. de Boer:
Model-checking agent refinement.
AAMAS (2) 2008: 705-712 |
| 3 | | Farhad Arbab,
Lacramioara Astefanoaei,
Frank S. de Boer,
Mehdi Dastani,
John-Jules Ch. Meyer,
Nick A. M. Tinnemeier:
Reo Connectors as Coordination Artifacts in 2APL Systems.
PRIMA 2008: 42-53 |
| 2 | | Lacramioara Astefanoaei,
Mehdi Dastani,
John-Jules Ch. Meyer,
Frank S. de Boer:
A Verification Framework for Normative Multi-Agent Systems.
PRIMA 2008: 54-65 |
| 2007 |
|---|
| 1 | | Lacramioara Astefanoaei,
C. P. Mol,
M. P. Sindlar,
Nick A. M. Tinnemeier:
Going for Gold with 2APL.
PROMAS 2007: 246-250 |
