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