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: Cherkaoui:Omar
Contributed to:
2007
1999
1994
1992Wrote 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.