Home > Ateneo > Organizzazione > Dipartimenti > Dipartimento di Scienze Ambientali, Informatica e Statistica > Dipartimento di Scienze Ambientali, Informatica e Statistica > Persone > Ricerca Persone

Ricerca Persone

Cognome/Nome

Telefono/Fax:

Email

ROSSI Sabina

Feed RSS Feed RSS degli avvisi personali

 

ABILITA' INFORMATICHE - : Corso on-line: ABILITA' INFORMATICHE [LT0030]

Data pubblicazione: 02/04/2014

Il corso on-line per l'insegnamento di ABILITÀ INFORMATICHE [LT0030] è disponibile alla pagina

http://moodle.unive.it/course/view.php?id=260

e non sono previste lezioni frontali.

Per accedere al corso sono necessarie le credenziali telematiche personali (login e password) fornite dall'ateneo, le stesse usate per l'iscrizione telematica agli esami.

INFORMATICA PER LA TRADUZIONE ASSISTITA - : ORARIO LEZIONI FRONTALI e PAGINE WEB

Data pubblicazione: 02/04/2014

Il corso di Informatica per la Traduzione Assistita è erogato in modalità blended. È suddiviso in 16 ore di lezioni frontali e 14 ore di lezioni on-line.

Di seguito il calendario delle lezioni frontali presso il Laboratorio Informatico 1 nella sede di Treviso.

  • Venerdì 27 Settembre 2013: Introduzione al corso. La struttura del calcolatore e la rappresentazione dell'informazione.
  • Venerdì 11 Ottobre 2013: Il Software. Il sistema operativo. Sperimentazioni con il Foglio elettronico.
  • Venerdì 25 Ottobre 2013: La multimedialità. I motori di ricerca. Sperimentazioni con HTML.
  • Venerdì 8 Novembre 2013: La linguistica computazionale: lingue naturali e linguaggi artificiali, come si descrive una lingua, come si usano le informazioni linguistiche.

Tutto il materiale relativo al corso si trova sul sito http://moodle.unive.it/

Materiali I.S.A.

 




Didattica a.a. 2013/2014 suddivisa per corsi di laurea

[CT3] INFORMATICA
[CM9] INFORMATICA - COMPUTER SCIENCE
[LM7] INTERPRETARIATO E TRADUZIONE EDITORIALE, SETTORIALE
[LT40] LINGUE, CULTURE E SOCIETÀ DELL'ASIA E DELL'AFRICA MEDITERRANEA

 

 

giovedi 14.00 - 15.00

 



Attività e competenze di ricerca

Settore Scientifico Disciplinare (SSD) di afferenza
Aree e linee di ricerca

Competenze di ricerca

Modelli formali per analisi qualitative e quantitative di sistemi software

Parole Chiave
  • Software technology, Network tecnology, Security technology
Codice ATECO
  • [62.0] - produzione di software, consulenza informatica e attività connesse

Ricerche sviluppate e in corso

Semantica dei linguaggi di programmazione

SSD
  • INF/01

Verifica di proprietà di sicurezza

SSD
  • INF/01

Analisi e verifica di sistemi distribuiti

SSD
  • INF/01

Analisi delle prestazioni

SSD
  • INF/01

Finanziamenti

FINANZIAMENTO PER BORSE DI DOTTORATO - Studio ed implementazione di modelli formali per l'analisi di reti ad-hoc e reti di sensori

Ente finanziatore
  • MIUR
Tipologia
  • Fondo per il sostegno dei giovani e per favorire la mobilità degli studenti
Ruolo nel progetto
  • LD
Data inizio
  • Anno: 2008 Durata mesi: 26
Altri membri del gruppo di ricerca

CINA: Composizionalità, Interazione, Negoziazione, Autonomicità per la società ICT futura

Ente finanziatore
  • MIUR
Tipologia
  • PRIN 2010-2011
Ruolo nel progetto
  • PT
Data inizio
  • Anno: 2012 Durata mesi: 24
Altri membri del gruppo di ricerca

Aree geografiche in cui si applica prevalentemente l'esperienza di ricerca

Internazionale: Europa, America Settentrionale, Estremo Oriente

Lingue conosciute

  • inglese (scritto: intermedio, parlato: intermedio)

