Travelled to:1 × Austria
1 × Belgium
1 × Brazil
1 × China
1 × Denmark
1 × France
1 × New Zealand
1 × Norway
1 × Spain
1 × Sweden
1 × The Netherlands
12 × USA
3 × Italy
Collaborated with:N.A.Day A.Taleghani J.Niu P.Shaker S.Esmaeilsabzali R.Kazman C.Bocovich D.Dietrich Y.Jia J.D.Hay A.I.Antón M.A.Buckley K.P.Pomakis J.A.McDermid J.D.Gannon P.Pourali Z.Luo ∅ S.Wang B.Fischer G.Y.Guo M.H.Zibaeenejad C.Zhang K.Czarnecki S.Ben-David B.Sterin S.Beidu A.Prout Y.Lu R.J.LeBlanc T.C.Lethbridge A.E.K.Sobel J.B.Thompson P.P.Dasiewicz R.E.Seviora A.Singh T.Berger D.Nair R.Rublack A.Wasowski J.Guo E.Zulkoski R.Olaechea D.Rayside S.Apel
Talks about:model (12) featur (11) requir (8) interact (7) semant (7) softwar (6) base (5) engin (4) variabl (3) languag (3)
♀ Person: Joanne M. Atlee
DBLP: Atlee:Joanne_M=
Facilitated 2 volumes:
PrCo
PrChContributed to:
2015
2014
20142014
2014
20132012
201120102010200920092008200620052004
20022003200220002000
1999
1996
1996199519932018
2016
20172019Wrote 31 papers:
- ICSE-v1-2015-Ben-DavidSAB #model checking #product line #requirements #satisfiability #using
- Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods (SBD, BS, JMA, SB), pp. 189–199.
- ASE-2014-GuoZORCAA #combinator #optimisation #parallel #scalability
- Scaling exact multi-objective combinatorial optimization by parallelization (JG, EZ, RO, DR, KC, SA, JMA), pp. 409–420.
- FSE-2014-BocovichA #feature model #interactive
- Variable-specific resolutions for feature interactions (CB, JMA), pp. 553–563.
- MoDELS-2014-BergerNRACW #industrial #modelling #variability
- Three Cases of Feature-Based Variability Modeling in Industry (TB, DN, RR, JMA, KC, AW), pp. 302–319.
- SPLC-2014-ShakerA #behaviour #interactive #product line
- Behaviour interactions among product-line features (PS, JMA), pp. 242–246.
- RE-2013-DietrichA #interface #requirements
- A mode-based pattern for feature requirements, and a generic feature interface (DD, JMA), pp. 82–91.
- RE-2012-ShakerAW #feature model #modelling #requirements
- A feature-oriented requirements modelling language (PS, JMA, SW), pp. 151–160.
- GPCE-2011-EsmaeilsabzaliFA #aspect-oriented #automation #modelling #monitoring
- Monitoring aspects for the customization of automatically generated code for big-step models (SE, BF, JMA), pp. 117–126.
- ASE-2010-TaleghaniA
- Search-carrying code (AT, JMA), pp. 367–376.
- MoDELS-v2-2010-EsmaeilsabzaliDA #framework #modelling #requirements
- A Common Framework for Synchronization in Requirements Modelling Languages (SE, NAD, JMA), pp. 198–212.
- ASE-2009-TaleghaniA #estimation
- State-Space Coverage Estimation (AT, JMA), pp. 459–467.
- RE-2009-EsmaeilsabzaliDAN #modelling #semantics
- Semantic Criteria for Choosing a Language for Big-Step Models (SE, NAD, JMA, JN), pp. 181–190.
- MoDELS-2008-ProutADS #code generation #configuration management #semantics
- Semantically Configurable Code Generation (AP, JMA, NAD, PS), pp. 705–720.
- MoDELS-2006-TaleghaniA #semantics #uml
- Semantic Variations Among UML StateMachines (AT, JMA), pp. 245–259.
- ICSE-2005-AtleeLLST #guidelines #re-engineering #source code
- Software engineering 2004: ACM/IEEE-CS guidelines for undergraduate programs in software engineering (JMA, RJL, TCL, AEKS, JBT), pp. 623–624.
- ASE-2004-LuADN #semantics
- Mapping Template Semantics to SMV (YL, JMA, NAD, JN), pp. 320–325.
- CBSE-2003-JiaA #feature model #interactive #runtime
- Run-Time Management of Feature Interactions (YJ, JMA), p. 7.
- RE-2003-NiuAD #comprehension #modelling #specification
- Understanding and Comparing Model-Based Specification Notations (JN, JMA, NAD), pp. 188–199.
- FSE-2002-NiuAD #composition #modelling #semantics
- Composable semantics for model-based notations (JN, JMA, NAD), pp. 149–158.
- FSE-2000-HayA #interactive
- Composing features and resolving interactions (JDH, JMA), pp. 110–119.
- ICRE-2000-AntonA #certification #requirements #what
- What Do You Mean I’ve Been Practicing without a License? Certification and Licensing of Requirements Engineering Professionals (AIA, JMA), p. 151.
- WICSA-1999-GuoAK #architecture #re-engineering
- A Software Architecture Reconstruction Method (GYG, JMA, RK), pp. 15–34.
- CSEE-1996-AtleeDKSS #re-engineering
- A Joint CS/E&CE Undergraduate Option in Software Engineering (JMA, PPD, RK, RES, AS), pp. 16–28.
- ISSTA-1996-AtleeB #requirements #semantics
- A Logic-Model Semantics for SCR Software Requirements (JMA, MAB), pp. 280–292.
- ISSTA-1996-PomakisA #analysis #feature model #interactive #reachability
- Reachability Analysis of Feature Interactions: A Progress Report (KPP, JMA), pp. 216–223.
- RE-1995-AtleeM #analysis #requirements #safety
- Integrating requirements analysis and safety analysis (JMA, JAM), pp. 158–159.
- ISSTA-1993-AtleeG #requirements
- Analyzing Timing Requirements (JMA, JDG), pp. 117–127.
- MoDELS-2018-PouraliA #challenge #empirical #modelling #tool support #using
- An Empirical Investigation to Understand the Difficulties and Challenges of Software Modellers When Using Modelling Tools (PP, JMA), pp. 224–234.
- SLE-2016-LuoA #c #configuration management #modelling #named #programming #semantics #state machine
- BSML-mbeddr: integrating semantically configurable state-machine models in a C programming environment (ZL, JMA), pp. 105–117.
- ESEC-FSE-2017-ZibaeenejadZA #feature model #interactive
- Continuous variable-specific resolutions of feature interactions (MHZ, CZ, JMA), pp. 408–418.
- ESEC-FSE-2019-Atlee #feature model #interactive
- Living with feature interactions (keynote) (JMA), p. 1.