Compositional Reasoning about Shared Futures. - Crystal Chang Din; Johan Dovland; Olaf Owe (SEFM, 2012)

Observable behavior of distributed systems: Component reasoning for concurrent objects. - Crystal Chang Din; Johan Dovland; Einar Broch Johnsen; Olaf Owe (J. Log. Algebraic Methods Program., 2012)

Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems. - Crystal Chang Din; Olaf Owe; Richard Bubel (MODELSWARD, 2014)

A sound and complete reasoning system for asynchronous communication with shared futures. - Crystal Chang Din; Olaf Owe (J. Log. Algebraic Methods Program., 2014)

KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS. - Crystal Chang Din; Richard Bubel; Reiner Hähnle (CADE, 2015)

History-Based Specification and Verification of Scalable Concurrent and Distributed Systems. - Crystal Chang Din; Silvia Lizeth Tapia Tarifa; Reiner Hähnle; Einar Broch Johnsen (ICFEM, 2015)

A Dynamic Logic with Traces and Coinduction. - Richard Bubel; Crystal Chang Din; Reiner Hähnle; Keiko Nakata 001 (TABLEAUX, 2015)

Compositional reasoning about active objects with shared futures. - Crystal Chang Din; Olaf Owe (Formal Aspects Comput., 2015)

Session-Based Compositional Analysis for Actor-Based Languages Using Futures. - Eduard Kamburjan; Crystal Chang Din; Tzu-Chun Chen (ICFEM, 2016)

Translating Active Objects into Colored Petri Nets for Communication Analysis. - Anastasia Gkolfi; Crystal Chang Din; Einar Broch Johnsen; Martin Steffen; Ingrid Chieh Yu (FSEN, 2017)

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. - Crystal Chang Din; Reiner Hähnle; Einar Broch Johnsen; Ka I Pun; Silvia Lizeth Tapia Tarifa (TABLEAUX, 2017)

A Survey of Active Object Languages. - Frank S. de Boer; Vlad Serbanescu 001; Reiner Hähnle; Ludovic Henrio; Justine Rochas; Crystal Chang Din; Einar Broch Johnsen; Marjan Sirjani; Ehsan Khamespanah; Kiko Fernandez-Reyes; Albert Mingkun Yang (ACM Comput. Surv., 2017)

Program Verification for Exception Handling on Active Objects Using Futures. - Crystal Chang Din; Rudolf Schlatte; Tzu-Chun Chen (SEFM, 2018)

A modular reasoning system using uninterpreted predicates for code reuse. - Crystal Chang Din; Einar Broch Johnsen; Olaf Owe; Ingrid Chieh Yu (J. Log. Algebraic Methods Program., 2018)

Geological Multi-scenario Reasoning. - Crystal Chang Din; Leif Harald Karlsen; Irina Pene; Oliver Stahl; Ingrid Chieh Yu; Thomas Østerlie (NIK, 2019)

Asynchronous Cooperative Contracts for Cooperative Scheduling. - Eduard Kamburjan; Crystal Chang Din; Reiner Hähnle; Einar Broch Johnsen (SEFM, 2019)

Translating active objects into colored Petri nets for communication analysis. - Anastasia Gkolfi; Crystal Chang Din; Einar Broch Johnsen; Lars Michael Kristensen; Martin Steffen; Ingrid Chieh Yu (Sci. Comput. Program., 2019)

Consistency-preserving evolution planning on feature models. - Adrian Hoff; Michael Nieke; Christoph Seidl 001; Eirik Halvard Sæther; Ida Sandberg Motzfeldt; Crystal Chang Din; Ingrid Chieh Yu; Ina Schaefer (SPLC (A), 2020)

Behavioral Contracts for Cooperative Scheduling. - Eduard Kamburjan; Crystal Chang Din; Reiner Hähnle; Einar Broch Johnsen (20 Years of KeY, 2020)

I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking. - Ole Jørgen Abusdal; Crystal Chang Din; Violet Ka I Pun; Volker Stolz (The Logic of Software. A Tasting Menu of Formal Methods, 2022)

Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins. - Eduard Kamburjan; Crystal Chang Din; Rudolf Schlatte; Silvia Lizeth Tapia Tarifa; Einar Broch Johnsen (ISoLA (1), 2022)

LAGC Semantics of Concurrent Programming Languages. - Crystal Chang Din; Reiner Hähnle; Ludovic Henrio; Einar Broch Johnsen; Violet Ka I Pun; Silvia Lizeth Tapia Tarifa (CoRR, 2022)

Runtime Enforcement Using Knowledge Bases. - Eduard Kamburjan; Crystal Chang Din (FASE, 2023)

Modular Soundness Checking of Feature Model Evolution Plans. - Ida Sandberg Motzfeldt; Ingrid Chieh Yu; Crystal Chang Din; Violet Ka I Pun; Volker Stolz (ICTAC, 2023)

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. - Crystal Chang Din; Reiner Hähnle; Ludovic Henrio; Einar Broch Johnsen; Violet Ka I Pun; Silvia Lizeth Tapia Tarifa (ACM Trans. Program. Lang. Syst., 2024)