Crystal Chang Din

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 16

Top Topics

Asynchronous Communication

Distributed Systems

Colored Petri Nets

Concurrent Programming

Top Venues

J. Log. Algebraic Methods Program.

Publications

Crystal Chang Din, Reiner Hähnle, Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. ACM Trans. Program. Lang. Syst. 46 (1) (2024)
Ida Sandberg Motzfeldt, Ingrid Chieh Yu, Crystal Chang Din, Violet Ka I Pun, Volker Stolz
Modular Soundness Checking of Feature Model Evolution Plans. ICTAC (2023)
Eduard Kamburjan, Crystal Chang Din
Runtime Enforcement Using Knowledge Bases. FASE (2023)
Eduard Kamburjan, Crystal Chang Din, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins. ISoLA (1) (2022)
Ole Jørgen Abusdal, Crystal Chang Din, Violet Ka I Pun, Volker Stolz
I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Crystal Chang Din, Reiner Hähnle, Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa
LAGC Semantics of Concurrent Programming Languages. CoRR (2022)
Adrian Hoff, Michael Nieke, Christoph Seidl, Eirik Halvard Sæther, Ida Sandberg Motzfeldt, Crystal Chang Din, Ingrid Chieh Yu, Ina Schaefer
Consistency-preserving evolution planning on feature models. SPLC (A) (2020)
Anastasia Gkolfi, Crystal Chang Din, Einar Broch Johnsen, Lars Michael Kristensen, Martin Steffen, Ingrid Chieh Yu
Translating active objects into colored Petri nets for communication analysis. Sci. Comput. Program. 181 (2019)
Eduard Kamburjan, Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen
Asynchronous Cooperative Contracts for Cooperative Scheduling. SEFM (2019)
Crystal Chang Din, Leif Harald Karlsen, Irina Pene, Oliver Stahl, Ingrid Chieh Yu, Thomas Østerlie
Geological Multi-scenario Reasoning. NIK (2019)
Crystal Chang Din, Rudolf Schlatte, Tzu-Chun Chen
Program Verification for Exception Handling on Active Objects Using Futures. SEFM (2018)
Crystal Chang Din, Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu
A modular reasoning system using uninterpreted predicates for code reuse. J. Log. Algebraic Methods Program. 95 (2018)
Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. TABLEAUX (2017)
Anastasia Gkolfi, Crystal Chang Din, Einar Broch Johnsen, Martin Steffen, Ingrid Chieh Yu
Translating Active Objects into Colored Petri Nets for Communication Analysis. FSEN (2017)
Frank S. de Boer, Vlad Serbanescu, Reiner Hähnle, Ludovic Henrio, Justine Rochas, Crystal Chang Din, Einar Broch Johnsen, Marjan Sirjani, Ehsan Khamespanah, Kiko Fernandez-Reyes, Albert Mingkun Yang
A Survey of Active Object Languages. ACM Comput. Surv. 50 (5) (2017)
Eduard Kamburjan, Crystal Chang Din, Tzu-Chun Chen
Session-Based Compositional Analysis for Actor-Based Languages Using Futures. ICFEM (2016)
Richard Bubel, Crystal Chang Din, Reiner Hähnle, Keiko Nakata
A Dynamic Logic with Traces and Coinduction. TABLEAUX (2015)
Crystal Chang Din, Olaf Owe
Compositional reasoning about active objects with shared futures. Formal Aspects Comput. 27 (3) (2015)
Crystal Chang Din, Richard Bubel, Reiner Hähnle
KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS. CADE (2015)
Crystal Chang Din, Silvia Lizeth Tapia Tarifa, Reiner Hähnle, Einar Broch Johnsen
History-Based Specification and Verification of Scalable Concurrent and Distributed Systems. ICFEM (2015)
Crystal Chang Din, Olaf Owe
A sound and complete reasoning system for asynchronous communication with shared futures. J. Log. Algebraic Methods Program. 83 (5-6) (2014)
Crystal Chang Din, Olaf Owe, Richard Bubel
Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems. MODELSWARD (2014)
Crystal Chang Din, Johan Dovland, Einar Broch Johnsen, Olaf Owe
Observable behavior of distributed systems: Component reasoning for concurrent objects. J. Log. Algebraic Methods Program. 81 (3) (2012)
Crystal Chang Din, Johan Dovland, Olaf Owe
Compositional Reasoning about Shared Futures. SEFM (2012)