Partecipazione a comitati editoriali di riviste/collane scientifiche

IFIP Wireless Days 2012 (PC member), November 21-23, 2012, Dublin, (Ireland). IFIP Wireless Days 2011 (PC member), October 10-12, 2011, Niagara Falls, Ontario (Canada). ICUMT 2011 (PC member), 3rd IEEE International Congress on Ultra Modern Telecommunications and Control Systems (ICUMT 2011), October 5-7, 2011, Budapest (Hungary). CILC 2011 (PC member) 26-esimo Convegno Italiano di Logica Computazionale, 31 Agosto - 2 Settembre 2011, Pescara (Italy). ICUMT 2010 (PC member), 2nd IEEE International Congress on Ultra Modern Telecommunications and Control Systems (ICUMT 2010), October 18-20, 2010, Moscow (Russia). IFIP Wireless Days 2010 (PC member and Local Arrangement Chair), October 20-22, 2010, Venice (Italy). TCS 2010 (PC member) 6th IFIP International Conference on Theoretical Computer Science (TCS 2010), September 20-23, 2010, Brisbane (Australia). CILC 2010 (PC member) 25-esimo Convegno Italiano di Logica Computazionale, July 7-9, 2010, Rende, Università della Calabria (Italy).

Pubblicazioni per Anno

2013

  • M. Bugliesi, L. Gallina, S. Hamadou, A. Marin, S. Rossi Behavioural equivalences and interference metrics for mobile ad-hoc networks, in PERFORMANCE EVALUATION, vol. tba, pp. tba-tba (ISSN 0166-5316) Link DOI (Articolo su rivista)
  • Michele Bugliesi, Andrea Marin, Sabina Rossi Model Checking Adaptive Service Compositions, in SCIENCE OF COMPUTER PROGRAMMING, vol. tba, pp. tba-tba (ISSN 0167-6423) Link DOI (Articolo su rivista)
  • 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: Disponibile On line, Fax: (212)944-1318, pp. 255-262, Convegno: MsWim 2013, Barcellona, November 3-8, 2013 (ISBN 9781450323536) Link DOI (Articolo in Atti di convegno)
  • 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, S. Francisco, August 2013 (ISBN 9780769551029) Link DOI (Articolo in Atti di convegno)
  • J. Hillston, A. Marin, C. Piazza, S. Rossi Contextual Lumpability, Proceedings of Valuetools 2013, Los Alamos, ACM, Convegno: Valuetools 2013, Torino, December, 2013 (ISBN 9781450325394) (Articolo in Atti di convegno)
  • Gian-Luca Dei Rossi, Lucia Gallina, Sabina Rossi Performance Analysis and Formal Verification of Cognitive Wireless Networks, Computer Performance Engineering, in LECTURE NOTES IN COMPUTER SCIENCE, Berlin, Springer Berlin Heidelberg, vol. 8168, pp. 236-250, Convegno: 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013 (ISBN 9783642407246) (ISSN 0302-9743) Link DOI (Articolo in Atti di convegno)

2012

  • 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) Link DOI (Articolo su rivista)
  • 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, Dublin, 21-23 Nov. 2012 (ISBN 9781467344029) Link DOI (Articolo in Atti di convegno)
  • 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), Cyprus, 21-26 Oct 2012 (ISBN 9781450316286) Link DOI (Articolo in Atti di convegno)
  • 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, London, UK, 17-20 Sep 2012 (ISBN 9780769547817) Link DOI (Articolo in Atti di convegno)

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, Niagara Falls, ON, Canada, October 10-12, 2011 (ISBN 9781457720277) Link DOI (Articolo in Atti di convegno)
  • 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, in LECTURE NOTES IN COMPUTER SCIENCE, Berlin, Berlin Heidelberg: Springer, vol. 6751, pp. 316-330, Convegno: 18th International Conference, ASMTA 2011, Venice, Italy, June 20-22, 2011 (ISBN 9783642217128) (ISSN 0302-9743) Link DOI (Articolo in Atti di convegno)
  • S. ROSSI Model Checking Adaptive Multilevel Service Compositions, Formal Aspects of Component Software, in LECTURE NOTES IN COMPUTER SCIENCE, Berlin, Berlin Heidelberg: Springer, vol. 6921, pp. 105-122, Convegno: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010 (ISBN 9783642272684) (ISSN 0302-9743) Link DOI (Articolo in Atti di convegno)

