Travelled to:1 × France
1 × Portugal
Collaborated with:F.S.d.Boer M.B.v.Riemsdijk S.B.Rayana S.Bensalem M.Bozga J.Combaz
Talks about:strategi (1) composit (1) generat (1) system (1) rewrit (1) invari (1) agent (1) time (1) test (1) bupl (1)
Person: Lacramioara Astefanoaei
DBLP: Astefanoaei:Lacramioara
Contributed to:
2014
2009Wrote 2 papers:
- TACAS-2014-AstefanoaeiRBBC #composition #generative #invariant
- Compositional Invariant Generation for Timed Systems (LA, SBR, SB, MB, JC), pp. 263–278.
- LOPSTR-2009-AstefanoaeiBR #testing #using
- Using Rewrite Strategies for Testing BUpL Agents (LA, FSdB, MBvR), pp. 143–157.