Follow
Ingrid Chieh Yu
Ingrid Chieh Yu
Associate Professor, University of Oslo
Verified email at ifi.uio.no
Title
Cited by
Cited by
Year
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
1592006
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
712007
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
522016
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
392016
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
352018
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
332012
A diagrammatic approach to model completion
F Rabbi, Y Lamo, IC Yu, LM Kristensen
312015
Context-aware reconfiguration in evolving software product lines
J Mauro, M Nieke, C Seidl, IC Yu
Science of Computer Programming 163, 139-159, 2018
282018
Dynamic classes: Modular asynchronous evolution of distributed concurrent objects
EB Johnsen, M Kyas, IC Yu
International Symposium on Formal Methods, 596-611, 2009
272009
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
272006
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
262024
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
222017
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
222016
Modeling and simulation of spark streaming
JC Lin, MC Lee, IC Yu, EB Johnsen
2018 IEEE 32nd International Conference on Advanced Information Networking …, 2018
212018
Explan: Explaining black-box classifiers using adaptive neighborhood generation
P Rasouli, IC Yu
2020 International joint conference on neural networks (IJCNN), 1-9, 2020
202020
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
202016
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
162016
Comparing AWS deployments using model-based predictions
EB Johnsen, JC Lin, IC Yu
International Symposium on Leveraging Applications of Formal Methods, 482-496, 2016
152016
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
142020
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
142018
The system can't perform the operation now. Try again later.
Articles 1–20