Travelled to:1 × Cyprus
1 × Italy
Collaborated with:M.Asavoae A.Riesco A.R.0001
Talks about:semant (3) formal (2) slice (2) interprocedur (1) framework (1) techniqu (1) abstract (1) collect (1) toward (1) predic (1)
Person: Irina Mariuca Asavoae
DBLP: Asavoae:Irina_Mariuca
Contributed to:
2014
2010
2017Wrote 3 papers:
- IFM-2014-AsavoaeAR #interprocedural #semantics #slicing #towards
- Towards a Formal Semantics-Based Technique for Interprocedural Slicing (IMA, MA, AR), pp. 291–306.
- WRLA-2010-AsavoaeA #abstraction #framework #semantics #𝕂
- Collecting Semantics under Predicate Abstraction in the 𝕂 Framework (IMA, MA), pp. 123–139.
- FASE-2017-RiescoAA #semantics #slicing
- Slicing from Formal Semantics: Chisel (AR0, IMA, MA), pp. 374–378.