Lacramioara Astefanoaei
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2008–2016
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | FM | Compositional Parameter Synthesis. | Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Chih-Hong Cheng, Harald Ruess |
| 2014 | EMSOFT | Blaming in component-based real-time systems. | Gregor Goessler, Lacramioara Astefanoaei |
| 2014 | TACAS | Compositional Invariant Generation for Timed Systems. | Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz |
| 2009 | LOPSTR | Using Rewrite Strategies for Testing BUpL Agents. | Lacramioara Astefanoaei, Frank S. de Boer, M. Birna van Riemsdijk |
| 2009 | TASE | 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 |
| 2008 | PRIMA | 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 |
| 2008 | PRIMA | A Verification Framework for Normative Multi-Agent Systems. | Lacramioara Astefanoaei, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer |