G. Ciardo is with the Department of Computer Science at the College of William and Mary, Williamsburg, VA, 23187.
R. German is with the Department of Computer Science at the Friedrich-Alexander University of Erlangen-Nürnberg, D91058 Erlangen, Germany. E-mail: email@example.com.
B.R. Haverkort is with the Department of Computer Science at the RWTH Aachen, D52056 Aachen, Germany.
For information on obtaining reprints of this article, please send e-mail to: firstname.lastname@example.org, and reference IEEECS Log Number 116821.
Gianfranco Ciardo received the PhD degree in computer science from Duke University, Durham, North Carolina, in 1989 and a Laurea degree in scienze dell' informazione from the University of Torino, Italy. He is a professor of computer science at the College of William and Mary, Williamsburg, Virginia. He has been a visiting professor at the University of Torino, Italy, and the Technical University of Berlin, Germany, and held research positions at HP Labs, Palo Alto, California; Software Productivity Consortium, Herndon, Virginia; and CSELT, Torino, Italy. He is active in both theoretical research and tool building for logic and stochastic analysis of discrete-state models; symbolic model checking; performance and reliability evaluation of complex hardware/software systems, in particular, clusters of web servers; and Petri nets and Markov models. Dr. Ciardo is on the editorial board of IEEE Transactions on Software Engineering and was a keynote speaker at PNPM '01. His conference involvement include being program cochair (in 1995 and 2003) of PNPM, organization chair (in 1999) of the International Conference on Application and Theory of Petri Nets (ICATPN), and vice program chair (in 2000) and vice general chair (in 1998) of the IEEE International Computer Performance and Dependability Symposium (IPDS). He is a member of ACM and a senior member of IEEE.
Reinhard German received the PhD degree in engineering and a Habilitation degree from this University. He is an associate professor of system simulation at the Institute for Computer Networks and Communication Systems in the Computer Science Department of the University of Erlangen-Nürnberg, Germany. Prior to this, he was with the Technische Universität Berlin, where he first received a doctoral fellowship from the German research council, then worked in a research project funded by Siemens München, and then was an assistant professor. In 1995, he visited the Performability Engineering Research Group at the University of Illinois at Urbana-Champaign. His research is focused on the performance and dependability evaluation of distributed and embedded systems, both model-based and measurement-based. Model-based methods include queuing systems, stochastic Petri nets, and simulation; special attention is given to the analysis of non-Markovian models. Measurement-based methods include hardware and software modifications of distributed systems for high-volume and high-resolution monitoring. He initiated the development of the stochastic Petri net modeling tool TimeNET and wrote a monograph entitled "Performance Analysis of Communication Systems: Modeling with Non-Markovian Stochastic Petri Nets."
Boudewijn R. Haverkort obtained an engineering and the PhD degree in computer science, both from the University of Twente, in 1986 and 1991, respectively. He has been a professor for performance evaluation and distributed systems in the Computer Science Department of the RWTH Aachen since 1995. Prior to this appointment, he was a lecturer in the Computer Science Department at the University of Twente in the Netherlands and a visiting researcher in the Teletraffic Research Centre at the University of Adelaide. His research interests emcompass model-based performance and dependability evaluation of computer-communication systems, model checking, parallel and distributed computing, communication systems, Web-based information systems and fault-tolerant computer systems; on these topics, he lectures both at the RWTH Aachen and in industry. He has published more than 75 papers in international journals and conference proceedings, edited several books and conference proceedings, wrote a monograph on model-based performance evaluation of computer and communication systems, and is the codeveloper of the software performance tools FiFiQueues, SPN2MGM, and PARSECS. He has been a senior member of the IEEE since 2001.