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