Sabina Rossi
Orcid: 0000-0002-1189-4439Affiliations:
- University Ca' Foscari, Venice, Italy
According to our database1,
Sabina Rossi
authored at least 118 papers
between 1993 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on dsi.unive.it
On csauthors.net:
Bibliography
2024
ACM Trans. Model. Perform. Evaluation Comput. Syst., June, 2024
Efficient Algorithm for Proportional Lumpability and Its Application to Selfish Mining in Public Blockchains.
Algorithms, April, 2024
IEEE Trans. Netw. Sci. Eng., 2024
J. Netw. Comput. Appl., 2024
2023
SIGMETRICS Perform. Evaluation Rev., April, 2023
Future Gener. Comput. Syst., 2023
Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity.
CoRR, 2023
Proceedings of the Performance Evaluation Methodologies and Tools, 2023
Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023
Proceedings of the Foundations of Software Science and Computation Structures, 2023
Crisis of Trust: Analyzing the Verifier's Dilemma in Ethereum's Proof-of-Stake Blockchain.
Proceedings of the IEEE International Conference on Blockchain, 2023
Proceedings of the IEEE International Conference on Blockchain, 2023
2022
IEEE Access, 2022
Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022
Proceedings of the AIxIA 2022 - Advances in Artificial Intelligence, 2022
2021
Theor. Comput. Sci., 2021
Proceedings of the Quantitative Evaluation of Systems - 18th International Conference, 2021
Workload Prediction in BTC Blockchain and Application to the Confirmation Time Estimation.
Proceedings of the Performance Engineering and Stochastic Modeling, 2021
2020
ACM Trans. Model. Perform. Evaluation Comput. Syst., 2020
Perform. Evaluation, 2020
Comput. Networks, 2020
Proceedings of the VALUETOOLS 2020: 13th EAI International Conference on Performance Evaluation Methodologies and Tools, 2020
Proceedings of the Quantitative Evaluation of Systems - 17th International Conference, 2020
Proceedings of the IEEE International Conference on Blockchain, 2020
2019
Smart-RED: A Novel Congestion Control Mechanism for High Throughput and Low Queuing Delay.
Wirel. Commun. Mob. Comput., 2019
Proceedings of the 12th EAI International Conference on Performance Evaluation Methodologies and Tools, 2019
Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019
Theoretical and Experimental Evaluation of the Two-Level Processor Sharing Discipline for TCP Flows.
Proceedings of the 27th IEEE International Symposium on Modeling, 2019
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019
Proceedings of the Computer Performance Engineering - 16th European Workshop, 2019
2018
A Product-Form Model for the Performance Evaluation of a Bandwidth Allocation Strategy in WSNs.
ACM Trans. Model. Comput. Simul., 2018
Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses.
Inf. Comput., 2018
Proceedings of the Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, 2018
Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018
Proceedings of the Computer Performance Engineering - 15th European Workshop, 2018
2017
Perform. Evaluation, 2017
Acta Informatica, 2017
Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2017
2016
Telecommun. Syst., 2016
EAI Endorsed Trans. Wirel. Spectr., 2016
Comput. Networks, 2016
Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016
Proceedings of the 24th IEEE International Symposium on Modeling, 2016
Proceedings of the 13th IEEE Annual Consumer Communications & Networking Conference, 2016
Applying Reversibility Theory for the Performance Evaluation of Reversible Computations.
Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2016
2015
EAI Endorsed Trans. Self Adapt. Syst., 2015
Lumping-Based Equivalences in Markovian Automata and Applications to Product-Form Analyses.
Proceedings of the Quantitative Evaluation of Systems, 12th International Conference, 2015
Proceedings of the 23rd IEEE International Symposium on Modeling, 2015
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015
2014
Perform. Evaluation, 2014
Proceedings of the IEEE 22nd International Symposium on Modelling, 2014
2013
A process calculus for energy-aware multicast communications of mobile ad hoc networks.
Wirel. Commun. Mob. Comput., 2013
Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, 2013
A process algebraic framework for estimating the energy consumption in ad-hoc wireless sensor networks.
Proceedings of the 16th ACM International Conference on Modeling, 2013
Proceedings of the 2013 IEEE 21st International Symposium on Modelling, 2013
Proceedings of the Computer Performance Engineering - 10th European Workshop, 2013
2012
Proceedings of the IFIP Wireless Days Conference 2012, Ireland, November 21-23, 2012, 2012
Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012
Evaluating resistance to jamming and casual interception in mobile wireless networks.
Proceedings of the 15th ACM International Conference on Modeling, 2012
2011
Proceedings of the IFIP Wireless Days Conference 2011, 2011
Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2011
2010
Proceedings of the 3rd IFIP Wireless Days Conference 2010, 2010
Proceedings of the Theoretical Computer Science, 2010
Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010
2009
Proceedings of the Web Services and Formal Methods, 6th International Workshop, 2009
Proceedings of the International Conference on Ultra Modern Telecommunications, 2009
2008
Proceedings of the SYNASC 2008, 2008
Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008
2007
J. Comput. Secur., 2007
Proceedings of the Logic-Based Program Synthesis and Transformation, 2007
Proceedings of the Advances in Computer Science, 2007
2006
Proceedings of the 2006 ACM workshop on Formal methods in security engineering, 2006
2005
J. Comput. Secur., 2005
Proceedings of the Trustworthy Global Computing, International Symposium, 2005
Proceedings of the Foundations of Software Science and Computational Structures, 2005
2004
ACM Trans. Comput. Log., 2004
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004
Proceedings of the Logic Based Program Synthesis and Transformation, 2004
Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004
Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004
2003
Proceedings of the Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, 2003
Proceedings of the Verification, 2003
Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003
Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003
Proceedings of the Fundamentals of Computation Theory, 14th International Symposium, 2003
Proceedings of the 16th IEEE Computer Security Foundations Workshop (CSFW-16 2003), 30 June, 2003
2002
Theory Pract. Log. Program., 2002
Proceedings of the Verification, 2002
Proceedings of the Logic Based Program Synthesis and Tranformation, 2002
Proceedings of the Algebraic Methodology and Software Technology, 2002
2001
Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations.
Proceedings of the Declarative Programming, 2001
Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, 2001
Proceedings of the Programming Languages and Systems, 2001
Proceedings of the Perspectives of System Informatics, 2001
2000
Proceedings of the Computational Logic, 2000
1999
1998
Proceedings of the Logic Programming Synthesis and Transformation, 1998
1997
Proceedings of the Advances in Computing Science, 1997
Automated Behavioural Verification of Prolog Programs.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997
1996
Proceedings of the Logic Programming Synthesis and Transformation, 1996
1995
Entending the FOLON Environment for Automatically Deriving Totally Correct Prolog Procedures from Logic Descriptions.
Proceedings of the 7th Workshop on Logic Programming Environments, 1995
1994
An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut.
Proceedings of the Logic Programming, 1994
An Abstract Interpretation Framework for (almost) Full Prolog.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994
1993
Static Analysis of Prolog with Cut.
Proceedings of the 8th Italian Conference on Logic Programming, 1993