Ingrid Chieh Yu

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 44

Top Topics

Coloured Petri Nets

Top Venues

J. Log. Algebraic Methods Program.

Publications

Peyman Rasouli, Ingrid Chieh Yu
CARE: coherent actionable recourse based on sound counterfactual explanations. Int. J. Data Sci. Anal. 17 (1) (2024)
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)
Peyman Rasouli, Ingrid Chieh Yu, Ernesto Jiménez-Ruiz
Interpreting Categorical Data Classifiers using Explanation-based Locality. ICDM (Workshops) (2022)
Peyman Rasouli, Ingrid Chieh Yu
CARE: Coherent Actionable Recourse based on Sound Counterfactual Explanations. CoRR (2021)
Peyman Rasouli, Ingrid Chieh Yu
Analyzing and Improving the Robustness of Tabular Classifiers using Counterfactual Explanations. ICMLA (2021)
Torgeir Lebesbye, Jacopo Mauro, Gianluca Turin, Ingrid Chieh Yu
Boreas - A Service Scheduler for Optimal Kubernetes Deployment. ICSOC (2021)
Peyman Rasouli, Ingrid Chieh Yu
Explainable Debugger for Black-box Machine Learning Models. IJCNN (2021)
Peyman Rasouli, Ingrid Chieh Yu
EXPLAN: Explaining Black-box Classifiers using Adaptive Neighborhood Generation. IJCNN (2020)
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) (2020)
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)
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)
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 (2019)
Peyman Rasouli, Ingrid Chieh Yu
Meaningful Data Sampling for a Faithful Local Explanation Method. IDEAL (1) (2019)
Crystal Chang Din, Leif Harald Karlsen, Irina Pene, Oliver Stahl, Ingrid Chieh Yu, Thomas Østerlie
Geological Multi-scenario Reasoning. NIK (2019)
Jia-Chun Lin, Ming-Chang Lee, Ingrid Chieh Yu, Einar Broch Johnsen
Modeling and Simulation of Spark Streaming. CoRR (2018)
Jacopo Mauro, Michael Nieke, Christoph Seidl, Ingrid Chieh Yu
Context-aware reconfiguration in evolving software product lines. Sci. Comput. Program. 163 (2018)
Einar Broch Johnsen, Ingrid Chieh Yu
Dynamic Software Updates and Context Adaptation for Distributed Active Objects. Principled Software Development (2018)
Jacopo Mauro, Silvia Lizeth Tapia Tarifa, Ingrid Chieh Yu
Automatic Parameter Optimisation of Service Quality and Resource Usage. NIK (2018)
Michael Nieke, Jacopo Mauro, Christoph Seidl, Thomas Thüm, Ingrid Chieh Yu, Felix Franzke
Anomaly analyses for feature-model evolution. GPCE (2018)
Anastasia Gkolfi, Einar Broch Johnsen, Lars Michael Kristensen, Ingrid Chieh Yu
Using Coloured Petri Nets for Resource Analysis of Active Objects. FACS (2018)
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 (2018)
Jia-Chun Lin, Ming-Chang Lee, Ingrid Chieh Yu, Einar Broch Johnsen
Modeling and Simulation of Spark Streaming. AINA (2018)
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)
Ingrid Chieh Yu, Birgit Rognebakke Krogstie, Einar Broch Johnsen
Forord til NIK 2018. NIK (2018)
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)
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)
Jia-Chun Lin, Jacopo Mauro, Thomas Brox Røst, Ingrid Chieh Yu
A Model-Based Scalability Optimization Methodology for Cloud Applications. SC² (2017)
Magnus Hestvik, Jacopo Mauro, Ingrid Chieh Yu
CaSPL-gen: a Context-aware Software Product Line benchmark generator. NIK (2017)
Jacopo Mauro, Michael Nieke, Christoph Seidl, Ingrid Chieh Yu
Anomaly Detection and Explanation in Context-Aware Software Product Lines. SPLC (B) (2017)
Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu
Towards a categorical approach for meta-modelling epistemic game theory. MoDELS (2016)
Ferruccio Damiani, Christoph Seidl, Ingrid Chieh Yu
Introduction to the Track on Variability Modeling for Scalable Software Evolution. ISoLA (2) (2016)
Einar Broch Johnsen, Jia-Chun Lin, Ingrid Chieh Yu
Comparing AWS Deployments Using Model-Based Predictions. ISoLA (2) (2016)
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)
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) (2016)
Jia-Chun Lin, Ingrid Chieh Yu, Einar Broch Johnsen, Ming-Chang Lee
ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters. FASE (2016)
Michael Nieke, Jacopo Mauro, Christoph Seidl, Ingrid Chieh Yu
User Profiles for Context-Aware Reconfiguration in Software Product Lines. ISoLA (2) (2016)
Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu, Lars Michael Kristensen
WebDPF: A Web-based Metamodelling and Model Transformation Environment. MODELSWARD (2016)
Jacopo Mauro, Michael Nieke, Christoph Seidl, Ingrid Chieh Yu
Context Aware Reconfiguration in Software Product Lines. VaMoS (2016)
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 (2016)
Ingrid Chieh Yu, Henning Berg
A Framework for Metamodel Composition and Adaptation with Conformance-Preserving Model Migration. MODELSWARD (Revised Selected Papers) (2015)
Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu, Lars Michael Kristensen
A Diagrammatic Approach to Model Completion. AMT@MoDELS (2015)
Ingrid Chieh Yu, Henning Berg
A Formalisation of Analysis-based Model Migration. MODELSWARD (2015)
Johan Dovland, Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu
A proof system for adaptable class hierarchies. J. Log. Algebraic Methods Program. 84 (1) (2015)
Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu, Lars Michael Kristensen
Towards a Multi Metamodelling Approach for Developing Distributed Healthcare Applications. NIK (2015)
Olaf Owe, Ingrid Chieh Yu
Deadlock detection of active objects with synchronous and asynchronous method calls. NIK (2014)
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)
Johan Dovland, Einar Broch Johnsen, Ingrid Chieh Yu
Tracking Behavioral Constraints during Object-Oriented Software Evolution. ISoLA (1) (2012)
Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects. FM (2009)
Einar Broch Johnsen, Ingrid Chieh Yu
Backwards type analysis of asynchronous method calls. J. Log. Algebraic Methods Program. 77 (1-2) (2008)
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) (2007)
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) (2006)
Ingrid Chieh Yu, Einar Broch Johnsen, Olaf Owe
Type-Safe Runtime Class Upgrades in Creol. FMOODS (2006)
Anders Moen Hagalisletto, Ingrid Chieh Yu
Large scale construction of railroad models from specifications. SMC (7) (2004)