Kamburjan, Eduard ; Din, Crystal Chang ; Hähnle, Reiner ; Johnsen, Einar Broch
Hrsg.: Ölveczky, Peter Csaba ; Salaün, Gwen (2019)
Asynchronous Cooperative Contracts for Cooperative Scheduling.
Software Engineering and Formal Methods - 17th International Conference, SEFM 2019. Oslo, Norway (18.09.2019–20.09.2019)
doi: 10.1007/978-3-030-30446-1_3
Konferenzveröffentlichung, Bibliographie

Din, Crystal Chang ; Hähnle, Reiner ; Johnsen, Einar Broch ; Pun, Ka I. ; Tarifa, Silvia Lizeth Tapia
Hrsg.: Schmidt, Renate A. ; Nalon, Claudia (2017)
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages.
Automated Reasoning with Analytic Tableaux and Related Methods - 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings.
doi: 10.1007/978-3-319-66902-1_2
Konferenzveröffentlichung, Bibliographie

de Boer, Frank S. ; Serbanescu, Vlad ; Hähnle, Reiner ; Henrio, Ludovic ; Rochas, Justine ; Din, Crystal Chang ; Johnsen, Einar Broch ; Sirjani, Marjan ; Khamespanah, Ehsan ; Fernandez-Reyes, Kiko ; Yang, Albert Mingkun (2017)
A Survey of Active Object Languages.
In: ACM Comput. Surv., 50 (5)
doi: 10.1145/3122848
Artikel, Bibliographie

Kamburjan, Eduard ; Din, Crystal Chang ; Chen, Tzu-Chun
Hrsg.: Ogata, Kazuhiro ; Lawford, Mark ; Liu, Shaoying (2016)
Session-Based Compositional Analysis for Actor-Based Languages Using Futures.
Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings.
doi: 10.1007/978-3-319-47846-3_19
Konferenzveröffentlichung, Bibliographie

Din, Crystal Chang ; Tarifa, Lizeth Tapia ; Hähnle, Reiner ; Johnsen, Einar Broch (2015)
The NoC Verification Case Study with KeY-ABS.
Report, Bibliographie

Bubel, Richard ; Din, Crystal Chang ; Hähnle, Reiner ; Nakata, Keiko
Hrsg.: de Nivelle, Hans (2015)
A Dynamic Logic with Traces and Coinduction.
Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings.
doi: 10.1007/978-3-319-24312-2_21
Konferenzveröffentlichung, Bibliographie

Din, Crystal Chang ; Tarifa, Silvia Lizeth Tapia ; Hähnle, Reiner ; Johnsen, Einar Broch
Hrsg.: Butler, Michael J. ; Conchon, Sylvain ; Zaidi, Fatiha (2015)
History-Based Specification and Verification of Scalable Concurrent and Distributed Systems.
Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings.
doi: 10.1007/978-3-319-25423-4_14
Konferenzveröffentlichung, Bibliographie

Din, Crystal Chang ; Bubel, Richard ; Hähnle, Reiner
Hrsg.: Felty, Amy P. ; Middeldorp, Aart (2015)
KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS.
Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings.
doi: 10.1007/978-3-319-21401-6_35
Konferenzveröffentlichung, Bibliographie

Din, Crystal Chang ; Owe, Olaf (2014)
Compositional reasoning about active objects with shared futures.
In: Formal Aspects of Computing, (Distributed systems; Obje)
doi: 10.1007/s00165-014-0322-y
Artikel, Bibliographie

Din, Crystal Chang ; Owe, Olaf ; Bubel, Richard (2014)
Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems.
doi: 10.5220/0004877804800487
Konferenzveröffentlichung, Bibliographie

Din, Crystal Chang ; Owe, Olaf (2014)
A sound and complete reasoning system for asynchronous communication with shared futures.
In: Journal of Logical and Algebraic Methods in Programming, 83 (5-6)
doi: 10.1016/j.jlamp.2014.03.003
Artikel, Bibliographie

Din, Crystal Chang ; Dovland, Johan ; Owe, Olaf
Hrsg.: Eleftherakis, George ; Hinchey, Mike ; Holcombe, Mike (2012)
Compositional Reasoning about Shared Futures.
doi: 10.1007/978-3-642-33826-7_7
Konferenzveröffentlichung, Bibliographie

Din, Crystal Chang ; Dovland, Johan ; Johnsen, Einar Broch ; Owe, Olaf (2012)
Observable behavior of distributed systems: Component reasoning for concurrent objects.
In: Journal of Logic and Algebraic Programming, 81 (3)
doi: 10.1016/j.jlap.2012.01.003
Artikel, Bibliographie

Bubel, Richard ; Din, Crystal Chang ; Hähnle, Reiner
Hrsg.: Beckert, Bernhard ; Marché, Claude (2010)
Verification of Variable Software: an Experience Report.
Konferenzveröffentlichung, Bibliographie