Travelled to:1 × France
1 × Germany
1 × Italy
1 × Lithuania
1 × USA
Collaborated with:P.T.Breuer L.S.Fernández A.Pardo C.Alario-Hoyos M.Pérez-Sanagustín J.Arias-Fisteus L.Sánchez N.M.Madrid J.P.Bowen R.B.France M.M.Larrondo-Petrie
Talks about:vhdl (3) semant (2) techniqu (1) interact (1) collabor (1) product (1) hardwar (1) system (1) reason (1) formal (1)
Person: Carlos Delgado Kloos
DBLP: Kloos:Carlos_Delgado
Contributed to:
2015
2005
2005
19991994
1994Wrote 6 papers:
- ITiCSE-2015-KloosAP
- Tips and Techniques for MOOC Production (CDK, CAH, MPS), p. 329.
- SAC-2005-Arias-FisteusFK #model checking
- Applying model checking to BPEL4WS business collaborations (JAF, LSF, CDK), pp. 826–830.
- SIGITE-2005-PardoK #interactive #operating system
- Deploying interactive e-labs for a course on operating systems (AP, CDK), pp. 71–78.
- DATE-1999-BreuerMBFLK #reasoning #semantics #using
- Reasoning about VHDL and VHDL-AMS using Denotational Semantics (PTB, NMM, JPB, RBF, MMLP, CDK), pp. 346–352.
- EDAC-1994-BreuerFK #semantics
- Clean formal semantics for VHDL (PTB, LSF, CDK), pp. 641–647.
- ICLP-1994-BreuerSK #design #hardware #proving
- Proving Hardware Designs (PTB, LS, CDK), p. 745.