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 × Canada
1 × Spain
2 × USA
Collaborated with:
N.Rico G.v.Bochmann S.Hallé R.Villemaire B.Ghandour H.Mili J.Dargham R.Godin A.Mili
Talks about:
program (2) system (2) model (2) check (2) workflow (1) properti (1) specifi (1) develop (1) decentr (1) analysi (1)

Person: Omar Cherkaoui

DBLP DBLP: Cherkaoui:Omar

Contributed to:

EDOC 20072007
TOOLS USA 19991999
FME 19941994
CAV 19921992

Wrote 4 papers:

EDOC-2007-HalleVCG #model checking #workflow
Model Checking Data-Aware Workflow Properties with CTL-FO+ (SH, RV, OC, BG), pp. 267–278.
TOOLS-USA-1999-MiliDCGM #development #distributed #object-oriented #programming #source code
View Programming for Decentralized Development of OO Programs (HM, JD, OC, RG, AM), pp. 210–221.
FME-1994-Cherkaoui #analysis #security #specification
Specification and Analysis of a Security Management System (OC), pp. 66–82.
CAV-1992-RicoBC #model checking #realtime
Model-Checking for Real-Time Systems Specified in Lotos (NR, GvB, OC), pp. 288–301.

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.