ROSSI Sabina

Pubblicazioni per anno

2017
  • Marin, Andrea; Rossi, Sabina Fair workload distribution for multi-server systems with pulling strategies in PERFORMANCE EVALUATION, vol. 113, pp. 26-41 (ISSN 0166-5316) (Articolo su rivista)
    Link DOIURL correlato Link al documento: 10278/3692876
  • Marin, Andrea; Rossi, Sabina On the relations between Markov chain lumpability and reversibility in ACTA INFORMATICA, vol. 54, pp. 447-485 (ISSN 1432-0525) (Articolo su rivista)
    Link DOIURL correlato Link al documento: 10278/3673297 abstract
  • Marin, Andrea; Rossi, Sabina Power control in saturated fork-join queueing systems in PERFORMANCE EVALUATION, vol. 116, pp. 101-118 (ISSN 0166-5316) (Articolo su rivista)
    Link DOI Link al documento: 10278/3692878 abstract
  • Andrea, Marin; Sabina, Rossi 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) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/3692879
2016
  • Bujiari, Armir; Marin, Andrea; Rossi, Sabina; Palazzi, Claudio Analysis of ECN/RED and SAP-LAW with simultaneous TCP and UDP traffic in COMPUTER NETWORKS, vol. 108, pp. 160-170 (ISSN 1389-1286) (Articolo su rivista)
    Link DOIURL correlato Link al documento: 10278/3682156 abstract
  • Gallina, Lucia; Marin, Andrea; Rossi, Sabina Connectivity and energy-aware preorders for mobile ad-hoc networks. in TELECOMMUNICATION SYSTEMS, vol. 63, pp. 307-333 (ISSN 1018-4864) (Articolo su rivista)
    Link DOIURL correlato Link al documento: 10278/3673294 abstract
  • Balsamo, Maria Simonetta; Cavallin, Filippo; Marin, Andrea; Rossi, Sabina; 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) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/3682193 abstract
  • Marin, Andrea; Rossi, Sabina 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) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/3673299 abstract
  • Marin, Andrea; Rossi, Sabina; Bujari, Armir; Palazzi, Claudio 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) (Articolo in Atti di convegno)
    Link DOIURL correlato Link al documento: 10278/3673298 abstract
  • Cavallin, Filippo; Marin, Andrea; Rossi, Sabina; 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) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/3682175 abstract
2015
  • Cavallin, Filippo; Marin, Andrea; Rossi, Sabina 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) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/3663441 abstract
  • Marin, Andrea; Rossi, Sabina 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) (Articolo in Atti di convegno)
    Link DOIURL correlato Link al documento: 10278/3663451 abstract
  • Andrea Marin; Sabina Rossi 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 (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/43986 abstract
  • Marin, Andrea; Rossi, Sabina Priority-based bandwidth allocation in wireless sensor networks , 9th EAI International Conference on Performance Evaluation Methodologies and Tools, ValueTools 2015, EAI, Convegno: ValueTools 2015 (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/3680768 abstract
  • Marin, Andrea; Rossi, Sabina 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) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/3663443 abstract
2014
  • M. Bugliesi; L. Gallina; S. Hamadou; A. Marin; S. Rossi Behavioural equivalences and interference metrics for mobile ad-hoc networks in PERFORMANCE EVALUATION, vol. 73, pp. 41-72 (ISSN 0166-5316) (Articolo su rivista)
    Link DOIURL correlato Link al documento: 10278/39218 abstract
  • Michele Bugliesi; Andrea Marin; Sabina Rossi Model Checking Adaptive Service Compositions in SCIENCE OF COMPUTER PROGRAMMING, vol. 94, pp. 289-306 (ISSN 0167-6423) (Articolo su rivista)
    Link DOIURL correlato Link al documento: 10278/39176 abstract
  • Andrea Marin; Sabina Rossi 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 (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/43987 abstract
2013
  • L. Gallina; S. Rossi 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) (Articolo su rivista)
    Link DOI Link al documento: 10278/35585 abstract
  • L. Gallina; T. Han; M. Kwiatkowska; A. Marin; S. Rossi 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) (Articolo in Atti di convegno)
    Link DOIURL correlato Link al documento: 10278/39159 abstract
  • A. Marin; S. Rossi 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) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/39158 abstract
  • J. Hillston; A. Marin; C. Piazza; S. Rossi Contextual Lumpability , Proceedings of Valuetools 2013, Los Alamos, ACM, Convegno: Valuetools 2013, December, 2013 (ISBN 9781450325394) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/39247 abstract
  • Gian-Luca Dei Rossi; Lucia Gallina; Sabina Rossi 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) (Articolo in Atti di convegno)
    Link DOIURL correlato Link al documento: 10278/39262 abstract
2012
  • L. Gallina; T. Han; M. Kwiatkowska; A. Marin; S. Rossi; S. Spanò 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) (Articolo in Atti di convegno)
    Link DOIURL correlato Link al documento: 10278/39312 abstract
  • L. Gallina; G. Dei Rossi; A. Marin; S. Rossi 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) (Articolo in Atti di convegno)
    Link DOIURL correlato Link al documento: 10278/35213 abstract
  • M. Bugliesi; L. Gallina; S. Hamadou; A. Marin; S. Rossi 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) (Articolo in Atti di convegno)
    Link DOIURL correlato Link al documento: 10278/39280 abstract
2011
  • L. Gallina; S. Hamadou; A. Marin; S. Rossi 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) (Articolo in Atti di convegno)
    Link DOIURL correlato Link al documento: 10278/27867 abstract
  • L. Gallina; S. Hamadou; A. Marin; S. Rossi 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) (Articolo in Atti di convegno)
    Link DOIURL correlato Link al documento: 10278/39362 abstract
  • S. ROSSI 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) (Articolo in Atti di convegno)
    Link DOIURL correlato Link al documento: 10278/39156 abstract
2010
  • GALLINA L.; ROSSI S. 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) (Articolo in Atti di convegno)
    Link DOIURL correlato Link al documento: 10278/24302 abstract
  • GALLINA L.; ROSSI S. 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) (Articolo in Atti di convegno)
    Link DOIURL correlato Link al documento: 10278/24269 abstract
2009
  • M. BUGLIESI; D. MACEDONIO; L. PINO; ROSSI S. 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) (Articolo in Atti di convegno)
    Link DOIURL correlato Link al documento: 10278/39898 abstract
  • ROSSI S.; MACEDONIO D. 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) (Articolo in Atti di convegno)
    Link DOIURL correlato Link al documento: 10278/39899 abstract
2008
  • G. BERNARDI; M. BUGLIESI; D. MACEDONIO; ROSSI S. 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) (Articolo in Atti di convegno)
    Link DOIURL correlato Link al documento: 10278/39503 abstract
  • BOSSI A.; PIAZZA C; ROSSI S 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) (Articolo in Atti di convegno)
    Link al documento: 10278/19019
  • S. CRAFA; M. MIO; M. MICULAN; C. PIAZZA; ROSSI S. 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) (Articolo in Atti di convegno)
    Link al documento: 10278/19014
2007
  • BOSSI A.; C. PIAZZA; S. ROSSI Compositional information flow security for concurrent programs in JOURNAL OF COMPUTER SECURITY, vol. 15, pp. 373-416 (ISSN 0926-227X) (Articolo su rivista)
    URL correlato Link al documento: 10278/39141 abstract
  • CRAFA S; ROSSI S. Controlling Information Release in the pi-calculus in INFORMATION AND COMPUTATION, vol. 285, pp. 1235-1273 (ISSN 0890-5401) (Articolo su rivista)
    Link DOIURL correlato Link al documento: 10278/29431 abstract
  • M. BUGLIESI; D. MACEDONIO; ROSSI S. 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) (Articolo in Atti di convegno)
    Link al documento: 10278/19385
2006
  • FOCARDI R; ROSSI S. Information Flow Security in Dynamic Contexts in JOURNAL OF COMPUTER SECURITY, vol. 14, pp. 65-110 (ISSN 0926-227X) (Articolo su rivista)
    Link al documento: 10278/29828 abstract
  • CRAFA S; ROSSI S. 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) (Articolo in Atti di convegno)
    Link al documento: 10278/16045
2005
  • BOSSI A.; D. MACEDONIO; C. PIAZZA; S. ROSSI Information Flow in Secure Contexts in JOURNAL OF COMPUTER SECURITY, vol. 13, pp. 391-422 (ISSN 0926-227X) (Articolo su rivista)
    URL correlato Link al documento: 10278/29830 abstract
  • BUGLIESI M; ROSSI S. Non-Interference Proof Techniques for the Analysis of Cryptographic Protocols in JOURNAL OF COMPUTER SECURITY, vol. 13, pp. 87-113 (ISSN 0926-227X) (Articolo su rivista)
    URL correlato Link al documento: 10278/39177 abstract
  • CRAFA S; ROSSI S. 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) (Articolo in Atti di convegno)
    Link al documento: 10278/13595
  • FOCARDI R.; ROSSI S; SABELFELD A 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) (Articolo in Atti di convegno)
    Link al documento: 10278/34383 abstract
  • BOSSI A.; C. PIAZZA; S. ROSSI 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) (Articolo in Atti di convegno)
    Link al documento: 10278/12641
  • BOSSI A.; PIAZZA C; ROSSI S Compositional Information Flow Security for Concurrent Programs , Dipartimento di Informatica, Universita' Ca' Foscari, vol. CS-2005-5, Marzo 2005 (Rapporto di ricerca)
    Link al documento: 10278/4690
2004
  • BOSSI A.; ETALLE S.; ROSSI S.; SMAUS J.G. Termination of Simply Moded Logic Programs with Dynamic Scheduling. in ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, vol. 5, pp. 470-507 (ISSN 1529-3785) (Articolo su rivista)
    Link DOIURL correlato Link al documento: 10278/28670 abstract
  • BOSSI A; FOCARDI R; MACEDONIO D; PIAZZA C; ROSSI S. Unwinding in Information Flow Security in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, vol. 99, pp. 127-154 (ISSN 1571-0661) (Articolo su rivista)
    Link DOIURL correlato Link al documento: 10278/38887 abstract
  • BOSSI A.; FOCARDI R.; PIAZZA C.; ROSSI S. Verifying Persistent Security Properties. in COMPUTER LANGUAGES, SYSTEMS & STRUCTURES, vol. 30, pp. 231-258 (ISSN 1477-8424) (Articolo su rivista)
    Link DOIURL correlato Link al documento: 10278/39178 abstract
  • BOSSI A.; N. COCCO; S. ETALLE; S. ROSSI 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) (Articolo su libro)
    Link DOI Link al documento: 10278/31212 abstract
  • PIAZZA C; PIVATO E; ROSSI S. 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) (Articolo in Atti di convegno)
    Link al documento: 10278/13596
  • BOSSI A; PIAZZA C; ROSSI S. 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) (Articolo in Atti di convegno)
    Link al documento: 10278/16046
2003
  • BOSSI A.; FOCARDI R; PIAZZA C; ROSSI S A Proof System for Information Flow Security , Logic Based Program Synthesis and Transformation, vol. 2664, pp. 199-218, Convegno: LOPSTR '02 (ISBN 3540404384) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/32533 abstract
  • BOSSI A.; FOCARDI R; PIAZZA C; ROSSI S 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) (Articolo in Atti di convegno)
    Link al documento: 10278/12642 abstract
  • BUGLIESI M; CECCATO A; ROSSI S. 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) (Articolo in Atti di convegno)
    Link al documento: 10278/23191
  • BOSSI A.; MACEDONIO D; PIAZZA C; ROSSI S 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) (Articolo in Atti di convegno)
    Link al documento: 10278/12643
  • BOSSI A; FOCARDI R; PIAZZA C; ROSSI S. 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) (Articolo in Atti di convegno)
    Link al documento: 10278/16047
  • BOSSI A; MACEDONIO D; PIAZZA C; ROSSI S. 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) (Articolo in Atti di convegno)
    Link al documento: 10278/16048
