Follow
Tzu-chun Chen
Tzu-chun Chen
Postdoc of Computer Science, TU Darmstadt, Germany
Verified email at dsp.tu-darmstadt.de - Homepage
Title
Cited by
Cited by
Year
Scribbling interactions with a formal foundation
K Honda, A Mukhamedov, G Brown, TC Chen, N Yoshida
International Conference on Distributed Computing and Internet Technology, 55-75, 2011
1532011
Monitoring networks through multiparty session types
L Bocchi, TC Chen, R Demangeon, K Honda, N Yoshida
International Conference on Formal Methods for Open Object-Based Distributed …, 2013
822013
On the preciseness of subtyping in session types
TC Chen, M Dezani-Ciancaglini, N Yoshida
Proceedings of the 16th International Symposium on Principles and Practice …, 2014
722014
Asynchronous distributed monitoring for multiparty session enforcement
TC Chen, L Bocchi, PM Deniélou, K Honda, N Yoshida
Trustworthy Global Computing: 6th International Symposium, TGC 2011, Aachen …, 2012
652012
Monitoring networks through multiparty session types
L Bocchi, TC Chen, R Demangeon, K Honda, N Yoshida
Theoretical Computer Science 669, 33-58, 2017
592017
Structuring communication with session types
K Honda, R Hu, R Neykova, TC Chen, R Demangeon, PM Deniélou, ...
Concurrent Objects and Beyond: Papers dedicated to Akinori Yonezawa on the …, 2014
332014
Session-based compositional analysis for actor-based languages using futures
E Kamburjan, CC Din, TC Chen
Formal Methods and Software Engineering: 18th International Conference on …, 2016
242016
Specifying stateful asynchronous properties for distributed programs
TC Chen, K Honda
International Conference on Concurrency Theory, 209-224, 2012
232012
A type theory for robust failure handling in distributed systems
TC Chen, M Viering, A Bejleri, L Ziarek, P Eugster
Formal Techniques for Distributed Objects, Components, and Systems: 36th …, 2016
192016
A typing discipline for statically verified crash failure handling in distributed systems
M Viering, TC Chen, P Eugster, R Hu, L Ziarek
European Symposium on Programming, 799-826, 2018
142018
Mixin composition synthesis based on intersection types
J Bessai, TC Chen, A Dudenhefner, B Düdder, U de'Liguoro, J Rehof
Logical Methods in Computer Science 14, 2018
142018
Stateful behavioral types for active objects
E Kamburjan, TC Chen
Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth …, 2018
122018
Mixin composition synthesis based on intersection types
J Bessai, A Dudenhefner, TC Chen, U De'Liguoro, J Rehof
LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS 38, 76-91, 2015
112015
Typing classes and mixins with intersection types
J Bessai, B Düdder, A Dudenhefner, TC Chen, U de'Liguoro
arXiv preprint arXiv:1503.04911, 2015
102015
Theories for session-based governance for large-scale distributed systems
TC Chen
Queen Mary University of London, 2013
72013
Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi
L Padovani, TC Chen, A Tosatto
Coordination Models and Languages: 17th IFIP WG 6.1 International Conference …, 2015
62015
Lightening global types
T Chen
Journal of Logical and Algebraic Methods in Programming 84 (5), 708-729, 2015
42015
Distributed monitoring for multiparty session enforcement
TC Chen, L Bocchi, PM Deniélou, K Honda, N Yoshida
22011
Stateful behavioral types for ABS
E Kamburjan, TC Chen
arXiv preprint arXiv:1802.08492, 2018
12018
Program Verification for Exception Handling on Active Objects Using Futures
CC Din, R Schlatte, TC Chen
Software Engineering and Formal Methods: 16th International Conference, SEFM …, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–20