Lacramioara Astefanoaei

	2012
12		Sun Meng, Farhad Arbab, Bernhard K. Aichernig, Lacramioara Astefanoaei, Frank S. de Boer, Jan J. M. M. Rutten: Connectors as designs: Modeling, refinement and test case generation. Sci. Comput. Program. 77(7-8): 799-822 (2012)
	2010
11		Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani: Strategic executions of choreographed timed normative multi-agent systems. AAMAS 2010: 965-972
	2009
10		Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani: On coordination, autonomy and time. AAMAS (2) 2009: 1357-1358
9		Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani: The Refinement of Choreographed Multi-Agent Systems. DALT 2009: 20-34
8		Lacramioara Astefanoaei, Frank S. de Boer, M. Birna van Riemsdijk: Using Rewrite Strategies for Testing BUpL Agents. LOPSTR 2009: 143-157
7		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
6		Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani: Rewriting Agent Societies Strategically. Web Intelligence/IAT Workshops 2009: 441-444
5		Lacramioara Astefanoaei, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer: On the Semantics and Verification of Normative Multi-Agent Systems. J. UCS 15(13): 2629-2652 (2009)
	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

Coauthor Index

1	Bernhard K. Aichernig	[7] [12]
2	Farhad Arbab	[3] [7] [12]
3	Frank S. de Boer	[2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]
4	Mehdi Dastani	[2] [3] [5] [6] [9] [10] [11]
5	Sun Meng	[7] [12]
6	John-Jules Ch. Meyer	[2] [3] [5]
7	C. P. Mol	[1]
8	M. Birna van Riemsdijk (Birna van Riemsdijk)	[8]
9	Jan J. M. M. Rutten	[7] [12]
10	M. P. Sindlar	[1]
11	Nick A. M. Tinnemeier	[1] [3]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page