Crystal Chang Din
Crystal Chang Din
Department of Informatics, University of Oslo, Norway
No verified email
Title
Cited by
Cited by
Year
A survey of active object languages
FD Boer, V Serbanescu, R Hähnle, L Henrio, J Rochas, CC Din, ...
ACM Computing Surveys (CSUR) 50 (5), 1-39, 2017
782017
KeY-ABS: A deductive verification tool for the concurrent modelling language ABS
CC Din, R Bubel, R Hähnle
International Conference on Automated Deduction, 517-526, 2015
592015
Observable behavior of distributed systems: Component reasoning for concurrent objects
CC Din, J Dovland, EB Johnsen, O Owe
The Journal of Logic and Algebraic Programming 81 (3), 227-256, 2012
462012
Compositional reasoning about active objects with shared futures
CC Din, O Owe
Formal Aspects of Computing 27 (3), 551-572, 2015
302015
A sound and complete reasoning system for asynchronous communication with shared futures
CC Din, O Owe
Journal of Logical and Algebraic Methods in Programming 83 (5-6), 360-383, 2014
282014
History-based specification and verification of scalable concurrent and distributed systems
CC Din, SLT Tarifa, R Hähnle, EB Johnsen
International Conference on Formal Engineering Methods, 217-233, 2015
242015
Session-based compositional analysis for actor-based languages using futures
E Kamburjan, CC Din, TC Chen
International Conference on Formal Engineering Methods, 296-312, 2016
162016
Compositional reasoning about shared futures
CC Din, J Dovland, O Owe
International Conference on Software Engineering and Formal Methods, 94-108, 2012
162012
Locally abstract, globally concrete semantics of concurrent programming languages
CC Din, R Hähnle, EB Johnsen, KI Pun, SLT Tarifa
International Conference on Automated Reasoning with Analytic Tableaux and …, 2017
102017
An approach to compositional reasoning about concurrent objects and futures
CC Din, J Dovland, O Owe
Research report http://urn. nb. no/URN: NBN: no-35645, 2012
82012
Translating active objects into colored petri nets for communication analysis
A Gkolfi, CC Din, EB Johnsen, LM Kristensen, M Steffen, IC Yu
Science of Computer Programming 181, 1-26, 2019
72019
Runtime assertion checking and theorem proving for concurrent and distributed systems
CC Din, O Owe, R Bubel
2014 2nd International Conference on Model-Driven Engineering and Software …, 2014
72014
A modular reasoning system using uninterpreted predicates for code reuse
CC Din, EB Johnsen, O Owe, IC Yu
Journal of logical and algebraic methods in programming 95, 82-102, 2018
62018
A dynamic logic with traces and coinduction
R Bubel, CC Din, R Hähnle, K Nakata
International Conference on Automated Reasoning with Analytic Tableaux and …, 2015
62015
Verification of Asynchronously Communicating Objects
CC Din
52014
Geological multi-scenario reasoning
CC Din, LH Karlsen, I Pene, O Stahl, IC Yu, T Østerlie
NIK: Norsk Informatikkonferanse, 2019
42019
Verification of Variable Software: An Experience Report⋆
R Bubel, C Din, R Hähnle
Formal Verification of Object-Oriented Software, 220, 2010
42010
Asynchronous cooperative contracts for cooperative scheduling
E Kamburjan, CC Din, R Hähnle, EB Johnsen
International Conference on Software Engineering and Formal Methods, 48-66, 2019
32019
Consistency-preserving evolution planning on feature models
A Hoff, M Nieke, C Seidl, EH Sæther, IS Motzfeldt, CC Din, IC Yu, ...
Proceedings of the 24th ACM Conference on Systems and Software Product Line …, 2020
22020
Berry press-residue-a valuable source of polyphenols with potential health effects
L Holtung
22014
The system can't perform the operation now. Try again later.
Articles 1–20