Current Research Information SysTem In Norway
 
 

 Norsk versjon


 
Mainpage
Research results/NVI
Researchers
Projects
Research units
Log in
About Cristin
 
 
   
Back to search     Short format     Full format    
Export to


Showing results 1-50 of 72 << Previous 1 2    Next >>

2023
1 Motzfeldt, Ida Sandberg; Yu, Ingrid Chieh; Din, Crystal Chang; Pun, Violet Ka I; Stolz, Volker.
Modular Soundness Checking of Feature Model Evolution Plans. Lecture Notes in Computer Science (LNCS) 2023 ;Volume 14446. p. 417-437
HVL UiB UiO Untitled
 
2 Segal, Meirav; George, Anne-Marie; Yu, Ingrid Chieh; Dimitrakakis, Christos.
Robust Recourse for Binary Allocation Problems. Neurips 2023 workshop on XAI in Action: Past, Present, and Future Applications 2023
UiO Untitled
 
3 Sæther, Eirik Halvard; Yu, Ingrid Chieh; Din, Crystal Chang.
Semantics-Based Version Control for Feature Model Evolution Plans. NIKT: Norsk IKT-konferanse for forskning og utdanning 2023 ;Volume 1. p. -
UiO UiB Untitled
 
2022
4 Rasouli, Peyman; Yu, Ingrid Chieh.
CARE: coherent actionable recourse based on sound counterfactual explanations. International Journal of Data Science and Analytics (JDSA) 2022
UiO Untitled
 
5 Rasouli, Peyman; Yu, Ingrid Chieh; Jimenez-Ruiz, Ernesto.
Interpreting Categorical Data Classifiers using Explanation-based Locality. IEEE International Conference on Data Mining Workshops, ICDMW 2022 p. 163-170
UiO Untitled
 
6 Yu, Ingrid Chieh; Pene, Irina; Din, Crystal Chang; Karlsen, Leif Harald; Nguyen, Chi Mai; Stahl, Oliver; Latif, Adnan.
Subsurface Evaluation Through Multi-scenario Reasoning. I: Interactive Data Processing and 3D Visualization of the Solid Earth. Springer Nature 2022 ISBN 978-3-030-90715-0. p. 325-355
UiO Untitled
 
2021
7 Lebesbye, Torgeir; Mauro, Jacopo; Turin, Gianluca; Yu, Ingrid Chieh.
Boreas – A Service Scheduler for Optimal Kubernetes Deployment. Lecture Notes in Computer Science (LNCS) 2021 p. 221-237
UiO Untitled
 
8 Motzfeldt, Ida Sandberg.
Modular Soundness Checking of Feature Model Evolution Plans. UiO: Institutt for Informatikk 2021 115 p.
UiO UiB Untitled
 
9 Ramezanifarkhani, Toktam; Owe, Olaf; Yu, Ingrid Chieh.
Leadership in Academia. University of Oslo; 2021-01-26 - 2021-01-26
UiO HK Untitled
 
10 Rasouli, Peyman; Yu, Ingrid Chieh.
Analyzing and Improving the Robustness of Tabular Classifiers using Counterfactual Explanations. I: 2021 20th IEEE International Conference on Machine Learning and Applications (ICMLA). IEEE conference proceedings 2021 ISBN 978-1-6654-4337-1. p. 1286-1293
UiO Untitled
 
11 Rasouli, Peyman; Yu, Ingrid Chieh.
Explainable Debugger for Black-box Machine Learning Models. Proceedings of the International Joint Conference on Neural Networks 2021 p. -
UiO Untitled
 
12 Sæther, Eirik Halvard.
Three-Way Semantic Merge for Feature Model Evolution Plans. UiO: Institutt for Informatikk 2021 133 p.
UiB UiO Untitled
 
2020
13 Gkolfi, Anastasia; Johnsen, Einar Broch; Kristensen, Lars Michael; Yu, Ingrid Chieh.
Model checking starvation for resource-aware active objects with coloured petri nets. CEUR Workshop Proceedings 2020 ;Volume 2651. p. 68-85
UiO HVL Untitled
 
