Static Analysis of Prolog with Cut. - Gilberto Filé; Sabina Rossi (GULP, 1993)

An Abstract Interpretation Framework for (almost) Full Prolog. - Baudouin Le Charlier; Sabina Rossi; Pascal Van Hentenryck (GULP-PRODE (1), 1994)

An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut. - Baudouin Le Charlier; Sabina Rossi; Pascal Van Hentenryck (ILPS, 1994)

Entending the FOLON Environment for Automatically Deriving Totally Correct Prolog Procedures from Logic Descriptions. - Baudouin Le Charlier; Sabina Rossi (LPE, 1995)

Specification-Based Automatic Verification of Prolog Programs. - Agostino Cortesi; Baudouin Le Charlier; Sabina Rossi (LOPSTR, 1996)

Automated Behavioural Verification of Prolog Programs. - Baudouin Le Charlier; Christophe Leclère; Sabina Rossi; Agostino Cortesi (APPIA-GULP-PRODE, 1997)

Automated Verification of Behavioural Properties of Prolog Programs. - Baudouin Le Charlier; Christophe Leclère; Sabina Rossi; Agostino Cortesi (ASIAN, 1997)

Specialising Logic Programs with Respect to Call?Post Specifications. - Annalisa Bossi; Sabina Rossi (LOPSTR, 1998)

Automated Verification of Prolog Programs. - Baudouin Le Charlier; Christophe Leclère; Sabina Rossi; Agostino Cortesi (J. Log. Program., 1999)

Semantics of Input-Consuming Logic Programs. - Annalisa Bossi; Sandro Etalle; Sabina Rossi (Computational Logic, 2000)

Semantics of well-moded input-consuming logic programs. - Annalisa Bossi; Sandro Etalle; Sabina Rossi (Comput. Lang., 2000)

Reexecution-Based Analysis of Logic Programs with Delay Declarations. - Agostino Cortesi; Baudouin Le Charlier; Sabina Rossi (Ershov Memorial Conference, 2001)

Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling. - Annalisa Bossi; Sandro Etalle; Sabina Rossi; Jan-Georg Smaus (ESOP, 2001)

Termination of Well-Typed Logic Programs. - Annalisa Bossi; Nicoletta Cocco; Sabina Rossi (PPDP, 2001)

Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations. - Agostino Cortesi; Sabina Rossi; Baudouin Le Charlier (APPIA-GULP-PRODE, 2001)

Transforming Processes to Check and Ensure Information Flow Security. - Annalisa Bossi; Riccardo Focardi; Carla Piazza; Sabina Rossi (AMAST, 2002)

A Proof System for Information Flow Security. - Annalisa Bossi; Riccardo Focardi; Carla Piazza; Sabina Rossi (LOPSTR, 2002)

Proofs Methods for Bisimulation Based Information Flow Security. - Riccardo Focardi; Carla Piazza; Sabina Rossi (VMCAI, 2002)

On modular termination proofs of general logic programs. - Annalisa Bossi; Nicoletta Cocco; Sandro Etalle; Sabina Rossi (Theory Pract. Log. Program., 2002)

Properties of input-consuming derivations. - Annalisa Bossi; Sandro Etalle; Sabina Rossi (Theory Pract. Log. Program., 2002)

Sequence-based abstract interpretation of Prolog. - Baudouin Le Charlier; Sabina Rossi; Pascal Van Hentenryck (Theory Pract. Log. Program., 2002)

Secure Contexts for Confidential Data. - Annalisa Bossi; Damiano Macedonio; Carla Piazza; Sabina Rossi (CSFW, 2003)

Context-Sensitive Equivalences for Non-interference Based Protocol Analysis. - Michele Bugliesi; Ambra Ceccato; Sabina Rossi (FCT, 2003)

Information Flow Security and Recursive Systems. - Annalisa Bossi; Damiano Macedonio; Carla Piazza; Sabina Rossi (ICTCS, 2003)

Refinement Operators and Information Flow Security. - Annalisa Bossi; Riccardo Focardi; Carla Piazza; Sabina Rossi (SEFM, 2003)

Bisimulation and Unwinding for Verifying Possibilistic Security Properties. - Annalisa Bossi; Riccardo Focardi; Carla Piazza; Sabina Rossi (VMCAI, 2003)

