Going for Gold with 2APL. - Lacramioara Astefanoaei; Christian P. Mol; Michal P. Sindlar; Nick A. M. Tinnemeier (PROMAS, 2007)

Model-checking agent refinement. - Lacramioara Astefanoaei; Frank S. de Boer (AAMAS (2), 2008)

Reo Connectors as Coordination Artifacts in 2APL Systems. - Farhad Arbab; Lacramioara Astefanoaei; Frank S. de Boer; Mehdi Dastani; John-Jules Ch. Meyer; Nick A. M. Tinnemeier (PRIMA, 2008)

A Verification Framework for Normative Multi-Agent Systems. - Lacramioara Astefanoaei; Mehdi Dastani; John-Jules Ch. Meyer; Frank S. de Boer (PRIMA, 2008)

On coordination, autonomy and time. - Lacramioara Astefanoaei; Frank S. de Boer; Mehdi Dastani (AAMAS (2), 2009)

The Refinement of Choreographed Multi-Agent Systems. - Lacramioara Astefanoaei; Frank S. de Boer; Mehdi Dastani (DALT, 2009)

Rewriting Agent Societies Strategically. - Lacramioara Astefanoaei; Frank S. de Boer; Mehdi Dastani (Web Intelligence/IAT Workshops, 2009)

Using Rewrite Strategies for Testing BUpL Agents. - Lacramioara Astefanoaei; Frank S. de Boer; M. Birna van Riemsdijk (LOPSTR, 2009)

Fault-Based Test Case Generation for Component Connectors. - Bernhard K. Aichernig; Farhad Arbab; Lacramioara Astefanoaei; Frank S. de Boer; Sun Meng; Jan J. M. M. Rutten (TASE, 2009)

On the Semantics and Verification of Normative Multi-Agent Systems. - Lacramioara Astefanoaei; Mehdi Dastani; John-Jules Ch. Meyer; Frank S. de Boer (J. Univers. Comput. Sci., 2009)

Strategic executions of choreographed timed normative multi-agent systems. - Lacramioara Astefanoaei; Frank S. de Boer; Mehdi Dastani (AAMAS, 2010)

An executable theory of multi-agent systems refinement - Lacramioara Astefanoaei (2011)

Connectors as designs: Modeling, refinement and test case generation. - Sun Meng; Farhad Arbab; Bernhard K. Aichernig; Lacramioara Astefanoaei; Frank S. de Boer; Jan J. M. M. Rutten (Sci. Comput. Program., 2012)

A weakest precondition calculus for BUnity. - Lacramioara Astefanoaei; Frank S. de Boer; Mehdi Dastani; John-Jules Ch. Meyer (Sci. Comput. Program., 2013)

Blaming in component-based real-time systems. - Gregor Goessler; Lacramioara Astefanoaei (EMSOFT, 2014)

Compositional Invariant Generation for Timed Systems. - Lacramioara Astefanoaei; Souha Ben Rayana; Saddek Bensalem; Marius Bozga; Jacques Combaz (TACAS, 2014)

Apport des méthodes formelles pour l'exploitation de logs informatiques dans un contexte contractuel. - Gregor Gößler; Daniel Le Métayer; Eduardo Mazza; Marie-Laure Potet; Lacramioara Astefanoaei (Tech. Sci. Informatiques, 2014)

Compositional Verification of Parameterised Timed Systems. - Lacramioara Astefanoaei; Souha Ben Rayana; Saddek Bensalem; Marius Bozga; Jacques Combaz (NFM, 2015)

Timed Orchestration for Component-based Systems. - Chih-Hong Cheng; Lacramioara Astefanoaei; Souha Ben Rayana; Saddek Bensalem (CoRR, 2015)

Compositional Verification for Timed Systems Based on Automatic Invariant Generation. - Souha Ben Rayana; Lacramioara Astefanoaei; Saddek Bensalem; Marius Bozga; Jacques Combaz (Log. Methods Comput. Sci., 2015)

A Compositional Approach to the Verification of Hybrid Systems. - Lacramioara Astefanoaei; Saddek Bensalem; Marius Bozga (Theory and Practice of Formal Methods, 2016)

Compositional Parameter Synthesis. - Lacramioara Astefanoaei; Saddek Bensalem; Marius Bozga; Chih-Hong Cheng; Harald Ruess (FM, 2016)

Tenderbake - Classical BFT Style Consensus for Public Blockchains. - Lacramioara Astefanoaei; Pierre Chambart; Antonella Del Pozzo; Edward Tate; Sara Tucci Piergiovanni; Eugen Zalinescu (CoRR, 2020)

Tenderbake - A Solution to Dynamic Repeated Consensus for Blockchains. - Lacramioara Astefanoaei; Pierre Chambart; Antonella Del Pozzo; Thibault Rieutord; Sara Tucci Piergiovanni; Eugen Zalinescu (FAB, 2021)