Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Sysfier | ACM Transactions on Embedded Computing Systems |
| 3 | 2010 |
Secured Information Flow for Asynchronous Sequential Processes | Electronic Notes in Theoretical Computer Science | 2 | 2007 | |
An Asynchronous Communication Model for Distributed Concurrent Objects | Software and Systems Modeling |
| 46 | 2007 |
Creol: A type-safe object-oriented model for distributed concurrent systems | Theoretical Computer Science |
| 36 | 2006 |
ProActive: an integrated platform for programming and running applications on Grids and P2P systems | Computational Methods in Science and Technology | 16 | 2006 |
Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Static checking of GDPR-related privacy compliance for object-oriented distributed systems | Journal of Logical and Algebraic Methods in Programming |
| 2 | 2022 |
A lightweight approach to smart contracts supporting safety, security, and privacy | Journal of Logical and Algebraic Methods in Programming |
| 3 | 2022 |
Dynamic structural operational semantics | Journal of Logical and Algebraic Methods in Programming |
| 1 | 2019 |