Unwinding in Information Flow Security. - Annalisa Bossi; Riccardo Focardi; Damiano Macedonio; Carla Piazza; Sabina Rossi (MEFISTO, 2003)

Modelling Downgrading in Information Flow Security. - Annalisa Bossi; Carla Piazza; Sabina Rossi (CSFW, 2004)

Declarative Semantics of Input Consuming Logic Programs. - Annalisa Bossi; Nicoletta Cocco; Sandro Etalle; Sabina Rossi (Program Development in Computational Logic, 2004)

Unwinding Conditions for Security in Imperative Languages. - Annalisa Bossi; Carla Piazza; Sabina Rossi (LOPSTR, 2004)

CoPS - Checker of Persistent Security. - Carla Piazza; Enrico Pivato; Sabina Rossi (TACAS, 2004)

Verifying persistent security properties. - Annalisa Bossi; Riccardo Focardi; Carla Piazza; Sabina Rossi (Comput. Lang. Syst. Struct., 2004)

Termination of simply moded logic programs with dynamic scheduling. - Annalisa Bossi; Sandro Etalle; Sabina Rossi; Jan-Georg Smaus (ACM Trans. Comput. Log., 2004)

Bridging Language-Based and Process Calculi Security. - Riccardo Focardi; Sabina Rossi; Andrei Sabelfeld (FoSSaCS, 2005)

A Theory of Noninterference for the pi-Calculus. - Silvia Crafa; Sabina Rossi (TGC, 2005)

Information flow in secure contexts. - Annalisa Bossi; Damiano Macedonio; Carla Piazza; Sabina Rossi (J. Comput. Secur., 2005)

Non-interference proof techniques for the analysis of cryptographic protocols. - Michele Bugliesi; Sabina Rossi (J. Comput. Secur., 2005)

P-congruences as non-interference for the pi-calculus. - Silvia Crafa; Sabina Rossi (FMSE, 2006)

Information flow security in dynamic contexts. - Riccardo Focardi; Sabina Rossi (J. Comput. Secur., 2006)

Static vs Dynamic Typing for Access Control in Pi-Calculus. - Michele Bugliesi; Damiano Macedonio; Sabina Rossi (ASIAN, 2007)

Action Refinement in Process Algebra and Security Issues. - Annalisa Bossi; Carla Piazza; Sabina Rossi (LOPSTR, 2007)

Controlling information release in the pi-calculus. - Silvia Crafa; Sabina Rossi (Inf. Comput., 2007)

Compositional information flow security for concurrent programs. - Annalisa Bossi; Carla Piazza; Sabina Rossi (J. Comput. Secur., 2007)

PicNIc - Pi-calculus non-interference checker. - Silvia Crafa; Matteo Mio; Marino Miculan; Carla Piazza; Sabina Rossi (ACSD, 2008)

A Theory of Adaptable Contract-Based Service Composition. - Giovanni Bernardi 001; Michele Bugliesi; Damiano Macedonio; Sabina Rossi (SYNASC, 2008)

Information flow security for service compositions. - Sabina Rossi; Damiano Macedonio (ICUMT, 2009)

Compliance Preorders for Web Services. - Michele Bugliesi; Damiano Macedonio; Luca Pino; Sabina Rossi (WS-FM, 2009)

Model Checking Adaptive Multilevel Service Compositions. - Sabina Rossi (FACS, 2010)

A Calculus for Power-Aware Multicast Communications in Ad Hoc Networks. - Lucia Gallina; Sabina Rossi (IFIP TCS, 2010)

Sender- and receiver-centered interference in wireless ad hoc networks. - Lucia Gallina; Sabina Rossi (Wireless Days, 2010)

A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks. - Lucia Gallina; Sardaouna Hamadou; Andrea Marin; Sabina Rossi (ASMTA, 2011)

A framework for throughput and energy efficiency in mobile ad hoc networks. - Lucia Gallina; Sardaouna Hamadou; Andrea Marin; Sabina Rossi (Wireless Days, 2011)

Evaluating resistance to jamming and casual interception in mobile wireless networks. - Lucia Gallina; Gian-Luca Dei Rossi; Andrea Marin; Sabina Rossi (MSWiM, 2012)

Interference-Sensitive Preorders for MANETs. - Michele Bugliesi; Lucia Gallina; Andrea Marin; Sabina Rossi; Sardaouna Hamadou (QEST, 2012)

