default search action
Ingrid Chieh Yu
Person information
- affiliation: University of Oslo, Norway
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j11]Peyman Rasouli, Ingrid Chieh Yu:
CARE: coherent actionable recourse based on sound counterfactual explanations. Int. J. Data Sci. Anal. 17(1): 13-38 (2024) - 2023
- [c40]Ida Sandberg Motzfeldt, Ingrid Chieh Yu, Crystal Chang Din, Violet Ka I Pun, Volker Stolz:
Modular Soundness Checking of Feature Model Evolution Plans. ICTAC 2023: 417-437 - 2022
- [c39]Peyman Rasouli, Ingrid Chieh Yu, Ernesto Jiménez-Ruiz:
Interpreting Categorical Data Classifiers using Explanation-based Locality. ICDM (Workshops) 2022: 163-170 - 2021
- [c38]Peyman Rasouli, Ingrid Chieh Yu:
Analyzing and Improving the Robustness of Tabular Classifiers using Counterfactual Explanations. ICMLA 2021: 1286-1293 - [c37]Torgeir Lebesbye, Jacopo Mauro, Gianluca Turin, Ingrid Chieh Yu:
Boreas - A Service Scheduler for Optimal Kubernetes Deployment. ICSOC 2021: 221-237 - [c36]Peyman Rasouli, Ingrid Chieh Yu:
Explainable Debugger for Black-box Machine Learning Models. IJCNN 2021: 1-10 - [i2]Peyman Rasouli, Ingrid Chieh Yu:
CARE: Coherent Actionable Recourse based on Sound Counterfactual Explanations. CoRR abs/2108.08197 (2021) - 2020
- [j10]Jia-Chun Lin, Ming-Chang Lee, Ingrid Chieh Yu, Einar Broch Johnsen:
A configurable and executable model of Spark Streaming on Apache YARN. Int. J. Grid Util. Comput. 11(2): 185-195 (2020) - [c35]Anastasia Gkolfi, Einar Broch Johnsen, Lars Michael Kristensen, Ingrid Chieh Yu:
Model Checking Starvation for Resource-aware Active Objects with Coloured Petri Nets. PNSE@Petri Nets 2020: 68-85 - [c34]Peyman Rasouli, Ingrid Chieh Yu:
EXPLAN: Explaining Black-box Classifiers using Adaptive Neighborhood Generation. IJCNN 2020: 1-9 - [c33]Adrian Hoff, Michael Nieke, Christoph Seidl, Eirik Halvard Sæther, Ida Sandberg Motzfeldt, Crystal Chang Din, Ingrid Chieh Yu, Ina Schaefer:
Consistency-preserving evolution planning on feature models. SPLC (A) 2020: 8:1-8:12
2010 – 2019
- 2019
- [j9]Anastasia Gkolfi, Crystal Chang Din, Einar Broch Johnsen, Lars Michael Kristensen, Martin Steffen, Ingrid Chieh Yu:
Translating active objects into colored Petri nets for communication analysis. Sci. Comput. Program. 181: 1-26 (2019) - [c32]Peyman Rasouli, Ingrid Chieh Yu:
Meaningful Data Sampling for a Faithful Local Explanation Method. IDEAL (1) 2019: 28-38 - [c31]Crystal Chang Din, Leif Harald Karlsen, Irina Pene, Oliver Stahl, Ingrid Chieh Yu, Thomas Østerlie:
Geological Multi-scenario Reasoning. NIK 2019 - 2018
- [j8]Crystal Chang Din, Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu:
A modular reasoning system using uninterpreted predicates for code reuse. J. Log. Algebraic Methods Program. 95: 82-102 (2018) - [j7]Jacopo Mauro, Michael Nieke, Christoph Seidl, Ingrid Chieh Yu:
Context-aware reconfiguration in evolving software product lines. Sci. Comput. Program. 163: 139-159 (2018) - [c30]Jia-Chun Lin, Ming-Chang Lee, Ingrid Chieh Yu, Einar Broch Johnsen:
Modeling and Simulation of Spark Streaming. AINA 2018: 407-413 - [c29]Rudolf Schlatte, Einar Broch Johnsen, Jacopo Mauro, Silvia Lizeth Tapia Tarifa, Ingrid Chieh Yu:
Release the Beasts: When Formal Methods Meet Real World Data. It's All About Coordination 2018: 107-121 - [c28]Einar Broch Johnsen, Ingrid Chieh Yu:
Dynamic Software Updates and Context Adaptation for Distributed Active Objects. Principled Software Development 2018: 147-164 - [c27]Anastasia Gkolfi, Einar Broch Johnsen, Lars Michael Kristensen, Ingrid Chieh Yu:
Using Coloured Petri Nets for Resource Analysis of Active Objects. FACS 2018: 156-174 - [c26]Michael Nieke, Jacopo Mauro, Christoph Seidl, Thomas Thüm, Ingrid Chieh Yu, Felix Franzke:
Anomaly analyses for feature-model evolution. GPCE 2018: 188-201 - [c25]Jacopo Mauro, Silvia Lizeth Tapia Tarifa, Ingrid Chieh Yu:
Automatic Parameter Optimisation of Service Quality and Resource Usage. NIK 2018 - [c24]Ingrid Chieh Yu, Birgit Rognebakke Krogstie, Einar Broch Johnsen:
Forord til NIK 2018. NIK 2018 - [i1]Jia-Chun Lin, Ming-Chang Lee, Ingrid Chieh Yu, Einar Broch Johnsen:
Modeling and Simulation of Spark Streaming. CoRR abs/1808.09005 (2018) - 2017
- [c23]Thomas Brox Røst, Christoph Seidl, Ingrid Chieh Yu, Ferruccio Damiani, Einar Broch Johnsen, Cristina Chesta:
HyVar - Scalable Hybrid Variability for Distributed Evolving Software Systems. ESOCC Workshops 2017: 159-163 - [c22]Anastasia Gkolfi, Crystal Chang Din, Einar Broch Johnsen, Martin Steffen, Ingrid Chieh Yu:
Translating Active Objects into Colored Petri Nets for Communication Analysis. FSEN 2017: 84-99 - [c21]Magnus Hestvik, Jacopo Mauro, Ingrid Chieh Yu:
CaSPL-gen: a Context-aware Software Product Line benchmark generator. NIK 2017 - [c20]Jia-Chun Lin, Jacopo Mauro, Thomas Brox Røst, Ingrid Chieh Yu:
A Model-Based Scalability Optimization Methodology for Cloud Applications. SC² 2017: 163-170 - [c19]Jacopo Mauro, Michael Nieke, Christoph Seidl, Ingrid Chieh Yu:
Anomaly Detection and Explanation in Context-Aware Software Product Lines. SPLC (B) 2017: 18-21 - 2016
- [j6]Richard Bubel, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Olaf Owe, Ina Schaefer, Ingrid Chieh Yu:
Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct. LNCS Trans. Found. Mastering Chang. 1: 130-156 (2016) - [j5]Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu, Lars Michael Kristensen:
Diagrammatic Development of Domain Specific Modelling Languages with WebDPF. Int. J. Inf. Syst. Model. Des. 7(3): 93-114 (2016) - [c18]Jia-Chun Lin, Ingrid Chieh Yu, Einar Broch Johnsen, Ming-Chang Lee:
ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters. FASE 2016: 49-65 - [c17]Ferruccio Damiani, Christoph Seidl, Ingrid Chieh Yu:
Introduction to the Track on Variability Modeling for Scalable Software Evolution. ISoLA (2) 2016: 423-432 - [c16]Einar Broch Johnsen, Jia-Chun Lin, Ingrid Chieh Yu:
Comparing AWS Deployments Using Model-Based Predictions. ISoLA (2) 2016: 482-496 - [c15]Michael Nieke, Jacopo Mauro, Christoph Seidl, Ingrid Chieh Yu:
User Profiles for Context-Aware Reconfiguration in Software Product Lines. ISoLA (2) 2016: 563-578 - [c14]Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu:
Towards a categorical approach for meta-modelling epistemic game theory. MoDELS 2016: 57-64 - [c13]Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu, Lars Michael Kristensen:
WebDPF: A Web-based Metamodelling and Model Transformation Environment. MODELSWARD 2016: 87-98 - [c12]Jingyue Li, Altin Qeriqi, Martin Steffen, Ingrid Chieh Yu:
Automatic translation from FBD-PLC-programs to NuSMV for model checking safety-critical control systems. NIK 2016 - [c11]Jacopo Mauro, Michael Nieke, Christoph Seidl, Ingrid Chieh Yu:
Context Aware Reconfiguration in Software Product Lines. VaMoS 2016: 41-48 - [p1]Einar Broch Johnsen, Ka I Pun, Martin Steffen, Silvia Lizeth Tapia Tarifa, Ingrid Chieh Yu:
Meeting Deadlines, Elastically. From Action Systems to Distributed Systems 2016: 99-111 - 2015
- [j4]Johan Dovland, Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu:
A proof system for adaptable class hierarchies. J. Log. Algebraic Methods Program. 84(1): 37-53 (2015) - [c10]Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu, Lars Michael Kristensen:
A Diagrammatic Approach to Model Completion. AMT@MoDELS 2015: 56-65 - [c9]Ingrid Chieh Yu, Henning Berg:
A Formalisation of Analysis-based Model Migration. MODELSWARD 2015: 86-98 - [c8]Ingrid Chieh Yu, Henning Berg:
A Framework for Metamodel Composition and Adaptation with Conformance-Preserving Model Migration. MODELSWARD (Revised Selected Papers) 2015: 133-154 - [c7]Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu, Lars Michael Kristensen:
Towards a Multi Metamodelling Approach for Developing Distributed Healthcare Applications. NIK 2015 - 2014
- [c6]Olaf Owe, Ingrid Chieh Yu:
Deadlock detection of active objects with synchronous and asynchronous method calls. NIK 2014 - 2012
- [c5]Johan Dovland, Einar Broch Johnsen, Ingrid Chieh Yu:
Tracking Behavioral Constraints during Object-Oriented Software Evolution. ISoLA (1) 2012: 253-268 - [c4]Ferruccio Damiani, Olaf Owe, Johan Dovland, Ina Schaefer, Einar Broch Johnsen, Ingrid Chieh Yu:
A transformational proof system for delta-oriented programming. SPLC (2) 2012: 53-60
2000 – 2009
- 2009
- [c3]Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu:
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects. FM 2009: 596-611 - 2008
- [j3]Einar Broch Johnsen, Ingrid Chieh Yu:
Backwards type analysis of asynchronous method calls. J. Log. Algebraic Methods Program. 77(1-2): 40-59 (2008) - 2007
- [j2]Anders Moen Hagalisletto, Joakim Bjørk, Ingrid Chieh Yu, På Enger:
Constructing and Refining Large-Scale Railway Models Represented by Petri Nets. IEEE Trans. Syst. Man Cybern. Part C 37(4): 444-460 (2007) - 2006
- [j1]Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu:
Creol: A type-safe object-oriented model for distributed concurrent systems. Theor. Comput. Sci. 365(1-2): 23-66 (2006) - [c2]Ingrid Chieh Yu, Einar Broch Johnsen, Olaf Owe:
Type-Safe Runtime Class Upgrades in Creol. FMOODS 2006: 202-217 - 2004
- [c1]Anders Moen Hagalisletto, Ingrid Chieh Yu:
Large scale construction of railroad models from specifications. SMC (7) 2004: 6212-6219
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint