Current Research Information SysTem In Norway
 
 

 English version


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


Viser treff 1-18 av 18

2019
1 Din, Crystal Chang; Karlsen, Leif Harald; Pene, Irina; Stahl, Oliver; Yu, Ingrid Chieh; Østerlie, Thomas.
Geological Multi-scenario Reasoning. NIK: Norsk Informatikkonferanse 2019 s. -
NTNU UiO Untitled
 
2 Kamburjan, Eduard; Din, Crystal Chang; Hahnle, Reiner; Johnsen, Einar Broch.
Asynchronous Cooperative Contracts for Cooperative Scheduling. Lecture Notes in Computer Science (LNCS) 2019 ;Volum 11724 LNCS. s. 48-66
UiO Untitled
 
2018
3 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 ;Volum 10886. s. 73-88
UiO Untitled
 
4 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
 
2017
5 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 ;Volum 50.(5) s. -
UiO Untitled
 
6 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
 
2016
7 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 ;Volum 10009 LNCS. s. 296-312
UiO Untitled
 
2015
8 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
 
9 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
10 Din, Crystal Chang; Owe, Olaf.
A sound and complete reasoning system for asynchronous communication with shared futures. Journal of Logic and Algebraic Programming 2014 ;Volum 83.(5-6) s. 360-383
UiO Untitled
 
11 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. s. 480-487
UiO Untitled
 
2013
12 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. s. 25-27
UiO Untitled
 
13 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
14 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 ;Volum 81.(3) s. 227-256
UiO Untitled
 
15 Din, Crystal Chang; Dovland, Johan; Owe, Olaf.
Compositional Reasoning about Shared Futures. Lecture Notes in Computer Science (LNCS) 2012 ;Volum 7504. s. 94-108
UiO Untitled
 
16 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 s. -
UiO Untitled
 
2010
17 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
 
18 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. s. 26-27
FFI UIA UiO Untitled