Automatic energy-aware performance analysis of Mobile Ad-Hoc Networks. - Lucia Gallina; Tingting Han 001; Marta Z. Kwiatkowska; Andrea Marin; Sabina Rossi; Alvise Spanò (Wireless Days, 2012)

Performance Analysis and Formal Verification of Cognitive Wireless Networks. - Gian-Luca Dei Rossi; Lucia Gallina; Sabina Rossi (EPEW, 2013)

Autoreversibility: Exploiting Symmetries in Markov Chains. - Andrea Marin; Sabina Rossi (MASCOTS, 2013)

A process algebraic framework for estimating the energy consumption in ad-hoc wireless sensor networks. - Lucia Gallina; Andrea Marin; Sabina Rossi; Tingting Han 001; Marta Z. Kwiatkowska (MSWiM, 2013)

Contextual lumpability. - Jane Hillston; Andrea Marin; Sabina Rossi; Carla Piazza (VALUETOOLS, 2013)

A process calculus for energy-aware multicast communications of mobile ad hoc networks. - Lucia Gallina; Sabina Rossi (Wirel. Commun. Mob. Comput., 2013)

On the Relations between Lumpability and Reversibility. - Andrea Marin; Sabina Rossi (MASCOTS, 2014)

Behavioural equivalences and interference metrics for mobile ad-hoc networks. - Michele Bugliesi; Lucia Gallina; Sardaouna Hamadou; Andrea Marin; Sabina Rossi (Perform. Evaluation, 2014)

Model checking adaptive service compositions. - Michele Bugliesi; Andrea Marin; Sabina Rossi (Sci. Comput. Program., 2014)

Quantitative Analysis of Concurrent Reversible Computations. - Andrea Marin; Sabina Rossi (FORMATS, 2015)

A Product-Form Model for the Analysis of Systems with Aging Objects. - Filippo Cavallin; Andrea Marin; Sabina Rossi (MASCOTS, 2015)

Lumping-Based Equivalences in Markovian Automata and Applications to Product-Form Analyses. - Andrea Marin; Sabina Rossi (QEST, 2015)

On Discrete Time Reversibility modulo State Renaming and its Applications. - Sabina Rossi; Andrea Marin (EAI Endorsed Trans. Self Adapt. Syst., 2015)

Applying Reversibility Theory for the Performance Evaluation of Reversible Computations. - Simonetta Balsamo; Filippo Cavallin; Andrea Marin; Sabina Rossi (ASMTA, 2016)

Performance evaluation of AQM techniques with heterogeneous traffic. - Andrea Marin; Sabina Rossi; Armir Bujari; Claudio E. Palazzi (CCNC, 2016)

Product-Forms for Probabilistic Input/Output Automata. - Filippo Cavallin; Andrea Marin; Sabina Rossi (MASCOTS, 2016)

Dynamic Control of the Join-Queue Lengths in Saturated Fork-Join Stations. - Andrea Marin; Sabina Rossi (QEST, 2016)

Analysis of ECN/RED and SAP-LAW with simultaneous TCP and UDP traffic. - Armir Bujari; Andrea Marin; Claudio E. Palazzi; Sabina Rossi (Comput. Networks, 2016)

Priority-based bandwidth allocation in wireless sensor networks. - Andrea Marin; Sabina Rossi (EAI Endorsed Trans. Wirel. Spectr., 2016)

Connectivity and energy-aware preorders for mobile ad-hoc networks. - Lucia Gallina; Andrea Marin; Sabina Rossi (Telecommun. Syst., 2016)

Aggregation and Truncation of Reversible Markov Chains Modulo State Renaming. - Andrea Marin; Sabina Rossi (ASMTA, 2017)

On the relations between Markov chain lumpability and reversibility. - Andrea Marin; Sabina Rossi (Acta Informatica, 2017)

Fair workload distribution for multi-server systems with pulling strategies. - Andrea Marin; Sabina Rossi (Perform. Evaluation, 2017)

Power control in saturated fork-join queueing systems. - Andrea Marin; Sabina Rossi (Perform. Evaluation, 2017)

Information Flow Security for Stochastic Processes. - Jane Hillston; Andrea Marin; Carla Piazza; Sabina Rossi (EPEW, 2018)

Biased Processor Sharing in Fork-Join Queues. - Andrea Marin; Sabina Rossi; Matteo Sottana (QEST, 2018)

