Ingrid Chieh Yu

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 Blindern 0316 OSLO
Andre tilknytninger Institutt for informatikk

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

  • 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.  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.  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.  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 . NIK: Norsk Informatikkonferanse.  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.  ACM Digital Library.  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.  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 . The Journal of logical and algebraic methods in programming.  ISSN 2352-2216.  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
  • Rabbi, Fazle; Lamo, Yngve; Yu, Ingrid Chieh & Kristensen, Lars Michael (2015). Towards a Multi Metamodelling Approach for Developing Distributed Healthcare Applications . NIK: Norsk Informatikkonferanse.  ISSN 1892-0713.
  • 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 . NIK: Norsk Informatikkonferanse.  ISSN 1892-0713.  3
  • 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 Press.  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.  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.  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
  • 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: 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.  ISSN 0302-9743.  4037, s 202- 217

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

  • Berg, Henning & Yu, Ingrid Chieh (2017). Generic Metamodel Refactoring with Automatic Detection of Applicability and Co-evolution of Artefacts.
  • 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 .
  • Johnsen, Einar Broch; Owe, Olaf & Yu, Ingrid Chieh (2005). Creol: A Type-Safe Object-Oriented Model for Distributed Concurrent Systems.

Se alle arbeider i Cristin

Publisert 9. mars 2011 11:01 - Sist endret 9. mai 2016 11:15