Follow
Crystal Chang Din
Crystal Chang Din
Department of Informatics, University of Bergen, Norway
Verified email at uib.no
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
1462017
KeY-ABS: A deductive verification tool for the concurrent modelling language ABS
CC Din, R Bubel, R Hähnle
Automated Deduction-CADE-25: 25th International Conference on Automated …, 2015
732015
Compositional reasoning about active objects with shared futures
CC Din, O Owe
Formal Aspects of Computing 27, 551-572, 2015
502015
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
502012
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
372014
History-based specification and verification of scalable concurrent and distributed systems
CC Din, SL Tapia Tarifa, R Hähnle, EB Johnsen
Formal Methods and Software Engineering: 17th International Conference on …, 2015
302015
Locally abstract, globally concrete semantics of concurrent programming languages
CC Din, R Hähnle, EB Johnsen, KI Pun, SL Tapia Tarifa
Automated Reasoning with Analytic Tableaux and Related Methods: 26th …, 2017
292017
Session-based compositional analysis for actor-based languages using futures
E Kamburjan, CC Din, TC Chen
Formal Methods and Software Engineering: 18th International Conference on …, 2016
252016
Compositional reasoning about shared futures
CC Din, J Dovland, O Owe
International Conference on Software Engineering and Formal Methods, 94-108, 2012
182012
A dynamic logic with traces and coinduction
R Bubel, CC Din, R Hähnle, K Nakata
Automated Reasoning with Analytic Tableaux and Related Methods: 24th …, 2015
172015
Behavioral contracts for cooperative scheduling
E Kamburjan, CC Din, R Hähnle, EB Johnsen
Deductive Software Verification: Future Perspectives: Reflections on the …, 2020
132020
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
132020
Geological multi-scenario reasoning
CC Din, LH Karlsen, I Pene, O Stahl, IC Yu, T Østerlie
NIK: Norsk Informatikkonferanse, 2019
102019
LAGC semantics of concurrent programming languages
CC Din, R Hähnle, L Henrio, EB Johnsen, VKI Pun, SLT Tarifa
arXiv preprint arXiv:2202.12195, 2022
82022
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
82014
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
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
72018
Verification Of Asynchronously Communicating Objects
CC Din
62014
Twinning-by-construction: ensuring correctness for self-adaptive digital twins
E Kamburjan, CC Din, R Schlatte, SLT Tarifa, EB Johnsen
International Symposium on Leveraging Applications of Formal Methods, 188-204, 2022
52022
The system can't perform the operation now. Try again later.
Articles 1–20