Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Dor Ma'ayan

Dor M. Ma'ayan – Dor D. Ma'ayan

> Home > Persons

Person information

affiliation: Technion-Israel Institute of Technology, Haifa, Israel

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/se/AmramMMPR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/AmramMMPR24
Gal Amram, Dor Ma'ayan, Shahar Maoz, Or Pistiner, Jan Oliver Ringert:
Triggers for Reactive Synthesis Specifications. Software Engineering 2024: 41-42
2023
[c7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/icse/MaayanMR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MaayanMR23
Dor Ma'ayan, Shahar Maoz, Jan Oliver Ringert:
Anti-Patterns (Smells) in Temporal Specifications. ICSE (NIER) 2023: 13-18
[c6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/icse/AmramMMPR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/AmramMMPR23
Gal Amram, Dor Ma'ayan, Shahar Maoz, Or Pistiner, Jan Oliver Ringert:
Triggers for Reactive Synthesis Specifications. ICSE 2023: 729-741
[c5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/icse/MaayanM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MaayanM23
Dor Ma'ayan, Shahar Maoz:
Using Reactive Synthesis: An End-to-End Exploratory Case Study. ICSE 2023: 742-754
2022
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/models/MaayanMR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/MaayanMR22
Dor Ma'ayan, Shahar Maoz, Roey Rozi:
Validating the correctness of reactive systems specifications through systematic exploration. MoDELS 2022: 132-142
2020
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tog/YeNKMWASC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tog/YeNKMWASC20
Katherine Ye, Wode Ni, Max Krieger, Dor Ma'ayan, Jenna Wise, Jonathan Aldrich, Joshua Sunshine, Keenan Crane:
Penrose: from mathematical notation to beautiful diagrams. ACM Trans. Graph. 39(4): 144 (2020)
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/chi/MaayanNYKS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/chi/MaayanNYKS20
Dor Ma'ayan, Wode Ni, Katherine Ye, Chinmay Kulkarni, Joshua Sunshine:
How Domain Experts Create Conceptual Diagrams and Implications for Tool Design. CHI 2020: 1-14

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2018
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/Maayan18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Maayan18
Dor D. Ma'ayan:
The quality of junit tests: an empirical study report. SQUADE@ICSE 2018: 33-36
2017
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/vissoft/GilMSRR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vissoft/GilMSRR17
Yossi Gil, Dor Ma'ayan, Niv Shalmon, Raviv Rachmiel, Ori Roth:
Syntactic Zoom-Out / Zoom-In Code with the Athenizer. VISSOFT 2017: 124-128

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.