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 × 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 DBLP: Capel:Manuel_I=

Contributed to:

ICEIS v2 20122012
Post-ICEIS 20092009
Post-ICEIS 20082008
ICEIS v3 20052005
PDP 19971997

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

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.