( en | de | ru )

 

Disambiguation of "Maoz, Shahar"

Author of the publication

copydeleteadd this publication to your clipboard
Towards Trace Visualization and Exploration for Reactive Systems.

, , and . VL/HCC, page 153-156. IEEE Computer Society, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Yuval Shahar

Rita Maoz

Dorit Maoz

Daniel Maoz

Ariel Maoz

 

Other publications of authors with the same name

S2A: A Compiler for Multi-modal UML Sequence Diagrams., , and . FASE, volume 4422 of Lecture Notes in Computer Science, page 121-124. Springer, (2007)On the Power of Play-Out for Scenario-Based Programs., , and . Concurrency, Compositionality, and Correctness, volume 5930 of Lecture Notes in Computer Science, page 207-220. Springer, (2010)Why so Many Temporal Logics Climb up the Trees?, and . MFCS, volume 1893 of Lecture Notes in Computer Science, page 629-639. Springer, (2000)Size and Accuracy in Model Inference., , and . ASE, page 887-898. IEEE, (2019)Triggers for Reactive Synthesis Specifications., , , , and . ICSE, page 729-741. IEEE, (2023)Unrealizable Cores for Reactive Systems Specifications., and . ICSE, page 25-36. IEEE, (2021)AutoDebloater: Automated Android App Debloating., , , , , , and . ASE, page 2090-2093. IEEE, (2023)Accelerating Smart Play-Out., , , и . SOFSEM, том 5901 из Lecture Notes in Computer Science, стр. 477-488. Springer, (2010)Mining Hierarchical Scenario-Based Specifications., и . ASE, стр. 359-370. IEEE Computer Society, (2009)Hierarchical inter-object traces for specification mining., и . OOPSLA Companion, стр. 761-762. ACM, (2008)