ROSSI Sabina

Pubblicazioni per tipologia

Articolo su rivista
Articolo su libro
  • BOSSI A.; N. COCCO; S. ETALLE; S. ROSSI (2004), Declarative Semantics of Input Consuming Logic Programs , Program Development in Computational Logic, Berlin, Springer Verlag Germany, vol. 3049, pp. 90-114 (ISBN 3540221522) (ISSN 0302-9743)
    Link DOI Link al documento: 10278/31212 abstract
Articolo in Atti di convegno
  • Andrea, Marin; Sabina, Rossi (2017), Aggregation and Truncation of Reversible Markov Chains Modulo State Renaming , Analytical and Stochastic Modelling Techniques and Applications - 24th International Conference, ASMTA 2017, Newcastle-upon-Tyne, UK, July 10-11, 2017, Proceedings., Thomas, Nigel; Forshaw, Matthew, vol. 10378, pp. 152-165, Convegno: Analytical and Stochastic Modelling Techniques and Applications (ISBN 978-3-319-61427-4) (ISSN 0302-9743)
    Link DOI Link al documento: 10278/3692879
  • Balsamo, Maria Simonetta; Cavallin, Filippo; Marin, Andrea; Rossi, Sabina; (2016), Applying reversibility theory for the performance evaluation of reversible computations , Proc. of 23rd International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2016, Springer, vol. 9845, pp. 45-59, Convegno: 23rd International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2016, 24-26/08/2016 (ISBN 978-331943903-7) (ISSN 0302-9743)
    Link DOI Link al documento: 10278/3682193 abstract
  • Marin, Andrea; Rossi, Sabina (2016), Dynamic control of the join-queue lengths in saturated fork-join queues. , 13th International Conference on Quantitative Evaluation of SysTems (QEST 2016), Spinger, Convegno: 13th International Conference on Quantitative Evaluation of SysTems (QEST 2016), August 23-25 2016 (ISBN 978-331943424-7) (ISSN 0302-9743)
    Link DOI Link al documento: 10278/3673299 abstract
  • Marin, Andrea; Rossi, Sabina; Bujari, Armir; Palazzi, Claudio (2016), Performance evaluation of AQM techniques with heterogeneous traffic , 13th IEEE Annual Consumer Communications & Networking Conference, IEEE, pp. 194-199, Convegno: 13th IEEE Annual Consumer Communications & Networking Conference, 9-12 Jan. 2016 (ISBN 978-1-4673-9292-1)
    Link DOIURL correlato Link al documento: 10278/3673298 abstract
  • Cavallin, Filippo; Marin, Andrea; Rossi, Sabina; (2016), Product-forms for Probabilistic Input/Output Automata , Proc. of 2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2016), IEEE, pp. 361-366, Convegno: 2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2016), September, 2016 (ISBN 978-1-5090-3432-1)
    Link DOI Link al documento: 10278/3682175 abstract
  • Cavallin, Filippo; Marin, Andrea; Rossi, Sabina (2015), A Product-Form Model for the Analysis of Systems with Aging Objects , Proceedings of Int. Conf. MASCOTS 2015, IEEE, pp. 136-145, Convegno: MASCOTS 2015 (ISBN 978-1-4673-7720-1)
    Link DOI Link al documento: 10278/3663441 abstract
  • Marin, Andrea; Rossi, Sabina (2015), Lumping-Based Equivalences in Markovian Automata and Applications to Product-Form Analyses in Andrea Marin, Sabina Rossi, Proceedings of QEST 2015, th International Conference on Quantitative Evaluation of Systems, Springer, vol. 9259, pp. 160-175, Convegno: 12th International Conference, QEST 2015, September 1-3, 2015 (ISBN 978-3-319-22263-9) (ISSN 0302-9743)
    Link DOIURL correlato Link al documento: 10278/3663451 abstract
  • Andrea Marin; Sabina Rossi (2015), On the relations between Lumpability and Reversibility in Mike Attalah et al., Proceedings of MASCOTS 2014, IEEE COMPUTER SOC, pp. 427-432, Convegno: MASCOTS 2014
    Link DOI Link al documento: 10278/43986 abstract
  • Marin, Andrea; Rossi, Sabina (2015), Priority-based bandwidth allocation in wireless sensor networks , 9th EAI International Conference on Performance Evaluation Methodologies and Tools, ValueTools 2015, EAI, Convegno: ValueTools 2015
    Link DOI Link al documento: 10278/3680768 abstract
  • Marin, Andrea; Rossi, Sabina (2015), Quantitative Analysis of Concurrent Reversible Computations , Proceedings of FORMATS 2015, Springer, vol. 9268, pp. 206-221, Convegno: FORMATS 2015 (ISBN 978-3-319-22974-4) (ISSN 0302-9743)
    Link DOI Link al documento: 10278/3663443 abstract
  • Andrea Marin; Sabina Rossi (2014), On Discrete Time Reversibility modulo State Renaming and its Applications in William Knottenbelt et al., Proceedings of Valuetools 2014, ACM Association for Computing Machinery, pp. 1-8, Convegno: Valuetools 2014
    Link DOI Link al documento: 10278/43987 abstract
  • L. Gallina; T. Han; M. Kwiatkowska; A. Marin; S. Rossi (2013), A Process Algebraic Framework for Estimating the Energy Consumption in Ad-hoc Wireless Sensor Networks in Björn Landfeldt, Mónica Aguilar-Igartua, Ravi Prakash, Cheng Li, 6th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems, MSWiM '13, ACM / Association for Computing Machinery:1515 Broadway, 17th Floor:New York, NY 10036:(212)869-7440, EMAIL: acmhelp@hq.acm.org, INTERNET: link esterno , Fax: (212)944-1318, pp. 255-262, Convegno: MsWim 2013, November 3-8, 2013 (ISBN 9781450323536)
    Link DOIURL correlato Link al documento: 10278/39159 abstract
  • A. Marin; S. Rossi (2013), Autoreversibility: exploiting symmetries in Markov chains , Proceedings of Int. Conf. MASCOTS 2013, Los Alamos, IEEE COMPUTER SOCIETY, pp. 151-160, Convegno: MASCOTS 2013, August 2013 (ISBN 9780769551029)
    Link DOI Link al documento: 10278/39158 abstract
  • J. Hillston; A. Marin; C. Piazza; S. Rossi (2013), Contextual Lumpability , Proceedings of Valuetools 2013, Los Alamos, ACM, Convegno: Valuetools 2013, December, 2013 (ISBN 9781450325394)
    Link DOI Link al documento: 10278/39247 abstract
  • Gian-Luca Dei Rossi; Lucia Gallina; Sabina Rossi (2013), Performance Analysis and Formal Verification of Cognitive Wireless Networks , Computer Performance Engineering, Berlin, Springer Berlin Heidelberg, vol. 8168, pp. 236-250, Convegno: 10th European Workshop, EPEW 2013, September 16-17, 2013 (ISBN 9783642407246) (ISSN 0302-9743)
    Link DOIURL correlato Link al documento: 10278/39262 abstract
  • L. Gallina; T. Han; M. Kwiatkowska; A. Marin; S. Rossi; S. Spanò (2012), Automatic Energy-aware Performance Analysis of Mobile Ad-hoc Networks , Proc. of IFIP Wireless Days 2012, IEEE, pp. 1-6, Convegno: IFIP Wireless Days 2012, 21-23 Nov. 2012 (ISBN 9781467344029)
    Link DOIURL correlato Link al documento: 10278/39312 abstract
  • L. Gallina; G. Dei Rossi; A. Marin; S. Rossi (2012), Evaluating Resistance to Jamming and Casual Interception in Mobile Wireless Networks , Proc. of the 15th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWIM'12), New York, NY, ACM, pp. 151-158, Convegno: ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWIM'12), 21-26 Oct 2012 (ISBN 9781450316286)
    Link DOIURL correlato Link al documento: 10278/35213 abstract
  • M. Bugliesi; L. Gallina; S. Hamadou; A. Marin; S. Rossi (2012), Interference-sensitive Preorders for MANETs , Proc. of the 9th International Conference on Quantitative Evaluation of SysTems (QEST), Washington, DC, IEEE, pp. 189-198, Convegno: QEST'12, 17-20 Sep 2012 (ISBN 9780769547817)
    Link DOIURL correlato Link al documento: 10278/39280 abstract
  • L. Gallina; S. Hamadou; A. Marin; S. Rossi (2011), A Framework for Throughput and Energy Efficiency in Mobile ad Hoc Networks , Proceedings of the IFIP Wireless Days Conference 2011, IEEE Computer Society, pp. 1-6, Convegno: IFIP Wireless Days 2011, October 10-12, 2011 (ISBN 9781457720277)
    Link DOIURL correlato Link al documento: 10278/27867 abstract
  • L. Gallina; S. Hamadou; A. Marin; S. Rossi (2011), A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks , Analytical and Stochastic Modeling Techniques and Applications, Berlin, Berlin Heidelberg: Springer, vol. 6751, pp. 316-330, Convegno: 18th International Conference, ASMTA 2011, June 20-22, 2011 (ISBN 9783642217128) (ISSN 0302-9743)
    Link DOIURL correlato Link al documento: 10278/39362 abstract
  • S. ROSSI (2011), Model Checking Adaptive Multilevel Service Compositions , Formal Aspects of Component Software, Berlin, Berlin Heidelberg: Springer, vol. 6921, pp. 105-122, Convegno: 7th International Workshop, FACS 2010, October 14-16, 2010 (ISBN 9783642272684) (ISSN 0302-9743)
    Link DOIURL correlato Link al documento: 10278/39156 abstract
  • GALLINA L.; ROSSI S. (2010), A Calculus for Power-aware Multicast Communications in Ad Hoc Networks , Theoretical Computer Science, Berlin, Berlin Heidelberg: Springer, vol. 323, pp. 20-31, Convegno: 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, September 20-23, 2010 (ISBN 9783642152399)
    Link DOIURL correlato Link al documento: 10278/24302 abstract
  • GALLINA L.; ROSSI S. (2010), Sender- and Receiver-centered Interference in Wireless Ad Hoc Networks , Proceedings of the 3rd IFIP Wireless Days Conference 2010, IEEE Computer Society, Convegno: IFIP Wireless Days 2010, October 20-22, 2010 (ISBN 9781424492305)
    Link DOIURL correlato Link al documento: 10278/24269 abstract
  • M. BUGLIESI; D. MACEDONIO; L. PINO; ROSSI S. (2009), Compliance Preorders for Web Services. , Web Services and Formal Methods, 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers, Berlin, Springer Berlin Heidelberg, vol. 6194, pp. 76-91, Convegno: WS-FM 2009, 4-5 September 2009 (ISBN 9783642144578) (ISSN 1611-3349)
    Link DOIURL correlato Link al documento: 10278/39898 abstract
  • ROSSI S.; MACEDONIO D. (2009), Information Flow Security for Service Compositions. , Proceedings of the International Conference on Ultra Modern Telecommunications, ICUMT 2009, IEEE Computer Society, pp. 1-8, Convegno: Proceedings of the International Conference on Ultra Modern Telecommunications, ICUMT 2009, 12-14 October 2009 (ISBN 9781424439416)
    Link DOIURL correlato Link al documento: 10278/39899 abstract
  • G. BERNARDI; M. BUGLIESI; D. MACEDONIO; ROSSI S. (2008), A Theory of Adaptable Contract-based Service Composition. , SYNASC 2008 10th Int. Symp. Symbolic and Numeric Computation., IEEE Computer Society, pp. 327-334, Convegno: SYNASC 2008 10th Int. Symp. Symbolic and Numeric Computation., 26 - 29 Sept (ISBN 9780769535234)
    Link DOIURL correlato Link al documento: 10278/39503 abstract
  • BOSSI A.; PIAZZA C; ROSSI S (2008), Action Refinement in Process Algebra and Security Issues , Logic-Based Program Synthesis and Transformation, Berlin Heidelberg: Springer, vol. 4915, pp. 201-217, Convegno: 17th International Symposium, LOPSTR 2007 (ISBN 9783540787686) (ISSN 0302-9743)
    Link al documento: 10278/19019
  • S. CRAFA; M. MIO; M. MICULAN; C. PIAZZA; ROSSI S. (2008), PicNic - Pi-calculus Non-Interference checker , Proc of the 8th International Conference on Application on Concurrency to System Design, ACSD 2008, IEEE Computer Society, pp. 33-38, Convegno: ACSD'08, June 23–27, 2008 (ISBN 9781424418381)
    Link al documento: 10278/19014
  • M. BUGLIESI; D. MACEDONIO; ROSSI S. (2007), Static vs Dynamic Typing for Access Control in Pi-Calculus , Advances in Computer Science - ASIAN 2007. Computer and Network Security, 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007, Proceedings., vol. 4846, pp. 282-296, Convegno: ASIAN 2007 (ISBN 9783540769279) (ISSN 0302-9743)
    Link al documento: 10278/19385
  • CRAFA S; ROSSI S. (2006), P-Congruences as Non-Interference for the pi-calculus , Proceedings of the 2006 ACM workshop on Formal methods in security engineering, ACM, pp. 13-22, Convegno: FMSE'06, NOV. 3, 2006 (ISBN 1595935509)
    Link al documento: 10278/16045
  • CRAFA S; ROSSI S. (2005), A Theory of Noninterference for the pi-calculus , Trustworthy Global Computing, Berlin Heidelberg: Springer, vol. 3705, pp. 2-18, Convegno: International Symposium, TGC 2005 (ISBN 3540300074) (ISSN 0302-9743)
    Link al documento: 10278/13595
  • FOCARDI R.; ROSSI S; SABELFELD A (2005), Bridging Language-Based and Process Calculi Security , Foundations of Software Science and Computational Structures, vol. 3441, pp. 299-315, Convegno: 8th International Conference, FOSSACS 2005 (ISBN 3540253882) (ISSN 0302-9743)
    Link al documento: 10278/34383 abstract
  • BOSSI A.; C. PIAZZA; S. ROSSI (2005), Unwinding Conditions for Security in Imperative Languages , Logic Based Program Synthesis and Transformation, Berlin Heidelberg: Springer, vol. 3573, pp. 85-100, Convegno: 14th International Symposium, LOPSTR 2004 (ISBN 3540266550) (ISSN 0302-9743)
    Link al documento: 10278/12641
  • PIAZZA C; PIVATO E; ROSSI S. (2004), CoPS - Checker of Persistent Security , Tools and Algorithms for the Construction and Analysis of Systems, Berlin Heidelberg: Springer, vol. 2988, pp. 144-152, Convegno: 10th International Conference, TACAS 2004 (ISBN 354021299X) (ISSN 0302-9743)
    Link al documento: 10278/13596
  • BOSSI A; PIAZZA C; ROSSI S. (2004), Modelling Downgrading in Information Flow Security , 17th IEEE Computer Security Foundations Workshop, IEEE Computer Society, pp. 187-201, Convegno: CSFW'04, 28-30 June 2004 (ISBN 076952169X)
    Link al documento: 10278/16046
  • BOSSI A.; FOCARDI R; PIAZZA C; ROSSI S (2003), A Proof System for Information Flow Security , Logic Based Program Synthesis and Transformation, vol. 2664, pp. 199-218, Convegno: LOPSTR '02 (ISBN 3540404384)
    Link DOI Link al documento: 10278/32533 abstract
  • BOSSI A.; FOCARDI R; PIAZZA C; ROSSI S (2003), Bisimulation and Unwinding for Verifying Possibilistic Security Properties , Verification, Model Checking, and Abstract Interpretation, vol. 2575 of LNCS, pp. 223-237, Convegno: VMCAI'03 (ISBN 3540003487) (ISSN 0302-9743)
    Link al documento: 10278/12642 abstract
  • BUGLIESI M; CECCATO A; ROSSI S. (2003), Context-Sensitive Equivalences for Non-Interference based Protocol Analysis , Fundamentals of Computation Theory, 14th International Symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003, Proceedings., vol. 2751, pp. 364-375 (ISBN 3540405437) (ISSN 0302-9743)
    Link al documento: 10278/23191
  • BOSSI A.; MACEDONIO D; PIAZZA C; ROSSI S (2003), Information Flow Security and Recursive Systems , Theoretical Computer Science, Berlin Heidelberg: Springer, vol. 2841, pp. 369-382, Convegno: 8th Italian Conference, ICTCS 2003 (ISBN 3540202161) (ISSN 0302-9743)
    Link al documento: 10278/12643
  • BOSSI A; FOCARDI R; PIAZZA C; ROSSI S. (2003), Refinement Operators and Information Flow Security , 1st International Conference on Software Engineering and Formal Methods, IEEE Computer Society, pp. 44-53, Convegno: SEFM'03, 22-27 September (ISBN 9780769519494)
    Link al documento: 10278/16047
  • BOSSI A; MACEDONIO D; PIAZZA C; ROSSI S. (2003), Secure Contexts for Confidential Data , 16th IEEE Computer Security Foundations Workshop, IEEE Computer Society, pp. 14-28, Convegno: CSFW'03, 30 June-2 July 2003 (ISBN 076951927X)
    Link al documento: 10278/16048
  • FOCARDI R.; SABINA ROSSI (2002), A Security Property for Processes in Dynamic Contexts , ACM SIGPLAN and IFIP WG 1.7 Workshop on Issues in the Theory of Security WITS02, Convegno: ACM SIGPLAN and IFIP WG 1.7 Workshop on Issues in the Theory of Security WITS02
    Link al documento: 10278/6021
  • FOCARDI R; ROSSI S. (2002), Information Flow Security in Dynamic Contexts , Computer Security Foundations Workshop, IEEE Computer Society, pp. 307-319, Convegno: CSFW'02, 24-26 June 2002 (ISBN 9780769516899)
    Link al documento: 10278/16049
  • FOCARDI R.; C. PIAZZA; S. ROSSI (2002), Proofs Methods for Bisimulation based Information Flow Security , Third International Workshop on Verification, Model Checking and Abstract Interpretation, vol. 2294, pp. 16-31, Convegno: VMCAI 2002 (ISBN 9783540436317) (ISSN 0302-9743)
    Link al documento: 10278/11586
  • BOSSI A.; FOCARDI R; PIAZZA C; ROSSI S (2002), Transforming processes to check and ensure Information Flow Security , Algebraic Methodology and Software Technology, vol. 2422 of LNCS, pp. 271-286, Convegno: AMAST 2002 (ISBN 3540441441) (ISSN 0302-9743)
    Link al documento: 10278/32668 abstract
  • CORTESI A.; LE CHARLIER B.; ROSSI S. (2001), Reexecution-Based Analysis of Logic Programs with Delay Declarations. in Dines Bjørner, Manfred Broy, Alexandre V. Zamulin, Perspectives of System Informatics, Heidelberg, Springer Verlag, vol. 2244, pp. 395-405, Convegno: Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, July 2-6, 2001 (ISBN 354043075X) (ISSN 0302-9743)
    Link DOI Link al documento: 10278/11478 abstract
  • BOSSI A.; ETALLE S; ROSSI S; SMAUS J.G (2001), Semantics and Termination of Simply-moded Logic Programs with Dynamic Scheduling , Programming Languages and Systems, Berlin Heidelberg: Springer, vol. 2028, pp. 402-416, Convegno: 10th European Symposium on Programming, ESOP 2001 (ISBN 3540418628) (ISSN 0302-9743)
    Link al documento: 10278/12645
  • BOSSI A; COCCO N; ROSSI S. (2001), Termination of Well-Typed Logic Programs , Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, NY-USA, ACM, pp. 73-81, Convegno: 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming (ISBN 158113388X)
    Link DOI Link al documento: 10278/16050 abstract
  • BOSSI A; ETALLE S; ROSSI S. (2000), Semantics of input-consuming programs , Computational Logic, Berlin Heidelberg: Springer, vol. 1861, pp. 194-208, Convegno: First International Conference, CL 2000 (ISBN 3540677976) (ISSN 0302-9743)
    Link al documento: 10278/13593
  • BOSSI A; ROSSI S. (1998), Call-Correct Specialisation of Logic Programs , Sixth Italian Conference on Theoretical Computer Science, World Scientific, pp. 335-346, Convegno: ICTCS'98, 9-11 NOVEMBER (ISBN 9789810236557)
    Link al documento: 10278/8204
  • BOSSI A; ROSSI S. (1998), Specialising Logic Programs with respect to Call/Post Specifications , Logic Programming Synthesis and Transformation, Berlin Heidelberg: Springer, vol. 1559, pp. 143-158, Convegno: 8th International Workshop, LOPSTR'98 (ISBN 3540657657) (ISSN 0302-9743)
    Link al documento: 10278/13597
  • LE CHARLIER B; LECLERE C; ROSSI S.; CORTESI A (1997), Automated Behavioural Verification of Prolog Programs , Joint Conference on Declarative Programming (APPIA-GULP-PRODE'97), pp. 189-200, Convegno: Joint Conference on Declarative Programming (APPIA-GULP-PRODE'97), 16-19 June
    Link al documento: 10278/8252
  • LE CHARLIER B; LECLERE C; ROSSI S.; CORTESI A (1997), Automated Verification of Behavioural Properties of Prolog Programs , Advances in Computing Science, Berlin Heidelberg: Springer, vol. 1345, pp. 225-238, Convegno: Third Asian Computing Science Conference, ASIAN'97, 9-11 December 1997 (ISBN 354063875X) (ISSN 0302-9743)
    Link DOI Link al documento: 10278/13598 abstract
  • LE CHARLIER B; ROSSI S.; CORTESI A (1996), Specification-based Automatic Verification of Prolog Programs , Logic Programming Synthesis and Transformation, Berlin Heidelberg: Springer, vol. 1207, pp. 38-57, Convegno: 6th International Workshop, LOPSTR'96 (ISBN 3540627189) (ISSN 0302-9743)
    Link al documento: 10278/13791
  • LE CHARLIER B; ROSSI S.; VAN HENTENRYCK P (1994), An Abstract Interpretation Framework for (almost) Full Prolog , Joint Conference on Declarative Programming (GULP-PRODE'94), pp. 92-106, Convegno: Joint Conference on Declarative Programming (GULP-PRODE'94), 19-22 September
    Link al documento: 10278/8207
  • LE CHARLIER B; ROSSI S.; VAN HENTENRYCK P (1994), An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut , Logic Programming, MIT Press, pp. 157-171, Convegno: International Logic Programming Symposium (ILPS'94), 13-17 November (ISBN 0262521911)
    Link al documento: 10278/8205
  • FILE' G; ROSSI S. (1993), Static Analysis of Prolog with Cut , 8th Italian Conference on Logic Programming (GULP'93), pp. 325-340, Convegno: 8th Italian Conference on Logic Programming (GULP'93), 15-18 June
    Link al documento: 10278/8206
  • FILE' G; ROSSI S. (1993), Static Analysis of Prolog with Cut , Logic Programming and Automated Reasoning, Berlin Heidelberg: Springer, vol. 698, pp. 134-145, Convegno: 4th International Conference, LPAR'93 (ISBN 3540569448) (ISSN 0302-9743)
    Link al documento: 10278/13839
Rapporto di ricerca
  • BOSSI A.; PIAZZA C; ROSSI S (2005), Compositional Information Flow Security for Concurrent Programs , Dipartimento di Informatica, Universita' Ca' Foscari, vol. CS-2005-5, Marzo 2005
    Link al documento: 10278/4690