ROSSI, Sabina
ROSSI, Sabina
Dipartimento di Scienze Ambientali, Informatica e Statistica
A Calculus for Power-aware Multicast Communications in Ad Hoc Networks
2010 Gallina, Lucia; Rossi, Sabina
A Comparison of Machine Learning Techniques for Ethereum Smart Contract Vulnerability Detection
2025 Rizzo, M.; Ressi, D.; Gasparetto, A.; Rossi, S.
A Framework for Throughput and Energy Efficiency in Mobile ad Hoc Networks
2011 Gallina, Lucia; S., Hamadou; Marin, Andrea; Rossi, Sabina
A Matlab Toolkit for the Analysis of Two-Level Processor Sharing Queues
2020 Marin, A.; Rossi, S.; Zen, C.
A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks
2011 Gallina, Lucia; S., Hamadou; Marin, Andrea; Rossi, Sabina
A process algebra for (delimited) persistent stochastic non-interference
2019 Marin, A.; Piazza, C.; Rossi, S.
A Process Algebraic Framework for Estimating the Energy Consumption in Ad-hoc Wireless Sensor Networks
2013 Gallina, Lucia; T., Han; M., Kwiatkowska; Marin, Andrea; Rossi, Sabina
A Process Calculus for Energy-Aware Multicast Communications of Mobile Ad-Hoc Networks
2013 Gallina, Lucia; Rossi, Sabina
A Product-form Model for the Analysis of Systems with Aging Objects
2015 Cavallin, Filippo; Marin, Andrea; Rossi, Sabina
A Product-Form Model for the Performance Evaluation of a Bandwidth Allocation Strategy in WSNs
2018 Marin, Andrea; Rossi, Sabina; Burato, Dario; Sina, Andrea; Sottana, Matteo
A product-form network for systems with job stealing policies
2024 Olliaro, Diletta; Casale, Giuliano; Marin, Andrea; Rossi, Sabina
A product-form network for systems with job stealing policies
2023 Marin, A.; Rossi, S.; Olliaro, D.
A Proof System for Information Flow Security
2003 Bossi, Annalisa; Focardi, Riccardo; Piazza, C; Rossi, Sabina
A Queueing Model that Works Only on the Biggest Jobs
2020 Marin, A.; Rossi, S.
A Security Property for Processes in Dynamic Contexts
2002 Focardi, Riccardo; Rossi, Sabina
A Theory of Adaptable Contract-based Service Composition.
2008 G., Bernardi; Bugliesi, Michele; D., Macedonio; Rossi, Sabina
A Theory of Noninterference for the pi-calculus
2005 Crafa, S; Rossi, Sabina
Action Refinement in Process Algebra and Security Issues
2008 Bossi, Annalisa; Piazza, C; Rossi, Sabina
Advanced Large Language Models Prompting Strategies for Reentrancy Classification and Explanation in Smart Contracts
2026 Rizzo, Matteo; Spanò, Alvise; Benetollo, Lorenzo; Ressi, Dalila; Gasparetto, Andrea; Rossi, Sabina
Aggregation and Truncation of Reversible Markov Chains Modulo State Renaming
2017 Marin, Andrea; Rossi, Sabina