Ingrid Chieh Yu

Associate Professor - Programming
Image of Ingrid Chieh Yu
Norwegian version of this page
Phone +47 22845525
Room 8468
Username
Visiting address Ole-Johan Dahls Hus Gaustadalleèn 23D 0373 Oslo
Postal address Postboks 1080 0316 Oslo

Head of Research and Vice Head of Department at  Department of Informatics

Deputy Centre Director of SIRIUS

Publications

  • Rasouli, Peyman & Yu, Ingrid Chieh (2021). Analyzing and Improving the Robustness of Tabular Classifiers using Counterfactual Explanations, 2021 20th IEEE International Conference on Machine Learning and Applications (ICMLA). IEEE conference proceedings. ISSN 978-1-6654-4337-1. p. 1286–1293. doi: 10.1109/ICMLA52953.2021.00209. Full text in Research Archive
  • Rasouli, Peyman & Yu, Ingrid Chieh (2021). Explainable Debugger for Black-box Machine Learning Models. Proceedings of the International Joint Conference on Neural Networks. ISSN 2161-4393. doi: 10.1109/IJCNN52387.2021.9533944. Full text in Research Archive
  • Lebesbye, Torgeir; Mauro, Jacopo; Turin, Gianluca & Yu, Ingrid Chieh (2021). Boreas – A Service Scheduler for Optimal Kubernetes Deployment. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. p. 221–237. doi: 10.1007/978-3-030-91431-8_14. Full text in Research Archive
  • Hoff, Adrian; Nieke, Michael; Seidl, Christoph; Sæther, Eirik; Motzfeldt, Ida & Din, Crystal Chang [Show all 8 contributors for this article] (2020). Consistency-Preserving Evolution Planning on Feature Models. In Lopez-Herrejon, Roberto Erick (Eds.), SPLC'20: 24th ACM International Systems and Software Product Line Conference, Montreal, Quebec, Canada, October 19-23, 2020, Volume A. Association for Computing Machinery (ACM). ISSN 978-1-4503-7569-6. p. 8:1–8:12. doi: 10.1145/3382025.3414964. Full text in Research Archive
  • Gkolfi, Anastasia; Johnsen, Einar Broch; Kristensen, Lars Michael & Yu, Ingrid Chieh (2020). Model checking starvation for resource-aware active objects with coloured petri nets. CEUR Workshop Proceedings. ISSN 1613-0073. 2651, p. 68–85. Full text in Research Archive
  • Rasouli, Peyman & Yu, Ingrid Chieh (2020). EXPLAN: Explaining Black-box Classifiers using Adaptive Neighborhood Generation. Proceedings of the International Joint Conference on Neural Networks. ISSN 2161-4393. doi: 10.1109/IJCNN48605.2020.9206710. Full text in Research Archive
  • Lin, Jia-Chun; Lee, Ming-Chang; Yu, Ingrid Chieh & Johnsen, Einar Broch (2020). A Configurable and Executable Model of Spark Streaming on Apache YARN. International Journal of Grid and Utility Computing (IJGUC). ISSN 1741-847X. 11(2), p. 185–195. doi: 10.1504/IJGUC.2020.105531. Full text in Research Archive
  • Rasouli, Peyman & Yu, Ingrid Chieh (2019). Meaningful Data Sampling for a Faithful Local Explanation Method. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. p. 28–38. doi: 10.1007/978-3-030-33607-3_4. Full text in Research Archive
  • Din, Crystal Chang; Karlsen, Leif Harald; Pene, Irina; Stahl, Oliver; Yu, Ingrid Chieh & Østerlie, Thomas (2019). Geological Multi-scenario Reasoning. NIKT: Norsk IKT-konferanse for forskning og utdanning. ISSN 1892-0713. Full text in Research Archive
  • Gkolfi, Anastasia; Din, Crystal Chang; Johnsen, Einar Broch; Kristensen, Lars Michael; Steffen, Martin & Yu, Ingrid Chieh (2019). Translating active objects into colored Petri nets for communication analysis. Science of Computer Programming. ISSN 0167-6423. 181, p. 1–26. doi: 10.1016/j.scico.2019.04.002.
  • Røst, Thomas Brox; Seidl, Christoph; Yu, Ingrid Chieh; Damiani, Ferruccio; Johnsen, Einar Broch & Chesta, Cristina (2018). HyVar: Scalable Hybrid Variability for Distributed Evolving Software Systems. Communications in Computer and Information Science. ISSN 1865-0929. 824, p. 159–163. doi: 10.1007/978-3-319-79090-9_12. Full text in Research Archive
  • Nieke, Michael; Mauro, Jacopo; Seidl, Christoph; Thum, Thomas; Yu, Ingrid Chieh & Franzke, Felix (2018). Anomaly Analyses for Feature-Model Evolution. In Van Wyk, Eric & Rompf, Tiark (Ed.), Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. ACM Publications. ISSN 978-1-4503-6045-6. p. 188–201. doi: 10.1145/3278122.3278123.
  • Mauro, Jacopo; Tapia Tarifa, Silvia Lizeth & Yu, Ingrid Chieh (2018). Automatic Parameter Optimisation of Service Quality and Resource Usage. NIKT: Norsk IKT-konferanse for forskning og utdanning. ISSN 1892-0713.
  • Mauro, Jacopo; Nieke, Michael; Seidl, Christoph & Yu, Ingrid Chieh (2018). Context-aware reconfiguration in evolving software product lines. Science of Computer Programming. ISSN 0167-6423. 163, p. 139–159. doi: 10.1016/j.scico.2018.05.002.
  • Lin, Jia-Chun; Lee, Ming-Chang; Yu, Ingrid Chieh & Johnsen, Einar Broch (2018). Modeling and simulation of spark streaming. Advanced Information Networking and Applications. ISSN 1550-445X. 2018-May, p. 407–413. doi: 10.1109/AINA.2018.00068. Full text in Research Archive
  • Schlatte, Rudolf; Johnsen, Einar Broch; Mauro, Jacopo; Tapia Tarifa, Silvia Lizeth & Yu, Ingrid Chieh (2018). Release the Beasts: When Formal Methods Meet Real World Data. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 10865, p. 107–121. doi: 10.1007/978-3-319-90089-6_8.
  • Gkolfi, Anastasia; Johnsen, Einar Broch; Kristensen, Lars Michael & Yu, Ingrid Chieh (2018). Using coloured Petri nets for resource analysis of active objects. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 11222 LNCS, p. 156–174. doi: 10.1007/978-3-030-02146-7_8. Full text in Research Archive
  • Din, Crystal Chang; Johnsen, Einar Broch; Owe, Olaf & Yu, Ingrid Chieh (2018). A modular reasoning system using uninterpreted predicates for code reuse. Journal of Logical and Algebraic Methods in Programming. ISSN 2352-2208. 95, p. 82–102. doi: 10.1016/j.jlamp.2017.11.004. Full text in Research Archive
  • Mauro, Jacopo; Seidl, Christoph; Nieke, Michael & Yu, Ingrid Chieh (2017). Anomaly Detection and Explanation in Context-Aware Software Product Lines. In Benavides, David & Ruiz-Cortés, Antonio (Ed.), SPLC '17 Proceedings of the 21st International Systems and Software Product Line Conference - Volume B. Association for Computing Machinery (ACM). ISSN 978-1-4503-5119-5. p. 18–21. doi: 10.1145/3109729.3109752.
  • Lin, Jia-Chun; Mauro, Jacopo; Røst, Thomas Brox & Yu, Ingrid Chieh (2017). A model-Based Scalability Optimization Methodology for Cloud Applications. Proceedings of the IEEE. ISSN 0018-9219. p. 163–170. doi: 10.1109/SC2.2017.32.
  • Hestvik, Magnus Røed; Mauro, Jacopo & Yu, Ingrid Chieh (2017). CaSPL-gen: a Context-aware Software Product Line benchmark generator. NIKT: Norsk IKT-konferanse for forskning og utdanning. ISSN 1892-0713.
  • Gkolfi, Anastasia; Din, Crystal Chang; Johnsen, Einar Broch; Steffen, Martin & Yu, Ingrid Chieh (2017). Translating Active Objects into Colored Petri Nets for Communication Analysis. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. p. 84–99. doi: 10.1007/978-3-319-68972-2_6.
  • Gkolfi, Anastasia; Johnsen, Einar Broch; Kristensen, Lars Michael & Yu, Ingrid Chieh (2017). Resource Management of Cloud-Aware Programs using Coloured Petri Nets. In Walden, Marina (Eds.), Proceedings of the 29th Nordic Workshop on Programming Theory. Turku Centre for Computer Science. ISSN 978-952-12-3608-2. p. 31–33.
  • Rabbi, Fazle; Lamo, Yngve & Yu, Ingrid Chieh (2016). Towards a categorical approach for meta-modelling epistemic game theory. In Baudry, Benoit & Combemale, Benoit (Ed.), MODELS '16: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems. Association for Computing Machinery (ACM). ISSN 978-1-4503-4321-3. p. 57–64. doi: 10.1145/2976767.2976771.
  • Rabbi, Fazle; Lamo, Yngve; Yu, Ingrid Chieh & Kristensen, Lars Michael (2016). WebDPF: A Web-based Metamodelling and Model Transformation Environment. In Hammoudi, Slimane; Pires, Luís Ferreira; Selic, Bran & Desfray, Philippe (Ed.), Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development. SciTePress. ISSN 978-989-758-168-7. p. 87–98. doi: 10.5220/0005686900870098.
  • Damiani, Ferruccio; Seidl, Christoph & Yu, Ingrid Chieh (2016). Introduction to the track on variability modeling for scalable software evolution. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 9953 LNCS, p. 423–432. doi: 10.1007/978-3-319-47169-3_35.
  • Nieke, Michael; Mauro, Jacopo; Seidl, Christoph & Yu, Ingrid Chieh (2016). User profiles for context-aware reconfiguration in software product lines. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 9953 LNCS, p. 563–578. doi: 10.1007/978-3-319-47169-3_44.
  • Rabbi, Fazle; Lamo, Yngve; Yu, Ingrid Chieh & Kristensen, Lars Michael (2016). Diagrammatic development of domain specific modelling languages with WebDPF. International Journal of Information System Modeling and Design. ISSN 1947-8186. 7(3), p. 93–114. doi: 10.4018/IJISMD.2016070105.
  • Li, Jingyue; Qeriqi, Altin; Steffen, Martin & Yu, Ingrid Chieh (2016). Automatic translation from FBD-PLC-programs to NuSMV for model checking safety-critical control systems. NIKT: Norsk IKT-konferanse for forskning og utdanning. ISSN 1892-0713.
  • Johnsen, Einar Broch; Lin, Jia-Chun & Yu, Ingrid Chieh (2016). Comparing AWS Deployments Using Model-Based Predictions. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 9953, p. 482–496. doi: 10.1007/978-3-319-47169-3_39.
  • Bubel, Richard; Damiani, Ferruccio; Hähnle, Reiner; Johnsen, Einar Broch; Owe, Olaf & Schaefer, Ina [Show all 7 contributors for this article] (2016). Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 9960, p. 130–156. doi: 10.1007/978-3-319-46508-1_8.
  • Johnsen, Einar Broch; Pun, Ka I; Steffen, Martin; Tapia Tarifa, Silvia Lizeth & Yu, Ingrid Chieh (2016). Meeting Deadlines, Elastically. In Petre, Luigia & Sekerinski, Emil (Ed.), From Action Systems to Distributed Systems: The Refinement Approach. CRC Press. ISSN 978-1-4987-0158-7. p. 99–111. doi: 10.1201/b20053-11.
  • Lin, Jia-Chun; Yu, Ingrid Chieh; Johnsen, Einar Broch & Lee, Ming-Chang (2016). ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters. In Stevens, Perdita & Wąsowski, Andrzej (Ed.), Fundamental Approaches to Software Engineering: 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Springer. ISSN 3662496658. p. 49–65. doi: 10.1007/978-3-662-49665-7_4.
  • Mauro, Jacopo; Nieke, Michael; Seidl, Christoph & Yu, Ingrid Chieh (2016). Context Aware Reconfiguration in Software Product Lines. In Schaefer, Ina; Alves, Vander & de Almeida, Eduardo Santana (Ed.), Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems. Association for Computing Machinery (ACM). ISSN 978-1-4503-4019-9. p. 41–48. doi: 10.1145/2866614.2866620.
  • Rabbi, Fazle; Lamo, Yngve; Yu, Ingrid Chieh & Kristensen, Lars Michael (2015). Towards a Multi Metamodelling Approach for Developing Distributed Healthcare Applications. NIKT: Norsk IKT-konferanse for forskning og utdanning. ISSN 1892-0713.
  • Rabbi, Fazle; Lamo, Yngve; Yu, Ingrid Chieh & Kristensen, Lars Michael (2015). A diagrammatic approach to model completion. CEUR Workshop Proceedings. ISSN 1613-0073. 1500, p. 56–65. Full text in Research Archive
  • Yu, Ingrid Chieh & Berg, Henning (2015). A Formalisation of Analysis-based Model Migration. In Hammoudi, Slimane; Ferreira Pires, Luis; Desfray, Philippe & Filipe, Joaquim (Ed.), MODELSWARD 2015 - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development, ESEO, Angers, Loire Valley, France, 9-11 February, 2015 . SciTePress. ISSN 978-989-758-083-3. p. 86–98. doi: 10.5220/0005240900860098.
  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf & Yu, Ingrid Chieh (2015). A proof system for adaptable class hierarchies. Journal of Logical and Algebraic Methods in Programming. ISSN 2352-2208. 84(1), p. 37–53. doi: 10.1016/j.jlamp.2014.09.001.
  • Owe, Olaf & Yu, Ingrid Chieh (2014). Deadlock detection of active objects with synchronous and asynchronous method calls. NIKT: Norsk IKT-konferanse for forskning og utdanning. ISSN 1892-0713. 3. doi: 10.1016/j.entcs.2004.06.012.
  • Damiani, Ferruccio; Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Schaefer, Ina & Yu, Ingrid Chieh (2012). A Transformational Proof System for Delta-Oriented Programming, SPLC'12 Proceedings of the 16th International Software Product Line Conference - Volume 2. ACM Publications. ISSN 978-1-4503-1095-6. p. 53–60. doi: 10.1145/2364412.2364422.
  • Dovland, Johan; Johnsen, Einar Broch & Yu, Ingrid Chieh (2012). Tracking Behavioral Constraints during Object-Oriented Software Evolution. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 7609, p. 253–268. doi: 10.1007/978-3-642-34026-0_19.
  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf & Yu, Ingrid Chieh (2011). A Proof System for Adaptable Class Hierarchies. In Petterson, Paul & Cristina, Seceleanu (Ed.), Proceedings of the 23rd Nordic Workshop on Programming Theory, NWPT'11. Mälardalen University. ISSN 9789521224782. p. 33–34. doi: 10.1016/j.jlamp.2014.09.001.
  • Johnsen, Einar Broch; Kyas, Marcel & Vibe, Ingrid Chieh Yu De (2009). Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 5850, p. 596–611.
  • Johnsen, Einar Broch & Vibe, Ingrid Chieh Yu De (2008). Backwards type analysis of asynchronous method calls. Journal of Logic and Algebraic Programming. ISSN 1567-8326. 77(1-2), p. 40–59. doi: 10.1016/j.jlap.2008.05.004.
  • Hagalisletto, Moen Anders; Bjørk, Joakim; Vibe, Ingrid Chieh Yu De & Enger, P (2007). Constructing and refining large-scale railway models represented by Petri nets. IEEE transactions on systems, man and cybernetics. Part C, Applications and reviews. ISSN 1094-6977. 37, p. 444–460. doi: 10.1109/TSMC.2007.897323.
  • Yu, Ingrid Chieh; Johnsen, Einar Broch & Owe, Olaf (2006). Type-safe runtime class upgrades in Creol. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 4037, p. 202–217.
  • Johnsen, Einar Broch; Owe, Olaf & Yu, Ingrid Chieh (2006). Creol: A type-safe object-oriented model for distributed concurrent systems. Theoretical Computer Science. ISSN 0304-3975. 365, p. 23–66. doi: 10.1016/j.tcs.2006.07.031.
  • Johnsen, Einar Broch & Yu, Ingrid Chieh (2006). Backwards Type Analysis of Asynchronous Method Calls, Proceedings for the 18th Nordic Workshop on Programming Theory (NWPT'06). Hàskolinn i Reykjavik.

View all works in Cristin

  • Yu, Ingrid Chieh & Berg, Henning (2015). A Framework for Metamodel Composition and Adaptation with Conformance-Preserving Model Migration. Springer. ISBN 978-3-319-27868-1. 23 p.
  • Hagalisletto, Anders Moen & Yu, Ingrid Chieh (2004). Large scale construction of railroad models from specifications. IEEE (Institute of Electrical and Electronics Engineers). ISBN 0-7803-8567-5. 8 p.

View all works in Cristin

  • Yu, Ingrid Chieh; Cameron, David B.; Vølstad, Ann & Larsen, Åshild Hanne (2020). Industrial mentoring for junior researchers: An enabler for personal development and innovation .
  • Johnsen, Einar Broch; Lin, Jia-Chun & Yu, Ingrid Chieh (2016). AWS deployments using model-based predictions.
  • Lin, Jia-Chun; Yu, Ingrid Chieh; Johnsen, Einar Broch & Lee, Ming-Chang (2016). ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters.
  • Owe, Olaf; Lin, Jia-Chun & Yu, Ingrid Chieh (2015). A Formal Framework Supporting Unrestricted Software Changes in Object-Oriented Concurrent Systems.
  • Rabbi, Fazle; Lamo, Yngve; Kristensen, Lars Michael & Yu, Ingrid Chieh (2015). A generalization of termination conditions for partial model completion.
  • Yu, Ingrid Chieh (2015). Gjer smarte bilar smartare. [Newspaper]. Uniforum.
  • Rabbi, Fazle; Lamo, Yngve; Yu, Ingrid Chieh & Kristensen, Lars Michael (2014). Towards a Diagrammatic Rewriting System for Model Completion.
  • Sæther, Eirik Halvard; Yu, Ingrid Chieh & Din, Crystal Chang (2021). Three-Way Semantic Merge for Feature Model Evolution Plans. Institutt for Informatikk.
  • Motzfeldt, Ida Sandberg; Yu, Ingrid Chieh & Din, Crystal Chang (2021). Modular Soundness Checking of Feature Model Evolution Plans. Institutt for Informatikk.
  • Lebesbye, Torgeir; Yu, Ingrid Chieh & Mauro, Jacopo (2019). Boreas – Reducing Resource Usage Through Optimized Kubernetes Scheduling. Institutt for informatikk.
  • Rabbi, Fazle; Yu, Ingrid Chieh; Lamo, Yngve & Kristensen, Lars Michael (2017). MDE TECHNIQUES FOR MODELING AND ANALYSIS OF COMPLEX SOFTWARE SYSTEMS. Reprosentralen, University of Oslo. ISSN 1501-7710.
  • Berg, Henning & Yu, Ingrid Chieh (2017). Generic Metamodel Refactoring with Automatic Detection of Applicability and Co-evolution of Artefacts. University of Oslo. ISSN 978-82-7368-426-4. Full text in Research Archive
  • Johnsen, Einar Broch; Pun, Ka I; Steffen, Martin; Tapia Tarifa, Silvia Lizeth & Yu, Ingrid Chieh (2015). Meeting Deadlines, Elastically. UiO. ISSN 978-82-7368-408-0.
  • Johnsen, Einar Broch; Owe, Olaf & Yu, Ingrid Chieh (2005). Creol: A Type-Safe Object-Oriented Model for Distributed Concurrent Systems. Institutt for informatikk, Universitetet i Oslo. ISSN 0806-3036.

View all works in Cristin

Published Mar. 9, 2011 11:00 AM - Last modified Mar. 31, 2022 9:38 PM