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-34 of 34

2023
1 Kamburjan, Eduard; Din, Crystal Chang.
Runtime Enforcement Using Knowledge Bases. Lecture Notes in Computer Science (LNCS) 2023 ;Volume 13991. p. 220-240
UiB UiO Untitled
 
2 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
 
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 Abusdal, Ole Jørgen; Din, Crystal Chang; Pun, Violet Ka I; Stolz, Volker.
I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking. Lecture Notes in Computer Science (LNCS) 2022 ;Volume 13360. p. 1-18
HVL UiB Untitled
 
5 Kamburjan, Eduard; Din, Crystal Chang; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth; Johnsen, Einar Broch.
Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins. Lecture Notes in Computer Science (LNCS) 2022 ;Volume 13701. p. 188-204
UiO UiB 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 Motzfeldt, Ida Sandberg.
Modular Soundness Checking of Feature Model Evolution Plans. UiO: Institutt for Informatikk 2021 115 p.
UiO UiB Untitled
 
8 Sæther, Eirik Halvard.
Three-Way Semantic Merge for Feature Model Evolution Plans. UiO: Institutt for Informatikk 2021 133 p.
UiB UiO Untitled
 
2020
9 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
 
10 Kamburjan, Eduard; Din, Crystal Chang; Hähnle, Reiner; Johnsen, Einar Broch.
Behavioral Contracts for Cooperative Scheduling. Lecture Notes in Computer Science (LNCS) 2020 ;Volume 12345. p. 85-121
UiO Untitled
 
2019
11 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
 
12 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
 
13 Kamburjan, Eduard; Din, Crystal Chang; Hahnle, Reiner; Johnsen, Einar Broch.
Asynchronous Cooperative Contracts for Cooperative Scheduling. Lecture Notes in Computer Science (LNCS) 2019 ;Volume 11724 LNCS. p. 48-66
UiO Untitled
 
2018
14 Chang Din, Crystal; Schlatte, Rudolf; Chen, Tzu-Chun.
Program Verification for Exception Handling on Active Objects Using Futures. Lecture Notes in Computer Science (LNCS) 2018 ;Volume 10886. p. 73-88
UiO Untitled
 
15 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
 
2017
16 Din, Crystal Chang; Hahnle, Reiner; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth.
Locally abstract, globally concrete semantics of concurrent programming languages. Lecture Notes in Computer Science (LNCS) 2017 ;Volume 10501 LNAI. p. 22-43
UiO Untitled
 
17 de Boer, Frank; Serbanescu, Vlad; Hähnle, Reiner; Henrio, Ludovic; Rochas, Justine; Din, Crystal Chang; Johnsen, Einar Broch; Sirjani, Marjan; Khamespanah, Ehsan; Fernandez-Reyes, Kiko; Yang, Albert Mingkun.
A Survey of Active Object Languages. ACM Computing Surveys 2017 ;Volume 50.(5) p. -
UiO Untitled
 
18 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
 
2016
19 Kamburjan, Eduard; Din, Crystal Chang; Chen, Tzu-Chun.
Session-based compositional analysis for actor-based languages using futures. Lecture Notes in Computer Science (LNCS) 2016 ;Volume 10009 LNCS. p. 296-312
UiO Untitled
 
2015
20 Din, Crystal Chang; Owe, Olaf.
Compositional reasoning about active objects with shared futures. Formal Aspects of Computing 2015 ;Volume 27.(3) p. 551-572
UiO Untitled
 
21 Din, Crystal Chang; Tapia Tarifa, Silvia Lizeth; Hähnle, Reiner; Johnsen, Einar Broch.
History-Based Specification and Verification of Scalable Concurrent and Distributed Systems. Lecture Notes in Computer Science (LNCS) 2015 ;Volume 9407. p. 217-233
UiO Untitled
 
22 Bubel, Richard; Din, Crystal Chang; Hähnle, Reiner; Nakata, Keiko.
A Dynamic Logic with Traces and Coinduction. 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX); 2015-09-21 - 2015-09-24
UiO Untitled
 
23 Din, Crystal Chang; Bubel, Richard; Hähnle, Reiner.
KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS. 25th International Conference on Automated Deduction (CADE-25); 2015-08-01 - 2015-08-07
UiO Untitled
 
2014
24 Din, Crystal Chang; Owe, Olaf.
A sound and complete reasoning system for asynchronous communication with shared futures. Journal of Logic and Algebraic Programming 2014 ;Volume 83.(5-6) p. 360-383
UiO Untitled
 
25 Din, Crystal Chang; Owe, Olaf; Bubel, Richard.
Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems. I: Proc. International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2014. SciTePress 2014 ISBN 978-989-8565-42-6. p. 480-487
UiO Untitled
 
2013
26 Din, Crystal Chang; Bubel, Richard; Owe, Olaf.
A comparison of runtime assertion checking and theorem proving forconcurrent and distributed systems. I: 25th Nordic Workshop on Programming TheoryNWPT 2013, Tallinn, Estonia, 20–22 November 2013Abstracts. Estonia: Institute of Cybernetics at Tallinn University of Technology 2013 ISBN 978-9949-430-70-3. p. 25-27
UiO Untitled
 
27 Din, Crystal Chang; Bubel, Richard; Owe, Olaf.
Comparison of Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems. In proceedings of NWPT'13. 25th Nordic Workshop on Programming Theory; 2013-11-20 - 2013-11-22
UiO Untitled
 
2012
28 Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf.
Observable behavior of distributed systems: Component reasoning for concurrent objects. Journal of Logic and Algebraic Programming 2012 ;Volume 81.(3) p. 227-256
UiO Untitled
 
29 Din, Crystal Chang; Dovland, Johan; Owe, Olaf.
Compositional Reasoning about Shared Futures. Lecture Notes in Computer Science (LNCS) 2012 ;Volume 7504. p. 94-108
UiO Untitled
 
30 Din, Crystal Chang; Owe, Olaf.
Soundness of a Reasoning System for Asynchronous Communication with Futures. I: 24th Nordic Workshop on Programming Theory. Universitetet i Bergen 2012 p. -
UiO Untitled
 
2010
31 Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf.
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrenct Objects. 22nd Nordic Workshop on Programming Theory (NWPT'2010); 2010-11-10 - 2010-11-12
UiO Untitled
 
32 Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf.
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrenct Objects. I: Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT'10. Turku Finland: TUCS 2010 ISBN 978-952-12-2478-2. p. 26-27
UiO Untitled
 
33 Din, Crystal Chang; Bubel, Richard; Hähnle, Reiner.
Verification of Variable Software: an Experience Report. Formal Verification of Object-Oriented Software. Papers presented at the International Conference, June 28-30, 2010, Paris, France 2010
UiO Untitled
 
34 Din, Crystal Chang; Dovland, Johan; Owe, Olaf; Johnsen, Einar Broch.
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrenct Objects. I: Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT'10. Turku Finland: TUCS 2010 ISBN 978-952-12-2478-2. p. 26-27
FFI UIA UiO Untitled