Lacramioara Astefanoaei

According to our database, Lacramioara Astefanoaei authored at least 24 papers between 2007 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Tenderbake - A Solution to Dynamic Repeated Consensus for Blockchains.

Lacramioara Astefanoaei, Pierre Chambart, Antonella Del Pozzo, Thibault Rieutord, Sara Tucci Piergiovanni, Eugen Zalinescu

Proceedings of the 4th International Symposium on Foundations and Applications of Blockchain 2021, 2021

2020

Tenderbake - Classical BFT Style Consensus for Public Blockchains.

Lacramioara Astefanoaei, Pierre Chambart, Antonella Del Pozzo, Edward Tate, Sara Tucci Piergiovanni, Eugen Zalinescu

CoRR, 2020

2016

Compositional Parameter Synthesis.

Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Chih-Hong Cheng, Harald Ruess

Proceedings of the FM 2016: Formal Methods, 2016

A Compositional Approach to the Verification of Hybrid Systems.

Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga

Proceedings of the Theory and Practice of Formal Methods, 2016

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

Timed Orchestration for Component-based Systems.

Chih-Hong Cheng, Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem

CoRR, 2015

Compositional Verification of Parameterised Timed Systems.

Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

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 Invariant Generation for Timed Systems.

Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Blaming in component-based real-time systems.

Gregor Goessler, Lacramioara Astefanoaei

Proceedings of the 2014 International Conference on Embedded Software, 2014

2013

A weakest precondition calculus for BUnity.

Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer

Sci. Comput. Program., 2013

2012

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

2011

An executable theory of multi-agent systems refinement

Lacramioara Astefanoaei

PhD thesis, 2011

2010

Strategic executions of choreographed timed normative multi-agent systems.

Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

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

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

Proceedings of the TASE 2009, 2009

Using Rewrite Strategies for Testing BUpL Agents.

Lacramioara Astefanoaei, Frank S. de Boer, M. Birna van Riemsdijk

Proceedings of the Logic-Based Program Synthesis and Transformation, 2009

Rewriting Agent Societies Strategically.

Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani

Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2009

The Refinement of Choreographed Multi-Agent Systems.

Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani

Proceedings of the Declarative Agent Languages and Technologies VII, 2009

On coordination, autonomy and time.

Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani

Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

2008

A Verification Framework for Normative Multi-Agent Systems.

Lacramioara Astefanoaei, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer

Proceedings of the Intelligent Agents and Multi-Agent Systems, 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

Proceedings of the Intelligent Agents and Multi-Agent Systems, 2008

Model-checking agent refinement.

Lacramioara Astefanoaei, Frank S. de Boer

Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

2007

Going for Gold with 2APL.

Lacramioara Astefanoaei, Christian P. Mol, Michal P. Sindlar, Nick A. M. Tinnemeier

Proceedings of the Programming Multi-Agent Systems, 5th International Workshop, 2007