|
|
Norsk
versjon
In order to register data in Cristin, you must be an academic or administrative employee.
|
|
|
|
|
|
|
|
|
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
|