| [330] | 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] |
| [329] | 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] |
| [328] | 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] |
| [327] | Maintaining Consistency across Engineering Artifacts (Alexander Egyed, Klaus Zeman, Peter Hehenberger, Andreas Demuth), In IEEE Computer, volume 51, 2018.
[bib] [pdf] [doi] |
| [326] | 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] |
| [325] | 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] |
| [324] | 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] |
| [323] | 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] |
| [322] | 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] |
| [321] | 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] |
| [320] | 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] |
| [319] | 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] |
| [318] | Guest editorial: selected areas in automated software engineering (Marsha Chechik, Paul Grünbacher), volume 25, 2018.
[bib] [doi] |
| [317] | 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] |
| [316] | SPLtea 2018: Third International Workshop on Software Product Line Teaching (Mathieu Acher, Rick Rabiser, Roberto E. Lopez-Herrejon), ACM, 2018.
[bib] [doi] |
| [315] | Teaching Software Product Lines: A Snapshot of Current Practices and Challenges (Mathieu Acher, Roberto E. Lopez-Herrejon, Rick Rabiser), ACM, 2018.
[bib] [doi] |
| [314] | The Practical Use of Inconsistency Information in Engineering Design Tasks (Alfred Sadlauer, Markus Riedl-Ehrenleitner, Peter Hehenberger, Andreas Demuth, Alexander Egyed), In Journal of Product Lifecycle Management (IJPLM, 2017.
[bib] [pdf] |
| [313] | User-centered Offline Analysis of Memory Monitoring Data (Markus Weninger, Philipp Lengauer, Hanspeter Mössenböck), In Proceedings 8th ACM/SPEC International Conference on Performance Engineering (ICPE 2017), ACM, New York, NY, USA, 2017.
[bib] [doi] |
| [312] | Establishing Trace-Links for Runtime Diagnosis Support in System of Systems (Michael Vierhauser, Jane Cleland-Huang, Rick Rabiser, Paul Grünbacher), (Jane Hayes, Jane Cleland-Huang, eds.), 2017.
[bib] |
| [311] | From Requirements Monitoring to Diagnosis Support in System of Systems (Michael Vierhauser, Rick Rabiser, Jane Cleland-Huang), In 23rd International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2017), Springer International Publishing, 2017.
[bib] [doi] |
| [310] | A Systematic Mapping Study on DSL Evolution (Jürgen Thanhofer-Pilisch, Alexander Lang, Michael Vierhauser, Rick Rabiser), In 43rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA), IEEE, 2017.
[bib] [doi] |
| [309] | An Event-based Capture-and-Compare Approach to Support the Evolution of Systems of Systems (Jürgen Thanhofer-Pilisch, Rick Rabiser, Thomas Krismayer, Michael Vierhauser, Paul Grünbacher, Stefan Wallner, Klaus Seyerlehner, Helmut Zeisel), In Proceedings 11th ACM International Conference on Distributed and Event-Based Systems (DEBS 2017), 2017.
[bib] [doi] |
| [308] | Efficient Sampling-based Lock Contention Profiling for Java (Andreas Schörgenhumer, Peter Hofer, David Gnedt, Hanspeter Mössenböck), In Proceedings 8th ACM/SPEC International Conference on Performance Engineering (ICPE 2017), ACM, New York, NY, USA, 2017.
[bib] [doi] |
| [307] | MoLS 2017 Workshop Chairs' Welcome / Introduction (Rick Rabiser, Michael Vierhauser, Sam Guinea, Wilhelm Hasselbring), ACM, 2017.
[bib] |
| [306] | A Comparison Framework for Runtime Monitoring Approaches (Rick Rabiser, Sam Guinea, Michael Vierhauser, Luciano Baresi, Paul Grünbacher), In Journal of Systems and Software, volume 125, 2017.
[bib] [doi] |