The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Crystal Chang Din" ( http://dblp.L3S.de/Authors/Crystal_Chang_Din )

  Author page on DBLP  Author page in RDF  Community of Crystal Chang Din in ASPL-2

Publication years (Num. hits)
2012-2018 (14)
Publication types (Num. hits)
article(5) inproceedings(9)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 15 publication records. Showing 14 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Crystal Chang Din, Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu A modular reasoning system using uninterpreted predicates for code reuse. Search on Bibsonomy J. Log. Algebr. Meth. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Crystal Chang Din, Rudolf Schlatte, Tzu-Chun Chen Program Verification for Exception Handling on Active Objects Using Futures. Search on Bibsonomy SEFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Frank S. de Boer, Vlad Serbanescu 0001, Reiner Hähnle, Ludovic Henrio, Justine Rochas, Crystal Chang Din, Einar Broch Johnsen, Marjan Sirjani, Ehsan Khamespanah, Kiko Fernandez-Reyes, Albert Mingkun Yang A Survey of Active Object Languages. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Anastasia Gkolfi, Crystal Chang Din, Einar Broch Johnsen, Martin Steffen, Ingrid Chieh Yu Translating Active Objects into Colored Petri Nets for Communication Analysis. Search on Bibsonomy FSEN The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. Search on Bibsonomy TABLEAUX The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Eduard Kamburjan, Crystal Chang Din, Tzu-Chun Chen Session-Based Compositional Analysis for Actor-Based Languages Using Futures. Search on Bibsonomy ICFEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Crystal Chang Din, Olaf Owe Compositional reasoning about active objects with shared futures. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Crystal Chang Din, Silvia Lizeth Tapia Tarifa, Reiner Hähnle, Einar Broch Johnsen History-Based Specification and Verification of Scalable Concurrent and Distributed Systems. Search on Bibsonomy ICFEM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Crystal Chang Din, Richard Bubel, Reiner Hähnle KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Richard Bubel, Crystal Chang Din, Reiner Hähnle, Keiko Nakata 0001 A Dynamic Logic with Traces and Coinduction. Search on Bibsonomy TABLEAUX The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Crystal Chang Din, Olaf Owe A sound and complete reasoning system for asynchronous communication with shared futures. Search on Bibsonomy J. Log. Algebr. Meth. Program. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Crystal Chang Din, Olaf Owe, Richard Bubel Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems. Search on Bibsonomy MODELSWARD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Crystal Chang Din, Johan Dovland, Einar Broch Johnsen, Olaf Owe Observable behavior of distributed systems: Component reasoning for concurrent objects. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Crystal Chang Din, Johan Dovland, Olaf Owe Compositional Reasoning about Shared Futures. Search on Bibsonomy SEFM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #14 of 14 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license