Sabina Rossi

ORCID

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 56

Top Venues

Publications

Dalila Ressi, Riccardo Romanello, Sabina Rossi, Carla Piazza
Compressing neural networks via formal methods. Neural Networks 178 (2024)
Dalila Ressi, Riccardo Romanello, Carla Piazza, Sabina Rossi
AI-enhanced blockchain technology: A review of advancements and opportunities. J. Netw. Comput. Appl. 225 (2024)
Massimo Bartoletti, Lorenzo Benetollo, Michele Bugliesi, Silvia Crafa, Giacomo Dal Sasso, Roberto Pettinau, Andrea Pinna, Mattia Piras, Sabina Rossi, Stefano Salis, Alvise Spanò, Viacheslav Tkachenko, Roberto Tonelli, Roberto Zunino
Smart Contract Languages: a comparative analysis. CoRR (2024)
Diletta Olliaro, Giuliano Casale, Andrea Marin, Sabina Rossi
A Product-form Network for Systems with Job Stealing Policies. ACM Trans. Model. Perform. Evaluation Comput. Syst. 9 (2) (2024)
Dalila Ressi, Alvise Spanò, Lorenzo Benetollo, Carla Piazza, Michele Bugliesi, Sabina Rossi
Vulnerability Detection in Ethereum Smart Contracts via Machine Learning: A Qualitative Analysis. CoRR (2024)
Ivan Malakhov, Andrea Marin, Sabina Rossi, Daniel Sadoc Menasché
Confirmed or Dropped? Reliability Analysis of Transactions in PoW Blockchains. IEEE Trans. Netw. Sci. Eng. 11 (4) (2024)
Carla Piazza, Sabina Rossi, Daria Smuseva
Efficient Algorithm for Proportional Lumpability and Its Application to Selfish Mining in Public Blockchains. Algorithms 17 (4) (2024)
Lorenzo Benetollo, Michele Bugliesi, Silvia Crafa, Sabina Rossi, Alvise Spanò
ALGOMOVE - A Move Embedding for Algorand. Blockchain (2023)
Marco Bernardo, Ivan Lanese, Andrea Marin, Claudio Antares Mezzina, Sabina Rossi, Claudio Sacerdoti Coen
Causal Reversibility Implies Time Reversibility. QEST (2023)
Daria Smuseva, Ivan Malakhov, Andrea Marin, Sabina Rossi
Crisis of Trust: Analyzing the Verifier's Dilemma in Ethereum's Proof-of-Stake Blockchain. Blockchain (2023)
Marco Bernardo, Sabina Rossi
Reverse Bisimilarity vs. Forward Bisimilarity. FoSSaCS (2023)
Daria Smuseva, Andrea Marin, Sabina Rossi
Selfish Mining in Public Blockchains: A Quantitative Analysis. VALUETOOLS (2023)
Andrea Esposito, Alessandro Aldini, Marco Bernardo, Sabina Rossi
Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity. CoRR (2023)
Andrea Marin, Sabina Rossi, Diletta Olliaro
A product-form network for systems with job stealing policies. SIGMETRICS Perform. Evaluation Rev. 50 (4) (2023)
Ivan Malakhov, Andrea Marin, Sabina Rossi
Analysis of the confirmation time in proof-of-work blockchains. Future Gener. Comput. Syst. 147 (2023)
Andrea Marin, Carla Piazza, Sabina Rossi
Proportional lumpability and proportional bisimilarity. Acta Informatica 59 (2-3) (2022)
Ivan Malakhov, Andrea Marin, Sabina Rossi, Daria Smuseva
On the Use of Proof-of-Work in Permissioned Blockchains: Security and Fairness. IEEE Access 10 (2022)
Dalila Ressi, Riccardo Romanello, Carla Piazza, Sabina Rossi
Neural Networks Reduction via Lumping. AI*IA (2022)
Dalila Ressi, Riccardo Romanello, Sabina Rossi, Carla Piazza
Neural Networks Reduction via Lumping. CoRR (2022)
Daria Smuseva, Ivan Malakhov, Andrea Marin, Aad van Moorsel, Sabina Rossi
Verifier's Dilemma in Ethereum Blockchain: A Quantitative Analysis. QEST (2022)
Carla Piazza, Sabina Rossi
Reasoning About Proportional Lumpability. QEST (2021)
Ivan Malakhov, Carlo Gaetan, Andrea Marin, Sabina Rossi
Workload Prediction in BTC Blockchain and Application to the Confirmation Time Estimation. EPEW (2021)
Jane Hillston, Andrea Marin, Carla Piazza, Sabina Rossi
Persistent Stochastic Non-Interference. Fundam. Informaticae 181 (1) (2021)
Andrea Marin, Carla Piazza, Sabina Rossi
: Delimited persistent stochastic non-interference. Theor. Comput. Sci. 884 (2021)
Andrea Marin, Sabina Rossi, Carey Williamson
Speed scaling in fork-join queues: a comparative study. VALUETOOLS (2020)
B. Maryam Elahi, Andrea Marin, Sabina Rossi, Carey Williamson
Frequency scaling in multilevel queues. SIGMETRICS Perform. Evaluation Rev. 48 (3) (2020)
Andrea Marin, Sabina Rossi, Carlo Zen
Size-based scheduling for TCP flows: Implementation and performance evaluation. Comput. Networks 183 (2020)
Andrea Marin, Giuliano Casale, Dorina C. Petriu, Sabina Rossi
Guest editor's forewords: Special issue on Valuetools 2017. Perform. Evaluation 137 (2020)
B. Maryam Elahi, Andrea Marin, Sabina Rossi, Carey Williamson
Frequency scaling in multilevel queues. Perform. Evaluation 143 (2020)
Andrea Marin, Sabina Rossi, Carlo Zen
A Matlab Toolkit for the Analysis of Two-Level Processor Sharing Queues. QEST (2020)
Ivan Malakhov, Andrea Marin, Sabina Rossi, Daria Smuseva
Fair Work Distribution on Permissioned Blockchains: a Mobile Window Based Approach. Blockchain (2020)
Andrea Marin, Sabina Rossi, Matteo Sottana
Dynamic Resource Allocation in Fork-Join Queues. ACM Trans. Model. Perform. Evaluation Comput. Syst. 5 (1) (2020)
Andrea Marin, Carla Piazza, Sabina Rossi
A Process Algebra for (Delimited) Persistent Stochastic Non-Interference. QEST (2019)
Andrea Marin, Sabina Rossi, Matteo Sottana, Carlo Zen
Theoretical and Experimental Evaluation of the Two-Level Processor Sharing Discipline for TCP Flows. MASCOTS (2019)
Jane Hillston, Andrea Marin, Carla Piazza, Sabina Rossi
Delimited Persistent Stochastic Non-Interference. VALUETOOLS (2019)
Andrea Marin, Carla Piazza, Sabina Rossi
Proportional Lumpability. FORMATS (2019)
Armir Bujari, Andrea Marin, Claudio E. Palazzi, Sabina Rossi
Smart-RED: A Novel Congestion Control Mechanism for High Throughput and Low Queuing Delay. Wirel. Commun. Mob. Comput. 2019 (2019)
Andrea Marin, Sabina Rossi
A Queueing Model that Works Only on the Biggest Jobs. EPEW (2019)
Andrea Marin, Carla Piazza, Sabina Rossi
A Process Algebra for (Delimited) Persistent Stochastic Non-Interference. CILC (2019)
Jane Hillston, Carla Piazza, Sabina Rossi
Persistent Stochastic Non-Interference. EXPRESS/SOS (2018)
Andrea Marin, Sabina Rossi, Dario Burato, Andrea Sina, Matteo Sottana
A Product-Form Model for the Performance Evaluation of a Bandwidth Allocation Strategy in WSNs. ACM Trans. Model. Comput. Simul. 28 (2) (2018)
Giacomo Alzetta, Andrea Marin, Carla Piazza, Sabina Rossi
Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses. Inf. Comput. 260 (2018)
Jane Hillston, Andrea Marin, Carla Piazza, Sabina Rossi
Information Flow Security for Stochastic Processes. EPEW (2018)
Andrea Marin, Sabina Rossi, Matteo Sottana
Biased Processor Sharing in Fork-Join Queues. QEST (2018)
Andrea Marin, Sabina Rossi
On the relations between Markov chain lumpability and reversibility. Acta Informatica 54 (5) (2017)
Andrea Marin, Sabina Rossi
Fair workload distribution for multi-server systems with pulling strategies. Perform. Evaluation 113 (2017)
Andrea Marin, Sabina Rossi
Power control in saturated fork-join queueing systems. Perform. Evaluation 116 (2017)
Andrea Marin, Sabina Rossi
Aggregation and Truncation of Reversible Markov Chains Modulo State Renaming. ASMTA (2017)
Sabina Rossi, Andrea Marin
Fair workload distribution for multi-server systems with pulling strategies. VALUETOOLS (2016)
Lucia Gallina, Andrea Marin, Sabina Rossi
Connectivity and energy-aware preorders for mobile ad-hoc networks. Telecommun. Syst. 63 (2) (2016)
Armir Bujari, Andrea Marin, Claudio E. Palazzi, Sabina Rossi
Analysis of ECN/RED and SAP-LAW with simultaneous TCP and UDP traffic. Comput. Networks 108 (2016)
Andrea Marin, Sabina Rossi, Armir Bujari, Claudio E. Palazzi
Performance evaluation of AQM techniques with heterogeneous traffic. CCNC (2016)
Filippo Cavallin, Andrea Marin, Sabina Rossi
Product-Forms for Probabilistic Input/Output Automata. MASCOTS (2016)
Simonetta Balsamo, Filippo Cavallin, Andrea Marin, Sabina Rossi
Applying Reversibility Theory for the Performance Evaluation of Reversible Computations. ASMTA (2016)
Andrea Marin, Sabina Rossi
Priority-based bandwidth allocation in wireless sensor networks. EAI Endorsed Trans. Wirel. Spectr. 2 (10) (2016)
Andrea Marin, Sabina Rossi
Dynamic Control of the Join-Queue Lengths in Saturated Fork-Join Stations. QEST (2016)
Andrea Marin, Sabina Rossi
Lumping-Based Equivalences in Markovian Automata and Applications to Product-Form Analyses. QEST (2015)
Sabina Rossi, Andrea Marin
On Discrete Time Reversibility modulo State Renaming and its Applications. EAI Endorsed Trans. Self Adapt. Syst. 1 (3) (2015)
Andrea Marin, Sabina Rossi
Quantitative Analysis of Concurrent Reversible Computations. FORMATS (2015)
Filippo Cavallin, Andrea Marin, Sabina Rossi
A Product-Form Model for the Analysis of Systems with Aging Objects. MASCOTS (2015)
Michele Bugliesi, Lucia Gallina, Sardaouna Hamadou, Andrea Marin, Sabina Rossi
Behavioural equivalences and interference metrics for mobile ad-hoc networks. Perform. Evaluation 73 (2014)
Andrea Marin, Sabina Rossi
On the Relations between Lumpability and Reversibility. MASCOTS (2014)
Michele Bugliesi, Andrea Marin, Sabina Rossi
Model checking adaptive service compositions. Sci. Comput. Program. 94 (2014)
Sabina Rossi, Andrea Marin
On Discrete Time Reversibility modulo State Renaming and its Applications. VALUETOOLS (2014)
Andrea Marin, Sabina Rossi
Autoreversibility: Exploiting Symmetries in Markov Chains. MASCOTS (2013)
Lucia Gallina, Andrea Marin, Sabina Rossi, Tingting Han, Marta Z. Kwiatkowska
A process algebraic framework for estimating the energy consumption in ad-hoc wireless sensor networks. MSWiM (2013)
Jane Hillston, Andrea Marin, Sabina Rossi, Carla Piazza
Contextual lumpability. VALUETOOLS (2013)
Gian-Luca Dei Rossi, Lucia Gallina, Sabina Rossi
Performance Analysis and Formal Verification of Cognitive Wireless Networks. EPEW (2013)
Lucia Gallina, Sabina Rossi
A process calculus for energy-aware multicast communications of mobile ad hoc networks. Wirel. Commun. Mob. Comput. 13 (3) (2013)
Michele Bugliesi, Lucia Gallina, Andrea Marin, Sabina Rossi, Sardaouna Hamadou
Interference-Sensitive Preorders for MANETs. QEST (2012)
Lucia Gallina, Tingting Han, Marta Z. Kwiatkowska, Andrea Marin, Sabina Rossi, Alvise Spanò
Automatic energy-aware performance analysis of Mobile Ad-Hoc Networks. Wireless Days (2012)
Lucia Gallina, Gian-Luca Dei Rossi, Andrea Marin, Sabina Rossi
Evaluating resistance to jamming and casual interception in mobile wireless networks. MSWiM (2012)
Lucia Gallina, Sardaouna Hamadou, Andrea Marin, Sabina Rossi
A framework for throughput and energy efficiency in mobile ad hoc networks. Wireless Days (2011)
Lucia Gallina, Sardaouna Hamadou, Andrea Marin, Sabina Rossi
A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks. ASMTA (2011)
Sabina Rossi
Model Checking Adaptive Multilevel Service Compositions. FACS (2010)
Lucia Gallina, Sabina Rossi
A Calculus for Power-Aware Multicast Communications in Ad Hoc Networks. IFIP TCS (2010)
Lucia Gallina, Sabina Rossi
Sender- and receiver-centered interference in wireless ad hoc networks. Wireless Days (2010)
Michele Bugliesi, Damiano Macedonio, Luca Pino, Sabina Rossi
Compliance Preorders for Web Services. WS-FM (2009)
Sabina Rossi, Damiano Macedonio
Information flow security for service compositions. ICUMT (2009)
Giovanni Bernardi, Michele Bugliesi, Damiano Macedonio, Sabina Rossi
A Theory of Adaptable Contract-Based Service Composition. SYNASC (2008)
Silvia Crafa, Matteo Mio, Marino Miculan, Carla Piazza, Sabina Rossi
PicNIc - Pi-calculus non-interference checker. ACSD (2008)
Annalisa Bossi, Carla Piazza, Sabina Rossi
Action Refinement in Process Algebra and Security Issues. LOPSTR (2007)
Silvia Crafa, Sabina Rossi
Controlling information release in the pi-calculus. Inf. Comput. 205 (8) (2007)
Michele Bugliesi, Damiano Macedonio, Sabina Rossi
Static vs Dynamic Typing for Access Control in Pi-Calculus. ASIAN (2007)
Annalisa Bossi, Carla Piazza, Sabina Rossi
Compositional information flow security for concurrent programs. J. Comput. Secur. 15 (3) (2007)
Riccardo Focardi, Sabina Rossi
Information flow security in dynamic contexts. J. Comput. Secur. 14 (1) (2006)
Silvia Crafa, Sabina Rossi
P-congruences as non-interference for the pi-calculus. FMSE (2006)
Michele Bugliesi, Sabina Rossi
Non-interference proof techniques for the analysis of cryptographic protocols. J. Comput. Secur. 13 (1) (2005)
Riccardo Focardi, Sabina Rossi, Andrei Sabelfeld
Bridging Language-Based and Process Calculi Security. FoSSaCS (2005)
Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi
Information flow in secure contexts. J. Comput. Secur. 13 (3) (2005)
Silvia Crafa, Sabina Rossi
A Theory of Noninterference for the pi-Calculus. TGC (2005)
Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
Verifying persistent security properties. Comput. Lang. Syst. Struct. 30 (3-4) (2004)
Annalisa Bossi, Riccardo Focardi, Damiano Macedonio, Carla Piazza, Sabina Rossi
Unwinding in Information Flow Security. Electron. Notes Theor. Comput. Sci. 99 (2004)
Carla Piazza, Enrico Pivato, Sabina Rossi
CoPS - Checker of Persistent Security. TACAS (2004)
Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus
Termination of simply moded logic programs with dynamic scheduling. ACM Trans. Comput. Log. 5 (3) (2004)
Annalisa Bossi, Carla Piazza, Sabina Rossi
Unwinding Conditions for Security in Imperative Languages. LOPSTR (2004)
Annalisa Bossi, Carla Piazza, Sabina Rossi
Modelling Downgrading in Information Flow Security. CSFW (2004)
Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
Bisimulation and Unwinding for Verifying Possibilistic Security Properties. VMCAI (2003)
Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi
Secure Contexts for Confidential Data. CSFW (2003)
Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
Refinement Operators and Information Flow Security. SEFM (2003)

Sabina Rossi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sabina Rossi