Остановите войну!
for scientists:
default search action
Joanne M. Atlee
- > Home > Persons > Joanne M. Atlee
Publications
- 2023
- [j13]Ramy Shahin, Rafael F. Toledo, Robert Hackman, S. Ramesh, Joanne M. Atlee, Marsha Chechik:
Applying declarative analysis to industrial automotive software product line models. Empir. Softw. Eng. 28(2): 40 (2023) - [j12]Lucas Zamprogno, Braxton Hall, Reid Holmes, Joanne M. Atlee:
Dynamic Human-in-the-Loop Assertion Generation. IEEE Trans. Software Eng. 49(4): 2337-2351 (2023) - [i4]Rafael F. Toledo, Joanne M. Atlee, Rui Ming Xiong:
Comprehending Variability in Analysis Results of Software Product Lines. CoRR abs/2310.20042 (2023) - 2021
- [c57]Ramy Shahin, Robert Hackman, Rafael F. Toledo, S. Ramesh, Joanne M. Atlee, Marsha Chechik:
Applying Declarative Analysis to Software Product Line Models: An Industrial Study. MoDELS 2021: 145-155 - [i3]Ramy Shahin, Robert Hackman, Rafael F. Toledo, S. Ramesh, Joanne M. Atlee, Marsha Chechik:
Applying Declarative Analysis to Software Product Line Models: An Industrial Study. CoRR abs/2107.07690 (2021) - 2020
- [c56]Robert Hackman, Joanne M. Atlee, Alistair Finn Hackett, Michael W. Godfrey:
mel- model extractor language for extracting facts from models. MoDELS 2020: 200-210 - 2019
- [c55]Sandy Beidu, Joanne M. Atlee:
Detecting Feature Interactions in FORML Models. From Software Engineering to Formal Methods and Tools, and Back 2019: 220-235 - [c54]Alessio Bucaioni, Juergen Dingel, Joanne M. Atlee:
Message from the MASE 2019 Chair. MoDELS (Companion) 2019: 1 - [c50]Bryan J. Muscedere, Robert Hackman, Davood Anbarnam, Joanne M. Atlee, Ian J. Davis, Michael W. Godfrey:
Detecting Feature-Interaction Symptoms in Automotive Software using Lightweight Analysis. SANER 2019: 175-185 - [e9]Joanne M. Atlee, Tevfik Bultan, Jon Whittle:
Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019. IEEE / ACM 2019, ISBN 978-1-7281-0869-8 [contents] - [e8]Joanne M. Atlee, Tevfik Bultan, Jon Whittle:
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019. IEEE / ACM 2019, ISBN 978-1-7281-1764-5 [contents] - 2018
- [c49]Rafael Olaechea, Joanne M. Atlee, Axel Legay, Uli Fahrenberg:
Trace checking for dynamic software product lines. SEAMS@ICSE 2018: 69-75 - 2016
- [c44]Rafael Olaechea, Uli Fahrenberg, Joanne M. Atlee, Axel Legay:
Long-term average cost in featured transition systems. SPLC 2016: 109-118 - [i2]Rafael Olaechea, Uli Fahrenberg, Joanne M. Atlee, Axel Legay:
Long-Term Average Cost in Featured Transition Systems. CoRR abs/1604.06781 (2016) - 2015
- [c43]Sandy Beidu, Joanne M. Atlee, Pourya Shaker:
Incremental and Commutative Composition of State-Machine Models of Features. MiSE@ICSE 2015: 13-18 - [c42]Joanne M. Atlee, Uli Fahrenberg, Axel Legay:
Measuring Behaviour Interactions between Product-Line Features. FormaliSE@ICSE 2015: 20-25 - [c41]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]Joanne M. Atlee, Sandy Beidu, Uli Fahrenberg, Axel Legay:
Merging Features in Featured Transition Systems. MoDeVVa@MoDELS 2015: 38-43 - [e7]Michal Antkiewicz, Joanne M. Atlee, Juergen Dingel, S. Ramesh:
Proceedings of the International Workshop on Modelling in Automotive Software Engineering co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada. September 27, 2015. CEUR Workshop Proceedings 1487, CEUR-WS.org 2015 [contents] - [e6]Joanne M. Atlee, Stefania Gnesi:
Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering, FMSPLE@ETAPS 2015, London, UK, 11 April 2015. EPTCS 182, 2015 [contents] - 2014
- [c39]Jianmei Guo, Edward Zulkoski, Rafael Olaechea, Derek Rayside, Krzysztof Czarnecki, Sven Apel, Joanne M. Atlee:
Scaling exact multi-objective combinatorial optimization by parallelization. ASE 2014: 409-420 - [c38]Thorsten Berger, Divya Nair, Ralf Rublack, Joanne M. Atlee, Krzysztof Czarnecki, Andrzej Wasowski:
Three Cases of Feature-Based Variability Modeling in Industry. MoDELS 2014: 302-319 - [c36]Pourya Shaker, Joanne M. Atlee:
Behaviour interactions among product-line features. SPLC 2014: 242-246 - [e5]Joanne M. Atlee, Vinay Kulkarni, Tony Clark, Robert B. France, Bernhard Rumpe:
6th International Workshop on Modeling in Software Engineering, MiSE 2014, Hyderabad, India, June 2-3, 2014. ACM 2014, ISBN 978-1-4503-2849-4 [contents] - [i1]Sven Apel, Joanne M. Atlee, Luciano Baresi, Pamela Zave:
Feature Interactions: The Next Generation (Dagstuhl Seminar 14281). Dagstuhl Reports 4(7): 1-24 (2014) - 2013
- [c35]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 - [c34]Joanne M. Atlee, Robert Baillargeon, Marsha Chechik, Robert B. France, Jeff Gray, Richard F. Paige, Bernhard Rumpe:
5th international workshop on modeling in software engineering (MiSE 2013). ICSE 2013: 1531-1532 - [c33]David Dietrich, Joanne M. Atlee:
A pattern for structuring the behavioural requirements of features of an embedded system. RePa 2013: 1-7 - [c32]David Dietrich, Joanne M. Atlee:
A mode-based pattern for feature requirements, and a generic feature interface. RE 2013: 82-91 - [c31]Dave Clarke, Ina Schaefer, Maurice H. ter Beek, Sven Apel, Joanne M. Atlee:
Formal methods and analysis in software product line engineering: 4th edition of FMSPLE workshop series. SPLC 2013: 266-267 - [c30]Thorsten Berger, Ralf Rublack, Divya Nair, Joanne M. Atlee, Martin Becker, Krzysztof Czarnecki, Andrzej Wasowski:
A survey of variability modeling in industrial practice. VaMoS 2013: 7:1-7:8 - [e4]Joanne M. Atlee, Robert Baillargeon, Marsha Chechik, Robert B. France, Jeff Gray, Richard F. Paige, Bernhard Rumpe:
Proceedings of the 5th International Workshop on Modeling in Software Engineering, MiSE 2013, San Francisco, California, USA, May 18-19, 2013. IEEE Computer Society 2013, ISBN 978-1-4673-6447-8 [contents] - 2012
- [j10]Adam Prout, Joanne M. Atlee, Nancy A. Day, Pourya Shaker:
Code generation for a family of executable modelling notations. Softw. Syst. Model. 11(2): 251-272 (2012) - [j9]Joanne M. Atlee, Paola Inverardi:
Guest Editor's Introduction: International Conference on Software Engineering. IEEE Trans. Software Eng. 38(1): 3-4 (2012) - [c29]Pourya Shaker, Joanne M. Atlee, Shige Wang:
A feature-oriented requirements modelling language. RE 2012: 151-160 - [e3]Joanne M. Atlee, Robert Baillargeon, Robert B. France, Geri Georg, Ana Moreira, Bernhard Rumpe, Steffen Zschaler:
Proceedings of the 4th International Workshop on Modeling in Software Engineering, MiSE 2012, Zurich, Switzerland, June 2-3, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-1757-3 [contents] - 2011
- [c28]Shahram Esmaeilsabzali, Bernd Fischer, Joanne M. Atlee:
Monitoring aspects for the customization of automatically generated code for big-step models. GPCE 2011: 117-126 - 2010
- [j8]Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee, Jianwei Niu:
Deconstructing the semantics of big-step modelling languages. Requir. Eng. 15(2): 235-265 (2010) - [c26]Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee:
A Common Framework for Synchronization in Requirements Modelling Languages. MoDELS (2) 2010: 198-212 - 2009
- [c24]Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee, Jianwei Niu:
Semantic Criteria for Choosing a Language for Big-Step Models. RE 2009: 181-190 - 2008
- [c23]Joanne M. Atlee, Robert B. France, Geri Georg, Ana Moreira, Bernhard Rumpe, Steven Völkel, Steffen Zschaler:
Modeling in software engineering. ICSE Companion 2008: 1039-1040 - [c22]Adam Prout, Joanne M. Atlee, Nancy A. Day, Pourya Shaker:
Semantically Configurable Code Generation. MoDELS 2008: 705-720 - [e2]Joanne M. Atlee, Robert B. France, Geri Georg, Ana Moreira, Bernhard Rumpe, Steven Völkel, Steffen Zschaler:
International Workshop on Modeling in Software Engineering, MiSE 2008, Leipzig, Germany, May 10-11, 2008. ACM 2008, ISBN 978-1-60558-025-8 [contents] - 2007
- [c21]Joanne M. Atlee, Robert B. France, Geri Georg, Ana Moreira, Bernhard Rumpe, Steffen Zschaler:
Modeling in Software Engineering. ICSE Companion 2007: 113-114 - [c20]Betty H. C. Cheng, Joanne M. Atlee:
Research Directions in Requirements Engineering. FOSE 2007: 285-303 - 2006
- [j6]Joanne M. Atlee, Roel J. Wieringa:
RE 05: Engineering Successful Products. IEEE Softw. 23(3): 16-18 (2006) - 2004
- [c15]Yun Lu, Joanne M. Atlee, Nancy A. Day, Jianwei Niu:
Mapping Template Semantics to SMV. ASE 2004: 320-325 - 2003
- [j5]Jianwei Niu, Joanne M. Atlee, Nancy A. Day:
Template Semantics for Model-Based Notations. IEEE Trans. Software Eng. 29(10): 866-882 (2003) - [c14]Jianwei Niu, Joanne M. Atlee, Nancy A. Day:
Understanding and Comparing Model-Based Specification Notations. RE 2003: 188-199 - 2002
- [c13]Jianwei Niu, Joanne M. Atlee, Nancy A. Day:
Composable semantics for model-based notations. SIGSOFT FSE 2002: 149-158 - 1999
- [c10]George Yanbing Guo, Joanne M. Atlee, Rick Kazman:
A Software Architecture Reconstruction Method. WICSA 1999: 15-34 - 1998
- [e1]Mark A. Ardis, Joanne M. Atlee:
Proceedings of the Second Workshop on Formal Methods in Software Practice, March 4-5, 1998, Clearwater Beach, Florida, USA. ACM 1998, ISBN 0-89791-954-8 [contents] - 1996
- [j3]Joanne M. Atlee, Marsha Chechik, John D. Gannon:
Using Model Checking to Analyze Requirements and Designs. Adv. Comput. 43: 141-178 (1996) - [c8]Joanne M. Atlee, Paul P. Dasiewicz, Rick Kazman, Rudolph E. Seviora, Ajit Singh:
A Joint CS/E&CE Undergraduate Option in Software Engineering. CSEE 1996: 16-28 - 1995
- [c5]Joanne M. Atlee, John A. McDermid:
Integrating requirements analysis and safety analysis. RE 1995: 158-159 - 1993
- [j2]Joanne M. Atlee, John D. Gannon:
State-Based Model Checking of Event-Driven System Requirements. IEEE Trans. Software Eng. 19(1): 24-40 (1993) - [c3]Joanne M. Atlee, John D. Gannon:
Analyzing Timing Requirements. ISSTA 1993: 117-127 - 1991
- [c2]Joanne M. Atlee, John D. Gannon:
State-based model checking of event-driven system requirements. SIGSOFT 1991: 16-28
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-04 20:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint