Crystal Chang Din

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
NWTP 2022 - special issue Journal of Logical and Algebraic Methods in Programming	2026-03-09	Paper
Modular soundness checking of feature model evolution plans Theoretical Computer Science	2025-10-17	Paper
Modular soundness checking of feature model evolution plans	2024-09-13	Paper
Asynchronous Cooperative Contracts for Cooperative Scheduling	2024-03-14	Paper
Runtime enforcement using knowledge bases	2023-11-24	Paper
Translating active objects into colored Petri nets for communication analysis	2022-11-04	Paper
Locally abstract, globally concrete semantics of concurrent programming languages	2018-02-02	Paper
A dynamic logic with traces and coinduction Lecture Notes in Computer Science	2015-12-11	Paper
Key-ABS: a deductive verification tool for the concurrent modelling language ABS Automated Deduction - CADE-25	2015-12-02	Paper
Compositional reasoning about active objects with shared futures Formal Aspects of Computing	2015-11-10	Paper
A sound and complete reasoning system for asynchronous communication with shared futures Journal of Logical and Algebraic Methods in Programming	2014-10-23	Paper
Compositional Reasoning about Shared Futures Software Engineering and Formal Methods	2013-01-08	Paper
Observable behavior of distributed systems: component reasoning for concurrent objects The Journal of Logic and Algebraic Programming	2012-08-14	Paper

Research outcomes over time

This page was built for person: Crystal Chang Din