Persistent Stochastic Non-Interference. - Jane Hillston; Carla Piazza; Sabina Rossi (EXPRESS/SOS, 2018)

Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses. - Giacomo Alzetta; Andrea Marin; Carla Piazza; Sabina Rossi (Inf. Comput., 2018)

A Product-Form Model for the Performance Evaluation of a Bandwidth Allocation Strategy in WSNs. - Andrea Marin; Sabina Rossi; Dario Burato; Andrea Sina; Matteo Sottana (ACM Trans. Model. Comput. Simul., 2018)

A Queueing Model that Works Only on the Biggest Jobs. - Andrea Marin; Sabina Rossi (EPEW, 2019)

Proportional Lumpability. - Andrea Marin; Carla Piazza; Sabina Rossi (FORMATS, 2019)

Theoretical and Experimental Evaluation of the Two-Level Processor Sharing Discipline for TCP Flows. - Andrea Marin; Sabina Rossi; Matteo Sottana; Carlo Zen (MASCOTS, 2019)

A Process Algebra for (Delimited) Persistent Stochastic Non-Interference. - Andrea Marin; Carla Piazza; Sabina Rossi (QEST, 2019)

Delimited Persistent Stochastic Non-Interference. - Jane Hillston; Andrea Marin; Carla Piazza; Sabina Rossi (VALUETOOLS, 2019)

Smart-RED: A Novel Congestion Control Mechanism for High Throughput and Low Queuing Delay. - Armir Bujari; Andrea Marin; Claudio E. Palazzi; Sabina Rossi (Wirel. Commun. Mob. Comput., 2019)

Fair Work Distribution on Permissioned Blockchains: a Mobile Window Based Approach. - Ivan Malakhov; Andrea Marin; Sabina Rossi; Daria Smuseva (Blockchain, 2020)

A Matlab Toolkit for the Analysis of Two-Level Processor Sharing Queues. - Andrea Marin; Sabina Rossi; Carlo Zen (QEST, 2020)

Speed scaling in fork-join queues: a comparative study. - Andrea Marin; Sabina Rossi; Carey Williamson (VALUETOOLS, 2020)

Size-based scheduling for TCP flows: Implementation and performance evaluation. - Andrea Marin; Sabina Rossi; Carlo Zen (Comput. Networks, 2020)

Frequency scaling in multilevel queues. - B. Maryam Elahi; Andrea Marin; Sabina Rossi; Carey Williamson (Perform. Evaluation, 2020)

Guest editor's forewords: Special issue on Valuetools 2017. - Andrea Marin; Giuliano Casale; Dorina C. Petriu; Sabina Rossi (Perform. Evaluation, 2020)

Dynamic Resource Allocation in Fork-Join Queues. - Andrea Marin; Sabina Rossi; Matteo Sottana (ACM Trans. Model. Perform. Evaluation Comput. Syst., 2020)

Workload Prediction in BTC Blockchain and Application to the Confirmation Time Estimation. - Ivan Malakhov; Carlo Gaetan; Andrea Marin; Sabina Rossi (EPEW, 2021)

Reasoning About Proportional Lumpability. - Carla Piazza; Sabina Rossi (QEST, 2021)

Persistent Stochastic Non-Interference. - Jane Hillston; Andrea Marin; Carla Piazza; Sabina Rossi (Fundam. Informaticae, 2021)

D_PSNI: Delimited persistent stochastic non-interference. - Andrea Marin; Carla Piazza; Sabina Rossi (Theor. Comput. Sci., 2021)

Neural Networks Reduction via Lumping. - Dalila Ressi; Riccardo Romanello; Carla Piazza; Sabina Rossi (AI*IA, 2022)

Verifier's Dilemma in Ethereum Blockchain: A Quantitative Analysis. - Daria Smuseva; Ivan Malakhov; Andrea Marin; Aad van Moorsel; Sabina Rossi (QEST, 2022)

On the Use of Proof-of-Work in Permissioned Blockchains: Security and Fairness. - Ivan Malakhov; Andrea Marin; Sabina Rossi; Daria Smuseva (IEEE Access, 2022)

Proportional lumpability and proportional bisimilarity. - Andrea Marin; Carla Piazza; Sabina Rossi (Acta Informatica, 2022)

ALGOMOVE - A Move Embedding for Algorand. - Lorenzo Benetollo; Michele Bugliesi; Silvia Crafa; Sabina Rossi; Alvise Spanò (Blockchain, 2023)

