Travelled to:1 × Italy
1 × Poland
1 × Spain
1 × USA
Collaborated with:L.E.M.Morales J.A.H.Terriza M.A.Pérez K.B.Akhlaki F.Araque J.M.M.Ruiz A.Palma
Talks about:formal (4) model (4) composit (3) system (3) critic (3) verif (3) approach (2) automat (2) specif (2) safeti (2)
Person: Manuel I. Capel
DBLP: Capel:Manuel_I=
Contributed to:
2012200920082005
1997Wrote 5 papers:
- ICEIS-v2-2012-CapelM #approach #automation #composition #correctness #model checking #safety #verification
- A Formal Compositional Verification Approach for Safety-Critical Systems Correctness — Model-Checking based Methodological Approach to Automatically Verify Safety Critical Systems Software (MIC, LEMM), pp. 105–112.
- ICEIS-J-2009-MoralesC #automation #composition #process #verification
- Automatic Compositional Verification of Business Processes (LEMM, MIC), pp. 479–490.
- ICEIS-J-2008-MoralesCPA #composition #model checking #verification
- Compositional Model-Checking Verification of Critical Systems (LEMM, MIC, MAP, KBA), pp. 213–225.
- ICEIS-v3-2005-CapelH #csp #modelling #specification #visual notation
- Transforming SA/RT Graphical Specifications into CSP+T Formalism — Obtaining a Formal Specification from Semi-Formal SA/RT Essential Models (MIC, JAHT), pp. 65–72.
- PDP-1997-AraqueCRP #reuse #usability
- A proposal to improve reusability in a language based on the occam-CSP model (FA, MIC, JMMR, AP), pp. 41–46.