Sabina Rossi - RankMe

151 papers A 4B 13C 9Misc 1Journal 57Unranked 63

Year	Rank	Type	Title / Venue / Authors
2026	—	`ed.`	Blockchain Technology and Emerging Applications - 4th EAI International Conference, BlockTEA 2025, Venice, Italy, September 18-19, 2025, Proceedings BlockTEA William Knottenbelt, Dalila Ressi, Sabina Rossi, Francesco Tiezzi
2026	J	`jnl`	Massive stochastic simulation of cosmic rays propagation in the heliosphere: The COSMICA code. Astron. Comput. Leone Bacciu, Matteo Grazioso, Giovanni Cavallotto, Stefano Della Torre, Massimo Gervasi, Giuseppe La Vacca, Sabina Rossi, Marco S. Nobile
2026	J	`jnl`	On the Performance of SMASH: A Non-Preemptive Window-Based Scheduler for Multiserver Jobs. IEEE Trans. Parallel Distributed Syst. Diletta Olliaro, Sabina Rossi, Adityo Anggraito, Andrea Marin, Marco Ajmone Marsan
2026	J	`jnl`	Reentrancy Detection in the Age of LLMs. CoRR Dalila Ressi, Alvise Spanò, Matteo Rizzo, Lorenzo Benetollo, Sabina Rossi
2026	J	`jnl`	Validation of COSMICA code for massive stochastic simulation of cosmic rays propagation in the heliosphere. Astron. Comput. Stefano Della Torre, Leone Bacciu, Matteo Grazioso, Giovanni Cavallotto, Massimo Gervasi, Giuseppe La Vacca, Sabina Rossi, Marco S. Nobile
2025	—	`conf`	A Product-Form Model for Systems with Aging Objects and Similarities. QEST+FORMATS Andrea Marin, Diletta Olliaro, Sabina Rossi, Daniel Sadoc Menasché
2025	—	`conf`	Advanced Large Language Models Prompting Strategies for Reentrancy Classification and Explanation in Smart Contracts. BlockTEA Matteo Rizzo, Alvise Spanò, Lorenzo Benetollo, Dalila Ressi, Andrea Gasparetto, Sabina Rossi
2025	—	`ed.`	Analytical and Stochastic Modelling Techniques and Applications - 28th International Conference, ASMTA 2024, Venice, Italy, June 14, 2024, Proceedings ASMTA Arnaud Devos, András Horváth, Sabina Rossi
2025	C	`conf`	Assessing Code Understanding in LLMs. FORTE Cosimo Laneve, Alvise Spanò, Dalila Ressi, Sabina Rossi, Michele Bugliesi
2025	J	`jnl`	Assessing Code Understanding in LLMs. CoRR Cosimo Laneve, Alvise Spanò, Dalila Ressi, Sabina Rossi, Michele Bugliesi
2025	J	`jnl`	Exact Persistent Stochastic Non-Interference. CoRR Carla Piazza, Riccardo Romanello, Sabina Rossi
2025	C	`conf`	Modeling Reentrancy in Smart Contracts through Noninterference. DLT Lorenzo Benetollo, Semia Guesmi, Carla Piazza, Dalila Ressi, Sabina Rossi, Alvise Spanò
2025	J	`jnl`	Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity. Log. Methods Comput. Sci. Andrea Esposito, Alessandro Aldini, Marco Bernardo, Sabina Rossi
2025	J	`jnl`	Smart contract languages: A comparative analysis. Future Gener. Comput. Syst. 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
2025	J	`jnl`	Verifier's Dilemma in Proof-of-Work Public Blockchains: A Quantitative Analysis. ACM Trans. Model. Comput. Simul. Daria Smuseva, Andrea Marin, Sabina Rossi, Aad P. A. van Moorsel
2024	—	`conf`	A Comparison of Machine Learning Techniques for Ethereum Smart Contract Vulnerability Detection. OVERLAY Matteo Rizzo, Dalila Ressi, Andrea Gasparetto, Sabina Rossi
2024	J	`jnl`	A Product-form Network for Systems with Job Stealing Policies. ACM Trans. Model. Perform. Evaluation Comput. Syst. Diletta Olliaro, Giuliano Casale, Andrea Marin, Sabina Rossi
2024	J	`jnl`	AI-enhanced blockchain technology: A review of advancements and opportunities. J. Netw. Comput. Appl. Dalila Ressi, Riccardo Romanello, Carla Piazza, Sabina Rossi
2024	J	`jnl`	Compressing neural networks via formal methods. Neural Networks Dalila Ressi, Riccardo Romanello, Sabina Rossi, Carla Piazza
2024	J	`jnl`	Confirmed or Dropped? Reliability Analysis of Transactions in PoW Blockchains. IEEE Trans. Netw. Sci. Eng. Ivan Malakhov, Andrea Marin, Sabina Rossi, Daniel Sadoc Menasché
2024	B	`conf`	Cosmos discovery: Quantitative assessment of Cosmos blockchain. MASCOTS Daria Smuseva, Carla Piazza, Ivan Malakhov, Andrea Marin, Sabina Rossi
2024	J	`jnl`	Efficient Algorithm for Proportional Lumpability and Its Application to Selfish Mining in Public Blockchains. Algorithms Carla Piazza, Sabina Rossi, Daria Smuseva
2024	—	`conf`	Generalized Proportional Lumpability. VALUETOOLS Carla Piazza, Sabina Rossi
2024	C	`conf`	Noninterference Analysis for Smart Contracts: Would you Bet on it? DLT Samia Guesmi, Carla Piazza, Sabina Rossi
2024	J	`jnl`	Smart Contract Languages: a comparative analysis. CoRR 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
2024	—	`conf`	Under the Space Threat: Quantitative Analysis of Cosmos Blockchain. EPEW Daria Smuseva, Ivan Malakhov, Andrea Marin, Carla Piazza, Sabina Rossi
2024	J	`jnl`	Vulnerability Detection in Ethereum Smart Contracts via Machine Learning: A Qualitative Analysis. CoRR Dalila Ressi, Alvise Spanò, Lorenzo Benetollo, Carla Piazza, Michele Bugliesi, Sabina Rossi
2023	J	`jnl`	A product-form network for systems with job stealing policies. SIGMETRICS Perform. Evaluation Rev. Andrea Marin, Sabina Rossi, Diletta Olliaro
2023	—	`conf`	ALGOMOVE - A Move Embedding for Algorand. Blockchain Lorenzo Benetollo, Michele Bugliesi, Silvia Crafa, Sabina Rossi, Alvise Spanò
2023	J	`jnl`	Analysis of the confirmation time in proof-of-work blockchains. Future Gener. Comput. Syst. Ivan Malakhov, Andrea Marin, Sabina Rossi
2023	—	`conf`	Causal Reversibility Implies Time Reversibility. QEST Marco Bernardo, Ivan Lanese, Andrea Marin, Claudio Antares Mezzina, Sabina Rossi, Claudio Sacerdoti Coen
2023	—	`conf`	Crisis of Trust: Analyzing the Verifier's Dilemma in Ethereum's Proof-of-Stake Blockchain. Blockchain Daria Smuseva, Ivan Malakhov, Andrea Marin, Sabina Rossi
2023	J	`jnl`	Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity. CoRR Andrea Esposito, Alessandro Aldini, Marco Bernardo, Sabina Rossi
2023	B	`conf`	Reverse Bisimilarity vs. Forward Bisimilarity. FoSSaCS Marco Bernardo, Sabina Rossi
2023	—	`conf`	Selfish Mining in Public Blockchains: A Quantitative Analysis. VALUETOOLS Daria Smuseva, Andrea Marin, Sabina Rossi
2022	—	`conf`	Neural Networks Reduction via Lumping. AI*IA Dalila Ressi, Riccardo Romanello, Carla Piazza, Sabina Rossi
2022	J	`jnl`	Neural Networks Reduction via Lumping. CoRR Dalila Ressi, Riccardo Romanello, Sabina Rossi, Carla Piazza
2022	J	`jnl`	On the Use of Proof-of-Work in Permissioned Blockchains: Security and Fairness. IEEE Access Ivan Malakhov, Andrea Marin, Sabina Rossi, Daria Smuseva
2022	J	`jnl`	Proportional lumpability and proportional bisimilarity. Acta Informatica Andrea Marin, Carla Piazza, Sabina Rossi
2022	—	`conf`	Verifier's Dilemma in Ethereum Blockchain: A Quantitative Analysis. QEST Daria Smuseva, Ivan Malakhov, Andrea Marin, Aad van Moorsel, Sabina Rossi
2021	J	`jnl`	Persistent Stochastic Non-Interference. Fundam. Informaticae Jane Hillston, Andrea Marin, Carla Piazza, Sabina Rossi
2021	—	`conf`	Reasoning About Proportional Lumpability. QEST Carla Piazza, Sabina Rossi
2021	—	`conf`	Workload Prediction in BTC Blockchain and Application to the Confirmation Time Estimation. EPEW Ivan Malakhov, Carlo Gaetan, Andrea Marin, Sabina Rossi
2020	—	`conf`	A Matlab Toolkit for the Analysis of Two-Level Processor Sharing Queues. QEST Andrea Marin, Sabina Rossi, Carlo Zen
2020	J	`jnl`	Dynamic Resource Allocation in Fork-Join Queues. ACM Trans. Model. Perform. Evaluation Comput. Syst. Andrea Marin, Sabina Rossi, Matteo Sottana
2020	—	`conf`	Fair Work Distribution on Permissioned Blockchains: a Mobile Window Based Approach. Blockchain Ivan Malakhov, Andrea Marin, Sabina Rossi, Daria Smuseva
2020	J	`jnl`	Frequency scaling in multilevel queues. Perform. Evaluation B. Maryam Elahi, Andrea Marin, Sabina Rossi, Carey Williamson
2020	J	`jnl`	Frequency scaling in multilevel queues. SIGMETRICS Perform. Evaluation Rev. B. Maryam Elahi, Andrea Marin, Sabina Rossi, Carey Williamson
2020	J	`jnl`	Guest editor's forewords: Special issue on Valuetools 2017. Perform. Evaluation Andrea Marin, Giuliano Casale, Dorina C. Petriu, Sabina Rossi
2020	J	`jnl`	Size-based scheduling for TCP flows: Implementation and performance evaluation. Comput. Networks Andrea Marin, Sabina Rossi, Carlo Zen
2020	—	`conf`	Speed scaling in fork-join queues: a comparative study. VALUETOOLS Andrea Marin, Sabina Rossi, Carey Williamson
2019	—	`conf`	A Process Algebra for (Delimited) Persistent Stochastic Non-Interference. CILC Andrea Marin, Carla Piazza, Sabina Rossi
2019	—	`conf`	A Process Algebra for (Delimited) Persistent Stochastic Non-Interference. QEST Andrea Marin, Carla Piazza, Sabina Rossi
2019	—	`conf`	A Queueing Model that Works Only on the Biggest Jobs. EPEW Andrea Marin, Sabina Rossi
2019	—	`conf`	Delimited Persistent Stochastic Non-Interference. VALUETOOLS Jane Hillston, Andrea Marin, Carla Piazza, Sabina Rossi
2019	—	`conf`	Proportional Lumpability. FORMATS Andrea Marin, Carla Piazza, Sabina Rossi
2019	J	`jnl`	Smart-RED: A Novel Congestion Control Mechanism for High Throughput and Low Queuing Delay. Wirel. Commun. Mob. Comput. Armir Bujari, Andrea Marin, Claudio E. Palazzi, Sabina Rossi
2019	B	`conf`	Theoretical and Experimental Evaluation of the Two-Level Processor Sharing Discipline for TCP Flows. MASCOTS Andrea Marin, Sabina Rossi, Matteo Sottana, Carlo Zen
2018	J	`jnl`	A Product-Form Model for the Performance Evaluation of a Bandwidth Allocation Strategy in WSNs. ACM Trans. Model. Comput. Simul. Andrea Marin, Sabina Rossi, Dario Burato, Andrea Sina, Matteo Sottana
2018	—	`conf`	Biased Processor Sharing in Fork-Join Queues. QEST Andrea Marin, Sabina Rossi, Matteo Sottana
2018	—	`conf`	Information Flow Security for Stochastic Processes. EPEW Jane Hillston, Andrea Marin, Carla Piazza, Sabina Rossi
2018	J	`jnl`	Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses. Inf. Comput. Giacomo Alzetta, Andrea Marin, Carla Piazza, Sabina Rossi
2018	—	`conf`	Persistent Stochastic Non-Interference. EXPRESS/SOS Jane Hillston, Carla Piazza, Sabina Rossi
2017	—	`conf`	Aggregation and Truncation of Reversible Markov Chains Modulo State Renaming. ASMTA Andrea Marin, Sabina Rossi
2017	J	`jnl`	Fair workload distribution for multi-server systems with pulling strategies. Perform. Evaluation Andrea Marin, Sabina Rossi
2017	J	`jnl`	On the relations between Markov chain lumpability and reversibility. Acta Informatica Andrea Marin, Sabina Rossi
2017	J	`jnl`	Power control in saturated fork-join queueing systems. Perform. Evaluation Andrea Marin, Sabina Rossi
2017	—	`ed.`	Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2017, Venice, Italy, December 05-07, 2017 VALUETOOLS Andrea Marin, Benny Van Houdt, Giuliano Casale, Dorina C. Petriu, Sabina Rossi
2016	J	`jnl`	Analysis of ECN/RED and SAP-LAW with simultaneous TCP and UDP traffic. Comput. Networks Armir Bujari, Andrea Marin, Claudio E. Palazzi, Sabina Rossi
2016	—	`conf`	Applying Reversibility Theory for the Performance Evaluation of Reversible Computations. ASMTA Simonetta Balsamo, Filippo Cavallin, Andrea Marin, Sabina Rossi
2016	J	`jnl`	Connectivity and energy-aware preorders for mobile ad-hoc networks. Telecommun. Syst. Lucia Gallina, Andrea Marin, Sabina Rossi
2016	—	`conf`	Dynamic Control of the Join-Queue Lengths in Saturated Fork-Join Stations. QEST Andrea Marin, Sabina Rossi
2016	—	`conf`	Fair workload distribution for multi-server systems with pulling strategies. VALUETOOLS Sabina Rossi, Andrea Marin
2016	—	`conf`	Performance evaluation of AQM techniques with heterogeneous traffic. CCNC Andrea Marin, Sabina Rossi, Armir Bujari, Claudio E. Palazzi
2016	J	`jnl`	Priority-based bandwidth allocation in wireless sensor networks. EAI Endorsed Trans. Wirel. Spectr. Andrea Marin, Sabina Rossi
2016	B	`conf`	Product-Forms for Probabilistic Input/Output Automata. MASCOTS Filippo Cavallin, Andrea Marin, Sabina Rossi
2015	B	`conf`	A Product-Form Model for the Analysis of Systems with Aging Objects. MASCOTS Filippo Cavallin, Andrea Marin, Sabina Rossi
2015	—	`conf`	Lumping-Based Equivalences in Markovian Automata and Applications to Product-Form Analyses. QEST Andrea Marin, Sabina Rossi
2015	J	`jnl`	On Discrete Time Reversibility modulo State Renaming and its Applications. EAI Endorsed Trans. Self Adapt. Syst. Sabina Rossi, Andrea Marin
2015	—	`conf`	Quantitative Analysis of Concurrent Reversible Computations. FORMATS Andrea Marin, Sabina Rossi
2014	J	`jnl`	Behavioural equivalences and interference metrics for mobile ad-hoc networks. Perform. Evaluation Michele Bugliesi, Lucia Gallina, Sardaouna Hamadou, Andrea Marin, Sabina Rossi
2014	J	`jnl`	Model checking adaptive service compositions. Sci. Comput. Program. Michele Bugliesi, Andrea Marin, Sabina Rossi
2014	—	`conf`	On Discrete Time Reversibility modulo State Renaming and its Applications. VALUETOOLS Sabina Rossi, Andrea Marin
2014	B	`conf`	On the Relations between Lumpability and Reversibility. MASCOTS Andrea Marin, Sabina Rossi
2013	A	`conf`	A process algebraic framework for estimating the energy consumption in ad-hoc wireless sensor networks. MSWiM Lucia Gallina, Andrea Marin, Sabina Rossi, Tingting Han, Marta Z. Kwiatkowska
2013	J	`jnl`	A process calculus for energy-aware multicast communications of mobile ad hoc networks. Wirel. Commun. Mob. Comput. Lucia Gallina, Sabina Rossi
2013	B	`conf`	Autoreversibility: Exploiting Symmetries in Markov Chains. MASCOTS Andrea Marin, Sabina Rossi
2013	—	`conf`	Contextual lumpability. VALUETOOLS Jane Hillston, Andrea Marin, Sabina Rossi, Carla Piazza
2013	—	`conf`	Performance Analysis and Formal Verification of Cognitive Wireless Networks. EPEW Gian-Luca Dei Rossi, Lucia Gallina, Sabina Rossi
2012	—	`conf`	Automatic energy-aware performance analysis of Mobile Ad-Hoc Networks. Wireless Days Lucia Gallina, Tingting Han, Marta Z. Kwiatkowska, Andrea Marin, Sabina Rossi, Alvise Spanò
2012	A	`conf`	Evaluating resistance to jamming and casual interception in mobile wireless networks. MSWiM Lucia Gallina, Gian-Luca Dei Rossi, Andrea Marin, Sabina Rossi
2012	—	`conf`	Interference-Sensitive Preorders for MANETs. QEST Michele Bugliesi, Lucia Gallina, Andrea Marin, Sabina Rossi, Sardaouna Hamadou
2011	—	`conf`	A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks. ASMTA Lucia Gallina, Sardaouna Hamadou, Andrea Marin, Sabina Rossi
2011	—	`conf`	A framework for throughput and energy efficiency in mobile ad hoc networks. Wireless Days Lucia Gallina, Sardaouna Hamadou, Andrea Marin, Sabina Rossi
2010	—	`conf`	A Calculus for Power-Aware Multicast Communications in Ad Hoc Networks. IFIP TCS Lucia Gallina, Sabina Rossi
2010	—	`conf`	Model Checking Adaptive Multilevel Service Compositions. FACS Sabina Rossi
2010	—	`conf`	Sender- and receiver-centered interference in wireless ad hoc networks. Wireless Days Lucia Gallina, Sabina Rossi
2009	—	`conf`	Compliance Preorders for Web Services. WS-FM Michele Bugliesi, Damiano Macedonio, Luca Pino, Sabina Rossi
2009	—	`conf`	Information flow security for service compositions. ICUMT Sabina Rossi, Damiano Macedonio
2008	Misc	`conf`	A Theory of Adaptable Contract-Based Service Composition. SYNASC Giovanni Bernardi, Michele Bugliesi, Damiano Macedonio, Sabina Rossi
2008	—	`conf`	PicNIc - Pi-calculus non-interference checker. ACSD Silvia Crafa, Matteo Mio, Marino Miculan, Carla Piazza, Sabina Rossi
2007	C	`conf`	Action Refinement in Process Algebra and Security Issues. LOPSTR Annalisa Bossi, Carla Piazza, Sabina Rossi
2007	J	`jnl`	Compositional information flow security for concurrent programs. J. Comput. Secur. Annalisa Bossi, Carla Piazza, Sabina Rossi
2007	J	`jnl`	Controlling information release in the pi-calculus. Inf. Comput. Silvia Crafa, Sabina Rossi
2007	—	`conf`	Static vs Dynamic Typing for Access Control in Pi-Calculus. ASIAN Michele Bugliesi, Damiano Macedonio, Sabina Rossi
2006	J	`jnl`	Information flow security in dynamic contexts. J. Comput. Secur. Riccardo Focardi, Sabina Rossi
2006	—	`conf`	P-congruences as non-interference for the pi-calculus. FMSE Silvia Crafa, Sabina Rossi
2005	—	`conf`	A Theory of Noninterference for the pi-Calculus. TGC Silvia Crafa, Sabina Rossi
2005	B	`conf`	Bridging Language-Based and Process Calculi Security. FoSSaCS Riccardo Focardi, Sabina Rossi, Andrei Sabelfeld
2005	J	`jnl`	Information flow in secure contexts. J. Comput. Secur. Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi
2005	J	`jnl`	Non-interference proof techniques for the analysis of cryptographic protocols. J. Comput. Secur. Michele Bugliesi, Sabina Rossi
2004	A	`conf`	CoPS - Checker of Persistent Security. TACAS Carla Piazza, Enrico Pivato, Sabina Rossi
2004	—	`ch.`	Declarative Semantics of Input Consuming Logic Programs. Program Development in Computational Logic Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi
2004	—	`conf`	Modelling Downgrading in Information Flow Security. CSFW Annalisa Bossi, Carla Piazza, Sabina Rossi
2004	J	`jnl`	Termination of simply moded logic programs with dynamic scheduling. ACM Trans. Comput. Log. Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus
2004	C	`conf`	Unwinding Conditions for Security in Imperative Languages. LOPSTR Annalisa Bossi, Carla Piazza, Sabina Rossi
2004	J	`jnl`	Verifying persistent security properties. Comput. Lang. Syst. Struct. Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
2003	B	`conf`	Bisimulation and Unwinding for Verifying Possibilistic Security Properties. VMCAI Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
2003	B	`conf`	Context-Sensitive Equivalences for Non-interference Based Protocol Analysis. FCT Michele Bugliesi, Ambra Ceccato, Sabina Rossi
2003	—	`conf`	Information Flow Security and Recursive Systems. ICTCS Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi
2003	B	`conf`	Refinement Operators and Information Flow Security. SEFM Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
2003	—	`conf`	Secure Contexts for Confidential Data. CSFW Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi
2003	—	`conf`	Unwinding in Information Flow Security. MEFISTO Annalisa Bossi, Riccardo Focardi, Damiano Macedonio, Carla Piazza, Sabina Rossi
2002	C	`conf`	A Proof System for Information Flow Security. LOPSTR Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
2002	—	`conf`	Information Flow Security in Dynamic Contexts. CSFW Riccardo Focardi, Sabina Rossi
2002	J	`jnl`	On modular termination proofs of general logic programs. Theory Pract. Log. Program. Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi
2002	B	`conf`	Proofs Methods for Bisimulation Based Information Flow Security. VMCAI Riccardo Focardi, Carla Piazza, Sabina Rossi
2002	J	`jnl`	Properties of input-consuming derivations. Theory Pract. Log. Program. Annalisa Bossi, Sandro Etalle, Sabina Rossi
2002	J	`jnl`	Sequence-based abstract interpretation of Prolog. Theory Pract. Log. Program. Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck
2002	—	`conf`	Transforming Processes to Check and Ensure Information Flow Security. AMAST Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
2001	—	`conf`	Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations. APPIA-GULP-PRODE Agostino Cortesi, Sabina Rossi, Baudouin Le Charlier
2001	J	`jnl`	Properties of Input-Consuming Derivations CoRR Annalisa Bossi, Sandro Etalle, Sabina Rossi
2001	—	`conf`	Reexecution-Based Analysis of Logic Programs with Delay Declarations. Ershov Memorial Conference Agostino Cortesi, Baudouin Le Charlier, Sabina Rossi
2001	J	`jnl`	Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling CoRR Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus
2001	A	`conf`	Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling. ESOP Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus
2001	C	`conf`	Termination of Well-Typed Logic Programs. PPDP Annalisa Bossi, Nicoletta Cocco, Sabina Rossi
2000	J	`jnl`	On Modular Termination Proofs of General Logic Programs CoRR Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi
2000	—	`conf`	Semantics of Input-Consuming Logic Programs. Computational Logic Annalisa Bossi, Sandro Etalle, Sabina Rossi
2000	J	`jnl`	Semantics of well-moded input-consuming logic programs. Comput. Lang. Annalisa Bossi, Sandro Etalle, Sabina Rossi
2000	J	`jnl`	Sequence-Based Abstract Interpretation of Prolog CoRR Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck
1999	J	`jnl`	Automated Verification of Prolog Programs. J. Log. Program. Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi
1999	—	`conf`	Properties of Input-Consuming Derivations. Verification of Logic Programs@ICLP Annalisa Bossi, Sandro Etalle, Sabina Rossi
1998	C	`conf`	Specialising Logic Programs with Respect to Call?Post Specifications. LOPSTR Annalisa Bossi, Sabina Rossi
1997	—	`conf`	Automated Behavioural Verification of Prolog Programs. APPIA-GULP-PRODE Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi
1997	—	`conf`	Automated Verification of Behavioural Properties of Prolog Programs. ASIAN Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi
1996	C	`conf`	Specification-Based Automatic Verification of Prolog Programs. LOPSTR Agostino Cortesi, Baudouin Le Charlier, Sabina Rossi
1995	—	`conf`	Entending the FOLON Environment for Automatically Deriving Totally Correct Prolog Procedures from Logic Descriptions. LPE Baudouin Le Charlier, Sabina Rossi
1994	—	`conf`	An Abstract Interpretation Framework for (almost) Full Prolog. GULP-PRODE (1) Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck
1994	—	`conf`	An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut. ILPS Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck
1993	—	`conf`	Static Analysis of Prolog with Cut. GULP Gilberto Filé, Sabina Rossi
1993	B	`conf`	Static Analysis of Prolog with Cut. LPAR Gilberto Filé, Sabina Rossi