Crisis of Trust: Analyzing the Verifier's Dilemma in Ethereum's Proof-of-Stake Blockchain. - Daria Smuseva; Ivan Malakhov; Andrea Marin; Sabina Rossi (Blockchain, 2023)

Reverse Bisimilarity vs. Forward Bisimilarity. - Marco Bernardo 001; Sabina Rossi (FoSSaCS, 2023)

Causal Reversibility Implies Time Reversibility. - Marco Bernardo 001; Ivan Lanese; Andrea Marin; Claudio Antares Mezzina; Sabina Rossi; Claudio Sacerdoti Coen (QEST, 2023)

Selfish Mining in Public Blockchains: A Quantitative Analysis. - Daria Smuseva; Andrea Marin; Sabina Rossi (VALUETOOLS, 2023)

Analysis of the confirmation time in proof-of-work blockchains. - Ivan Malakhov; Andrea Marin; Sabina Rossi (Future Gener. Comput. Syst., 2023)

A product-form network for systems with job stealing policies. - Andrea Marin; Sabina Rossi; Diletta Olliaro (SIGMETRICS Perform. Evaluation Rev., 2023)

Noninterference Analysis for Smart Contracts: Would you Bet on it? - Samia Guesmi; Carla Piazza; Sabina Rossi (DLT, 2024)

Under the Space Threat: Quantitative Analysis of Cosmos Blockchain. - Daria Smuseva; Ivan Malakhov; Andrea Marin; Carla Piazza; Sabina Rossi (EPEW, 2024)

Cosmos discovery: Quantitative assessment of Cosmos blockchain. - Daria Smuseva; Carla Piazza; Ivan Malakhov; Andrea Marin; Sabina Rossi (MASCOTS, 2024)

A Comparison of Machine Learning Techniques for Ethereum Smart Contract Vulnerability Detection. - Matteo Rizzo; Dalila Ressi; Andrea Gasparetto; Sabina Rossi (OVERLAY, 2024)

Vulnerability Detection in Ethereum Smart Contracts via Machine Learning: A Qualitative Analysis. - Dalila Ressi; Alvise Spanò; Lorenzo Benetollo; Carla Piazza; Michele Bugliesi; Sabina Rossi (CoRR, 2024)

AI-enhanced blockchain technology: A review of advancements and opportunities. - Dalila Ressi; Riccardo Romanello; Carla Piazza; Sabina Rossi (J. Netw. Comput. Appl., 2024)

Compressing neural networks via formal methods. - Dalila Ressi; Riccardo Romanello; Sabina Rossi; Carla Piazza (Neural Networks, 2024)

Confirmed or Dropped? Reliability Analysis of Transactions in PoW Blockchains. - Ivan Malakhov; Andrea Marin; Sabina Rossi; Daniel Sadoc Menasché (IEEE Trans. Netw. Sci. Eng., 2024)

Efficient Algorithm for Proportional Lumpability and Its Application to Selfish Mining in Public Blockchains. - Carla Piazza; Sabina Rossi; Daria Smuseva (Algorithms, 2024)

A Product-form Network for Systems with Job Stealing Policies. - Diletta Olliaro; Giuliano Casale; Andrea Marin; Sabina Rossi (ACM Trans. Model. Perform. Evaluation Comput. Syst., 2024)

Assessing Code Understanding in LLMs. - Cosimo Laneve; Alvise Spanò; Dalila Ressi; Sabina Rossi; Michele Bugliesi (FORTE, 2025)

Smart contract languages: A comparative analysis. - Massimo Bartoletti; Lorenzo Benetollo; Michele Bugliesi; Silvia Crafa; Giacomo Dal Sasso; Roberto Pettinau; Andrea Pinna 002; Mattia Piras; Sabina Rossi; Stefano Salis; Alvise Spanò; Viacheslav Tkachenko; et al. (Future Gener. Comput. Syst., 2025)

Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity. - Andrea Esposito 006; Alessandro Aldini; Marco Bernardo 001; Sabina Rossi (Log. Methods Comput. Sci., 2025)

Verifier's Dilemma in Proof-of-Work Public Blockchains: A Quantitative Analysis. - Daria Smuseva; Andrea Marin; Sabina Rossi; Aad P. A. van Moorsel (ACM Trans. Model. Comput. Simul., 2025)