Travelled to:1 × Estonia
1 × France
1 × Italy
Collaborated with:J.Meseguer C.A.Muñoz R.Gutiérrez H.Cadavid R.Siminiceanu
Talks about:modulo (2) interchang (1) interact (1) languag (1) environ (1) analysi (1) system (1) rewrit (1) formal (1) execut (1)
Person: Camilo Rocha
DBLP: Rocha:Camilo
Contributed to:
2014
20122012Wrote 3 papers:
- WRLA-2014-RochaMM #analysis #smt
- Rewriting Modulo SMT and Open System Analysis (CR, JM, CAM), pp. 247–262.
- IFM-2012-RochaCMS #execution #interactive #verification
- A Formal Interactive Verification Environment for the Plan Execution Interchange Language (CR, HC, CAM, RS), pp. 343–357.
- WRLA-2012-GutierrezMR #axiom #order #similarity
- Order-Sorted Equality Enrichments Modulo Axioms (RG, JM, CR), pp. 162–181.