Ingrid Chieh Yu
Ingrid Chieh Yu
Associate Professor, University of Oslo
Verified email at
Cited by
Cited by
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
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
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
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
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
A Diagrammatic Approach to Model Completion.
F Rabbi, Y Lamo, IC Yu, LM Kristensen, L Michael
AMT@ MoDELS, 56-65, 2015
Type-safe runtime class upgrades in Creol
IC Yu, EB Johnsen, O Owe
FMOODS, 202-217, 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
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
Context-aware reconfiguration in evolving software product lines
J Mauro, M Nieke, C Seidl, IC Yu
Science of Computer Programming 163, 139-159, 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
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
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
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
Comparing AWS deployments using model-based predictions
EB Johnsen, JC Lin, IC Yu
Leveraging Applications of Formal Methods, Verification and Validation …, 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
Large scale construction of railroad models from specifications
A Moen, IC Yu
2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat …, 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
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
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
The system can't perform the operation now. Try again later.
Articles 1–20