Prof. Dr. Mario Bravetti

Università di Bologna
Dipartimento di Informatica - Scienza e Ingegneria
Mura Anteo Zamboni 7
40126 Bologna,Italy
Phone: +39-051-2094513
Fax: +39-051-2094510
E-mail: bravetti"at"cs.unibo.it (replace "at" with @)

Didactics:
Corso di Laurea Triennale in Ingegneria e Scienze Informatiche
Corso di Laurea Magistrale in Ingegneria e Scienze Informatiche
Via Sacchi 3
47521 Cesena (FC), Italy
Phone: +39-0547-338849
Fax: +39-0547-338890

Position: Associate Professor in Computer Science (with Full Professor habilitation)

Member of the: Research Team FOCUS (Inria/University Bologna)"


Research activity

Main topics:

  • Formal description techniques and software tools for modeling and analyzing distributed systems and protocols.
  • Concurrency theory, Process Algebras, their axiomatizations and extensions.
  • Stochastic processes with or without Markovian property, performance modeling and evaluation
  • Service Oriented Computing, Web services, Orchestration and Choreography languages and related conformance issues.
  • Architectural design ad implementation of SOAP/RESTful Web Service based systems and Comet based rich internet applications.
  • List of publications (all available as postscript or PDF files for downloading):

  • Book chapters
  • Journal papers
  • Conference and Workshop papers
  • Technical Reports
  • PhD Thesis: (Final version: April, 29th 2002)
              ``Specification and Analysis of Stochastic Real-Time Systems'' (gzipped postscript file)
        Winner of the award for the two best italian PhD theses in theoretical computer science in the year 2002,
        assigned by the Italian Chapter of the European Association for Theoretical Computer Science .
  • Hot Topics:

  • File Managing and Program Execution in Web Operating Systems CoRR abs/1005.5045

  • Conferences, Workshops and Events

    In the year 2011 I will be involved in the organization of the following conferences/workshops/events:

  • FSEN 2011: 4th IPM International Conference on Fundamentals of Software Engineering (PC member)
  • ICST 2011: 4th International Conference on Software Testing, Verification, and Validation (PC member)
  • In the year 2010 I was involved in the organization of the following conferences/workshops/events:

  • WS-FM 2010: 7th International Workshop on Web Services and Formal Methods: formal aspects of service oriented and cloud computing (PC co-chair)
  • ICPADS 2010: 16th IEEE International Conference on Parallel and Distributed Systems (PC member)
  • VECoS 2010: 4th International Workshop on Verification and Evaluation of Computer and Communication Systems (PC member)
  • ICST 2010: 3rd International Conference on Software Testing, Verification, and Validation (PC member)
  • CLOUD 2010: 3rd IEEE International Conference on Cloud Computing (PC member)
  • FMOODS/FORTE 2010: IFIP International Conference on Formal Techniques for Distributed Systems (PC member)
  • YR-SOC 2010: 5th European Young Researchers Workshop on Service-Oriented Computing (PC member)
  • In the year 2009 I was involved in the organization of the following conferences/workshops/events:

  • CONCUR 2009: 20th International Conference on Concurrency Theory (PC co-chair and co-organizer)
  • VECoS 2009: 3rd International Workshop on Verification and Evaluation of Computer and Communication Systems (Invited Speaker)
  • 5th TAROT Summer School on Software Testing (Lecturer)
  • CLOUD-II 2009: 2nd IEEE International Conference on Cloud Computing (PC member)
  • CLOUD 2009: 1st IEEE International Conference on Cloud Computing (PC member)
  • FMOODS/FORTE 2009: IFIP International Conference on Formal Techniques for Distributed Systems (PC member)
  • ICTAC 2009: 6th International Colloquium on Theoretical Aspects of Computing (PC member)
  • QFM 2009: Workshop on Quantitative Formal Methods: Theory and Applications (PC member)
  • YR-SOC 2009: 4th European Young Researchers Workshop on Service-Oriented Computing (PC member)
  • TiSto 2009: International Workshop on Timing and Stochasticity in Petri nets and other models of concurrency (PC member)
  • EPEW 2009: 5th European Performance Engineering Workshop (PC member)
  • SITIS 2009 (WITDS): The International Conference On Signal-Image Technology & Internet-Based Systems, Track on Web-Based Information Technologies & Distributed Systems (PC member)
  • MALLOW 2009 (AWESOME): Multi-Agent Logics, Languages, and Organisations Federated Workshops, Integrated Methodologies on Agents, Web-Services, and Ontologies (PC member)
  • FSEN 2009: IPM International Symposium on Fundamentals of Software Engineering (PC member)
  • In the year 2008 I was involved in the organization of the following conferences/workshops/events:

  • CONCUR 2008: 19th International Conference on Concurrency Theory (PC member)
  • WS-BPI 2008: 1st Workshop on Web Services, Business Processes and Infrastructures (co-organizer with K. Honda, M. Carbone and G. Zavattaro)
  • WS-FM 2008: 5th International Workshop on Web Services and Formal Methods (PC member and Invited Speaker)
  • FORTE 2008: 28th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (PC member)
  • ICSOC 2008: 6th International Conference on Service Oriented Computing (PC member)
  • EPEW 2008: 4th European Performance Engineering Workshop (PC member)
  • SCC 2008: IEEE International Conference on Services Computing (PC member)
  • SITIS 2008 (WITDS): The International Conference On Signal-Image Technology & Internet-Based Systems, Track on Web-Based Information Technologies & Distributed Systems (PC member)
  • In the year 2007 I was involved in the organization of the following conferences/workshops/events:

  • International PhD School in Theory and Practice of Business Process Execution and Service Orientation (BPESO) (Lecturer)
  • WS-FM 2007: 4th International Workshop on Web Services and Formal Methods (PC member)
  • SAC 2007 (ECT): 22nd Annual ACM Symposium on Applied Computing, Special Track on E-Commerce Technologies (PC member)
  • FORTE 2007: 27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (PC member)
  • EPEW 2007: 3rd European Performance Engineering Workshop (PC member)
  • FSEN 2007: IPM International Symposium on Fundamentals of Software Engineering (PC member)
  • SCC 2007: IEEE International Conference on Services Computing (PC member)
  • SITIS 2007 (WITDS): The International Conference On Signal-Image Technology & Internet-Based Systems, Track on Web-Based Information Technologies & Distributed Systems (PC member)
  • MALLOW 2007 (AWESOME): Multi-Agent Logics, Languages, and Organisations Federated Workshops, Integrated Methodologies on Agents, Web-Services, and Ontologies (PC member)
  • In the year 2006 I was involved in the organization of the following conferences/workshops/events:

  • WS-FM 2006: 3rd International Workshop on Web Services and Formal Methods (co-chair)
  • SAC 2006 (ECT): 21th Annual ACM Symposium on Applied Computing, Special Track on E-Commerce Technologies (PC member)
  • FORTE 2006: 26th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (PC member)
  • EPEW 2006: 3rd European Performance Engineering Workshop (PC member)
  • QEST 2006: 3rd International Conference on the Quantitative Evaluation of Systems (PC member)
  • SITIS 2006 (WITDS): The International Conference On Signal-Image Technology & Internet-Based Systems, Track on Web-Based Information Technologies & Distributed Systems (PC member)
  • In the year 2005 I was involved in the organization of the following conferences/workshops/events:

  • Celebration of 25th anniversary of Process Algebra:
        Algebraic Process Calculi: The First Twenty Five Years and Beyond, Bertinoro, Italy, 1-5 August 2005. (co-organizer with
            Luca Aceto, Jim Davies, Wan Fokkink, Andy Gordon, Joost-Pieter Katoen, Faron Moller and Steve Schneider.)
  • WS-FM 2005: 2nd International Workshop on Web Services and Formal Methods (co-chair)
  • SAC 2005 (ECT): 20th Annual ACM Symposium on Applied Computing, Special Track on E-Commerce Technologies (PC member)
  • IADIS International Conference on Applied Computing 2005 (PC member)
  • PASM 2005: 2nd International Workshop on Practical Applications of Stochastic Modelling (PC member)
  • FORTE 2005: 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (PC member)
  • EPEW2005: 2nd European Performance Engineering Workshop (PC member)
  • QEST 2005: 2nd International Conference on the Quantitative Evaluation of Systems (PC member)
  • In the year 2004 I was involved in the organization of the following conferences/workshops/events:

  • WS-FM 2004: 1st International Workshop on Web Services and Formal Methods (co-chair)
  • SAC 2004 (ECT): 19th Annual ACM Symposium on Applied Computing, Special Track on E-Commerce Technologies (PC member)
  • IADIS International Conference on Applied Computing 2004 (PC member)
  • ATPN 2004: 25th International Conference on Application and Theory of Petri Nets (satellite workshop and tutorial organizer)
  • PASM 2004:1st International Workshop on Practical Applications of Stochastic Modelling (PC member)
  • FORTE 2004: 24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (PC member)
  • TheFormEMC: 1st International Workshop on Theory Building and Formal Methods in Electronic/Mobile Commerce (PC member)
  • EPEW2004:1st European Performance Engineering Workshop (PC member)

  • Hobbies

  • Theatre (mainly with LadyGodivaTeatro and Fuori Scena )
  • Latin dance (cuban salsa)
  • Modern dance
  • Tennis

  • Useful sites

    Italian Ministry of University and Scientific and Technological Research (MURST)
    Italian National Research Council (CNR)
    Coordinamento Nazionale dei Dottorati in Informatica
    Italian PhD Association (ADI)
    Italian PhD Association - Bologna (ADI-BO)
    Polo Scientifico-Didattico di Cesena
    Centro di Ricerche e Studi per l'Informatica Applicata alla Didattica (CRIAD)
    L'Isola del Benessere