| 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 | 69 | 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 | 48 | 2016 |
| ABS-YARN: A formal framework for modeling Hadoop YARN clusters JC Lin, IC Yu, EB Johnsen, MC Lee Fundamental Approaches to Software Engineering: 19th International …, 2016 | 36 | 2016 |
| 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, L Michael AMT@ MoDELS, 56-65, 2015 | 31 | 2015 |
| Type-safe runtime class upgrades in Creol IC Yu, EB Johnsen, O Owe FMOODS, 202-217, 2006 | 28 | 2006 |
| 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 | 24 | 2018 |
| Dynamic classes: Modular asynchronous evolution of distributed concurrent objects EB Johnsen, M Kyas, IC Yu FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands …, 2009 | 24 | 2009 |
| Context-aware reconfiguration in evolving software product lines J Mauro, M Nieke, C Seidl, IC Yu Science of Computer Programming 163, 139-159, 2018 | 21 | 2018 |
| 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 | 20 | 2016 |
| 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 | 18 | 2016 |
| 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 | 17 | 2017 |
| 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 | 14 | 2016 |
| Comparing AWS deployments using model-based predictions EB Johnsen, JC Lin, IC Yu Leveraging Applications of Formal Methods, Verification and Validation …, 2016 | 13 | 2016 |
| EXPLAN: explaining black-box classifiers using adaptive neighborhood generation P Rasouli, IC Yu 2020 International Joint Conference on Neural Networks (IJCNN), 1-9, 2020 | 12 | 2020 |
| Large scale construction of railroad models from specifications A Moen, IC Yu 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat …, 2004 | 12 | 2004 |
| Modeling and simulation of spark streaming JC Lin, MC Lee, IC Yu, EB Johnsen 2018 IEEE 32nd International Conference on Advanced Information Networking …, 2018 | 11 | 2018 |
| 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 | 11 | 2018 |
| A model-based scalability optimization methodology for cloud applications JC Lin, J Mauro, TB Røst, IC Yu 2017 IEEE 7th International Symposium on Cloud and Service Computing (SC2 …, 2017 | 10 | 2017 |