2010

  • GALLINA L., ROSSI S. A Calculus for Power-aware Multicast Communications in Ad Hoc Networks, Theoretical Computer Science, in Proceedings IFIP , Berlin, Berlin Heidelberg: Springer, vol. 323, pp. 20-31, Convegno: 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Brisbane, Australia, September 20-23, 2010 (ISBN 9783642152399) Link DOI (Articolo in Atti di convegno)
  • 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, Venice, Italy, October 20-22, 2010 (ISBN 9781424492305) Link DOI (Articolo in Atti di convegno)

2009

  • BERNARDI G; BUGLIESI M.; MACEDONIO D; 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., Timisoara, Romania, 26 - 29 Sept (ISBN 9780769535234) (Articolo in Atti di convegno)
  • 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, in LECTURE NOTES IN COMPUTER SCIENCE, Berlin, Springer Berlin Heidelberg, vol. 6194, pp. 76-91, Convegno: WS-FM 2009, Bologna, Italy, 4-5 September 2009 (ISBN 9783642144578) (ISSN 1611-3349) Link DOI (Articolo in Atti di convegno)
  • 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, St. Petersburg, Russia, 12-14 October 2009 (ISBN 9781424439416) Link DOI (Articolo in Atti di convegno)

2008

  • G. BERNARDI; M. BUGLIESI; D. MACEDONIO; ROSSI S. A Theory of Adaptable Contract-based Service Composition., Proc. of the 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'08)., IEEE Computer Society, pp. 327-334, Convegno: SYNASC'08 (ISBN 9780769535234) Link DOI (Articolo in Atti di convegno)
  • BOSSI A.; PIAZZA C; ROSSI S Action Refinement in Process Algebra and Security Issues, Logic-Based Program Synthesis and Transformation, in LECTURE NOTES IN COMPUTER SCIENCE, Berlin Heidelberg: Springer, vol. 4915, pp. 201-217, Convegno: 17th International Symposium, LOPSTR 2007 (ISBN 9783540787686) (ISSN 0302-9743) (Articolo in Atti di convegno)
  • 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, Xi’an, China, June 23–27, 2008 (ISBN 9781424418381) (Articolo in Atti di convegno)

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)
  • CRAFA S; ROSSI S. Controlling Information Release in the pi-calculus, in INFORMATION AND COMPUTATION, vol. 285 , pp. 1235-1273 (ISSN 0890-5401) Link DOI (Articolo su rivista)
  • 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., in LECTURE NOTES IN COMPUTER SCIENCE, vol. 4846, pp. 282-296, Convegno: ASIAN 2007 (ISBN 9783540769279) (ISSN 0302-9743) (Articolo in Atti di convegno)

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)
  • 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, Fairfax, Virginia, USA, NOV. 3, 2006 (ISBN 1595935509) (Articolo in Atti di convegno)

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)
  • 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)
  • CRAFA S; ROSSI S. A Theory of Noninterference for the pi-calculus, Trustworthy Global Computing, in LECTURE NOTES IN COMPUTER SCIENCE, Berlin Heidelberg: Springer, vol. 3705, pp. 2-18, Convegno: International Symposium, TGC 2005 (ISBN 3540300074) (ISSN 0302-9743) (Articolo in Atti di convegno)
  • FOCARDI R.; ROSSI S; SABELFELD A Bridging Language-Based and Process Calculi Security, Foundations of Software Science and Computational Structures, in LECTURE NOTES IN COMPUTER SCIENCE, vol. 3441, pp. 299-315, Convegno: 8th International Conference, FOSSACS 2005 (ISBN 3540253882) (ISSN 0302-9743) (Articolo in Atti di convegno)
  • BOSSI A.; C. PIAZZA; S. ROSSI Unwinding Conditions for Security in Imperative Languages, Logic Based Program Synthesis and Transformation, in LECTURE NOTES IN COMPUTER SCIENCE, Berlin Heidelberg: Springer, vol. 3573, pp. 85-100, Convegno: 14th International Symposium, LOPSTR 2004 (ISBN 3540266550) (ISSN 0302-9743) (Articolo in Atti di convegno)

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) Link DOI (Articolo su rivista)
  • BOSSI A; FOCARDI R; PIAZZA C; ROSSI S. Unwinding in Information Flow Security, in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, vol. 99, pp. 127-154 (ISSN 1571-0661) Link DOI (Articolo su rivista)
  • 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) Link DOI (Articolo su rivista)
  • BOSSI A.; N. COCCO; S. ETALLE; S. ROSSI Declarative Semantics of Input Consuming Logic Programs, Program Development in Computational Logic, in LECTURE NOTES IN COMPUTER SCIENCE, Berlin, Springer Verlag Germany, vol. 3049, pp. 90-114 (ISBN 3540221522) (ISSN 0302-9743) Link DOI (Articolo su libro)
  • PIAZZA C; PIVATO E; ROSSI S. CoPS - Checker of Persistent Security, Tools and Algorithms for the Construction and Analysis of Systems, in LECTURE NOTES IN COMPUTER SCIENCE, Berlin Heidelberg: Springer, vol. 2988, pp. 144-152, Convegno: 10th International Conference, TACAS 2004 (ISBN 354021299X) (ISSN 0302-9743) (Articolo in Atti di convegno)
  • 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, Pacific Grove, CA, 28-30 June 2004 (ISBN 076952169X) (Articolo in Atti di convegno)

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) Link DOI (Articolo in Atti di convegno)
  • BOSSI A.; FOCARDI R; PIAZZA C; ROSSI S Bisimulation and Unwinding for Verifying Possibilistic Security Properties, Verification, Model Checking, and Abstract Interpretation, in LECTURE NOTES IN COMPUTER SCIENCE, vol. 2575 of LNCS, pp. 223-237, Convegno: VMCAI'03 (ISBN 3540003487) (ISSN 0302-9743) (Articolo in Atti di convegno)
  • 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., in LECTURE NOTES IN COMPUTER SCIENCE, vol. 2751, pp. 364-375, Convegno: (ISBN 3540405437) (ISSN 0302-9743) (Articolo in Atti di convegno)
  • BOSSI A.; MACEDONIO D; PIAZZA C; ROSSI S Information Flow Security and Recursive Systems, Theoretical Computer Science, in LECTURE NOTES IN 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)
  • 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, Brisbane, Australia, 22-27 September (ISBN 9780769519494) (Articolo in Atti di convegno)
  • 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, Pacific Grove, CA, USA, 30 June-2 July 2003 (ISBN 076951927X) (Articolo in Atti di convegno)

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)
  • 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)
  • 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)
  • 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)
  • FOCARDI R; ROSSI S. Information Flow Security in Dynamic Contexts, Computer Security Foundations Workshop, IEEE Computer Society, pp. 307-319, Convegno: CSFW'02, Cape Breton, Nova Scotia, Canada, 24-26 June 2002 (ISBN 9780769516899) (Articolo in Atti di convegno)
  • FOCARDI R.; C. PIAZZA; S. ROSSI Proofs Methods for Bisimulation based Information Flow Security, Third International Workshop on Verification, Model Checking and Abstract Interpretation, in LECTURE NOTES IN COMPUTER SCIENCE, vol. 2294, pp. 16-31, Convegno: VMCAI 2002 (ISBN 9783540436317) (ISSN 0302-9743) (Articolo in Atti di convegno)
  • BOSSI A.; FOCARDI R; PIAZZA C; ROSSI S Transforming processes to check and ensure Information Flow Security, Algebraic Methodology and Software Technology, in LECTURE NOTES IN COMPUTER SCIENCE, vol. 2422 of LNCS, pp. 271-286, Convegno: AMAST 2002 (ISBN 3540441441) (ISSN 0302-9743) (Articolo in Atti di convegno)

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) Link DOI (Articolo su rivista)
  • 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, in LECTURE NOTES IN COMPUTER SCIENCE, Heidelberg, Springer Verlag, vol. 2244, pp. 395-405, Convegno: Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 (ISBN 354043075X) (ISSN 0302-9743) Link DOI (Articolo in Atti di convegno)
  • BOSSI A.; ETALLE S; ROSSI S; SMAUS J.G Semantics and Termination of Simply-moded Logic Programs with Dynamic Scheduling, Programming Languages and Systems, in LECTURE NOTES IN COMPUTER SCIENCE, 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)
  • 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) Link DOI (Articolo in Atti di convegno)

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)
  • BOSSI A; ETALLE S; ROSSI S. Semantics of input-consuming programs, Computational Logic, in LECTURE NOTES IN COMPUTER SCIENCE, Berlin Heidelberg: Springer, vol. 1861, pp. 194-208, Convegno: First International Conference, CL 2000 (ISBN 3540677976) (ISSN 0302-9743) (Articolo in Atti di convegno)

