Crystal Chang Din
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
9
Active years
2012–2023
Best venue rank
B
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | FASE | Runtime Enforcement Using Knowledge Bases. | Eduard Kamburjan, Crystal Chang Din |
| 2023 | ICTAC | Modular Soundness Checking of Feature Model Evolution Plans. | Ida Sandberg Motzfeldt, Ingrid Chieh Yu, Crystal Chang Din, Violet Ka I Pun, Volker Stolz |
| 2022 | ISoLA | Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins. | Eduard Kamburjan, Crystal Chang Din, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen |
| 2020 | SPLC | Consistency-preserving evolution planning on feature models. | Adrian Hoff, Michael Nieke, Christoph Seidl, Eirik Halvard Sther, Ida Sandberg Motzfeldt, Crystal Chang Din, Ingrid Chieh Yu, Ina Schaefer |
| 2019 | SEFM | Asynchronous Cooperative Contracts for Cooperative Scheduling. | Eduard Kamburjan, Crystal Chang Din, Reiner Hhnle, Einar Broch Johnsen |
| 2018 | SEFM | Program Verification for Exception Handling on Active Objects Using Futures. | Crystal Chang Din, Rudolf Schlatte, Tzu-Chun Chen |
| 2017 | TABLEAUX | Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. | Crystal Chang Din, Reiner Hhnle, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa |
| 2016 | ICFEM | Session-Based Compositional Analysis for Actor-Based Languages Using Futures. | Eduard Kamburjan, Crystal Chang Din, Tzu-Chun Chen |
| 2015 | CADE | KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS. | Crystal Chang Din, Richard Bubel, Reiner Hhnle |
| 2015 | ICFEM | History-Based Specification and Verification of Scalable Concurrent and Distributed Systems. | Crystal Chang Din, Silvia Lizeth Tapia Tarifa, Reiner Hhnle, Einar Broch Johnsen |
| 2015 | TABLEAUX | A Dynamic Logic with Traces and Coinduction. | Richard Bubel, Crystal Chang Din, Reiner Hhnle, Keiko Nakata |
| 2014 | MODELSWARD | Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems. | Crystal Chang Din, Olaf Owe, Richard Bubel |
| 2012 | SEFM | Compositional Reasoning about Shared Futures. | Crystal Chang Din, Johan Dovland, Olaf Owe |