ROSSI Sabina

Qualifica Professoressa Associata
Telefono 041 234 8422
E-mail sabina.rossi@unive.it
Sito web www.unive.it/persone/rossisab (scheda personale)
 http://www.dsi.unive.it/~srossi
Struttura Dipartimento di Scienze Ambientali, Informatica e Statistica
Sito web struttura: https://www.unive.it/dais
Sede: Campus scientifico via Torino
Research Institute Research Institute for Complexity

Pubblicazioni per tipologia

Articolo su rivista
  • Marin, Andrea; Rossi, Sabina; Burato, Dario; Sina, Andrea; Sottana, Matteo (2018), A Product-Form Model for the Performance Evaluation of a Bandwidth Allocation Strategy in WSNs in ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION, vol. 28, pp. 1-23 (ISSN 1049-3301)
    Link DOI Link al documento: 10278/3699932
  • Giacomo Alzetta, Andrea Marin, Carla Piazza, Sabina Rossi (2018), Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses in INFORMATION AND COMPUTATION, vol. 260, pp. 99-125 (ISSN 1090-2651)
    Link DOIURL correlato Link al documento: 10278/3703617
  • Marin, Andrea; Rossi, Sabina (2017), Fair workload distribution for multi-server systems with pulling strategies in PERFORMANCE EVALUATION, vol. 113, pp. 26-41 (ISSN 0166-5316)
    Link DOIURL correlato Link al documento: 10278/3692876
  • Marin, Andrea; Rossi, Sabina (2017), On the relations between Markov chain lumpability and reversibility in ACTA INFORMATICA, vol. 54, pp. 447-485 (ISSN 1432-0525)
    Link DOIURL correlato Link al documento: 10278/3673297
  • Marin, Andrea; Rossi, Sabina (2017), Power control in saturated fork-join queueing systems in PERFORMANCE EVALUATION, vol. 116, pp. 101-118 (ISSN 0166-5316)
    Link DOI Link al documento: 10278/3692878
  • Bujiari, Armir; Marin, Andrea; Rossi, Sabina; Palazzi, Claudio (2016), Analysis of ECN/RED and SAP-LAW with simultaneous TCP and UDP traffic in COMPUTER NETWORKS, vol. 108, pp. 160-170 (ISSN 1389-1286)
    Link DOIURL correlato Link al documento: 10278/3682156
  • Gallina, Lucia; Marin, Andrea; Rossi, Sabina (2016), Connectivity and energy-aware preorders for mobile ad-hoc networks. in TELECOMMUNICATION SYSTEMS, vol. 63, pp. 307-333 (ISSN 1018-4864)
    Link DOIURL correlato Link al documento: 10278/3673294
  • M. Bugliesi; L. Gallina; S. Hamadou; A. Marin; S. Rossi (2014), Behavioural equivalences and interference metrics for mobile ad-hoc networks in PERFORMANCE EVALUATION, vol. 73, pp. 41-72 (ISSN 0166-5316)
    Link DOIURL correlato Link al documento: 10278/39218
  • Michele Bugliesi; Andrea Marin; Sabina Rossi (2014), Model Checking Adaptive Service Compositions in SCIENCE OF COMPUTER PROGRAMMING, vol. 94, pp. 289-306 (ISSN 0167-6423)
    Link DOIURL correlato Link al documento: 10278/39176
  • L. Gallina; S. Rossi (2013), A Process Calculus for Energy-Aware Multicast Communications of Mobile Ad-Hoc Networks in WIRELESS COMMUNICATIONS AND MOBILE COMPUTING, vol. 13, pp. 296-312 (ISSN 1530-8669)
    Link DOI Link al documento: 10278/35585
  • BOSSI A.; C. PIAZZA; S. ROSSI (2007), Compositional information flow security for concurrent programs in JOURNAL OF COMPUTER SECURITY, vol. 15, pp. 373-416 (ISSN 0926-227X)
    URL correlato Link al documento: 10278/39141
  • CRAFA S; ROSSI S. (2007), Controlling Information Release in the pi-calculus in INFORMATION AND COMPUTATION, vol. 285, pp. 1235-1273 (ISSN 0890-5401)
    Link DOIURL correlato Link al documento: 10278/29431
  • FOCARDI R; ROSSI S. (2006), Information Flow Security in Dynamic Contexts in JOURNAL OF COMPUTER SECURITY, vol. 14, pp. 65-110 (ISSN 0926-227X)
    Link al documento: 10278/29828
  • BOSSI A.; D. MACEDONIO; C. PIAZZA; S. ROSSI (2005), Information Flow in Secure Contexts in JOURNAL OF COMPUTER SECURITY, vol. 13, pp. 391-422 (ISSN 0926-227X)
    URL correlato Link al documento: 10278/29830
  • BUGLIESI M; ROSSI S. (2005), Non-Interference Proof Techniques for the Analysis of Cryptographic Protocols in JOURNAL OF COMPUTER SECURITY, vol. 13, pp. 87-113 (ISSN 0926-227X)
    URL correlato Link al documento: 10278/39177
  • BOSSI A.; ETALLE S.; ROSSI S.; SMAUS J.G. (2004), Termination of Simply Moded Logic Programs with Dynamic Scheduling. in ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, vol. 5, pp. 470-507 (ISSN 1529-3785)
    Link DOIURL correlato Link al documento: 10278/28670
  • BOSSI A; FOCARDI R; MACEDONIO D; PIAZZA C; ROSSI S. (2004), Unwinding in Information Flow Security in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, vol. 99, pp. 127-154 (ISSN 1571-0661)
    Link DOIURL correlato Link al documento: 10278/38887
  • BOSSI A.; FOCARDI R.; PIAZZA C.; ROSSI S. (2004), Verifying Persistent Security Properties. in COMPUTER LANGUAGES, SYSTEMS & STRUCTURES, vol. 30, pp. 231-258 (ISSN 1477-8424)
    Link DOIURL correlato Link al documento: 10278/39178
  • PECENICK G.; PASTRES R.; ROSSI S.; BINI C.; ZUPPI G.M. (2002), Modelling tensiometric profiles in a vineyard in the Bardolino Area (Verona, Italy) in ADVANCES IN GEOECOLOGY, vol. 35, pp. 563-571
    Link al documento: 10278/17093
  • BOSSI A.; COCCO N; ETALLE S; ROSSI S (2002), On Modular Termination Proofs of General Logic Programs in THEORY AND PRACTICE OF LOGIC PROGRAMMING, vol. 2, pp. 263-291 (ISSN 1471-0684)
    Link al documento: 10278/12586
  • BOSSI A.; ETALLE S; ROSSI S (2002), Properties of Input-Consuming Derivations in THEORY AND PRACTICE OF LOGIC PROGRAMMING, vol. 2, pp. 125-154 (ISSN 1471-0684)
    URL correlato Link al documento: 10278/38885
  • LE CHARLIER B; ROSSI S.; VAN HENTENRYCK P (2002), Sequence-based Abstract Interpretation of Prolog in THEORY AND PRACTICE OF LOGIC PROGRAMMING, vol. 2, pp. 25-84 (ISSN 1471-0684)
    URL correlato Link al documento: 10278/29432
  • CORTESI A; ROSSI S.; LE CHARLIER B (2001), Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, vol. 48, pp. 29-44 (ISSN 1571-0661)
    Link DOIURL correlato Link al documento: 10278/22307
  • BOSSI A; ETALLE S; ROSSI S. (2000), Semantics of well-moded input-consuming logic programs in COMPUTER LANGUAGES, vol. 26, pp. 1-25 (ISSN 0096-0551)
    Link al documento: 10278/39256
  • LE CHARLIER B; LECLERE C; ROSSI S.; CORTESI A (1999), Automated Verification of Prolog Programs in JOURNAL OF LOGIC PROGRAMMING, vol. 39, pp. 3-42 (ISSN 0743-1066)
    Link DOIURL correlato Link al documento: 10278/39309
  • BOSSI A; ETALLE S; ROSSI S. (1999), Properties of Input-Consuming Derivations in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, vol. 30, pp. 102-124 (ISSN 1571-0661)
    Link DOIURL correlato Link al documento: 10278/13594
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
Articolo in Atti di convegno
  • Marin, Andrea*; Rossi, Sabina; Sottana, Matteo (2018), Biased processor sharing in fork-join queues , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) in LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, Springer Verlag, vol. 11024, pp. 273-288, Convegno: 15th International Conference on Quantitative Evaluation of Systems, QEST 2018, 2018 (ISBN 9783319991535) (ISSN 0302-9743)
    Link DOIURL correlato Link al documento: 10278/3710571
  • Hillston, Jane; Marin, Andrea; Piazza, Carla*; Rossi, Sabina (2018), Information Flow Security for Stochastic Processes , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) in LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, Springer Verlag, vol. 11178, pp. 142-156, Convegno: 15th European Performance Engineering Workshop, EPEW 2018, 2018 (ISBN 9783030022266) (ISSN 0302-9743)
    Link DOIURL correlato Link al documento: 10278/3710572
  • Jane Hillston, Carla Piazza, Sabina Rossi (2018), Persistent Stochastic Non-Interference in Jane Hillston, Carla Piazza, Sabina Rossi, Proceedings EXPRESS/SOS 2018, Open Publishing Association, vol. 276, pp. 53-68, Convegno: 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, September 3, 2018 (ISSN 2075-2180)
    Link DOIURL correlato Link al documento: 10278/3703609
  • 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
  • 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
  • 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
  • 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; 978-1-5090-3433-8)
    Link DOI Link al documento: 10278/3682175
  • 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 Computer Society, vol. 2015-, pp. 136-145, Convegno: IEEE 23rd International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, MASCOTS 2015, 2015 (ISBN 9781467377201)
    Link DOI Link al documento: 10278/3663441
  • 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
  • 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 (ISBN 978-1-4799-5610-4)
    Link DOI Link al documento: 10278/43986
  • 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, ACM, pp. 137-144, Convegno: ValueTools 2015 (ISBN 978-1-63190-096-9)
    Link DOI Link al documento: 10278/3680768
  • 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
  • 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. 225-232, Convegno: Valuetools 2014 (ISBN 978-1-63190-057-0)
    Link DOI Link al documento: 10278/43987
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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