Lacramioara Astefanoaei
发表
Frank S. de Boer,
Mehdi Dastani,
Lacramioara Astefanoaei,
2009,
AAMAS.
Frank S. de Boer,
Mehdi Dastani,
Lacramioara Astefanoaei,
2009,
2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology.
Frank S. de Boer,
Mehdi Dastani,
John-Jules Ch. Meyer,
2008,
PRIMA.
Frank S. de Boer,
Mehdi Dastani,
John-Jules Ch. Meyer,
2009,
J. Univers. Comput. Sci..
Chih-Hong Cheng,
Lacramioara Astefanoaei,
Harald Ruess,
2016,
FM.
Lacramioara Astefanoaei,
Gregor Gößler,
2014,
2014 International Conference on Embedded Software (EMSOFT).
Frank S. de Boer,
Mehdi Dastani,
Lacramioara Astefanoaei,
2009,
DALT.
Apport des méthodes formelles pour l'exploitation de logs informatiques dans un contexte contractuel
Lacramioara Astefanoaei,
Gregor Gößler,
Daniel Le Métayer,
2014,
Tech. Sci. Informatiques.
Lacramioara Astefanoaei,
L. Astefanoaei,
2011
.
Farhad Arbab,
Bernhard K. Aichernig,
Frank S. de Boer,
2009,
2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering.
Frank S. de Boer,
M. Birna van Riemsdijk,
Lacramioara Astefanoaei,
2009,
LOPSTR.
Sara Tucci Piergiovanni,
Pierre Chambart,
Lacramioara Astefanoaei,
2020,
ArXiv.
Lacramioara Astefanoaei,
Marius Bozga,
Saddek Bensalem,
2014,
TACAS.
Chih-Hong Cheng,
Lacramioara Astefanoaei,
Saddek Bensalem,
2015,
ArXiv.
Farhad Arbab,
Frank S. de Boer,
Mehdi Dastani,
2008,
PRIMA.
Frank S. de Boer,
Mehdi Dastani,
John-Jules Ch. Meyer,
2013,
Sci. Comput. Program..
Lacramioara Astefanoaei,
Marius Bozga,
Saddek Bensalem,
2015,
NFM.
Frank S. de Boer,
Mehdi Dastani,
Lacramioara Astefanoaei,
2010,
AAMAS.
Lacramioara Astefanoaei,
Marius Bozga,
Saddek Bensalem,
2015,
Log. Methods Comput. Sci..
Frank S. de Boer,
Lacramioara Astefanoaei,
F. S. Boer,
2008,
AAMAS.
Farhad Arbab,
Bernhard K. Aichernig,
Frank S. de Boer,
2012,
Sci. Comput. Program..
Lacramioara Astefanoaei,
Nick A. M. Tinnemeier,
C. P. Mol,
2007,
PROMAS.
Lacramioara Astefanoaei,
Marius Bozga,
Saddek Bensalem,
2016,
Theory and Practice of Formal Methods.