14 Hoff, Adrian; Nieke, Michael; Seidl, Christoph; Sæther, Eirik; Motzfeldt, Ida; Din, Crystal Chang; Yu, Ingrid Chieh; Schaefer, Ina.
Consistency-Preserving Evolution Planning on Feature Models. I: SPLC'20: 24th ACM International Systems and Software Product Line Conference, Montreal, Quebec, Canada, October 19-23, 2020, Volume A. Association for Computing Machinery (ACM) 2020 ISBN 978-1-4503-7569-6. p. 8:1-8:12
UiO Untitled
 
15 Lin, Jia-Chun; Lee, Ming-Chang; Yu, Ingrid Chieh; Johnsen, Einar Broch.
A Configurable and Executable Model of Spark Streaming on Apache YARN. International Journal of Grid and Utility Computing (IJGUC) 2020 ;Volume 11.(2) p. 185-195
UiO NTNU Untitled
 
16 Rasouli, Peyman; Yu, Ingrid Chieh.
EXPLAN: Explaining Black-box Classifiers using Adaptive Neighborhood Generation. Proceedings of the International Joint Conference on Neural Networks 2020
UiO Untitled
 
17 Yu, Ingrid Chieh; Cameron, David B.; Vølstad, Ann; Larsen, Åshild Hanne.
Industrial mentoring for junior researchers: An enabler for personal development and innovation. 2020 University-Industry Interaction Conference; 2020-06-08 - 2020-06-11
UiO Untitled
 
2019
18 Din, Crystal Chang; Karlsen, Leif Harald; Pene, Irina; Stahl, Oliver; Yu, Ingrid Chieh; Østerlie, Thomas.
Geological Multi-scenario Reasoning. NIKT: Norsk IKT-konferanse for forskning og utdanning 2019 p. -
UiO NTNU Untitled
 
19 Gkolfi, Anastasia; Din, Crystal Chang; Johnsen, Einar Broch; Kristensen, Lars Michael; Steffen, Martin; Yu, Ingrid Chieh.
Translating active objects into colored Petri nets for communication analysis. Science of Computer Programming 2019 ;Volume 181. p. 1-26
UiO HVL Untitled
 
20 Lebesbye, Torgeir.
Boreas – Reducing Resource Usage Through Optimized Kubernetes Scheduling. : Institutt for informatikk 2019 59 p.
UiO Untitled
 
21 Rasouli, Peyman; Yu, Ingrid Chieh.
Meaningful Data Sampling for a Faithful Local Explanation Method. Lecture Notes in Computer Science (LNCS) 2019 p. 28-38
UiO Untitled
 
2018
22 Din, Crystal Chang; Johnsen, Einar Broch; Owe, Olaf; Yu, Ingrid Chieh.
A modular reasoning system using uninterpreted predicates for code reuse. Journal of Logical and Algebraic Methods in Programming 2018 ;Volume 95. p. 82-102
UiO Untitled
 
23 Gkolfi, Anastasia; Johnsen, Einar Broch; Kristensen, Lars Michael; Yu, Ingrid Chieh.
Using coloured Petri nets for resource analysis of active objects. Lecture Notes in Computer Science (LNCS) 2018 ;Volume 11222 LNCS. p. 156-174
HVL UiO Untitled
 
24 Lin, Jia-Chun; Lee, Ming-Chang; Yu, Ingrid Chieh; Johnsen, Einar Broch.
Modeling and simulation of spark streaming. Advanced Information Networking and Applications 2018 ;Volume 2018-May. p. 407-413
UiO Untitled
 
25 Mauro, Jacopo; Nieke, Michael; Seidl, Christoph; Yu, Ingrid Chieh.
Context-aware reconfiguration in evolving software product lines. Science of Computer Programming 2018 ;Volume 163. p. 139-159
UiO Untitled
 
