Joanne M. Atlee

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Sandy Beidu

> Home > Persons > Joanne M. Atlee

Publications

2019
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BeiduA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BeiduA19
Sandy Beidu, Joanne M. Atlee:
Detecting Feature Interactions in FORML Models. From Software Engineering to Formal Methods and Tools, and Back 2019: 220-235
2015
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BeiduAS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BeiduAS15
Sandy Beidu, Joanne M. Atlee, Pourya Shaker:
Incremental and Commutative Composition of State-Machine Models of Features. MiSE@ICSE 2015: 13-18
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/Ben-DavidSAB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Ben-DavidSAB15
Shoham Ben-David, Baruch Sterin, Joanne M. Atlee, Sandy Beidu:
Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods. ICSE (1) 2015: 189-199
[c40]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/models/AtleeBFL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/AtleeBFL15
Joanne M. Atlee, Sandy Beidu, Uli Fahrenberg, Axel Legay:
Merging Features in Featured Transition Systems. MoDeVVa@MoDELS 2015: 38-43
2013
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/AtleeBDFS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/AtleeBDFS13
Joanne M. Atlee, Sandy Beidu, Nancy A. Day, Fathiyeh Faghih, Pourya Shaker:
Recommendations for improving the usability of formal methods for product lines. FormaliSE@ICSE 2013: 43-49

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.