Ingrid Chieh Yu

57 papers A 3B 6C 4Journal 14Unranked 29

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Modular soundness checking of feature model evolution plans. Theor. Comput. Sci. Crystal Chang Din, Charaf Eddine Dridi, Ida Sandberg Motzfeldt, Violet Ka I Pun, Volker Stolz, Ingrid Chieh Yu
2025	A	`conf`	User-Centric Question Answering with Explanation for Industrial System Information Modelling. ECAI Yan Zhou, Baifan Zhou, Qianhang Lyu, Arild Waaler, Ingrid Chieh Yu
2024	—	`conf`	Better Luck Next Time: About Robust Recourse in Binary Allocation Problems. xAI (3) Meirav Segal, Anne-Marie George, Ingrid Chieh Yu, Christos Dimitrakakis
2024	J	`jnl`	CARE: coherent actionable recourse based on sound counterfactual explanations. Int. J. Data Sci. Anal. Peyman Rasouli, Ingrid Chieh Yu
2023	C	`conf`	Modular Soundness Checking of Feature Model Evolution Plans. ICTAC Ida Sandberg Motzfeldt, Ingrid Chieh Yu, Crystal Chang Din, Violet Ka I Pun, Volker Stolz
2022	—	`conf`	Interpreting Categorical Data Classifiers using Explanation-based Locality. ICDM (Workshops) Peyman Rasouli, Ingrid Chieh Yu, Ernesto Jiménez-Ruiz
2021	C	`conf`	Analyzing and Improving the Robustness of Tabular Classifiers using Counterfactual Explanations. ICMLA Peyman Rasouli, Ingrid Chieh Yu
2021	A	`conf`	Boreas - A Service Scheduler for Optimal Kubernetes Deployment. ICSOC Torgeir Lebesbye, Jacopo Mauro, Gianluca Turin, Ingrid Chieh Yu
2021	J	`jnl`	CARE: Coherent Actionable Recourse based on Sound Counterfactual Explanations. CoRR Peyman Rasouli, Ingrid Chieh Yu
2021	B	`conf`	Explainable Debugger for Black-box Machine Learning Models. IJCNN Peyman Rasouli, Ingrid Chieh Yu
2020	J	`jnl`	A configurable and executable model of Spark Streaming on Apache YARN. Int. J. Grid Util. Comput. Jia-Chun Lin, Ming-Chang Lee, Ingrid Chieh Yu, Einar Broch Johnsen
2020	—	`conf`	Consistency-preserving evolution planning on feature models. SPLC (A) Adrian Hoff, Michael Nieke, Christoph Seidl, Eirik Halvard Sæther, Ida Sandberg Motzfeldt, Crystal Chang Din, Ingrid Chieh Yu, Ina Schaefer
2020	B	`conf`	EXPLAN: Explaining Black-box Classifiers using Adaptive Neighborhood Generation. IJCNN Peyman Rasouli, Ingrid Chieh Yu
2020	—	`conf`	Model Checking Starvation for Resource-aware Active Objects with Coloured Petri Nets. PNSE@Petri Nets Anastasia Gkolfi, Einar Broch Johnsen, Lars Michael Kristensen, Ingrid Chieh Yu
2019	—	`conf`	Geological Multi-scenario Reasoning. NIK Crystal Chang Din, Leif Harald Karlsen, Irina Pene, Oliver Stahl, Ingrid Chieh Yu, Thomas Østerlie
2019	—	`conf`	Meaningful Data Sampling for a Faithful Local Explanation Method. IDEAL (1) Peyman Rasouli, Ingrid Chieh Yu
2019	J	`jnl`	Translating active objects into colored Petri nets for communication analysis. Sci. Comput. Program. Anastasia Gkolfi, Crystal Chang Din, Einar Broch Johnsen, Lars Michael Kristensen, Martin Steffen, Ingrid Chieh Yu
2018	J	`jnl`	A modular reasoning system using uninterpreted predicates for code reuse. J. Log. Algebraic Methods Program. Crystal Chang Din, Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu
2018	B	`conf`	Anomaly analyses for feature-model evolution. GPCE Michael Nieke, Jacopo Mauro, Christoph Seidl, Thomas Thüm, Ingrid Chieh Yu, Felix Franzke
2018	—	`conf`	Automatic Parameter Optimisation of Service Quality and Resource Usage. NIK Jacopo Mauro, Silvia Lizeth Tapia Tarifa, Ingrid Chieh Yu
2018	J	`jnl`	Context-aware reconfiguration in evolving software product lines. Sci. Comput. Program. Jacopo Mauro, Michael Nieke, Christoph Seidl, Ingrid Chieh Yu
2018	—	`conf`	Dynamic Software Updates and Context Adaptation for Distributed Active Objects. Principled Software Development Einar Broch Johnsen, Ingrid Chieh Yu
2018	—	`conf`	Forord til NIK 2018. NIK Ingrid Chieh Yu, Birgit Rognebakke Krogstie, Einar Broch Johnsen
2018	B	`conf`	Modeling and Simulation of Spark Streaming. AINA Jia-Chun Lin, Ming-Chang Lee, Ingrid Chieh Yu, Einar Broch Johnsen
2018	J	`jnl`	Modeling and Simulation of Spark Streaming. CoRR Jia-Chun Lin, Ming-Chang Lee, Ingrid Chieh Yu, Einar Broch Johnsen
2018	—	`conf`	Release the Beasts: When Formal Methods Meet Real World Data. It's All About Coordination Rudolf Schlatte, Einar Broch Johnsen, Jacopo Mauro, Silvia Lizeth Tapia Tarifa, Ingrid Chieh Yu
2018	—	`conf`	Using Coloured Petri Nets for Resource Analysis of Active Objects. FACS Anastasia Gkolfi, Einar Broch Johnsen, Lars Michael Kristensen, Ingrid Chieh Yu
2017	—	`conf`	A Model-Based Scalability Optimization Methodology for Cloud Applications. SC² Jia-Chun Lin, Jacopo Mauro, Thomas Brox Røst, Ingrid Chieh Yu
2017	—	`conf`	Anomaly Detection and Explanation in Context-Aware Software Product Lines. SPLC (B) Jacopo Mauro, Michael Nieke, Christoph Seidl, Ingrid Chieh Yu
2017	—	`conf`	CaSPL-gen: a Context-aware Software Product Line benchmark generator. NIK Magnus Hestvik, Jacopo Mauro, Ingrid Chieh Yu
2017	—	`conf`	HyVar - Scalable Hybrid Variability for Distributed Evolving Software Systems. ESOCC Workshops Thomas Brox Røst, Christoph Seidl, Ingrid Chieh Yu, Ferruccio Damiani, Einar Broch Johnsen, Cristina Chesta
2017	—	`conf`	Translating Active Objects into Colored Petri Nets for Communication Analysis. FSEN Anastasia Gkolfi, Crystal Chang Din, Einar Broch Johnsen, Martin Steffen, Ingrid Chieh Yu
2016	B	`conf`	ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters. FASE Jia-Chun Lin, Ingrid Chieh Yu, Einar Broch Johnsen, Ming-Chang Lee
2016	—	`conf`	Automatic translation from FBD-PLC-programs to NuSMV for model checking safety-critical control systems. NIK Jingyue Li, Altin Qeriqi, Martin Steffen, Ingrid Chieh Yu
2016	—	`conf`	Comparing AWS Deployments Using Model-Based Predictions. ISoLA (2) Einar Broch Johnsen, Jia-Chun Lin, Ingrid Chieh Yu
2016	—	`conf`	Context Aware Reconfiguration in Software Product Lines. VaMoS Jacopo Mauro, Michael Nieke, Christoph Seidl, Ingrid Chieh Yu
2016	J	`jnl`	Diagrammatic Development of Domain Specific Modelling Languages with WebDPF. Int. J. Inf. Syst. Model. Des. Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu, Lars Michael Kristensen
2016	—	`conf`	Introduction to the Track on Variability Modeling for Scalable Software Evolution. ISoLA (2) Ferruccio Damiani, Christoph Seidl, Ingrid Chieh Yu
2016	—	`ch.`	Meeting Deadlines, Elastically. From Action Systems to Distributed Systems Einar Broch Johnsen, Ka I Pun, Martin Steffen, Silvia Lizeth Tapia Tarifa, Ingrid Chieh Yu
2016	J	`jnl`	Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct. LNCS Trans. Found. Mastering Chang. Richard Bubel, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Olaf Owe, Ina Schaefer, Ingrid Chieh Yu
2016	A	`conf`	Towards a categorical approach for meta-modelling epistemic game theory. MoDELS Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu
2016	—	`conf`	User Profiles for Context-Aware Reconfiguration in Software Product Lines. ISoLA (2) Michael Nieke, Jacopo Mauro, Christoph Seidl, Ingrid Chieh Yu
2016	C	`conf`	WebDPF: A Web-based Metamodelling and Model Transformation Environment. MODELSWARD Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu, Lars Michael Kristensen
2015	—	`conf`	A Diagrammatic Approach to Model Completion. AMT@MoDELS Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu, Lars Michael Kristensen
2015	C	`conf`	A Formalisation of Analysis-based Model Migration. MODELSWARD Ingrid Chieh Yu, Henning Berg
2015	—	`conf`	A Framework for Metamodel Composition and Adaptation with Conformance-Preserving Model Migration. MODELSWARD (Revised Selected Papers) Ingrid Chieh Yu, Henning Berg
2015	J	`jnl`	A proof system for adaptable class hierarchies. J. Log. Algebraic Methods Program. Johan Dovland, Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu
2015	—	`conf`	Towards a Multi Metamodelling Approach for Developing Distributed Healthcare Applications. NIK Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu, Lars Michael Kristensen
2014	—	`conf`	Deadlock detection of active objects with synchronous and asynchronous method calls. NIK Olaf Owe, Ingrid Chieh Yu
2012	—	`conf`	A transformational proof system for delta-oriented programming. SPLC (2) Ferruccio Damiani, Olaf Owe, Johan Dovland, Ina Schaefer, Einar Broch Johnsen, Ingrid Chieh Yu
2012	—	`conf`	Tracking Behavioral Constraints during Object-Oriented Software Evolution. ISoLA (1) Johan Dovland, Einar Broch Johnsen, Ingrid Chieh Yu
2009	B	`conf`	Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects. FM Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu
2008	J	`jnl`	Backwards type analysis of asynchronous method calls. J. Log. Algebraic Methods Program. Einar Broch Johnsen, Ingrid Chieh Yu
2007	J	`jnl`	Constructing and Refining Large-Scale Railway Models Represented by Petri Nets. IEEE Trans. Syst. Man Cybern. Part C Anders Moen Hagalisletto, Joakim Bjørk, Ingrid Chieh Yu, På Enger
2006	J	`jnl`	Creol: A type-safe object-oriented model for distributed concurrent systems. Theor. Comput. Sci. Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu
2006	—	`conf`	Type-Safe Runtime Class Upgrades in Creol. FMOODS Ingrid Chieh Yu, Einar Broch Johnsen, Olaf Owe
2004	—	`conf`	Large scale construction of railroad models from specifications. SMC (7) Anders Moen Hagalisletto, Ingrid Chieh Yu