1999

  • LE CHARLIER B; LECLERE C; ROSSI S.; CORTESI A Automated Verification of Prolog Programs, in JOURNAL OF LOGIC PROGRAMMING, vol. 39, pp. 3-42 (ISSN 0743-1066) Link DOI (Articolo su rivista)
  • BOSSI A; ETALLE S; ROSSI S. Properties of Input-Consuming Derivations, in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, vol. 30, pp. 102-124 (ISSN 1571-0661) Link DOI (Articolo su rivista)

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, Prato, Italy, 9-11 NOVEMBER (ISBN 9789810236557) (Articolo in Atti di convegno)
  • BOSSI A; ROSSI S. Specialising Logic Programs with respect to Call/Post Specifications, Logic Programming Synthesis and Transformation, in LECTURE NOTES IN COMPUTER SCIENCE, Berlin Heidelberg: Springer, vol. 1559, pp. 143-158, Convegno: 8th International Workshop, LOPSTR'98 (ISBN 3540657657) (ISSN 0302-9743) (Articolo in Atti di convegno)

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), Grado, Italy, 16-19 June (Articolo in Atti di convegno)
  • LE CHARLIER B; LECLERE C; ROSSI S.; CORTESI A Automated Verification of Behavioural Properties of Prolog Programs, Advances in Computing Science, in LECTURE NOTES IN COMPUTER SCIENCE, Berlin Heidelberg: Springer, vol. 1345, pp. 225-238, Convegno: Third Asian Computing Science Conference, ASIAN'97 (ISSN 0302-9743) (Articolo in Atti di convegno)

