关注
Marco Giunti
Marco Giunti
University of Oxford
在 cs.ox.ac.uk 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
A linear account of session types in the pi calculus
M Giunti, VT Vasconcelos
International Conference on Concurrency Theory, 432-446, 2010
422010
Secure implementations of typed channel abstractions
M Bugliesi, M Giunti
ACM SIGPLAN Notices 42 (1), 251-262, 2007
352007
Java typestate checker
J Mota, M Giunti, A Ravara
International Conference on Coordination Languages and Models, 121-133, 2021
172021
Hide and new in the pi-calculus
M Giunti, C Palamidessi, FD Valencia
arXiv preprint arXiv:1208.2749, 2012
162012
Session-based type discipline for pi calculus with matching
M Giunti, K Honda, VT Vasconcelos, N Yoshida
In the preproceedings of PLACES 9, 2009
132009
Linearity, session types and the pi calculus
M Giunti, VT Vasconcelos
Mathematical Structures in Computer Science, 2014
122014
A type checking algorithm for qualified session types
M Giunti
arXiv preprint arXiv:1108.2360, 2011
102011
Typed processes in untyped contexts
M Bugliesi, M Giunti
International Symposium on Trustworthy Global Computing, 19-32, 2005
102005
A Java typestate checker supporting inheritance
L Bacchiani, M Bravetti, M Giunti, J Mota, A Ravara
Science of Computer Programming 221, 102844, 2022
72022
Algorithmic type checking for a pi-calculus with name matching and session types
M Giunti
The Journal of Logic and Algebraic Programming 82 (8), 263-281, 2013
52013
Towards static deadlock resolution in the-calculus
M Giunti, A Ravara
International Symposium on Trustworthy Global Computing, 136-155, 2013
52013
Preventing intrusions through non-interference
M Giunti
Proceeding of the IEEE Mexican Conference on Informatics Security. IEEE …, 2006
52006
Gopi: Compiling linear and static channels in go
M Giunti
International Conference on Coordination Languages and Models, 137-152, 2020
42020
Secure Implementations of Typed Channel Abstractions
M Giunti
PhD thesis, Università di Venezia,, 2007
42007
Rewinding functions through cps
M Giunti
32019
Type safety without subject reduction for session types
VT Vasconcelos, M Giunti, N Yoshida, K Honda
32010
Anticipation of method execution in mixed consistency systems
M Giunti, H Paulino, A Ravara
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 1394-1401, 2023
22023
On using VeriFast, VerCors, Plural, and KeY to check object usage
J Mota, M Giunti, A Ravara
arXiv preprint arXiv:2209.05136, 2022
22022
Pointing to private names
A Francalanza, M Giunti, A Ravara
EasyChair Preprint, 2018
22018
Unlocking blocked communicating processes
A Francalanza, M Giunti, A Ravara
arXiv preprint arXiv:1508.03901, 2015
22015
系统目前无法执行此操作，请稍后再试。
文章 1–20