ROSSI, Sabina
ROSSI, Sabina
Dipartimento di Scienze Ambientali, Informatica e Statistica
A Calculus for Power-aware Multicast Communications in Ad Hoc Networks
2010-01-01 Gallina, Lucia; Rossi, Sabina
A Framework for Throughput and Energy Efficiency in Mobile ad Hoc Networks
2011-01-01 Gallina, Lucia; S., Hamadou; Marin, Andrea; Rossi, Sabina
A Matlab Toolkit for the Analysis of Two-Level Processor Sharing Queues
2020-01-01 Marin, A.; Rossi, S.; Zen, C.
A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks
2011-01-01 Gallina, Lucia; S., Hamadou; Marin, Andrea; Rossi, Sabina
A process algebra for (delimited) persistent stochastic non-interference
2019-01-01 Marin, A.; Piazza, C.; Rossi, S.
A Process Algebraic Framework for Estimating the Energy Consumption in Ad-hoc Wireless Sensor Networks
2013-01-01 Gallina, Lucia; T., Han; M., Kwiatkowska; Marin, Andrea; Rossi, Sabina
A Process Calculus for Energy-Aware Multicast Communications of Mobile Ad-Hoc Networks
2013-01-01 Gallina, Lucia; Rossi, Sabina
A Product-form Model for the Analysis of Systems with Aging Objects
2015-01-01 Cavallin, Filippo; Marin, Andrea; Rossi, Sabina
A Product-Form Model for the Performance Evaluation of a Bandwidth Allocation Strategy in WSNs
2018-01-01 Marin, Andrea; Rossi, Sabina; Burato, Dario; Sina, Andrea; Sottana, Matteo
A product-form network for systems with job stealing policies
2023-01-01 Marin, A.; Rossi, S.; Olliaro, D.
A Proof System for Information Flow Security
2003-01-01 Bossi, Annalisa; Focardi, Riccardo; Piazza, C; Rossi, Sabina
A Queueing Model that Works Only on the Biggest Jobs
2020-01-01 Marin, A.; Rossi, S.
A Security Property for Processes in Dynamic Contexts
2002-01-01 Focardi, Riccardo; Rossi, Sabina
A Theory of Adaptable Contract-based Service Composition.
2008-01-01 G., Bernardi; Bugliesi, Michele; D., Macedonio; Rossi, Sabina
A Theory of Noninterference for the pi-calculus
2005-01-01 Crafa, S; Rossi, Sabina
Action Refinement in Process Algebra and Security Issues
2008-01-01 Bossi, Annalisa; Piazza, C; Rossi, Sabina
Aggregation and Truncation of Reversible Markov Chains Modulo State Renaming
2017-01-01 Marin, Andrea; Rossi, Sabina
An Abstract Interpretation Framework for (almost) Full Prolog
1994-01-01 LE CHARLIER, B; Rossi, Sabina; VAN HENTENRYCK, P.
An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut
1994-01-01 LE CHARLIER, B; Rossi, Sabina; VAN HENTENRYCK, P.
Analysis of ECN/RED and SAP-LAW with simultaneous TCP and UDP traffic
2016-01-01 Bujiari, Armir; Marin, Andrea; Rossi, Sabina; Palazzi, Claudio