Lacramioara Astefanoaei

Publication Activity (10 Years)

Years Active: 2007-2021
Publications (10 Years): 7

Top Venues

CoRR

Sci. Comput. Program.

TACAS

Tech. Sci. Informatiques

Leiden University (PHD)

Education History

Leiden University

PHD

Publications

Lacramioara Astefanoaei, Pierre Chambart, Antonella Del Pozzo, Thibault Rieutord, Sara Tucci Piergiovanni, Eugen Zalinescu
Tenderbake - A Solution to Dynamic Repeated Consensus for Blockchains. FAB (2021)
Lacramioara Astefanoaei, Pierre Chambart, Antonella Del Pozzo, Edward Tate, Sara Tucci Piergiovanni, Eugen Zalinescu
Tenderbake - Classical BFT Style Consensus for Public Blockchains. CoRR (2020)
Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Chih-Hong Cheng, Harald Ruess
Compositional Parameter Synthesis. FM (2016)
Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga
A Compositional Approach to the Verification of Hybrid Systems. Theory and Practice of Formal Methods (2016)
Chih-Hong Cheng, Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem
Timed Orchestration for Component-based Systems. CoRR (2015)
Souha Ben Rayana, Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Jacques Combaz
Compositional Verification for Timed Systems Based on Automatic Invariant Generation. Log. Methods Comput. Sci. 11 (3) (2015)
Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz
Compositional Verification of Parameterised Timed Systems. NFM (2015)
Gregor Gößler, Daniel Le Métayer, Eduardo Mazza, Marie-Laure Potet, Lacramioara Astefanoaei
Apport des méthodes formelles pour l'exploitation de logs informatiques dans un contexte contractuel. Tech. Sci. Informatiques 33 (1-2) (2014)
Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz
Compositional Invariant Generation for Timed Systems. TACAS (2014)
Gregor Goessler, Lacramioara Astefanoaei
Blaming in component-based real-time systems. EMSOFT (2014)
Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer
A weakest precondition calculus for BUnity. Sci. Comput. Program. 78 (9) (2013)
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) (2012)
Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani
Strategic executions of choreographed timed normative multi-agent systems. AAMAS (2010)
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)
Lacramioara Astefanoaei, Frank S. de Boer, M. Birna van Riemsdijk
Using Rewrite Strategies for Testing BUpL Agents. LOPSTR (2009)
Lacramioara Astefanoaei, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer
On the Semantics and Verification of Normative Multi-Agent Systems. J. Univers. Comput. Sci. 15 (13) (2009)
Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani
Rewriting Agent Societies Strategically. Web Intelligence/IAT Workshops (2009)
Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani
On coordination, autonomy and time. AAMAS (2) (2009)
Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani
The Refinement of Choreographed Multi-Agent Systems. DALT (2009)
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)
Lacramioara Astefanoaei, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer
A Verification Framework for Normative Multi-Agent Systems. PRIMA (2008)
Lacramioara Astefanoaei, Frank S. de Boer
Model-checking agent refinement. AAMAS (2) (2008)
Lacramioara Astefanoaei, Christian P. Mol, Michal P. Sindlar, Nick A. M. Tinnemeier
Going for Gold with 2APL. PROMAS (2007)

Lacramioara Astefanoaei.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Lacramioara Astefanoaei