Ingrid Chieh Yu

Førsteamanuensis - PROG Programmering
Bilde av Ingrid Chieh Yu
English version of this page
Telefon +47 22845525
Rom 8465
Brukernavn
Besøksadresse Ole-Johan Dahls Hus Gaustadalleèn 23D 0373 Oslo
Postadresse Postboks 1080 0316 Oslo

Forskningsleder og nestleder ved Institutt for Informatikk

Deputy Centre Director, SIRIUS

Teaching (from 2009):

-INF2220 Algorithms and data structures

-INF3230 Formal modeling and analysis of communicating systems

-INF5130 Selected topics in rewriting logic

 

Employment history (from 2010):

- Associate professor, University of Oslo (2011 -)

- Senior Researcher, Det Norske Veritas (2010 - 2011)

Publikasjoner

  • 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. s. 1286–1293. doi: 10.1109/ICMLA52953.2021.00209. Fulltekst i vitenarkiv
  • Rasouli, Peyman & Yu, Ingrid Chieh (2021). Explainable Debugger for Black-box Machine Learning Models. Proceedings of ... International Joint Conference on Neural Networks. ISSN 2161-4393. doi: 10.1109/IJCNN52387.2021.9533944. Fulltekst i vitenarkiv
  • 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. s. 221–237. doi: 10.1007/978-3-030-91431-8_14. Fulltekst i vitenarkiv
  • Hoff, Adrian; Nieke, Michael; Seidl, Christoph; Sæther, Eirik; Motzfeldt, Ida & Din, Crystal Chang [Vis alle 8 forfattere av denne artikkelen] (2020). Consistency-Preserving Evolution Planning on Feature Models. I Lopez-Herrejon, Roberto Erick (Red.), 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. s. 8:1–8:12. doi: 10.1145/3382025.3414964. Fulltekst i vitenarkiv
  • 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, s. 68–85. Fulltekst i vitenarkiv
  • Rasouli, Peyman & Yu, Ingrid Chieh (2020). EXPLAN: Explaining Black-box Classifiers using Adaptive Neighborhood Generation. Proceedings of ... International Joint Conference on Neural Networks. ISSN 2161-4393. doi: 10.1109/IJCNN48605.2020.9206710. Fulltekst i vitenarkiv
  • 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), s. 185–195. doi: 10.1504/IJGUC.2020.105531. Fulltekst i vitenarkiv
  • Rasouli, Peyman & Yu, Ingrid Chieh (2019). Meaningful Data Sampling for a Faithful Local Explanation Method. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. s. 28–38. doi: 10.1007/978-3-030-33607-3_4. Fulltekst i vitenarkiv
  • 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. Fulltekst i vitenarkiv
  • 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, s. 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, s. 159–163. doi: 10.1007/978-3-319-79090-9_12. Fulltekst i vitenarkiv
  • Nieke, Michael; Mauro, Jacopo; Seidl, Christoph; Thum, Thomas; Yu, Ingrid Chieh & Franzke, Felix (2018). Anomaly Analyses for Feature-Model Evolution. I Van Wyk, Eric & Rompf, Tiark (Red.), Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. ACM Publications. ISSN 978-1-4503-6045-6. s. 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, s. 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, s. 407–413. doi: 10.1109/AINA.2018.00068. Fulltekst i vitenarkiv
  • 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, s. 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, s. 156–174. doi: 10.1007/978-3-030-02146-7_8. Fulltekst i vitenarkiv
  • 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, s. 82–102. doi: 10.1016/j.jlamp.2017.11.004. Fulltekst i vitenarkiv
  • Mauro, Jacopo; Seidl, Christoph; Nieke, Michael & Yu, Ingrid Chieh (2017). Anomaly Detection and Explanation in Context-Aware Software Product Lines. I Benavides, David & Ruiz-Cortés, Antonio (Red.), 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. s. 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. s. 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. s. 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. I Walden, Marina (Red.), Proceedings of the 29th Nordic Workshop on Programming Theory. Turku Centre for Computer Science. ISSN 978-952-12-3608-2. s. 31–33.
  • Rabbi, Fazle; Lamo, Yngve & Yu, Ingrid Chieh (2016). Towards a categorical approach for meta-modelling epistemic game theory. I Baudry, Benoit & Combemale, Benoit (Red.), 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. s. 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. I Hammoudi, Slimane; Pires, Luís Ferreira; Selic, Bran & Desfray, Philippe (Red.), Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development. SciTePress. ISSN 978-989-758-168-7. s. 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, s. 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, s. 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), s. 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, s. 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 [Vis alle 7 forfattere av denne artikkelen] (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, s. 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. I Petre, Luigia & Sekerinski, Emil (Red.), From Action Systems to Distributed Systems: The Refinement Approach. CRC Press. ISSN 978-1-4987-0158-7. s. 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. I Stevens, Perdita & Wąsowski, Andrzej (Red.), 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. s. 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. I Schaefer, Ina; Alves, Vander & de Almeida, Eduardo Santana (Red.), Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems. Association for Computing Machinery (ACM). ISSN 978-1-4503-4019-9. s. 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, s. 56–65. Fulltekst i vitenarkiv
  • Yu, Ingrid Chieh & Berg, Henning (2015). A Formalisation of Analysis-based Model Migration. I Hammoudi, Slimane; Ferreira Pires, Luis; Desfray, Philippe & Filipe, Joaquim (Red.), 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. s. 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), s. 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. s. 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, s. 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. I Petterson, Paul & Cristina, Seceleanu (Red.), Proceedings of the 23rd Nordic Workshop on Programming Theory, NWPT'11. Mälardalen University. ISSN 9789521224782. s. 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, s. 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), s. 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, s. 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, s. 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, s. 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.

Se alle arbeider i 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 s.
  • Hagalisletto, Anders Moen & Yu, Ingrid Chieh (2004). Large scale construction of railroad models from specifications. IEEE. ISBN 0-7803-8567-5. 8 s.

Se alle arbeider i 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. [Avis]. 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. Fulltekst i vitenarkiv
  • 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.

Se alle arbeider i Cristin

Publisert 9. mars 2011 11:01 - Sist endret 31. mars 2022 21:39

Prosjekter