Conference program/ Programme de la conférence

Wesnesday, June 4 / Mercredi 4 juin

08h00 - 09h00 Registration
09h00 - 09h30 Opening session
09h30 - 10h30
 
 
 		 Invited speaker 1
Petri Nets for Modelling and Evaluating Deterministic and Stochastic Manufacturing Systems
Jean-Marie Proth, Inria-Lorraine, France
10h30 - 11h00 Coffee break
Session 1 : Performability tools   Chairman: J. Meyer
11h00 - 11h30
 
 
 		 TANGRAM-II: a performability modeling environment tool.
Rosa Carmo, Edmundo De Souza e Silva and Luis R. de Carvalho, Federal Univ. of Rio de Janeiro, Brazil, and Richard R.R. Muntz, UCLA, Los Angeles, USA.
11h30 - 12h00
 
 
 		 PENELOPE: dependability evaluation and the optimization of performability.
Hana Sevcikova and Hermann de Meer, Univ. of Hamburg, Germany.
12h00 - 12h30
 
 
 		 Porting SHARPE on the WEB: design and implementation of a network computing platform using JAVA.
Antonio Puliafito and Orazio Tomarchio, Univ. of Catania, Italy, and Lorenzo Vita, Univ. of Messina, Italy.
12h30 - 14h00 Lunch
14h00 - 15h00
 
 		 Invited speaker 2
On performance evaluation of computer systems and communication networks
Luc Coyette, Simulog, France
15h00 - 16h00 Tools presentation 1
16h00 - 16h30 Coffee break
16h30 - 17h30 Tools presentation 2
18h30 Departure to Mont-St-Michel

Thursday, June 5 / Jeudi 5 juin

08h30 - 09h30
 
 		 Invited speaker 3
Modeling of Hybrid Systems Using Continuous and Hybrid Petri Nets
Rene David, INP Grenoble, France
Session 2 : Solutions methods   Chairman: W. Stewart
09h30 - 10h00
 
 		 Storage alternatives for large structured state spaces.
Gianfranco Ciardo and Andrew S. Miner, College of Williams and Mary, Williamsburg, USA.
10h00 - 10h30
 		 An efficient disk-based tool for solving very large Markov models.
Daniel D. Deavours and William Sanders, Univ. of Illinois, USA.
10h30 - 11h00 Coffee break
11h00 - 12h30 Tools exhibition 1
12h30 - 14h00 Lunch
Session 3 : Communications and real-time   Chairman: M. Woodside
14h00 - 14h30
 
 		 Efficient transient overload tests for real-time systems.
Guillem Bernat, Univ. of Baleares Ilslands, Spain, Alan Burns, Univ. of York, England, and Albert Llamosi, Univ. of Tarragona, Spain.
14h30 - 15h00
 
 		 Towards an analytical tool for performance modeling of ATM networks by decomposition.
Gerhard Hablinger, Technical Univ. of Darmstadt, Germany.
15h00 - 15h30
 
 		 An embedded network simulator to support network protocols' development.
Luigi Rizzo, Univ. of Pisa, Italy.
15h30 - 16h00
 
 
 		 Synchronized two-way voice simulation for Internet phone performance analysis and evaluation.
Adrian Conway and Paul S. Kelly, GTE Labs., Waltham, USA, and Sue B. Moon, Univ. of Massachusetts, USA.
16h00 - 16h30 Coffee break
16h30 - 18h30 Tools exhibition 2
19h30 Banquet

Friday, June 6 / Vendredi 6 juin

08h30 - 09h30
 
 		 Invited speaker 4
Performance Prediction: an Industry Perspective
Peter Utton and Brian Hill, British Telecom, UK
Session 4 : Modelling methodologies   Chairman: G. Haring
09h30 - 10h00
 
 		 SPNL: processes as language-oriented building blocks of stochastic Petri nets.
Reinhard German, Techn. Univ. of Berlin, Germany
10h00 - 10h30
 
 
 		 Performance engineering evaluation of object-oriented systems with SPE.ED.
Connie U. Smith, Performance Engineering Service, Santa Fe, USA, and Lloyd G. Williams, Software Engineering Research, Boulder, USA.
10h30 - 11h00 Coffee break
Session 5 : Measurements and workload   Chairman: P. Hugues
11h00 - 11h30
 
 
 		 Measurement tools and modeling techniques for evaluating Web server performance.
John Dilley, Rich Friedrich and Tai Jin, Hewlett-Packard Laboratories, Palo Alto, USA, and Jérome Rolia, Carleton Univ., Ottawa, Canada.
11h30 - 12h00
 		 Workload characterization of input/output intensive parallel applications.
Evgenia Smirni and Daniel A. Reed, Univ. of Illinois, USA.
12h00 - 12h30
 		 Interval based workload characterization for distributed systems.
M. Braun and G. Kotsis, Univ. of Vienna, Austria.
12h30 - 14h00 Lunch
Session 6 : Bounding techniques   Chairman: R. Puigjaner
14h00 - 14h30
 		 Bounding the loss rates in a multistage ATM switch.
J.-M. Fourneau, L. Mokdad and N. Pekergin, Univ. of Versailles, France.
14h30 - 15h00
 
 		 Simple bounds for queues fed by Markovian sources: a tool for performance evaluation.
Brian Mcgurk and Raymond Russel, Dublin Inst. of Adv. Studies, Ireland.
15h00 - 15h30
 
 		 On queue length moments in fork and join queuing networks with general service time.
Simonetta Balsamo, Univ. of Udine, Italy, and Ivan Mura, Univ. of Pisa, Italy.
15h30 - 16h30 Closing session