Year: 2018
Books and Proceedings
2018
[1] , , , , , , , , and : SPLC'18: Proceedings of the 22nd International Conference on Systems and Software Product Line - Volume 1, ACM, .
Refereed Journal Papers and Articles
2018
[13] , and : A systematic literature review of the use of formal methods in medical software systems, in Journal of Software: Evolution and Process, volume 30, . [pdf] [doi]
[12] , and : A systematic mapping study of information visualization for software product line engineering, in Journal of Software: Evolution and Process, volume 30, . [pdf] [doi]
[11] , , , and : 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, . [pdf] [doi]
[10] , , , and : Developing and evolving a DSL-based approach for runtime monitoring of systems of systems, in Automated Software Engineering, volume 25, . [pdf] [doi]
[9] , , and : Do code data sharing dependencies support an early prediction of software actual change impact set?, in Journal of Software: Evolution and Process, volume 30, . [pdf] [doi]
[8] , and : Evaluating the suitability of state-based formal methods for industrial deployment, in Software Practice and Experience, volume 48, . [pdf] [doi]
[7] : Evolving software trace links between requirements and source code, in Empirical Software Engineering, volume 23, . [doi]
[6] , and : Feature Maps: A Comprehensible Software Representation for Design Pattern Detection, in CoRR, volume abs/1812.09873, . [pdf]
[5] , , , and : Integrating formal methods into medical software development: The ASM approach, in Sci. Comput. Program., volume 158, . [pdf] [doi]
[4] and : 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, . [pdf] [doi]
[3] , , and : Maintaining Consistency across Engineering Artifacts, in IEEE Computer, volume 51, . [pdf] [doi]
[2] , , , , , , and : Multi-Purpose, Multi-Level Feature Modeling of Large-Scale Industrial Software Systems, in Software and Systems Modeling, volume 17, . [doi]
[1] , , and : Predicting User Demographics from Music Listening Information, in Multimedia Tools and Applications, . [doi]
Refereed Conference Papers
2018
[22] , , , , , and : 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), . [doi]
[21] , and : 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, . [pdf] [doi]
[20] and : 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, . [pdf] [doi]
[19] , and : Analyzing the Evolution of Data Structures in Trace-Based Memory Monitoring, in Proceedings 9th Symposium on Software Performance (SSP 2018), .
[18] , and : 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, . [pdf] [doi]
[17] and : 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, . [pdf] [doi]
[16] , , , , and : 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, . [pdf]
[15] , , , , and : Feature-Oriented Evolution of Automation Software Systems in Industrial Software Ecosystems, in 23rd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2018), . [doi]
[14] , , , , and : 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, . [pdf] [doi]
[13] , , and : Incremental Construction of Realizable Choreographies, in Proceedings of NASA Formal Methods - 10th International Symposium, (NFM 2018), Newport News, USA, . [pdf] [doi]
[12] , , and : 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, . [pdf] [doi]
[11] , , , , and : 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, . [doi]
[10] , and : Multi-Objective Optimization for Reverse Engineering of Apo-Games Feature Models, in 22nd International Systems and Software Product Line Conference (SPLC 2018), ACM, . [doi]
[9] , and : 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, . [pdf] [doi]
[8] , , , and : Supporting Diagnosis of Requirements Violations in Systems of Systems, in 26th IEEE International Requirements Engineering Conference, . [doi]
[7] , , , and : Tool Support for Restricted Use Case Specification: Findings from a Controlled Experiment, in Proceedings of the 25th Asia-Pacific Software Engineering Conference (APSEC'18), . [doi]
[6] , and : Towards a Fault-Detection Benchmark for Evaluating Sofware Product Line Testing Approaches, in Symposium On Applied Computing (SAC), . [pdf]
[5] and : 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), . [doi]
[4] , , and : 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, . [doi]
[3] , , , and : Using Multi-System Monitoring Time Series to Predict Performance Events, in Proceedings 9th Symposium on Software Performance (SSP 2018), .
[2] , and : 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), . [doi]
[1] , and : 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, . [pdf] [doi]
Other Publications
2018
[2] : Client/Server Benchmarking and Dashboard, Master's thesis, , .
[1] : The Structure of Variable Software and its use for Testing, PhD thesis, Johannes Kepler University (JKU), Linz, Austria, .
Powered by bibtexbrowser