Folgen
Ingrid Chieh Yu
Ingrid Chieh Yu
Associate Professor, University of Oslo
Bestätigte E-Mail-Adresse bei ifi.uio.no
Titel
Zitiert von
Zitiert von
Jahr
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
702007
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
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
A diagrammatic approach to model completion
F Rabbi, Y Lamo, IC Yu, LM Kristensen
312015
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
302018
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
Dynamic classes: Modular asynchronous evolution of distributed concurrent objects
EB Johnsen, M Kyas, IC Yu
International Symposium on Formal Methods, 596-611, 2009
262009
Context-aware reconfiguration in evolving software product lines
J Mauro, M Nieke, C Seidl, IC Yu
Science of Computer Programming 163, 139-159, 2018
252018
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
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
202017
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
Explan: Explaining black-box classifiers using adaptive neighborhood generation
P Rasouli, IC Yu
2020 International joint conference on neural networks (IJCNN), 1-9, 2020
182020
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
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
142024
Comparing AWS deployments using model-based predictions
EB Johnsen, JC Lin, IC Yu
International Symposium on Leveraging Applications of Formal Methods, 482-496, 2016
142016
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
132018
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
122020
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20