| 2008 |
|---|
| 15 | EE | David Lo,
Shahar Maoz:
Mining Scenario-Based Triggers and Effects.
ASE 2008: 109-118 |
| 14 | EE | Yoram Atir,
David Harel,
Asaf Kleinbort,
Shahar Maoz:
Object Composition in Scenario-Based Programming.
FASE 2008: 301-316 |
| 13 | EE | Shahar Maoz:
Model-Based Traces.
MoDELS Workshops 2008: 109-119 |
| 12 | EE | David Lo,
Shahar Maoz:
Hierarchical inter-object traces for specification mining.
OOPSLA Companion 2008: 761-762 |
| 11 | EE | David Lo,
Shahar Maoz:
Specification mining of symbolic scenario-based models.
PASTE 2008: 29-35 |
| 10 | EE | David Harel,
Shahar Maoz,
Itai Segall:
Some Results on the Expressive Power and Complexity of LSCs.
Pillars of Computer Science 2008: 351-366 |
| 9 | EE | David Harel,
Shahar Maoz:
Assert and negate revisited: Modal semantics for UML sequence diagrams.
Software and System Modeling 7(2): 237-252 (2008) |
| 2007 |
|---|
| 8 | EE | David Lo,
Shahar Maoz,
Siau-Cheng Khoo:
Mining modal scenario-based specifications from execution traces of reactive systems.
ASE 2007: 465-468 |
| 7 | EE | David Harel,
Asaf Kleinbort,
Shahar Maoz:
S2A: A Compiler for Multi-modal UML Sequence Diagrams.
FASE 2007: 121-124 |
| 6 | EE | David Lo,
Shahar Maoz,
Siau-Cheng Khoo:
Mining modal scenarios from execution traces.
OOPSLA Companion 2007: 777-778 |
| 5 | EE | Shahar Maoz,
Asaf Kleinbort,
David Harel:
Towards Trace Visualization and Exploration for Reactive Systems.
VL/HCC 2007: 153-156 |
| 2006 |
|---|
| 4 | EE | David Harel,
Shahar Maoz:
Assert and negate revisited: modal semantics for UML sequence diagrams.
SCESM 2006: 13-20 |
| 3 | EE | Shahar Maoz,
David Harel:
From multi-modal scenarios to code: compiling LSCs into aspectJ.
SIGSOFT FSE 2006: 219-230 |
| 2001 |
|---|
| 2 | EE | Alexander Moshe Rabinovich,
Shahar Maoz:
An Infinite Hierarchy of Temporal Logics over Branching Time.
Inf. Comput. 171(2): 306-332 (2001) |
| 2000 |
|---|
| 1 | EE | Alexander Moshe Rabinovich,
Shahar Maoz:
Why so Many Temporal Logics Climb up the Trees?
MFCS 2000: 629-639 |
