Publications per year
Publications per year
Fingerprint
Dive into the research topics where Alceste Scalas is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Generalised Multiparty Session Types with Crash-Stop Failures
Barwell, A. D., Scalas, A., Yoshida, N. & Zhou, F., 2022, Proceedings of 33rd International Conference on Concurrency Theory. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 243. 25 p. 35. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 243).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile4 Downloads (Pure) -
PSTMonitor: Monitor synthesis from probabilistic session types▪
Bartolo Burlò, C., Francalanza, A., Scalas, A., Trubiani, C. & Tuosto, E., 2022, In: Science of Computer Programming. 222, 102847.Research output: Contribution to journal › Journal article › Research › peer-review
File20 Downloads (Pure) -
A Formal Model of Algorand Smart Contracts
Bartoletti, M., Bracciali, A., Lepore, C., Scalas, A. & Zunino, R., 2021, Financial Cryptography and Data Security . Springer, p. 93-114 (Lecture Notes in Computer Science, Vol. 12674).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile451 Downloads (Pure) -
On the monitorability of session types, in theory and practice
Burlò, C. B., Francalanza, A. & Scalas, A., 2021, Proceedings of 35th European Conference on Object-Oriented Programming . Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 20:1--20:30 (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 194).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile23 Downloads (Pure) -
On the Monitorability of Session Types, in Theory and Practice (Artifact)
Bartolo Burlò, C., Francalanza, A. & Scalas, A., 2021, In: Dagstuhl Artifacts Series. 7, 2, p. 2:1--2:3Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile13 Downloads (Pure)
-
Secure TaRDIS
Lund, S. T., Mödersheim, S. A., Scalas, A. & Villadsen, J.
01/08/2023 → 31/07/2026
Project: PhD
-
TaRDIS: safe and reliable applications on the cloud-edge continuum
Hussein, A., Scalas, A. & Mödersheim, S. A.
01/05/2023 → 30/04/2026
Project: PhD
-
-
Safe and secure software-defined networks in P4
Larsen, J. K., Scalas, A. & Haller, P. K.
01/08/2022 → 31/07/2025
Project: PhD
-
User-Friendly Formal Methods
Jacobsen, F. K., Villadsen, J. & Scalas, A.
01/07/2021 → 30/06/2024
Project: PhD