Lacramioara Astefanoaei

25 papers A 2B 3C 1Misc 2Journal 8Unranked 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
A benchmark for vericoding: formally verified program synthesis.
CoRR
Sergiu Bursuc, Theodore Ehrenborg, Shaowei Lin, Lacramioara Astefanoaei, Ionel Emilian Chiosa, Jure Kukovec, Alok Singh, Oliver Butterley, Adem Bizid, Quinn Dougherty, Miranda Zhao, Max Tan, Max Tegmark
2021 — conf
Tenderbake - A Solution to Dynamic Repeated Consensus for Blockchains.
FAB
Lacramioara Astefanoaei, Pierre Chambart, Antonella Del Pozzo, Thibault Rieutord, Sara Tucci Piergiovanni, Eugen Zalinescu
2020 J jnl
Tenderbake - Classical BFT Style Consensus for Public Blockchains.
CoRR
Lacramioara Astefanoaei, Pierre Chambart, Antonella Del Pozzo, Edward Tate, Sara Tucci Piergiovanni, Eugen Zalinescu
2016 — conf
A Compositional Approach to the Verification of Hybrid Systems.
Theory and Practice of Formal Methods
Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga
2016 B conf
Compositional Parameter Synthesis.
FM
Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Chih-Hong Cheng, Harald Ruess
2015 J jnl
Compositional Verification for Timed Systems Based on Automatic Invariant Generation.
Log. Methods Comput. Sci.
Souha Ben Rayana, Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Jacques Combaz
2015 — conf
Compositional Verification of Parameterised Timed Systems.
NFM
Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz
2015 J jnl
Timed Orchestration for Component-based Systems.
CoRR
Chih-Hong Cheng, Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem
2014 J jnl
Apport des méthodes formelles pour l'exploitation de logs informatiques dans un contexte contractuel.
Tech. Sci. Informatiques
Gregor Gößler, Daniel Le Métayer, Eduardo Mazza, Marie-Laure Potet, Lacramioara Astefanoaei
2014 Misc conf
Blaming in component-based real-time systems.
EMSOFT
Gregor Goessler, Lacramioara Astefanoaei
2014 A conf
Compositional Invariant Generation for Timed Systems.
TACAS
Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz
2013 J jnl
A weakest precondition calculus for BUnity.
Sci. Comput. Program.
Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer
2012 J jnl
Connectors as designs: Modeling, refinement and test case generation.
Sci. Comput. Program.
Sun Meng, Farhad Arbab, Bernhard K. Aichernig, Lacramioara Astefanoaei, Frank S. de Boer, Jan J. M. M. Rutten
2011 — —
An executable theory of multi-agent systems refinement
Lacramioara Astefanoaei
2010 A conf
Strategic executions of choreographed timed normative multi-agent systems.
AAMAS
Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani
2009 Misc conf
Fault-Based Test Case Generation for Component Connectors.
TASE
Bernhard K. Aichernig, Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Sun Meng, Jan J. M. M. Rutten
2009 — conf
On coordination, autonomy and time.
AAMAS (2)
Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani
2009 J jnl
On the Semantics and Verification of Normative Multi-Agent Systems.
J. Univers. Comput. Sci.
Lacramioara Astefanoaei, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer
2009 — conf
Rewriting Agent Societies Strategically.
Web Intelligence/IAT Workshops
Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani
2009 — conf
The Refinement of Choreographed Multi-Agent Systems.
DALT
Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani
2009 C conf
Using Rewrite Strategies for Testing BUpL Agents.
LOPSTR
Lacramioara Astefanoaei, Frank S. de Boer, M. Birna van Riemsdijk
2008 B conf
A Verification Framework for Normative Multi-Agent Systems.
PRIMA
Lacramioara Astefanoaei, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer
2008 — conf
Model-checking agent refinement.
AAMAS (2)
Lacramioara Astefanoaei, Frank S. de Boer
2008 B conf
Reo Connectors as Coordination Artifacts in 2APL Systems.
PRIMA
Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer, Nick A. M. Tinnemeier
2007 — conf
Going for Gold with 2APL.
PROMAS
Lacramioara Astefanoaei, Christian P. Mol, Michal P. Sindlar, Nick A. M. Tinnemeier