Crystal Chang Din

27 papers A 1B 6C 4Journal 10Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
FTfJP 2025 - Formal Techniques for Judicious Programming: Preface.
J. Object Technol.
Crystal Chang Din
2025 J jnl
Modular soundness checking of feature model evolution plans.
Theor. Comput. Sci.
Crystal Chang Din, Charaf Eddine Dridi, Ida Sandberg Motzfeldt, Violet Ka I Pun, Volker Stolz, Ingrid Chieh Yu
2024 J jnl
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages.
ACM Trans. Program. Lang. Syst.
Crystal Chang Din, Reiner Hähnle, Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa
2023 C conf
Modular Soundness Checking of Feature Model Evolution Plans.
ICTAC
Ida Sandberg Motzfeldt, Ingrid Chieh Yu, Crystal Chang Din, Violet Ka I Pun, Volker Stolz
2023 B conf
Runtime Enforcement Using Knowledge Bases.
FASE
Eduard Kamburjan, Crystal Chang Din
2022 — conf
I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking.
The Logic of Software. A Tasting Menu of Formal Methods
Ole Jørgen Abusdal, Crystal Chang Din, Violet Ka I Pun, Volker Stolz
2022 J jnl
LAGC Semantics of Concurrent Programming Languages.
CoRR
Crystal Chang Din, Reiner Hähnle, Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa
2022 — conf
Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins.
ISoLA (1)
Eduard Kamburjan, Crystal Chang Din, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
2020 — ch.
Behavioral Contracts for Cooperative Scheduling.
20 Years of KeY
Eduard Kamburjan, Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen
2020 — conf
Consistency-preserving evolution planning on feature models.
SPLC (A)
Adrian Hoff, Michael Nieke, Christoph Seidl, Eirik Halvard Sæther, Ida Sandberg Motzfeldt, Crystal Chang Din, Ingrid Chieh Yu, Ina Schaefer
2019 B conf
Asynchronous Cooperative Contracts for Cooperative Scheduling.
SEFM
Eduard Kamburjan, Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen
2019 — conf
Geological Multi-scenario Reasoning.
NIK
Crystal Chang Din, Leif Harald Karlsen, Irina Pene, Oliver Stahl, Ingrid Chieh Yu, Thomas Østerlie
2019 J jnl
Translating active objects into colored Petri nets for communication analysis.
Sci. Comput. Program.
Anastasia Gkolfi, Crystal Chang Din, Einar Broch Johnsen, Lars Michael Kristensen, Martin Steffen, Ingrid Chieh Yu
2018 J jnl
A modular reasoning system using uninterpreted predicates for code reuse.
J. Log. Algebraic Methods Program.
Crystal Chang Din, Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu
2018 B conf
Program Verification for Exception Handling on Active Objects Using Futures.
SEFM
Crystal Chang Din, Rudolf Schlatte, Tzu-Chun Chen
2017 J jnl
A Survey of Active Object Languages.
ACM Comput. Surv.
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
2017 B conf
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages.
TABLEAUX
Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
2017 — conf
Translating Active Objects into Colored Petri Nets for Communication Analysis.
FSEN
Anastasia Gkolfi, Crystal Chang Din, Einar Broch Johnsen, Martin Steffen, Ingrid Chieh Yu
2016 C conf
Session-Based Compositional Analysis for Actor-Based Languages Using Futures.
ICFEM
Eduard Kamburjan, Crystal Chang Din, Tzu-Chun Chen
2015 B conf
A Dynamic Logic with Traces and Coinduction.
TABLEAUX
Richard Bubel, Crystal Chang Din, Reiner Hähnle, Keiko Nakata
2015 J jnl
Compositional reasoning about active objects with shared futures.
Formal Aspects Comput.
Crystal Chang Din, Olaf Owe
2015 C conf
History-Based Specification and Verification of Scalable Concurrent and Distributed Systems.
ICFEM
Crystal Chang Din, Silvia Lizeth Tapia Tarifa, Reiner Hähnle, Einar Broch Johnsen
2015 A conf
KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS.
CADE
Crystal Chang Din, Richard Bubel, Reiner Hähnle
2014 J jnl
A sound and complete reasoning system for asynchronous communication with shared futures.
J. Log. Algebraic Methods Program.
Crystal Chang Din, Olaf Owe
2014 C conf
Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems.
MODELSWARD
Crystal Chang Din, Olaf Owe, Richard Bubel
2012 B conf
Compositional Reasoning about Shared Futures.
SEFM
Crystal Chang Din, Johan Dovland, Olaf Owe
2012 J jnl
Observable behavior of distributed systems: Component reasoning for concurrent objects.
J. Log. Algebraic Methods Program.
Crystal Chang Din, Johan Dovland, Einar Broch Johnsen, Olaf Owe