Creol: A type-safe object-oriented model for distributed concurrent systems EB Johnsen, O Owe, IC Yu Theoretical Computer Science 365 (1-2), 23-66, 2006 | 159 | 2006 |
Constructing and refining large-scale railway models represented by Petri nets AM Hagalisletto, J Bjork, IC Yu, P Enger IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and …, 2007 | 71 | 2007 |
Context aware reconfiguration in software product lines J Mauro, M Nieke, C Seidl, IC Yu Proceedings of the 10th International Workshop on Variability Modelling of …, 2016 | 52 | 2016 |
ABS-YARN: A formal framework for modeling Hadoop YARN clusters JC Lin, IC Yu, EB Johnsen, MC Lee International Conference on Fundamental Approaches to Software Engineering …, 2016 | 39 | 2016 |
Anomaly analyses for feature-model evolution M Nieke, J Mauro, C Seidl, T Thüm, IC Yu, F Franzke ACM SIGPLAN Notices 53 (9), 188-201, 2018 | 35 | 2018 |
A transformational proof system for delta-oriented programming F Damiani, O Owe, J Dovland, I Schaefer, EB Johnsen, IC Yu Proceedings of the 16th International Software Product Line Conference …, 2012 | 33 | 2012 |
A diagrammatic approach to model completion F Rabbi, Y Lamo, IC Yu, LM Kristensen | 31 | 2015 |
Context-aware reconfiguration in evolving software product lines J Mauro, M Nieke, C Seidl, IC Yu Science of Computer Programming 163, 139-159, 2018 | 28 | 2018 |
Dynamic classes: Modular asynchronous evolution of distributed concurrent objects EB Johnsen, M Kyas, IC Yu International Symposium on Formal Methods, 596-611, 2009 | 27 | 2009 |
Type-safe runtime class upgrades in Creol IC Yu, EB Johnsen, O Owe Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 …, 2006 | 27 | 2006 |
CARE: Coherent actionable recourse based on sound counterfactual explanations P Rasouli, I Chieh Yu International Journal of Data Science and Analytics 17 (1), 13-38, 2024 | 26 | 2024 |
Anomaly detection and explanation in context-aware software product lines J Mauro, M Nieke, C Seidl, IC Yu Proceedings of the 21st International Systems and Software Product Line …, 2017 | 22 | 2017 |
WebDPF: A web-based metamodelling and model transformation environment F Rabbi, Y Lamo, IC Yu, LM Kristensen 2016 4th International Conference on Model-Driven Engineering and Software …, 2016 | 22 | 2016 |
Modeling and simulation of spark streaming JC Lin, MC Lee, IC Yu, EB Johnsen 2018 IEEE 32nd International Conference on Advanced Information Networking …, 2018 | 21 | 2018 |
Explan: Explaining black-box classifiers using adaptive neighborhood generation P Rasouli, IC Yu 2020 International joint conference on neural networks (IJCNN), 1-9, 2020 | 20 | 2020 |
Proof Repositories for Compositional Verification of Evolving Software Systems: Managing Change When Proving Software Correct R Bubel, F Damiani, R Hähnle, EB Johnsen, O Owe, I Schaefer, IC Yu Transactions on Foundations for Mastering Change I, 130-156, 2016 | 20 | 2016 |
User profiles for context-aware reconfiguration in software product lines M Nieke, J Mauro, C Seidl, IC Yu Leveraging Applications of Formal Methods, Verification and Validation …, 2016 | 16 | 2016 |
Comparing AWS deployments using model-based predictions EB Johnsen, JC Lin, IC Yu International Symposium on Leveraging Applications of Formal Methods, 482-496, 2016 | 15 | 2016 |
Consistency-preserving evolution planning on feature models A Hoff, M Nieke, C Seidl, EH Sæther, IS Motzfeldt, CC Din, IC Yu, ... Proceedings of the 24th ACM Conference on Systems and Software Product Line …, 2020 | 14 | 2020 |
Release the beasts: When formal methods meet real world data R Schlatte, EB Johnsen, J Mauro, SL Tapia Tarifa, IC Yu It's All About Coordination: Essays to Celebrate the Lifelong Scientific …, 2018 | 14 | 2018 |