BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Cyprus
1 × Spain
3 × Portugal
Collaborated with:
L.E.M.Morales M.A.Pérez K.B.Akhlaki J.A.H.Terriza
Talks about:
model (4) composit (3) process (3) system (3) verif (3) time (3) check (2) busi (2) bpmn (2) uml (2)

Person: Manuel I. Capel Tuñón

DBLP DBLP: Tu=ntilde==oacute=n:Manuel_I=_Capel

Contributed to:

ICEIS ISAS 20102010
Post-ICEIS 20102010
ICEIS ISAS v1 20082008
ICEIS EIS 20072007
ICEIS ISAS 20062006

Wrote 5 papers:

ICEIS-ISAS-2010-MoralesTP #composition #process #verification
Compositional Verification of Business Processes Modelled with BPMN (LEMM, MICT, MAP), pp. 113–122.
ICEIS-J-2010-MoralesTP10a #composition #formal method #process #verification
A Formalization Proposal of Timed BPMN for Compositional Verification of Business Processes (LEMM, MICT, MAP), pp. 388–403.
ICEIS-ISAS1-2008-MoralesTPA #communication #composition #concept #model checking #verification
A Conceptual Scheme for Compositional Model-Checking Verification of Critical Communicating Systems (LEMM, MICT, MAP, KBA), pp. 86–93.
ICEIS-EIS-2007-MoralesTA #behaviour #consistency #modelling #semantics #uml
Checking Behavioural Consistency of UML-RT Models through Trace-Based Semantics (LEMM, MICT, KBA), pp. 205–211.
ICEIS-ISAS-2006-AkhlakiTT #algebra #design #modelling #process #realtime #specification #uml
Design of Real-Time Systems by Systematic Transformation of UML/RT Models into Simple Timed Process Algebra System Specifications (KBA, MICT, JAHT), pp. 290–297.

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.