Deprecated : The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Mario Bravetti
Prof. Dr. Mario Bravetti
Where to find me
Universita` di Bologna
Corso di Laurea in Scienze
dell'Informazione sede di Cesena
Research affiliation: Dipartimento di Scienze
dell'Informazione
Bologna ,Italy
Home address:
Position: Assistant Professor (Professore Aggregato) in Computer Science
Curriculum vitae in Italian (PDF file)
Teaching activity
(Undergraduate) courses at Corso
di Laurea in "Scienze
dell'Informazione" sede di Cesena (computer science):
Tecnologie
Web/Internet (web technologies/internet)
Research activity
Main topics:
Formal description techniques and analysis tools for concurrent
systems
Concurrency theory
Web services and business processes
Coordination models and languages
Security and e-commerce
ST semantics and action refinement in process algebras
Real-time and preemption mechanisms in process algebras
Stochastic processes, performance evaluation and simulation
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, Italian Chapter of
the European Association for Theoretical Computer Science .
Conferences, Workshops and Events
In the year 2006 I will be 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: 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)
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: 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: 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
Family
Ing. Sahar Meshkin
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)