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
1572006
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
682007
Context aware reconfiguration in software product lines
J Mauro, M Nieke, C Seidl, IC Yu
Proceedings of the Tenth International Workshop on Variability Modelling of …, 2016
412016
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
322016
A diagrammatic approach to model completion
F Rabbi, Y Lamo, IC Yu, LM Kristensen
292015
Type-safe runtime class upgrades in Creol
IC Yu, EB Johnsen, O Owe
International Conference on Formal Methods for Open Object-Based Distributed …, 2006
282006
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
272012
Dynamic classes: Modular asynchronous evolution of distributed concurrent objects
EB Johnsen, M Kyas, IC Yu
International Symposium on Formal Methods, 596-611, 2009
262009
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
172016
Proof repositories for compositional verification of evolving software systems
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
172016
User profiles for context-aware reconfiguration in software product lines
M Nieke, J Mauro, C Seidl, IC Yu
International Symposium on Leveraging Applications of Formal Methods, 563-578, 2016
132016
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
122018
Context-aware reconfiguration in evolving software product lines
J Mauro, M Nieke, C Seidl, IC Yu
Science of Computer Programming 163, 139-159, 2018
122018
Large scale construction of railroad models from specifications
A Moen, IC Yu
2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat …, 2004
122004
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
102017
Comparing AWS deployments using model-based predictions
EB Johnsen, JC Lin, IC Yu
International Symposium on Leveraging Applications of Formal Methods, 482-496, 2016
102016
Tracking behavioral constraints during object-oriented software evolution
J Dovland, EB Johnsen, IC Yu
International Symposium On Leveraging Applications of Formal Methods …, 2012
102012
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
92017
Release the beasts: When formal methods meet real world data
R Schlatte, EB Johnsen, J Mauro, SLT Tarifa, IC Yu
It's All About Coordination, 107-121, 2018
82018
Translating active objects into colored petri nets for communication analysis
A Gkolfi, CC Din, EB Johnsen, LM Kristensen, M Steffen, IC Yu
Science of Computer Programming 181, 1-26, 2019
72019
Systemet kan ikke utføre handlingen. Prøv igjen senere.
Artikler 1–20