( en | de | ru )

 

Disambiguation of "Yu, Ingrid Chieh"

Author of the publication

copydeleteadd this publication to your clipboard
Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct.

, , , , , , and . LNCS Trans. Found. Mastering Chang., (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Yu-Chieh Lin

Chieh Chien

Chieh Hsu

Chieh Chien

Nan-chieh Chen

 

Other publications of authors with the same name

Dynamic Software Updates and Context Adaptation for Distributed Active Objects., and . Principled Software Development, page 147-164. Springer, (2018)Comparing AWS Deployments Using Model-Based Predictions., , and . ISoLA (2), volume 9953 of Lecture Notes in Computer Science, page 482-496. (2016)A proof system for adaptable class hierarchies., , , and . J. Log. Algebraic Methods Program., 84 (1): 37-53 (2015)Model Checking Starvation for Resource-aware Active Objects with Coloured Petri Nets., , , and . PNSE@Petri Nets, volume 2651 of CEUR Workshop Proceedings, page 68-85. CEUR-WS.org, (2020)Boreas - A Service Scheduler for Optimal Kubernetes Deployment., , , and . ICSOC, volume 13121 of Lecture Notes in Computer Science, page 221-237. Springer, (2021)Interpreting Categorical Data Classifiers using Explanation-based Locality., , and . ICDM (Workshops), page 163-170. IEEE, (2022)Automatic translation from FBD-PLC-programs to NuSMV for model checking safety-critical control systems., , , and . NIK, Bibsys Open Journal Systems, Norway, (2016)Towards a Multi Metamodelling Approach for Developing Distributed Healthcare Applications., , , and . NIK, Bibsys Open Journal Systems, Norway, (2015)Automatic Parameter Optimisation of Service Quality and Resource Usage., , and . NIK, Bibsys Open Journal Systems, Norway, (2018)Type-Safe Runtime Class Upgrades in Creol., , and . FMOODS, volume 4037 of Lecture Notes in Computer Science, page 202-217. Springer, (2006)