1996

  • LE CHARLIER B; ROSSI S.; CORTESI A Specification-based Automatic Verification of Prolog Programs, Logic Programming Synthesis and Transformation, in LECTURE NOTES IN COMPUTER SCIENCE, Berlin Heidelberg: Springer, vol. 1207, pp. 38-57, Convegno: 6th International Workshop, LOPSTR'96 (ISBN 3540627189) (ISSN 0302-9743) (Articolo in Atti di convegno)

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), Peñiscola, Spain, 19-22 September (Articolo in Atti di convegno)
  • 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), Ithaca, New York, 13-17 November (ISBN 0262521911) (Articolo in Atti di convegno)

1993

  • 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), Gizzeria, Italy, 15-18 June (Articolo in Atti di convegno)
  • FILE' G; ROSSI S. Static Analysis of Prolog with Cut, Logic Programming and Automated Reasoning, in LECTURE NOTES IN COMPUTER SCIENCE, Berlin Heidelberg: Springer, vol. 698, pp. 134-145, Convegno: 4th International Conference, LPAR'93 (ISBN 3540569448) (ISSN 0302-9743) (Articolo in Atti di convegno)

Curriculum di Sabina ROSSI

Sabina Rossi received her master degree in Mathematics from the University of Padova, Italy, in 1990 and her Ph.D. in Computational Mathematics and Informatics Mathematics from the University of Padova in 1994. She is Associate Professor of Computer Science at the University Ca’ Foscari of Venice, Italy, since 2012. Formerly she has been Assistant Professor of Computer Science at the University Ca’ Foscari of Venice, Italy, since 2000. Previously, she held a research position at the Universitè Catholique de Louvain-la-Neuve, Belgium. She has been visiting Professor at the Universitè Paris 7, Denis Diderot, France (2007). She has expertise in foundational models of distributed systems with mobility and concurrency. Her current research focuses on the development of formal tools for the analysis, verification and performance evaluation of complex systems based on process algebraic techniques. Dr. Sabina Rossi is the (co-)author of over 60 technical papers in refereed international journals and conference proceedings and has been in the program committees of various international conferences and workshops.

© Ca'Foscari 2014