Følg
Ingrid Chieh Yu
Ingrid Chieh Yu
Associate Professor, University of Oslo
Verifisert e-postadresse på ifi.uio.no
Tittel
Sitert av
Sitert av
År
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
1602006
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
402016
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
342012
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
312018
A diagrammatic approach to model completion
F Rabbi, Y Lamo, IC Yu, LM Kristensen
312015
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
Context-aware reconfiguration in evolving software product lines
J Mauro, M Nieke, C Seidl, IC Yu
Science of Computer Programming 163, 139-159, 2018
262018
Dynamic classes: Modular asynchronous evolution of distributed concurrent objects
EB Johnsen, M Kyas, IC Yu
International Symposium on Formal Methods, 596-611, 2009
262009
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
212017
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
212016
Modeling and simulation of spark streaming
JC Lin, MC Lee, IC Yu, EB Johnsen
2018 IEEE 32nd International Conference on Advanced Information Networking …, 2018
202018
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
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
192024
Explan: Explaining black-box classifiers using adaptive neighborhood generation
P Rasouli, IC Yu
2020 International joint conference on neural networks (IJCNN), 1-9, 2020
192020
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
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
152016
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
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
142017
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–20