Lacramioara Astefanoaei

Leiden University, Center for Mathematics and Computer Science

	2012
j2		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)
	2011
b1		Lacramioara Astefanoaei: An executable theory of multi-agent systems refinement. Leiden University 2011
	2010
c10		Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani: Strategic executions of choreographed timed normative multi-agent systems. AAMAS 2010: 965-972
	2009
j1		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)
c9		Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani: On coordination, autonomy and time. AAMAS (2) 2009: 1357-1358
c8		Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani: The Refinement of Choreographed Multi-Agent Systems. DALT 2009: 20-34
c7		Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani: Rewriting Agent Societies Strategically. Web Intelligence/IAT Workshops 2009: 441-444
c6		Lacramioara Astefanoaei, Frank S. de Boer, M. Birna van Riemsdijk: Using Rewrite Strategies for Testing BUpL Agents. LOPSTR 2009: 143-157
c5		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
	2008
c4		Lacramioara Astefanoaei, Frank S. de Boer: Model-checking agent refinement. AAMAS (2) 2008: 705-712
c3		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
c2		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
c1		Lacramioara Astefanoaei, C. P. Mol, M. P. Sindlar, Nick A. M. Tinnemeier: Going for Gold with 2APL. PROMAS 2007: 246-250

Coauthor Index

Last update Tue May 21 12:07:29 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page