BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Mu=ntilde=oz:C=eacute=sar_A=

Contributed to:

TAP 20152015
FM 20142014
WRLA 20142014
IFM 20122012
ASE 20052005
World Congress on Formal Methods 19991999
LICS 19961996

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.