Current Research Information SysTem In Norway
 
 

 English version


 
Hovedside
Forskningsresultater/NVI
Forskere
Prosjekter
Forskningsenheter
Logg inn
Om Cristin
 
 
   
Eksporter til


Viser treff 1-50 av 60 << Forrige 1 2    Neste >>

2020
1 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 ;Volum 2651. s. 68-85
HVL UiO Untitled
 
2 Hoff, Adrian; Nieke, Michael; Seidl, Christoph; Sæther, Eirik Halvard; Motzfeldt, Ida Sandberg; 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. ACM Digital Library 2020 ISBN 978-1-4503-7569-6. s. 8:1-8:12
UiO Untitled
 
3 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 ;Volum 11.(2) s. 185-195
NTNU UiO Untitled
 
4 Rasouli, Peyman; Yu, Ingrid Chieh.
EXPLAN: Explaining Black-box Classifiers using Adaptive Neighborhood Generation. Proceedings of ... International Joint Conference on Neural Networks 2020
UiO Untitled
 
5 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
6 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 s. -
NTNU UiO Untitled
 
7 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 ;Volum 181. s. 1-26
HVL UiO Untitled
 
8 Lebesbye, Torgeir.
Boreas – Reducing Resource Usage Through Optimized Kubernetes Scheduling. : Institutt for informatikk 2019 59 s.
UiO Untitled
 
9 Rasouli, Peyman; Yu, Ingrid Chieh.
Meaningful Data Sampling for a Faithful Local Explanation Method. Lecture Notes in Computer Science (LNCS) 2019 s. 28-38
UiO Untitled
 
2018
10 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 ;Volum 95. s. 82-102
UiO Untitled
 
11 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 ;Volum 11222 LNCS. s. 156-174
HVL UiO Untitled
 
12 Lin, Jia-Chun; Lee, Ming-Chang; Yu, Ingrid Chieh; Johnsen, Einar Broch.
Modeling and simulation of spark streaming. Advanced Information Networking and Applications 2018 ;Volum 2018-May. s. 407-413
UiO Untitled
 
13 Mauro, Jacopo; Nieke, Michael; Seidl, Christoph; Yu, Ingrid Chieh.
Context-aware reconfiguration in evolving software product lines. Science of Computer Programming 2018 ;Volum 163. s. 139-159
UiO Untitled
 
14 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 s. -
UiO Untitled
 
15 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. s. 188-201
UiO Untitled
 
16 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 2018 ;Volum 824. s. 159-163
UiO Untitled
 
17 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 ;Volum 10865. s. 107-121
UiO Untitled
 
2017
18 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 s.
UiO Untitled
 
19 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) s. 84-99
UiO Untitled
 
20 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. s. 31-33
HVL UiO Untitled
 
21 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 s. -
UiO Untitled
 
22 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 s. 163-170
UiO Untitled
 
23 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. s. 18-21
UiO Untitled
 
24 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 s. Series of dissertations submitted to the Faculty of Mathematics and Natural Sciences, University of Oslo.(1884)
HVL UiO Untitled
 
2016
25 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 ;Volum 9960. s. 130-156
UiO Untitled
 
26 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 ;Volum 9953 LNCS. s. 423-432
UiO Untitled
 
27 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
 
28 Johnsen, Einar Broch; Lin, Jia-Chun; Yu, Ingrid Chieh.
Comparing AWS Deployments Using Model-Based Predictions. Lecture Notes in Computer Science (LNCS) 2016 ;Volum 9953. s. 482-496
UiO Untitled
 
29 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. s. 99-111
UiO Untitled
 
30 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 s. -
NTNU UiO Untitled
 
31 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
 
32 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. s. 49-65
UiO Untitled
 
33 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. s. 41-48
UiO Untitled
 
34 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 ;Volum 9953 LNCS. s. 563-578
UiO Untitled
 
35 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. s. 57-64
HVL UiO Untitled
 
36 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 ;Volum 7.(3) s. 93-114
HVL UiO Untitled
 
37 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. s. 87-98
HVL UiO Untitled
 
2015
38 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 ;Volum 84.(1) s. 37-53
UiO Untitled
 
39 Johnsen, Einar Broch; Pun, Ka I; Steffen, Martin; Tapia Tarifa, Silvia Lizeth; Yu, Ingrid Chieh.
Meeting Deadlines, Elastically.. : UiO 2015 (ISBN 978-82-7368-408-0) 15 s.
UiO Untitled
 
40 Owe, Olaf; Lin, Jia-Chun; Yu, Ingrid Chieh.
A Formal Framework Supporting Unrestricted Software Changes in Object-Oriented Concurrent Systems. 27th Nordic Workshop on Programming Theory (NWPT 2015); 2015-10-21 - 2015-10-23
UiO Untitled
 
41 Rabbi, Fazle; Lamo, Yngve; Kristensen, Lars Michael; Yu, Ingrid Chieh.
A generalization of termination conditions for partial model completion. 27th Nordic Workshop on Programming Theory; 2015-10-21 - 2015-10-23
HVL UiO Untitled
 
42 Rabbi, Fazle; Lamo, Yngve; Yu, Ingrid Chieh; Kristensen, Lars Michael.
A diagrammatic approach to model completion. CEUR Workshop Proceedings 2015 ;Volum 1500. s. 56-65
HVL UiO Untitled
 
43 Rabbi, Fazle; Lamo, Yngve; Yu, Ingrid Chieh; Kristensen, Lars Michael.
Towards a Multi Metamodelling Approach for Developing Distributed Healthcare Applications. NIKT: Norsk IKT-konferanse for forskning og utdanning 2015 s. -
HVL UiO Untitled
 
44 Yu, Ingrid Chieh.
Gjer smarte bilar smartare. Uniforum [Avis] 2015-03-16
UiO Untitled
 
45 Yu, Ingrid Chieh; Berg, Henning.
A Formalisation of Analysis-based Model Migration. I: MODELSWARD 2015 - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development, ESEO, Angers, Loire Valley, France, 9-11 February, 2015. SciTePress 2015 ISBN 978-989-758-083-3. s. 86-98
UiO Untitled
 
46 Yu, Ingrid Chieh; Berg, Henning.
A Framework for Metamodel Composition and Adaptation with Conformance-Preserving Model Migration. Springer 2015 (ISBN 978-3-319-27868-1) 23 s. Communications in Computer and Information Science(580)
UiO Untitled
 
2014
47 Owe, Olaf; Yu, Ingrid Chieh.
Deadlock detection of active objects with synchronous and asynchronous method calls. NIKT: Norsk IKT-konferanse for forskning og utdanning 2014 ;Volum 3. s. -
UiO Untitled
 
48 Rabbi, Fazle; Lamo, Yngve; Yu, Ingrid Chieh; Kristensen, Lars Michael.
Towards a Diagrammatic Rewriting System for Model Completion. 26th Nordic Workshop on Programming Theory; 2014-10-29 - 2014-10-31
HVL UiO Untitled
 
2012
49 Damiani, Ferruccio; Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Schaefer, Ina; Yu, Ingrid Chieh.
A Transformational Proof System for Delta-Oriented Programming. I: SPLC'12 Proceedings of the 16th International Software Product Line Conference - Volume 2. ACM Publications 2012 ISBN 978-1-4503-1095-6. s. 53-60
UiO Untitled
 
50 Dovland, Johan; Johnsen, Einar Broch; Yu, Ingrid Chieh.
Tracking Behavioral Constraints during Object-Oriented Software Evolution. Lecture Notes in Computer Science (LNCS) 2012 ;Volum 7609. s. 253-268
UiO Untitled
 
    Vis neste liste