Travelled to:1 × Poland
1 × Portugal
Collaborated with:B.Genest D.Peled D.Bošnački
Talks about:sequenc (1) ensembl (1) search (1) messag (1) detect (1) commut (1) chart (1) race (1) lean (1) base (1)
Person: Edith Elkind
DBLP: Elkind:Edith
Contributed to:
2007
2007Wrote 2 papers:
- ICALP-2007-BosnackiEGP #agile #commutative #on the
- On Commutativity Based Edge Lean Search (DB, EE, BG, DP), pp. 158–170.
- TACAS-2007-ElkindGP #detection #sequence chart
- Detecting Races in Ensembles of Message Sequence Charts (EE, BG, DP), pp. 420–434.