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 Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks
2011-01-01 Gallina, Lucia; S., Hamadou; Marin, Andrea; Rossi, Sabina
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 Product-form Model for the Analysis of Systems with Aging Objects
2015-01-01 Cavallin, Filippo; Marin, Andrea; Rossi, Sabina
A Proof System for Information Flow Security
2003-01-01 Bossi, Annalisa; Focardi, Riccardo; Piazza, C; Rossi, Sabina
A Security Property for Processes in Dynamic Contexts
2002-01-01 Focardi, Riccardo; 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
Applying Reversibility Theory for the Performance Evaluation of Reversible Computations
2016-01-01 Balsamo, Maria Simonetta; Cavallin, Filippo; Marin, Andrea; Rossi, Sabina
Automated Behavioural Verification of Prolog Programs
1997-01-01 LE CHARLIER, B; Leclere, C; Rossi, Sabina; Cortesi, Agostino
Automated Verification of Behavioural Properties of Prolog Programs
1997-01-01 LE CHARLIER, B; Leclere, C; Rossi, Sabina; Cortesi, Agostino
Automated Verification of Prolog Programs
1999-01-01 LE CHARLIER, B; Leclere, C; Rossi, Sabina; Cortesi, Agostino
Automatic Energy-aware Performance Analysis of Mobile Ad-hoc Networks
2012-01-01 Gallina, Lucia; T., Han; M., Kwiatkowska; Marin, Andrea; Rossi, Sabina; S., Spanò
Autoreversibility: exploiting symmetries in Markov chains
2013-01-01 Marin, Andrea; Rossi, Sabina
Behavioural equivalences and interference metrics for mobile ad-hoc networks
2014-01-01 Bugliesi, Michele; Gallina, Lucia; S., Hamadou; Marin, Andrea; Rossi, Sabina