Wallet ATL: Towards Reliable Smart Contract Verification

Συγγραφείς: Ferrando, Angelo, Zanlefack, Blondelle Kana, Malvone, Vadim

Πηγή: Proc. of the 25th International Conference on Autonomous Agents and Multiagent Systems. :385-393

Διαθεσιμότητα: http://dl.acm.org/doi/10.65109/UKIO4803

VEsNA-Pro: Exploiting BDI Agents with Propensities for Emergent Narrative

Συγγραφείς: Gatti, Andrea, Casale, Fabio, Mascardi, Viviana, Stucchi, Andrea, Ferrando, Angelo

Πηγή: Proc. of the 25th International Conference on Autonomous Agents and Multiagent Systems. :967-976

Διαθεσιμότητα: http://dl.acm.org/doi/10.65109/PDPF4024

Predictive Varanus: Combining CSP Conformance Monitoring with Predictive LTL Runtime Verification

Συγγραφείς: Ferrando, Angelo, Luckcuck, Matt, Ribeiro, Pedro

Θεματικοί όροι: Robotics

Σύνδεσμος πρόσβασης: https://arxiv.org/abs/2609.17625

A New Syntax and Semantics for Probabilistic Trace Expressions

Συγγραφείς: Ancona, Davide, Ferrando, Angelo, Mascardi, Viviana

Θεματικοί όροι: Formal Languages and Automata Theory, Logic in Computer Science

Σύνδεσμος πρόσβασης: https://arxiv.org/abs/2608.17594

The Role of Personalization Weights in Sensor-Based Human Activity Recognition

Συγγραφείς: Chiarini, Emiliano, Ferrando, Angelo, Bedogni, Luca

Πηγή: 2026 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops) Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops), 2026 IEEE International Conference on. :1-6 Mar, 2026

Relation: 2026 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops)

Engineering Reliable Autonomous Systems: Challenges and Solutions

Συγγραφείς: Farrell, Marie, Luckcuck, Matt, Ferrando, Angelo, Cardoso, Rafael C., Alechina, Natasha, Autili, Marco, Hernandez, Diana Benjumea, Santos, Luciana Brasil Rebelo dos, Briola, Daniela, Cavalcanti, Ana, Colombo, Christian, Dennis, Louise A., Dixon, Clare, Fisher, Michael, Gleirscher, Mario, Johnson, Taylor, Lesire, Charles, Lestingi, Livia, Linker, Sven, Logan, Brian, Paterson, Colin, Papacchini, Fabio, Pelliccione, Patrizio, Ribeiro, Pedro, Schwammberger, Maike, Tarifa, Silvia Lizeth Tapia, Taylor, Hazel, Woodcock, Jim, Xu, Mengwei, Yang, Yi, Zhang, Huan

Θεματικοί όροι: Robotics, Artificial Intelligence, Multiagent Systems, Software Engineering

Σύνδεσμος πρόσβασης: https://arxiv.org/abs/2606.23760

KindHML: formal verification of smart contracts based on Hennessy-Milner logic

Συγγραφείς: Bartoletti, Massimo, Ferrando, Angelo, Lipparini, Enrico, Malvone, Vadim

Θεματικοί όροι: Cryptography and Security, Logic in Computer Science

Σύνδεσμος πρόσβασης: https://arxiv.org/abs/2604.14038

3vLTL: A Tool to Generate Automata for Three-valued LTL

Συγγραφείς: Belardinelli, Francesco, Ferrando, Angelo, Malvone, Vadim

Πηγή: Electronic Proceedings in Theoretical Computer Science, Vol 395, Iss Proceedings Fifth International Workshop onFormal Methods for Autonomous Systems, Leiden, The Netherlands, 15th and 16th of November 2023 (2023)

Θεματικοί όροι: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

Relation: https://doaj.org/toc/2075-2180

Σύνδεσμος πρόσβασης: https://doaj.org/article/b560877956f74e15bf6897b11bf471b0

Design and Implementation of a Software System for Digital Product Passport

Συγγραφείς: Morellini, Luca, Ferrando, Angelo, Cabri, Giacomo, Garuti, Massimo

Πηγή: 2025 33rd International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2025 33rd International Conference on. :1-6 Jul, 2025

Relation: 2025 33rd International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)

Integrating Testing with Runtime Verification for Mission-Critical Distributed Control Systems

