Year: 2018 - page 2 [rss]
[25] Client/Server Benchmarking and Dashboard (Victor Escober), 2018. [bib]
[24] Evaluating the suitability of state-based formal methods for industrial deployment (Atif Mashkoor, Felix Kossak, Alexander Egyed), In Software Practice and Experience, volume 48, 2018. [bib] [pdf] [doi]
[23] Introduction to the special issue on the 18th international conference on model driven engineering languages and systems (MODELS'15) (Jordi Cabot, Alexander Egyed), In Software and System Modeling, volume 17, 2018. [bib] [pdf] [doi]
[22] A systematic mapping study of information visualization for software product line engineering (Roberto E. Lopez-Herrejon, Sheny Illescas, Alexander Egyed), In Journal of Software: Evolution and Process, volume 30, 2018. [bib] [pdf] [doi]
[21] Do code data sharing dependencies support an early prediction of software actual change impact set? (Xiaoyu Liu, LiGuo Huang, Alexander Egyed, Jidong Ge), In Journal of Software: Evolution and Process, volume 30, 2018. [bib] [pdf] [doi]
[20] A systematic literature review of the use of formal methods in medical software systems (Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor), In Journal of Software: Evolution and Process, volume 30, 2018. [bib] [pdf] [doi]
[19] Integrating formal methods into medical software development: The ASM approach (Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor, Elvinia Riccobene), In Sci. Comput. Program., volume 158, 2018. [bib] [pdf] [doi]
[18] Evolving software trace links between requirements and source code (Mona Rahimi, Jane Cleland-Huang), In Empirical Software Engineering, volume 23, 2018. [bib] [doi]
[17] Feature Maps: A Comprehensible Software Representation for Design Pattern Detection (Hannes Thaller, Lukas Linsbauer, Alexander Egyed), In CoRR, volume abs/1812.09873, 2018. [bib] [pdf]
[16] Maintaining Consistency across Engineering Artifacts (Alexander Egyed, Klaus Zeman, Peter Hehenberger, Andreas Demuth), In IEEE Computer, volume 51, 2018. [bib] [pdf] [doi]
[15] An Event-B-based approach to hybrid systems engineering and its application to a hemodialysis machine case study (Andreea Buga, Atif Mashkoor, Sorana Tania Nemes, Klaus-Dieter Schewe, Pornpan Songprasop), In Comput. Lang. Syst. Struct., volume 54, 2018. [bib] [pdf] [doi]
[14] Variability extraction and modeling for product variants (Lukas Linsbauer, Roberto E. Lopez-Herrejon, Alexander Egyed), In Proceeedings of the 22nd International Conference on Systems and Software Product Line - Volume 1, SPLC 2018, Gothenburg, Sweden, September 10-14, 2018, ACM, 2018. [bib] [pdf] [doi]
[13] Experiences on Traceability and Consistency Checking across Engineering Tools in an Automation Solution Company (Andreas Demuth, Roland Kretschmer, Michael Alexander Tröls, Georgios Kanakis, Davy Maes, Alexander Egyed), In Proceedings of Fachtagung Software Engineering und Software Management (SE), Ulm, Germanyli, 2018. [bib] [pdf]
[12] Analysis of Experiences with the Engineering of a Medical Device Using State-Based Formal Methods (Atif Mashkoor, Alexander Egyed), In Proceeding of the 2018 IEEE International Conference on Software Quality, Reliability and Security, QRS 2018, Lisbon, Portugal, July 16-20, IEEE, 2018. [bib] [pdf] [doi]
[11] Incremental Construction of Realizable Choreographies (Sarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur, Atif Mashkoor), In Proceedings of NASA Formal Methods - 10th International Symposium, (NFM 2018), Newport News, USA, 2018. [bib] [pdf] [doi]
[10] Change Propagation-based and Composition-based Co-evolution of Transformations with Evolving Metamodels (Djamel Eddine Khelladi, Roland Kretschmer, Alexander Egyed), In Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19 (Andrzej Wasowski, Richard F. Paige, Oystein Haugen, eds.), ACM, 2018. [bib] [pdf] [doi]
[9] Invited Talk: A Roadmap for Engineering Safe and Secure Cyber-Physical Systems (Alexander Egyed), (El Hassan Abdelwahed, Ladjel Bellatreche, Djamal Benslimane, Matteo Golfarelli, Stéphane Jean, Dominique Méry, Kazumi Nakamatsu, Carlos Ordonez, eds.), Springer, volume 929, 2018. [bib] [pdf] [doi]
[8] Predicting Higher Order Structural Feature Interactions in Variable Systems (Stefan Fischer, Lukas Linsbauer, Alexander Egyed, Roberto E. Lopez-Herrejon), In Proceedings of the 2018 IEEE International Conference on Software Maintenance and Evolution, ICSME 2018, Madrid, Spain, September 23-29, 2018, IEEE Computer Society, 2018. [bib] [pdf] [doi]
[7] An automated and instant discovery of concrete repairs for model inconsistencies (Roland Kretschmer, Djamel Eddine Khelladi, Alexander Egyed), In Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018 (Michel Chaudron, vica Crnkovic, Marsha Chechik, Mark Harman, eds.), ACM, 2018. [bib] [pdf] [doi]
[6] Feature-Oriented Evolution of Automation Software Systems in Industrial Software Ecosystems (Daniel Hinterreiter, Herbert Prähofer, Lukas Linsbauer, Paul Grünbacher, Florian Reisinger, Alexander Egyed), In 23rd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Torino, Italy, 2018. [bib] [pdf] [doi]
[5] Model-Driven Re-engineering of a Pressure Sensing System: An Experience Report (Atif Mashkoor, Felix Kossak, Miklós Biró, Alexander Egyed), In Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings (Alfonso Pierantonio, Salvador Trujillo, eds.), Springer, volume 10890, 2018. [bib] [pdf] [doi]
[4] Guest editorial: selected areas in automated software engineering (Marsha Chechik, Paul Grünbacher), volume 25, 2018. [bib] [doi]
[3] SPLC'18: Proceedings of the 22nd International Conference on Systems and Software Product Line - Volume 1 (Thorsten Berger, Paulo Borba, Goetz Botterweck, Tomi Männistö, David Benavides, Sarah Nadi, Timo Kehrer, Rick Rabiser, Christoph Elsner, Mukelabai Mukelabai), ACM, 2018. [bib]
[2] SPLtea 2018: Third International Workshop on Software Product Line Teaching (Mathieu Acher, Rick Rabiser, Roberto E. Lopez-Herrejon), ACM, 2018. [bib] [doi]
[1] Teaching Software Product Lines: A Snapshot of Current Practices and Challenges (Mathieu Acher, Roberto E. Lopez-Herrejon, Rick Rabiser), ACM, 2018. [bib] [doi]
Powered by bibtexbrowser