Crystal Chang Din

From MaRDI portal
Person:444462

Available identifiers

zbMath Open din.crystal-changMaRDI QIDQ444462

List of research outcomes





PublicationDate of PublicationType
Modular soundness checking of feature model evolution plans2024-09-13Paper
Asynchronous Cooperative Contracts for Cooperative Scheduling2024-03-14Paper
Runtime enforcement using knowledge bases2023-11-24Paper
Translating active objects into colored Petri nets for communication analysis2022-11-04Paper
Locally abstract, globally concrete semantics of concurrent programming languages2018-02-02Paper
A Dynamic Logic with Traces and Coinduction2015-12-11Paper
KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS2015-12-02Paper
Compositional reasoning about active objects with shared futures2015-11-10Paper
A sound and complete reasoning system for asynchronous communication with shared futures2014-10-23Paper
Compositional Reasoning about Shared Futures2013-01-08Paper
Observable behavior of distributed systems: component reasoning for concurrent objects2012-08-14Paper

Research outcomes over time

This page was built for person: Crystal Chang Din

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:444462&oldid=7393322"
Powered by MediaWiki