2002
  • PECENICK G.; PASTRES R.; ROSSI S.; BINI C.; ZUPPI G.M. Modelling tensiometric profiles in a vineyard in the Bardolino Area (Verona, Italy) in ADVANCES IN GEOECOLOGY, vol. 35, pp. 563-571 (Articolo su rivista)
    Link al documento: 10278/17093
  • BOSSI A.; COCCO N; ETALLE S; ROSSI S On Modular Termination Proofs of General Logic Programs in THEORY AND PRACTICE OF LOGIC PROGRAMMING, vol. 2, pp. 263-291 (ISSN 1471-0684) (Articolo su rivista)
    Link al documento: 10278/12586 abstract
  • BOSSI A.; ETALLE S; ROSSI S Properties of Input-Consuming Derivations in THEORY AND PRACTICE OF LOGIC PROGRAMMING, vol. 2, pp. 125-154 (ISSN 1471-0684) (Articolo su rivista)
    URL correlato Link al documento: 10278/38885 abstract
  • LE CHARLIER B; ROSSI S.; VAN HENTENRYCK P Sequence-based Abstract Interpretation of Prolog in THEORY AND PRACTICE OF LOGIC PROGRAMMING, vol. 2, pp. 25-84 (ISSN 1471-0684) (Articolo su rivista)
    URL correlato Link al documento: 10278/29432 abstract
  • FOCARDI R.; SABINA ROSSI 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 (Articolo in Atti di convegno)
    Link al documento: 10278/6021
  • FOCARDI R; ROSSI S. 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) (Articolo in Atti di convegno)
    Link al documento: 10278/16049
  • FOCARDI R.; C. PIAZZA; S. ROSSI 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) (Articolo in Atti di convegno)
    Link al documento: 10278/11586
  • BOSSI A.; FOCARDI R; PIAZZA C; ROSSI S 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) (Articolo in Atti di convegno)
    Link al documento: 10278/32668 abstract
2001
  • CORTESI A; ROSSI S.; LE CHARLIER B 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) (Articolo su rivista)
    Link DOIURL correlato Link al documento: 10278/22307 abstract
  • CORTESI A.; LE CHARLIER B.; ROSSI S. 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) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/11478 abstract
  • BOSSI A.; ETALLE S; ROSSI S; SMAUS J.G 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) (Articolo in Atti di convegno)
    Link al documento: 10278/12645
  • BOSSI A; COCCO N; ROSSI S. 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) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/16050 abstract
2000
  • BOSSI A; ETALLE S; ROSSI S. Semantics of well-moded input-consuming logic programs in COMPUTER LANGUAGES, vol. 26, pp. 1-25 (ISSN 0096-0551) (Articolo su rivista)
    Link al documento: 10278/39256 abstract
  • BOSSI A; ETALLE S; ROSSI S. 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) (Articolo in Atti di convegno)
    Link al documento: 10278/13593
1999
1998
  • BOSSI A; ROSSI S. 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) (Articolo in Atti di convegno)
    Link al documento: 10278/8204
  • BOSSI A; ROSSI S. 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) (Articolo in Atti di convegno)
    Link al documento: 10278/13597
1997
  • LE CHARLIER B; LECLERE C; ROSSI S.; CORTESI A 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 (Articolo in Atti di convegno)
    Link al documento: 10278/8252
  • LE CHARLIER B; LECLERE C; ROSSI S.; CORTESI A 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) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/13598 abstract
1996
  • LE CHARLIER B; ROSSI S.; CORTESI A 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) (Articolo in Atti di convegno)
    Link al documento: 10278/13791
1994
  • LE CHARLIER B; ROSSI S.; VAN HENTENRYCK P 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 (Articolo in Atti di convegno)
    Link al documento: 10278/8207
  • LE CHARLIER B; ROSSI S.; VAN HENTENRYCK P 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) (Articolo in Atti di convegno)
    Link al documento: 10278/8205
1993
  • FILE' G; ROSSI S. 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) (Articolo in Atti di convegno)
    Link al documento: 10278/13839
  • FILE' G; ROSSI S. 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 (Articolo in Atti di convegno)
    Link al documento: 10278/8206