TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 14.

Article

de Boer, Frank S. and Serbanescu, Vlad and Hähnle, Reiner and Henrio, Ludovic and Rochas, Justine and Din, Crystal Chang and Johnsen, Einar Broch and Sirjani, Marjan and Khamespanah, Ehsan and Fernandez-Reyes, Kiko and Yang, Albert Mingkun (2017):
A Survey of Active Object Languages.
50, In: ACM Comput. Surv., (5), pp. 76:1-76:39, DOI: 10.1145/3122848,
[Online-Edition: http://doi.acm.org/10.1145/3122848],
[Article]

Din, Crystal Chang and Owe, Olaf (2014):
Compositional reasoning about active objects with shared futures.
In: Formal Aspects of Computing, (Distributed systems; Obje), pp. 1-22, DOI: 10.1007/s00165-014-0322-y,
[Article]

Din, Crystal Chang and Owe, Olaf (2014):
A sound and complete reasoning system for asynchronous communication with shared futures.
83, In: Journal of Logical and Algebraic Methods in Programming, (5-6), pp. 360-383, DOI: 10.1016/j.jlamp.2014.03.003,
[Article]

Din, Crystal Chang and Dovland, Johan and Johnsen, Einar Broch and Owe, Olaf (2012):
Observable behavior of distributed systems: Component reasoning for concurrent objects.
81, In: Journal of Logic and Algebraic Programming, (3), pp. 227-256, DOI: 10.1016/j.jlap.2012.01.003,
[Article]

Conference or Workshop Item

Kamburjan, Eduard and Din, Crystal Chang and Hähnle, Reiner and Johnsen, Einar Broch Ölveczky, Peter Csaba and Salaün, Gwen (eds.) (2019):
Asynchronous Cooperative Contracts for Cooperative Scheduling.
11724, In: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, pp. 48-66, DOI: 10.1007/978-3-030-30446-1_3,
[Online-Edition: https://doi.org/10.1007/978-3-030-30446-1\_3],
[Conference or Workshop Item]

Din, Crystal Chang and Hähnle, Reiner and Johnsen, Einar Broch and Pun, Ka I. and Tarifa, Silvia Lizeth Tapia Schmidt, Renate A. and Nalon, Claudia (eds.) (2017):
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages.
In: Lecture Notes in Computer Science, 10501, Springer, In: Automated Reasoning with Analytic Tableaux and Related Methods - 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings, pp. 22-43, DOI: 10.1007/978-3-319-66902-1₂,
[Online-Edition: https://doi.org/10.1007/978-3-319-66902-1_2],
[Conference or Workshop Item]

Kamburjan, Eduard and Din, Crystal Chang and Chen, Tzu-Chun Ogata, Kazuhiro and Lawford, Mark and Liu, Shaoying (eds.) (2016):
Session-Based Compositional Analysis for Actor-Based Languages Using Futures.
In: Lecture Notes in Computer Science, 10009, In: Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings, pp. 296-312, DOI: 10.1007/978-3-319-47846-3₁₉,
[Online-Edition: https://doi.org/10.1007/978-3-319-47846-3_19],
[Conference or Workshop Item]

Bubel, Richard and Din, Crystal Chang and Hähnle, Reiner and Nakata, Keiko de Nivelle, Hans (ed.) (2015):
A Dynamic Logic with Traces and Coinduction.
In: Lecture Notes in Computer Science, 9323, Springer, In: Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings, pp. 307-322, DOI: 10.1007/978-3-319-24312-2₂₁,
[Online-Edition: https://doi.org/10.1007/978-3-319-24312-2_21],
[Conference or Workshop Item]

Din, Crystal Chang and Tarifa, Silvia Lizeth Tapia and Hähnle, Reiner and Johnsen, Einar Broch Butler, Michael J. and Conchon, Sylvain and Zaidi, Fatiha (eds.) (2015):
History-Based Specification and Verification of Scalable Concurrent and Distributed Systems.
In: Lecture Notes in Computer Science, 9407, Springer, In: Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings, pp. 217-233, DOI: 10.1007/978-3-319-25423-4₁₄,
[Online-Edition: https://doi.org/10.1007/978-3-319-25423-4_14],
[Conference or Workshop Item]

Din, Crystal Chang and Bubel, Richard and Hähnle, Reiner Felty, Amy P. and Middeldorp, Aart (eds.) (2015):
KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS.
In: Lecture Notes in Computer Science, 9195, Springer, In: Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings, pp. 517-526, DOI: 10.1007/978-3-319-21401-6₃₅,
[Online-Edition: https://doi.org/10.1007/978-3-319-21401-6_35],
[Conference or Workshop Item]

Din, Crystal Chang and Owe, Olaf and Bubel, Richard (2014):
Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems.
In: MODELWARDS'14, SCITEPRESS, DOI: 10.5220/0004877804800487,
[Conference or Workshop Item]

Din, Crystal Chang and Dovland, Johan and Owe, Olaf Eleftherakis, George and Hinchey, Mike and Holcombe, Mike (eds.) (2012):
Compositional Reasoning about Shared Futures.
In: Lecture Notes in Computer Science, 7504, In: Software Engineering and Formal Methods, Springer Berlin Heidelberg, pp. 94-108, ISBN 978-3-642-33825-0,
DOI: 10.1007/978-3-642-33826-7_7,
[Conference or Workshop Item]

Bubel, Richard and Din, Crystal Chang and Hähnle, Reiner Beckert, Bernhard and Marché, Claude (eds.) (2010):
Verification of Variable Software: an Experience Report.
In: Pre-Proc. International Conference on Formal Verification of Object-Oriented Software (FoVeOOS), Paris, France, [Conference or Workshop Item]

Report

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

This list was generated on Sat Jan 25 01:51:45 2020 CET.