Research output per year
Research output 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
-
On Asynchronous Multiparty Session Types for Federated Learning
Prokić, I., Prokić, S., Ghilezan, S., Scalas, A. & Yoshida, N., 2026, Proceedings of the 22nd International Colloquium on Theoretical Aspects of Computing – ICTAC 2025 . Springer, Vol. 16237. p. 164-182 (Lecture Notes in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation
Rowicki, R. J., Francalanza, A. & Scalas, A., 2025, In: Proceedings of the ACM on Programming Languages. 9, OOPSLA2, p. 527-554 291.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile11 Downloads (Orbit) -
PN2CCS: A tool to encode Petri nets into calculus of communicating systems
Bogø, B., Burattin, A. & Scalas, A., 2025, In: Science of Computer Programming. 247, 6 p., 103355.Research output: Contribution to journal › Journal article › Research › peer-review
-
COTS: Connected OpenAPI Test Synthesis for RESTful Applications
Burlò, C. B., Francalanza, A., Scalas, A. & Tuosto, E., 2024, Proceedings of the 26th International Conference on Coordination Models and Languages. Vol. 14676. p. 75-92Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Encoding Petri Nets into CCS
Bogø, B., Burattin, A. & Scalas, A., 2024, Proceedings of the 26th International Conference on Coordination Models and Languages. Springer, Vol. 14676. p. 38-55Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile15 Downloads (Orbit)
-
Secure TaRDIS
Lund, S. T. (PhD Student), Mödersheim, S. A. (Main Supervisor), Scalas, A. (Supervisor) & Villadsen, J. (Supervisor)
01/08/2023 → 31/07/2026
Project: PhD
-
TaRDIS: safe and reliable applications on the cloud-edge continuum
Hussein, A. (PhD Student), Scalas, A. (Main Supervisor) & Mödersheim, S. A. (Supervisor)
01/05/2023 → 30/04/2026
Project: PhD
-
Hyben: hybrid verification of message-passing applications
Rowicki, R. J. (PhD Student), Scalas, A. (Main Supervisor), Bengtson, J. (Examiner) & Thompson, S. (Examiner)
01/01/2023 → 31/12/2025
Project: PhD
-
Safe and secure software-defined networks in P4
Larsen, J. K. (PhD Student), Scalas, A. (Main Supervisor), Haller, P. K. (Supervisor), Peressotti, M. (Examiner) & Thiemann, P. (Examiner)
01/08/2022 → 14/01/2026
Project: PhD
-
User-Friendly Formal Methods
Jacobsen, F. K. (PhD Student), Villadsen, J. (Main Supervisor), Scalas, A. (Supervisor), Peters, K. B. (Examiner) & Traytel, D. (Examiner)
01/07/2021 → 05/11/2024
Project: PhD