26 Mauro, Jacopo; Tapia Tarifa, Silvia Lizeth; Yu, Ingrid Chieh.
Automatic Parameter Optimisation of Service Quality and Resource Usage. NIKT: Norsk IKT-konferanse for forskning og utdanning 2018 p. -
UiO Untitled
 
27 Nieke, Michael; Mauro, Jacopo; Seidl, Christoph; Thum, Thomas; Yu, Ingrid Chieh; Franzke, Felix.
Anomaly Analyses for Feature-Model Evolution. I: Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. ACM Publications 2018 ISBN 978-1-4503-6045-6. p. 188-201
UiO Untitled
 
28 Røst, Thomas Brox; Seidl, Christoph; Yu, Ingrid Chieh; Damiani, Ferruccio; Johnsen, Einar Broch; Chesta, Cristina.
HyVar: Scalable Hybrid Variability for Distributed Evolving Software Systems. Communications in Computer and Information Science (CCIS) 2018 ;Volume 824. p. 159-163
UiO Untitled
 
29 Schlatte, Rudolf; Johnsen, Einar Broch; Mauro, Jacopo; Tapia Tarifa, Silvia Lizeth; Yu, Ingrid Chieh.
Release the Beasts: When Formal Methods Meet Real World Data. Lecture Notes in Computer Science (LNCS) 2018 ;Volume 10865. p. 107-121
UiO Untitled
 
2017
30 Berg, Henning; Yu, Ingrid Chieh.
Generic Metamodel Refactoring with Automatic Detection of Applicability and Co-evolution of Artefacts. : University of Oslo 2017 (ISBN 978-82-7368-426-4) 21 p.
UiO Untitled
 
31 Gkolfi, Anastasia; Din, Crystal Chang; Johnsen, Einar Broch; Steffen, Martin; Yu, Ingrid Chieh.
Translating Active Objects into Colored Petri Nets for Communication Analysis. Lecture Notes in Computer Science (LNCS) 2017 (10522) p. 84-99
UiO Untitled
 
32 Gkolfi, Anastasia; Johnsen, Einar Broch; Kristensen, Lars Michael; Yu, Ingrid Chieh.
Resource Management of Cloud-Aware Programs using Coloured Petri Nets. I: Proceedings of the 29th Nordic Workshop on Programming Theory. : Turku Centre for Computer Science 2017 ISBN 978-952-12-3608-2. p. 31-33
HVL UiO Untitled
 
33 Hestvik, Magnus Røed; Mauro, Jacopo; Yu, Ingrid Chieh.
CaSPL-gen: a Context-aware Software Product Line benchmark generator. NIKT: Norsk IKT-konferanse for forskning og utdanning 2017 p. -
UiO Untitled
 
34 Lin, Jia-Chun; Mauro, Jacopo; Røst, Thomas Brox; Yu, Ingrid Chieh.
A model-Based Scalability Optimization Methodology for Cloud Applications. Proceedings of the IEEE 2017 p. 163-170
UiO Untitled
 
35 Mauro, Jacopo; Seidl, Christoph; Nieke, Michael; Yu, Ingrid Chieh.
Anomaly Detection and Explanation in Context-Aware Software Product Lines. I: SPLC '17 Proceedings of the 21st International Systems and Software Product Line Conference - Volume B. Association for Computing Machinery (ACM) 2017 ISBN 978-1-4503-5119-5. p. 18-21
UiO Untitled
 
36 Rabbi, Fazle.
MDE TECHNIQUES FOR MODELING AND ANALYSIS OF COMPLEX SOFTWARE SYSTEMS. Faculty of Mathematics and Natural Sciences, University of Oslo: Reprosentralen, University of Oslo 2017 224 p. Series of dissertations submitted to the Faculty of Mathematics and Natural Sciences, University of Oslo.(1884)
HVL UiO Untitled
 
2016
37 Bubel, Richard; Damiani, Ferruccio; Hähnle, Reiner; Johnsen, Einar Broch; Owe, Olaf; Schaefer, Ina; Yu, Ingrid Chieh.
Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct. Lecture Notes in Computer Science (LNCS) 2016 ;Volume 9960. p. 130-156
UiO Untitled
 
