Travelled to:1 × Singapore
2 × France
2 × Italy
2 × USA
Collaborated with:C.Rocha W.Denman J.M.Rushby ∅ J.Meseguer S.Xia B.D.Vito A.Dutle A.Narkawicz R.W.Butler H.Cadavid R.Siminiceanu P.S.Duggirala L.Wang S.Mitra M.Viswanathan
Talks about:applic (2) model (2) autom (2) interchang (1) substitut (1) confluenc (1) structur (1) protocol (1) parallel (1) normalis (1)
Person: César A. Muñoz
DBLP: Mu=ntilde=oz:C=eacute=sar_A=
Contributed to:
2015
2014
2014
2012
20051999
1996Wrote 8 papers:
- TAP-2015-DutleMNB #animation #validation
- Software Validation via Model Animation (AD, CAM, AN, RWB), pp. 92–108.
- FM-2014-DenmanM #automation #proving
- Automated Real Proving in PVS via MetiTarski (WD, CAM), pp. 194–199.
- FM-2014-DuggiralaWMVM #modelling #parallel #precedence #protocol
- Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol (PSD, LW, SM, MV, CAM), pp. 215–229.
- 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.
- ASE-2005-XiaVM #automation #generative #testing
- Automated test generation for engineering applications (SX, BDV, CAM), pp. 283–286.
- FM-v1-1999-MunozR
- Structural Embeddings: Mechanization with Method (CAM, JMR), pp. 452–471.
- LICS-1996-Munoz #calculus #confluence #normalisation
- Confluence and Preservation of Strong Normalisation in an Explicit Substitutions Calculus (CAM), pp. 440–447.