Travelled to:1 × Brazil
1 × France
1 × USA
Collaborated with:S.Edelkamp A.Lluch-Lafuente
Talks about:direct (2) model (2) check (2) parallel (1) transit (1) heurist (1) analysi (1) system (1) search (1) linear (1)
Person: Shahid Jabbar
DBLP: Jabbar:Shahid
Contributed to:
2006
20062005Wrote 3 papers:
- ICGT-2006-EdelkampJL #analysis #graph #heuristic
- Heuristic Search for the Analysis of Graph Transition Systems (SE, SJ, ALL), pp. 414–429.
- VMCAI-2006-JabbarE #linear #model checking #parallel
- Parallel External Directed Model Checking with Linear I/O (SJ, SE), pp. 237–251.
- VMCAI-2005-JabbarE #model checking #performance
- I/O Efficient Directed Model Checking (SJ, SE), pp. 313–329.