38 Damiani, Ferruccio; Seidl, Christoph; Yu, Ingrid Chieh.
Introduction to the track on variability modeling for scalable software evolution. Lecture Notes in Computer Science (LNCS) 2016 ;Volume 9953 LNCS. p. 423-432
UiO Untitled
 
39 Johnsen, Einar Broch; Lin, Jia-Chun; Yu, Ingrid Chieh.
AWS deployments using model-based predictions. the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016); 2016-10-05 - 2016-10-14
UiO Untitled
 
40 Johnsen, Einar Broch; Lin, Jia-Chun; Yu, Ingrid Chieh.
Comparing AWS Deployments Using Model-Based Predictions. Lecture Notes in Computer Science (LNCS) 2016 ;Volume 9953. p. 482-496
UiO Untitled
 
41 Johnsen, Einar Broch; Pun, Ka I; Steffen, Martin; Tapia Tarifa, Silvia Lizeth; Yu, Ingrid Chieh.
Meeting Deadlines, Elastically. I: From Action Systems to Distributed Systems: The Refinement Approach. CRC Press 2016 ISBN 978-1-4987-0158-7. p. 99-111
UiO Untitled
 
42 Li, Jingyue; Qeriqi, Altin; Steffen, Martin; Yu, Ingrid Chieh.
Automatic translation from FBD-PLC-programs to NuSMV for model checking safety-critical control systems. NIKT: Norsk IKT-konferanse for forskning og utdanning 2016 p. -
UiO NTNU Untitled
 
43 Lin, Jia-Chun; Yu, Ingrid Chieh; Johnsen, Einar Broch; Lee, Ming-Chang.
ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters. 19th International Conference on Fundamental Approaches to Software Engineering; 2016-04-02 - 2016-04-08
UiO Untitled
 
44 Lin, Jia-Chun; Yu, Ingrid Chieh; Johnsen, Einar Broch; Lee, Ming-Chang.
ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters. I: 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 2016 ISBN 3662496658. p. 49-65
UiO Untitled
 
45 Mauro, Jacopo; Nieke, Michael; Seidl, Christoph; Yu, Ingrid Chieh.
Context Aware Reconfiguration in Software Product Lines. I: Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems. Association for Computing Machinery (ACM) 2016 ISBN 978-1-4503-4019-9. p. 41-48
UiO Untitled
 
46 Nieke, Michael; Mauro, Jacopo; Seidl, Christoph; Yu, Ingrid Chieh.
User profiles for context-aware reconfiguration in software product lines. Lecture Notes in Computer Science (LNCS) 2016 ;Volume 9953 LNCS. p. 563-578
UiO Untitled
 
47 Rabbi, Fazle; Lamo, Yngve; Yu, Ingrid Chieh.
Towards a categorical approach for meta-modelling epistemic game theory. I: MODELS '16: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems. Association for Computing Machinery (ACM) 2016 ISBN 978-1-4503-4321-3. p. 57-64
HVL UiO Untitled
 
48 Rabbi, Fazle; Lamo, Yngve; Yu, Ingrid Chieh; Kristensen, Lars Michael.
Diagrammatic development of domain specific modelling languages with WebDPF. International Journal of Information System Modeling and Design 2016 ;Volume 7.(3) p. 93-114
HVL UiO Untitled
 
49 Rabbi, Fazle; Lamo, Yngve; Yu, Ingrid Chieh; Kristensen, Lars Michael.
WebDPF: A Web-based Metamodelling and Model Transformation Environment. I: Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development. SciTePress 2016 ISBN 978-989-758-168-7. p. 87-98
HVL UiO Untitled
 
2015
50 Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Yu, Ingrid Chieh.
A proof system for adaptable class hierarchies. Journal of Logical and Algebraic Methods in Programming 2015 ;Volume 84.(1) p. 37-53
UiO Untitled
 
    Show next list