Συγγραφείς: Ancona, Davide, Avola, Stefano, Ferrando, Angelo, Baglietto, Pierpaolo, Ter Beek, Maurice H., Parodi, Andrea, Camera, Giancarlo, Pinasco, Matteo

Πηγή: 2025 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S) DSN-S Dependable Systems and Networks - Supplemental Volume (DSN-S), 2025 55th Annual IEEE/IFIP International Conference on. :153-159 Jun, 2025

Relation: 2025 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S)

Runtime Verification of Program Organization Units in Safe Programmable Logic Controller Systems

Συγγραφείς: Unniyankal, Hisham, Ancona, Davide, Ferrando, Angelo, Parodi, Fabio, Alessi, Alessandro, Bottino, Federico

Πηγή: 2025 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S) DSN-S Dependable Systems and Networks - Supplemental Volume (DSN-S), 2025 55th Annual IEEE/IFIP International Conference on. :112-118 Jun, 2025

Relation: 2025 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S)

Watchdogs and Oracles: Runtime Verification Meets Large Language Models for Autonomous Systems

Συγγραφείς: Ferrando, Angelo

Πηγή: EPTCS 436, 2025, pp. 80-87

Θεματικοί όροι: Software Engineering, Artificial Intelligence, Logic in Computer Science

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2511.14435

CO2 Electroreduction to Ethylene: The Determining Role of the Cell and Electrode Design

Συγγραφείς: Squillaci, Paolo^aff1, Papanikolaou, Georgia^aff1, Perathoner, Siglinda^aff1, Centi, Gabriele^aff1, Melloni, Mattia^aff2, Ferrando, Angelo^aff2, Lanzafame, Paola^aff1

Πηγή: Energy & Fuels. 39(37):17899-17912

Διαθεσιμότητα: https://pubs.acs.org/doi/10.1021/acs.energyfuels.5c02802

Learning Social Personalities: Counterfactual Regret in Pro-AgentSpeak(L) Agents

Συγγραφείς: Daoui, Zahra^Aff13, Ferrando, Angelo^Aff14, Gatti, Andrea^Aff13, Mascardi, Viviana^Aff13

Συνεισφορές: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Series Editor^Aff3, Gao, Wen, Series Editor^Aff4, Steffen, Bernhard, Series Editor^Aff5, Yung, Moti, Series Editor^Aff6, Lorig, Fabian, editor^Aff7, Davidsson, Paul, editor^Aff8, Klügl, Franziska, editor^Aff9, Camps, Valérie, editor^Aff10, Nieves Sanchez, Juan Carlos, editor^Aff11, Kaddoum, Elsy, editor^Aff12

Πηγή: Multi-Agent Systems : 23rd European Conference, EUMAS 2026, Malmö, Sweden, September 23-25, 2026, Proceedings. 16829:91-108

Expressive Reward Synthesis with the Runtime Monitoring Language

Συγγραφείς: Donnelly, Daniel, Ferrando, Angelo, Belardinelli, Francesco

Θεματικοί όροι: Machine Learning, Artificial Intelligence, Formal Languages and Automata Theory

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2510.16185

On The Space Complexity of Partial Derivatives of Regular Expressions with Shuffle

Συγγραφείς: Ancona, Davide, Ferrando, Angelo

Θεματικοί όροι: Formal Languages and Automata Theory, Logic in Computer Science

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2508.17451

Run-time Quantitative Operational Monitoring for BDI Agents

Συγγραφείς: Farrell, Marie, Ferrando, Angelo, Xu, Mengwei

Πηγή: ACM Transactions on Software Engineering and Methodology.

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3833871

RVElastic: a Runtime Verification Framework for Microservice Systems

Συγγραφείς: Murino, Stefano, Ferrando, Angelo, Cabri, Giacomo

Πηγή: 2024 32nd International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) WETICE Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2024 32nd International Conference on. :62-67 Jun, 2024

Relation: 2024 32nd International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)

Implementation of the Digital Twin in Water 4.0

Συγγραφείς: Cabri, Giacomo, Rahimi, Alireza, Ferrando, Angelo

Πηγή: 2024 32nd International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) WETICE Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2024 32nd International Conference on. :38-43 Jun, 2024

Relation: 2024 32nd International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)

Varanus: Runtime Verification for CSP

Συγγραφείς: Luckcuck, Matt, Ferrando, Angelo, Faruq, Fatma

Θεματικοί όροι: Logic in Computer Science, Software Engineering

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2506.14426