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

Deputy Head of Department and Head of Research at  Department of Informatics

Deputy Centre Director of SIRIUS

Publications

  • 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 Full text in Research Archive.
  • Hoff, Adrian; Nieke, Michael; Seidl, Christoph; Sæther, Eirik Halvard; Motzfeldt, Ida Sandberg; Din, Crystal Chang; Yu, Ingrid Chieh & Schaefer, Ina (2020). Consistency-Preserving Evolution Planning on Feature Models, In Roberto Erick Lopez-Herrejon (ed.),  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).  ISBN 978-1-4503-7569-6.  research article.  s 8:1 - 8:12 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), s 185- 195 . doi: 10.1504/IJGUC.2020.105531
  • 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 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, s 1- 26 . doi: 10.1016/j.scico.2019.04.002
  • 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 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, s 82- 102 . doi: 10.1016/j.jlamp.2017.11.004 Full text in Research Archive.
  • 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 Full text in Research Archive.
  • 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 Full text in Research Archive.
  • 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
  • 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. . doi: https://ojs.bibsys.no/index.php/NIK/issue/view/41 Show summary
  • Nieke, Michael; Mauro, Jacopo; Seidl, Christoph; Thum, Thomas; Yu, Ingrid Chieh & Franzke, Felix (2018). Anomaly Analyses for Feature-Model Evolution, In Eric Van Wyk & Tiark Rompf (ed.),  Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences.  ACM Publications.  ISBN 978-1-4503-6045-6.  Kapittel.  s 188 - 201
  • 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 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, s 107- 121 . doi: 10.1007/978-3-319-90089-6_8
  • 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.  (10522), 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, In Marina Walden (ed.),  Proceedings of the 29th Nordic Workshop on Programming Theory.  Turku Centre for Computer Science.  ISBN 978-952-12-3608-2.  Kapittel.  s 31 - 33
  • 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.
  • 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
  • Mauro, Jacopo; Seidl, Christoph; Nieke, Michael & Yu, Ingrid Chieh (2017). Anomaly Detection and Explanation in Context-Aware Software Product Lines, In David Benavides & Antonio Ruiz-Cortés (ed.),  SPLC '17 Proceedings of the 21st International Systems and Software Product Line Conference - Volume B.  Association for Computing Machinery (ACM).  ISBN 978-1-4503-5119-5.  Kapittel.  s 18 - 21
  • Bubel, Richard; Damiani, Ferruccio; Hähnle, Reiner; Johnsen, Einar Broch; Owe, Olaf; Schaefer, Ina & Yu, Ingrid Chieh (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
  • 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
  • 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
  • Johnsen, Einar Broch; Pun, Ka I; Steffen, Martin; Tapia Tarifa, Silvia Lizeth & Yu, Ingrid Chieh (2016). Meeting Deadlines, Elastically, In Luigia Petre & Emil Sekerinski (ed.),  From Action Systems to Distributed Systems: The Refinement Approach.  CRC Press.  ISBN 978-1-4987-0158-7.  Kap..  s 99 - 111
  • 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.
  • Lin, Jia-Chun; Yu, Ingrid Chieh; Johnsen, Einar Broch & Lee, Ming-Chang (2016). ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters, In Perdita Stevens & Andrzej Wąsowski (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.  ISBN 3662496658.  KAPITTEL.  s 49 - 65
  • Mauro, Jacopo; Nieke, Michael; Seidl, Christoph & Yu, Ingrid Chieh (2016). Context Aware Reconfiguration in Software Product Lines, In Ina Schaefer; Vander Alves & Eduardo Santana de Almeida (ed.),  Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems.  Association for Computing Machinery (ACM).  ISBN 978-1-4503-4019-9.  kapittel.  s 41 - 48
  • 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 (2016). Towards a categorical approach for meta-modelling epistemic game theory, In Benoit Baudry & Benoit Combemale (ed.),  MODELS '16: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems.  Association for Computing Machinery (ACM).  ISBN 978-1-4503-4321-3.  Kap.  s 57 - 64
  • 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
  • Rabbi, Fazle; Lamo, Yngve; Yu, Ingrid Chieh & Kristensen, Lars Michael (2016). WebDPF: A Web-based Metamodelling and Model Transformation Environment, In Slimane Hammoudi; Luís Ferreira Pires; Bran Selic & Philippe Desfray (ed.),  Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development.  SciTePress.  ISBN 978-989-758-168-7.  artikkel.  s 87 - 98
  • 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
  • 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 Full text in Research Archive. Show summary
  • 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. Show summary
  • Yu, Ingrid Chieh & Berg, Henning (2015). A Formalisation of Analysis-based Model Migration, In Slimane Hammoudi; Luis Ferreira Pires; Philippe Desfray & Joaquim Filipe (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.  ISBN 978-989-758-083-3.  artikkel.  s 86 - 98
  • 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, In  SPLC'12 Proceedings of the 16th International Software Product Line Conference - Volume 2.  ACM Publications.  ISBN 978-1-4503-1095-6.  kapittel.  s 53 - 60
  • 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, In Paul Petterson & Seceleanu Cristina (ed.),  Proceedings of the 23rd Nordic Workshop on Programming Theory, NWPT'11.  Mälardalen University.  ISBN 9789521224782.  Extended abstract.  s 33 - 34
  • 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 Show summary
  • 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, In  Proceedings for the 18th Nordic Workshop on Programming Theory (NWPT'06).  Hàskolinn i Reykjavik.  12.
  • 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

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

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. Show summary
  • Lebesbye, Torgeir; Yu, Ingrid Chieh & Mauro, Jacopo (2019). Boreas – Reducing Resource Usage Through Optimized Kubernetes Scheduling.
  • Berg, Henning & Yu, Ingrid Chieh (2017). Generic Metamodel Refactoring with Automatic Detection of Applicability and Co-evolution of Artefacts. Full text in Research Archive.
  • Rabbi, Fazle; Yu, Ingrid Chieh; Lamo, Yngve & Kristensen, Lars Michael (2017). MDE TECHNIQUES FOR MODELING AND ANALYSIS OF COMPLEX SOFTWARE SYSTEMS. Series of dissertations submitted to the Faculty of Mathematics and Natural Sciences, University of Oslo.. 1884.
  • 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.
  • Johnsen, Einar Broch; Pun, Ka I; Steffen, Martin; Tapia Tarifa, Silvia Lizeth & Yu, Ingrid Chieh (2015). Meeting Deadlines, Elastically..
  • 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, 16. mars). Gjer smarte bilar smartare.  Uniforum.
  • Rabbi, Fazle; Lamo, Yngve; Yu, Ingrid Chieh & Kristensen, Lars Michael (2014). Towards a Diagrammatic Rewriting System for Model Completion.
  • Yu, Ingrid Chieh (2010). Type Safety for Distributed Concurrent Objects and Runtime Upgrades. Series of dissertations submitted to the Faculty of Mathematics and Natural Sciences, University of Oslo.. 939.
  • Johnsen, Einar Broch; Owe, Olaf & Yu, Ingrid Chieh (2005). Creol: A Type-Safe Object-Oriented Model for Distributed Concurrent Systems. Conference proceedings (Universitetet i Oslo. Institutt for informatikk). 327.

View all works in Cristin

Published Mar. 9, 2011 11:00 AM - Last modified Jan. 7, 2021 7:54 PM