Crystal Chang Din

According to our database, Crystal Chang Din authored at least 25 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

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., March, 2024

2023

Modular Soundness Checking of Feature Model Evolution Plans.

Ida Sandberg Motzfeldt, Ingrid Chieh Yu, Crystal Chang Din, Violet Ka I Pun, Volker Stolz

Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

Runtime Enforcement Using Knowledge Bases.

Eduard Kamburjan, Crystal Chang Din

Proceedings of the Fundamental Approaches to Software Engineering, 2023

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

Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins.

Eduard Kamburjan, Crystal Chang Din, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking.

Ole Jørgen Abusdal, Crystal Chang Din, Violet Ka I Pun, Volker Stolz

Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022

2020

Behavioral Contracts for Cooperative Scheduling.

Eduard Kamburjan, Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen

Proceedings of the Deductive Software Verification: Future Perspectives, 2020

Consistency-preserving evolution planning on feature models.

Adrian Hoff, Michael Nieke, Christoph Seidl, Eirik Halvard Sæther, Ida Sandberg Motzfeldt, Crystal Chang Din, Ingrid Chieh Yu, Ina Schaefer

Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020

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

Asynchronous Cooperative Contracts for Cooperative Scheduling.

Eduard Kamburjan, Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

Geological Multi-scenario Reasoning.

Crystal Chang Din, Leif Harald Karlsen, Irina Pene, Oliver Stahl, Ingrid Chieh Yu, Thomas Østerlie

Proceedings of the 32nd Norsk Informatikkonferanse, 2019

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

Program Verification for Exception Handling on Active Objects Using Futures.

Crystal Chang Din, Rudolf Schlatte, Tzu-Chun Chen

Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

2017

A Survey of Active Object Languages.

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

ACM Comput. Surv., 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

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2017

Translating Active Objects into Colored Petri Nets for Communication Analysis.

Anastasia Gkolfi, Crystal Chang Din, Einar Broch Johnsen, Martin Steffen, Ingrid Chieh Yu

Proceedings of the Fundamentals of Software Engineering - 7th International Conference, 2017

2016

Session-Based Compositional Analysis for Actor-Based Languages Using Futures.

Eduard Kamburjan, Crystal Chang Din, Tzu-Chun Chen

Proceedings of the Formal Methods and Software Engineering, 2016

2015

Compositional reasoning about active objects with shared futures.

Crystal Chang Din, Olaf Owe

Formal Aspects Comput., 2015

A Dynamic Logic with Traces and Coinduction.

Richard Bubel, Crystal Chang Din, Reiner Hähnle, Keiko Nakata

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 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

Proceedings of the Formal Methods and Software Engineering, 2015

KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS.

Crystal Chang Din, Richard Bubel, Reiner Hähnle

Proceedings of the Automated Deduction - CADE-25, 2015

2014

A sound and complete reasoning system for asynchronous communication with shared futures.

Crystal Chang Din, Olaf Owe

J. Log. Algebraic Methods Program., 2014

Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems.

Crystal Chang Din, Olaf Owe, Richard Bubel

Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

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

Compositional Reasoning about Shared Futures.

Crystal Chang Din, Johan Dovland, Olaf Owe

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012