[13] | Silvia Bonfanti, Angelo Gargantini and Atif Mashkoor: A systematic literature review of the use of formal methods in medical software systems, in Journal of Software: Evolution and Process, volume 30, 2018. |
[12] | Roberto E. Lopez-Herrejon, Sheny Illescas and Alexander Egyed: A systematic mapping study of information visualization for software product line engineering, in Journal of Software: Evolution and Process, volume 30, 2018. |
[11] | Andreea Buga, Atif Mashkoor, Sorana Tania Nemes, Klaus-Dieter Schewe and Pornpan Songprasop: An Event-B-based approach to hybrid systems engineering and its application to a hemodialysis machine case study, in Comput. Lang. Syst. Struct., volume 54, 2018. |
[10] | Rick Rabiser, Jürgen Thanhofer-Pilisch, Michael Vierhauser, Paul Grünbacher and Alexander Egyed: Developing and evolving a DSL-based approach for runtime monitoring of systems of systems, in Automated Software Engineering, volume 25, 2018. |
[9] | Xiaoyu Liu, LiGuo Huang, Alexander Egyed and Jidong Ge: Do code data sharing dependencies support an early prediction of software actual change impact set?, in Journal of Software: Evolution and Process, volume 30, 2018. |
[8] | Atif Mashkoor, Felix Kossak and Alexander Egyed: Evaluating the suitability of state-based formal methods for industrial deployment, in Software Practice and Experience, volume 48, 2018. |
[7] | Mona Rahimi: Evolving software trace links between requirements and source code, in Empirical Software Engineering, volume 23, 2018. |
[6] | Hannes Thaller, Lukas Linsbauer and Alexander Egyed: Feature Maps: A Comprehensible Software Representation for Design Pattern Detection, in CoRR, volume abs/1812.09873, 2018. |
[5] | Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor and Elvinia Riccobene: Integrating formal methods into medical software development: The ASM approach, in Sci. Comput. Program., volume 158, 2018. |
[4] | Jordi Cabot and Alexander Egyed: Introduction to the special issue on the 18th international conference on model driven engineering languages and systems (MODELS'15), in Software and System Modeling, volume 17, 2018. |
[3] | Alexander Egyed, Klaus Zeman, Peter Hehenberger and Andreas Demuth: Maintaining Consistency across Engineering Artifacts, in IEEE Computer, volume 51, 2018. |
[2] | Daniela Rabiser, Herbert Prähofer, Paul Grünbacher, Michael Petruzelka, Klaus Eder, Florian Angerer, Mario Kromoser and Andreas Grimmer: Multi-Purpose, Multi-Level Feature Modeling of Large-Scale Industrial Software Systems, in Software and Systems Modeling, volume 17, 2018. |
[1] | Krismayer, Thomas, Schedl, Markus, Knees, Peter and Rabiser, Rick: Predicting User Demographics from Music Listening Information, in Multimedia Tools and Applications, 2018. |
[22] | Rabiser, Rick, Schmid, Klaus, Becker, Martin, Botterweck, Goetz, Galster, Matthias, Groher, Iris and Weyns, Danny: A Study and Comparison of Industrial vs. Academic Software Product Line Research Published at SPLC, in 22nd International Systems and Software Product Line Conference (SPLC 2018), 2018. |
[21] | Roland Kretschmer, Djamel Eddine Khelladi and Alexander Egyed: An automated and instant discovery of concrete repairs for model inconsistencies, 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. |
[20] | Atif Mashkoor and Alexander Egyed: Analysis of Experiences with the Engineering of a Medical Device Using State-Based Formal Methods, in Proceeding of the 2018 IEEE International Conference on Software Quality, Reliability and Security, QRS 2018, Lisbon, Portugal, July 16-20, IEEE, 2018. |
[19] | Weninger, Markus, Gander, Elias and Mössenböck, Hanspeter: Analyzing the Evolution of Data Structures in Trace-Based Memory Monitoring, in Proceedings 9th Symposium on Software Performance (SSP 2018), 2018. |
[18] | Djamel Eddine Khelladi, Roland Kretschmer and Alexander Egyed: Change Propagation-based and Composition-based Co-evolution of Transformations with Evolving Metamodels, 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. |
[17] | Christoph Mayr-Dorn and Alexander Egyed: Does the Propagation of Artifact Changes across Tasks reflect Work Dependencies?, in ICSE '18: 40th International Conference on Software Engineering , May 27-June 3, 2018, Gothenburg, 2018. |
[16] | Andreas Demuth, Roland Kretschmer, Michael Alexander Tröls, Georgios Kanakis, Davy Maes and Alexander Egyed: Experiences on Traceability and Consistency Checking across Engineering Tools in an Automation Solution Company, in Proceedings of Fachtagung Software Engineering und Software Management (SE), Ulm, Germanyli, 2018. |
[15] | Daniel Hinterreiter, Lukas Linsbauer, Florian Reisinger, Herbert Prähofer, Paul Grünbacher and Alexander Egyed: Feature-Oriented Evolution of Automation Software Systems in Industrial Software Ecosystems, in 23rd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2018), 2018. |
[14] | Daniel Hinterreiter, Herbert Prähofer, Lukas Linsbauer, Paul Grünbacher, Florian Reisinger and Alexander Egyed: Feature-Oriented Evolution of Automation Software Systems in Industrial Software Ecosystems, in 23rd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Torino, Italy, 2018. |
[13] | Sarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur and Atif Mashkoor: Incremental Construction of Realizable Choreographies, in Proceedings of NASA Formal Methods - 10th International Symposium, (NFM 2018), Newport News, USA, 2018. |
[12] | Atif Mashkoor, Felix Kossak, Miklós Biró and Alexander Egyed: Model-Driven Re-engineering of a Pressure Sensing System: An Experience Report, 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. |
[11] | Vierhauser, Michael, Cleland-Huang, Jane, Bayley, Sean, Krismayer, Thomas, Rabiser, Rick and Grünbacher, Paul: Monitoring CPS at Runtime – A Case Study in the UAV Domain, in Proceedings of the 44th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), IEEE, 2018. |
[10] | Willian D. F. Mendonça, Assunção, Wesley K. G. and Lukas Linsbauer: Multi-Objective Optimization for Reverse Engineering of Apo-Games Feature Models, in 22nd International Systems and Software Product Line Conference (SPLC 2018), ACM, 2018. |
[9] | Stefan Fischer, Lukas Linsbauer and Alexander Egyed: Predicting Higher Order Structural Feature Interactions in Variable Systems, 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. |
[8] | Michael Vierhauser, Jane Cleland-Huang, Rick Rabiser, Thomas Krismayer and Paul Grünbacher: Supporting Diagnosis of Requirements Violations in Systems of Systems, in 26th IEEE International Requirements Engineering Conference, 2018. |
[7] | Markus Weninger, Paul Grünbacher, Huihui Zhang, Tao Yue and Shaukat Ali: Tool Support for Restricted Use Case Specification: Findings from a Controlled Experiment, in Proceedings of the 25th Asia-Pacific Software Engineering Conference (APSEC'18), 2018. |
[6] | Stefan Fischer, Roberto E. Lopez-Herrejon and Alexander Egyed: Towards a Fault-Detection Benchmark for Evaluating Sofware Product Line Testing Approaches, in Symposium On Applied Computing (SAC), 2018. |
[5] | Markus Weninger and Hanspeter Mössenböck: User-defined Classification and Multi-level Grouping of Objects in Memory Monitoring, in Proceedings of the 9th ACM/SPEC International Conference on Performance Engineering (ICPE 2018), 2018. |
[4] | Schörgenhumer, Andreas, Kahlhofer, Mario, Mössenböck, Hanspeter and Grünbacher, Paul: Using Crash Frequency Analysis to Identify Error-prone Software Technologies in Multi-System Monitoring, in 18th IEEE International Conference on Software Quality, Reliability, and Security, 2018. |
[3] | Schörgenhumer, Andreas, Kahlhofer, Mario, Chalupar, Peter, Mössenböck, Hanspeter and Grünbacher, Paul: Using Multi-System Monitoring Time Series to Predict Performance Events, in Proceedings 9th Symposium on Software Performance (SSP 2018), 2018. |
[2] | Markus Weninger, Elias Gander and Hanspeter Mössenböck: Utilizing Object Reference Graphs and Garbage Collection Roots to Detect Memory Leaks in Offline Memory Monitoring, in Proceedings of the 15th International Conference on Managed Languages & Runtimes (ManLang'18), 2018. |
[1] | Lukas Linsbauer, Roberto E. Lopez-Herrejon and Alexander Egyed: Variability extraction and modeling for product variants, 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. |