français | english		EPFL > people@EPFL > Claude Petitpierre login

Full Professor IC ISIM LTI Full Professor IC IC-SIN SIN-ENS

Claude Petitpierre Professor PhD (EPFL, 1984) office(s): INN314 phone(s): [+41 21 69] 32650,34655 fax: +41 21 693 66 00 BIOGRAPHY Claude Petitpierre has received his diploma of Electrical Engineer in 1972 from EPFL. He spent the next 5 years in the industry, where he participated in the development of realtime cement plant control. He went back to EPFL, obtained the title of Doctor in 1984 and then spent one year (1985-1986) at the AT&T Bell Labs in Holmdel. He was appointed professor in 1987. He is interested in the theories and techniques that can support the development of complete and reliable software products and in the formal modeling and analysis theories. The work pursued in his laboratory led to the development of a parsimonious superset of Java, supporting concurrency with a concept close to the one provided by formal languages such as CCS or CSP. He is currently devising a development environment that supports the creation of J2EE application in the frame of software engineering. Claude Petitpierre is also interested in computer aided teaching. He has developed a computer aided programming course that has been used by first year students. MAIN PUBLICATIONS J.-P. Hubaux, C. Gbaguidi, S. Koppenhoefer, and J.-Y. Le Boudec. The Impact of the Internet on Telecommunication Architectures. Computer Networks and ISDN Systems, Special Issue on Internet Telephony, 31(3):257-73, 1999. [ DOI | Details | Full Text ] A. Naumenko. Some recommendations on building proxy caching service. In AACE, WebNet 98 - World Conference of the WWW, Internet and Intranet, pages 682-687, 1998. [ Details | Full Text ] H. J. Einsiedler and P. Hurley. Link Weighting: An Important Basis for Charging in the Internet. Technical report, 1998. [ Details | Full Text ] J.-Y. Le Boudec. Application of Network Calculus To Guaranteed Service Networks. IEEE Transactions on Information Theory, 44(3):1087, 1998. [ DOI | Details | Full Text ] J.-Y. Le Boudec and P. Thiran. Network Calculus viewed as a Min-plus System Theory. Technical report, 1998. [ Details ] J.-Y. Le Boudec and P. Thiran. A note on Time and Space Methods in Network Calculus. In International Zurich Seminar on Broadband Communications, pages 267-272, 1998. [ Details | Full Text ] W. Almesberger, S. Giordano, and J.-Y. Le Boudec. Quality of Service Renegotiations. In SPIE VVDC, 1998. [ Details | Full Text ] W. Almesberger, S. Giordano, J.-Y. Le Boudec, L. Chandran-Wadia, and R. Schmid. Using Quality of Service can be simple: Arequipa with Renegotiable ATM connections. Computer Networks and ISDN Systems, 1998. [ DOI | Details ] S. Giordano, R. Schmid, R. Beeler, H. Flinck, and J.-Y. Le Boudec. IP and ATM - current evolution for integrated services. In INTERWORKING98, page 50, 1998. [ Details | Full Text ] W. Almesberger, T. Ferrari, and J.-Y. Le Boudec. SRP: a Scalable Resource Reservation Protocol for the Internet. Computer Communications, Vol 21 Number 14(Special issue on `Multimedia networking`):1200-1211, 1998. [ DOI | Details | Full Text ] O. Crochat and J.-Y. Le Boudec. Design Protection for WDM Optical Networks. IEEE Journal of Selected Areas in Communication, 1998. [ DOI | Details | Full Text ] S. Staamann, U. Wilhelm, and L. Buttyan. Security in TINA. In IFIP-SEC`98, 1998. [ Details | Full Text ] L. Buttyan, S. Staamann, and U. Wilhelm. A Simple Logic for Authentication Protocol Design. In IEEE Computer Security Foundations Workshop, pages 153-162, 1998. [ Details | Full Text ] C. Gbaguidi, S. Staamann, U. Wilhelm, and L. Buttyan. A Note on an Authentication Technique Based on Distributed Security Management for the Global Mobility Network. Technical report, 1998. [ Details | Full Text ] U. Wilhelm, S. Staamann, and L. Buttyan. On the Problem of Trust in Mobile Agent Systems. In Internet Society`s Symposium on Network and Distributed System Security, 1998. [ Details | Full Text ] S. Staamann, U. Wilhelm, and L. Buttyan. CrySTINA: Security in the Telecommunications Information Networking Architecture. Technical report, 1998. [ Details | Full Text ] X. Garcia and O. Verscheure. New Network and ATM Adaptation Layers for Interactive MPEG-2 Video Communications: A Performance Study Based on Psychophysics. Interoperable Communication Networks, 1(1):145-178, 1998. [ DOI | Details | Full Text ] X. Garcia. Designing New Network Adaptation and ATM Adaptation Layers for Interactive Multimedia Applications. PhD thesis, 1998. [ Details | Full Text ] T. Kurz, J.-Y. Le Boudec, and H. Einsiedler. Realizing the Benefits of Virtual LANs by Using IPv6. In 1998 International Zurich Seminar on Braodband Communications, pages 279-283, 1998. [ Details | Full Text ] C. Gbaguidi, S. Znaty, and J.-P. Hubaux. Multimedia resources: An information model and its application to an MPEG2 video codec. Journal of Network and Systems Management, Special Issue on Network Management Information Modelling, 6(3):313-31, 1998. [ DOI | Details | Full Text ] X. Logean, F. Dietrich, J. Hubaux, and J.-P. Hubaux. TINA Service Validation: The ErnesTINA project. In IEEE ICC`98, 1998. [ Details | Full Text ] E. Pierre-Alain, J.-P. Hubaux, and X. Logean. Service Specification and Validation for the Intelligent Network. Interoperable Communication Networks (ICON), ed. Dr. Sathya Rao, Balzer Science Publishers (ISSN 13859501), 1(1):41-69, 1998. [ DOI | Details ] F. Dietrich, X. Logean, S. Koppenhoefer, and J.-P. Hubaux. Modelling and Testing Object-Oriented Distributed Systems with Linear-time Temporal Logic. Technical report, 1998. [ Details ] R. Noro and J.-P. Hubaux. Clock Synchronization of MPEG-2 Services over Packet Networks. Technical report, 1998. [ Details ] G. Genilloud. Common Domain Objects in the RM-ODP Viewpoints. Computer Standards and Interfaces, 19(7):361-374, 1998. [ DOI | Details ] J. W. Roberts and M. Hamdi. Video Transport in ATM Networks. Journal on Interoperable Communication Networks. BALTZER SCIENCE., 1(1):121-143, 1998. [ DOI | Details | Full Text ] E. Biersack and M. Hamdi. Cost-optimal Data Retrieval for Video Servers with Variable Bit Rate Video Streams. In IEEE Workshop NOSSDAV`98, 1998. [ Details ] A. Ibrahim and M. Hamdi. Efficient Admission Control for Real-Time MPEG-2 VBR Video Sources. In IEEE LANMAN`98, 1998. [ Details ] A. Ibrahim and M. Hamdi. Rate Shaping for Efficient Admission Control of Real-Time Video Sources. In ICAST`98, 1998. [ Details ] J. Armitage, O. Crochat, and J.-Y. Le Boudec. Design of a Survivable WDM Photonic Network. In INFOCOM´97, 1997. [ Details | Full Text ] P. Oechslin, W. Almesberger, and J.-Y. Le Boudec. Arequipa: TCP/IP over ATM with QoS ... for the impatient. Technical report, 1997. [ Details | Full Text ] W. Almesberger, J.-Y. Le Boudec, and T. Ferrari. Scalable Resource Reservation for the Internet. Technical report, 1997. [ Details ] W. Almesberger, T. Ferrari, and J.-Y. Le Boudec. Scalable Resource Reservation for the Internet. In PROMSMmNet´97, pages 18-27, 1997. [ Details ] J.-Y. Le Boudec. A CAC algorithm for VBR Connections over a VBR Trunk. In ITC15, pages 59-70, 1997. [ Details | Full Text ] L. Blazevic and E. Gauthier. A Distributed and Robust Election Protocol using Multicast IP. Technical report, 1997. [ Details ] C. Mas, J. Y. Le Boudec, and J.-Y. Le Boudec. An Alarm Filtering Algorithm For Optical Communication Networks. In MMNS97, pages 205-218, 1997. [ Details | Full Text ] C. Mas, J. Y. Le Boudec, and J.-Y. Le Boudec. An Alarm Filtering Algorithm for Optical Communication Networks. Technical report, 1997. [ Details | Full Text ] A. Ziedins, S. Giordano, J.-Y. Le Boudec, and P. Thiran. Multiplexing of heterogeneous VBR connections over a VBR trunk. Technical report, 1997. [ Details | Full Text ] E. Gauthier, J. Y. Le Boudec, P. Oechslin, and J.-Y. Le Boudec. SMART: A Many-to-Many Multicast Protocol for ATM. IEEE Journal on Selected Areas in Communications, 15(3):458-472, 1997. [ DOI | Details | Full Text ] S. Giordano, R. Schmid, R. Beeler, H. Flinck, and J.-Y. Le Boudec. IP and ATM - a position paper. In EXPERT ATM Traffic Symposium 1997, page 40, 1997. [ Details ] S. Aalto and S. Giordano. Virtual Trunk Simulation. In EXPERT ATM Traffic Symposium 1997, page 10, 1997. [ Details | Full Text ] W. Almesberger. ATM on Linux - The 3rd year. In 4th International Linux Kongress 1997, 1997. [ Details | Full Text ] S. Sasyan, S. Wright, and W. Almesberger. Quality of Service (QoS) in Communication APIs. In IWQoS`97, 1997. [ Details | Full Text ] J.-Y. Le Boudec. Network Calculus, Deterministic Effective Bandwidth and VBR trunks. In Globecom, 1997. [ Details ] J.-P. Martin-Flatin. Annotated Typology of Distributed Network Management Paradigms. Technical report, 1997. [ Details | Full Text ] J.-P. Martin-Flatin and S. Znaty. A Simple Typology of Distributed Network Management Paradigms. In the 8th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM`97), pages 13-24, 1997. [ Details | Full Text ] S. Staamann, U. Wilhelm, A. Schiper, L. Buttyan, and J.-P. Hubaux. Security in the Telecommunication Information Networking Architecture - the CrySTINA Approach. In TINA`97, 1997. [ Details | Full Text ] S. Staamann, U. Wilhelm, A. Schiper, L. Buttyan, and J.-P. Hubaux. Security in the Telecommunication Information Networking Architecture - the CrySTINA Approach. Technical report, 1997. [ Details | Full Text ] F. Dietrich, X. Logean, and J.-P. Hubaux. Testing Temporal Logic Properties in Distributed Systems. Technical report, 1997. [ Details ] C. Gbaguidi, O. Verscheure, and J.-P. Hubaux. A new flexible and modular QoS mapping framework based on psychophysics. In IFIP/IEEE International Conference on Management of Multimedia Networks and Services (MMNS), pages 67-80, 1997. [ Details | Full Text ] X. Logean, S. Znaty, and J.-P. Hubaux. A method to ease creation of telecommunications services based on a Generic Component Model. In IEEE GLOBECOM`97, 1997. [ Details | Full Text ] X. Logean, J.-P. Hubaux, and S. Znaty. A Generic Component Model for the Design of Future Telecommunication Services. In MMNS`97 (Management of Multimedia Network and Systems), 1997. [ Details ] X. Logean, F. Dietrich, and J.-P. Hubaux. TINA Service Validation: The ErnesTINA project. Technical report, 1997. [ Details ] R. Noro, J.-P. Hubaux, R. Meuli, R. Laurini, and R. Patthey. Real-Time Telediagnosis of Radiological Images through an Asynchronous Transfer Mode network: The ARTeMeD Project. Journal of Digital Imaging, 10(3):116-121, 1997. [ DOI | Details | Full Text ] R. Noro and J.-P. Hubaux. Improving Clock Synchronization for MPEG-2 Services over ATM Networks. In Interactive Distributed Multimedia Systems and Telecommunication Services, pages 176-188, 1997. [ Details | Full Text ] R. Noro and J.-P. Hubaux. Remote Inspection of Medical Images through High-Speed Networks. Technical report, 1997. [ Details | Full Text ] T. Kurz, H. Einsiedler, and J.-Y. Le Boudec. IPv6 & IPv4 potential for VLANs. In Next Generation Internet `97, pages 1-9, 1997. [ Details ] O. Verscheure, P. Chabloz, and J.-P. Hubaux. A Flexible Rate Control Mechanism for Interactive MPEG-2 Video Services over ATM Networks. In International Workshop on Audio-Visual Services over Packet Networks (AVSPN), 1997. [ Details ] O. Verscheure and C. van den Branden Lambrecht. Adaptive Quantization Using a Perceptual Visibility Predictor. In International Conference on Image Processing (ICIP), 1997. [ Details | Full Text ] M. Hamdi, J. W. Roberts, and P. Rolini. Rate Control for VBR Video Coders in Broadband Networks. IEEE Journal on Selected Areas in Communications, 15(6):1040-1051, 1997. [ DOI | Details | Full Text ] A. Ibrahim and M. Hamdi. Impacts of Scalable Video Coding on Channel Utilization. In IFIP ICCC`97, 1997. [ Details ] P. Droz and J.-Y. Le Boudec. A High-Speed Self-Similar ATM VBR Traffic Generator. In Globecom96, 1996. [ Details | Full Text ] S. Giordano, J.-Y. Le Boudec, P. Oechslin, and S. Robert. VBR over VBR: the Homogeneous, Loss-free Case. In INFOCOM´97, 1996. [ Details | Full Text ] O. Crochat, J. Y. Le Boudec, T. Przygienda, and J.-Y. Le Boudec. A Path Selection Method in ATM using Pre-Computation. In IZS´96, 1996. [ Details | Full Text ] E. Gauthier and J.-Y. Le Boudec. Scalability Enhancements for Connection-Oriented Networks. In IZS`96, pages 27-38, 1996. [ Details | Full Text ] W. Almesberger. Linux ATM API, version 0.3. Technical report, 1996. [ Details ] W. Almesberger. Linux ATM device driver interface, version 0.1. Technical report, 1996. [ Details ] E. Gauthier, J. Y. Le Boudec, P. Oechslin, and J.-Y. Le Boudec. Shared Access to Many-to-Many ATM Connections. In IEEE GLOBECOM`96, 1996. [ Details | Full Text ] E. Gauthier, J. Y. Le Boudec, P. Oechslin, and J.-Y. Le Boudec. Shared Many-to-Many ATM Reservations. In IEEE ATM`96 Workshop, 1996. [ Details ] W. Almesberger, J. Y. Le Boudec, P. Oechslin, and J.-Y. Le Boudec. Application Requested IP over ATM (Arequipa) and its use in the Web. In Global Information Infrastructure (GII) Evolution, pages 252-260, 1996. [ Details | Full Text ] W. Almesberger. Cryptographic Authentication of Responses in ATM Traffic Control Protocols. In Globecom `96, pages vol. 3, pp. 2128-2132, 1996. [ Details | Full Text ] W. Almesberger. ATM on Linux. In 3rd International Linux Kongress 1996, 1996. [ Details | Full Text ] X. Garcia and T. Stock. On the potential of forward error correction mechanisms applied to real-time services carried over B-ISDN. In International Zurich Seminar, 1996. [ Details ] X. Garcia, A. Basso, and J.-P. Hubaux. Study of AAL5 and a New AAL Segmentation Mechanism for MPEG-2 Video over ATM. In 7th International Workshop on Packet Video, 1996. [ Details ] O. Verscheure and X. Garcia. Perceptual Quality Metric as a Performance Tool for ATM Adaptation of MPEG-2 Based Multimedia Applications. In EUNICE Summer School, 1996. [ Details | Full Text ] X. Garcia, O. Verscheure, and J.-P. Hubaux. New Network and ATM Adaptation Layers for Real-Time Multimedia Applications: A Performance Study Based on Psychophysics. In COST 237 Workshop, 1996. [ Details | Full Text ] C. Gbaguidi, S. Znaty, and J.-P. Hubaux. Service Management: From definition to information modeling. In IEEE GLOBECOM, 1996. [ Details | Full Text ] X. Logean. Improving Confidence in Service Implementation in an Intelligent Network. In EUNICE`96, 1996. [ Details ] C. Gbaguidi, S. Znaty, J.-P. Hubaux, and O. Verscheure. Management of multimedia resources: from a generic information model to its application to an MPEG2 video codec. In IFIP/ICCC Int`l Conf. on Information Network and Data Communication (INDC), pages 441-57, 1996. [ Details | Full Text ] C. Gbaguidi. Towards an Integrated Resource Management Framework: A Challenge for the Future Multimedia Services. In EUNiCE Summer School on Telecommunication Services, 1996. [ Details ] O. Verscheure, R. Noro, J.-P. Hubaux, B. Andrea, R. Meuli, R. Laurini, and R. Patthey. A Multimedia Architecture for Medical Tele-Imaging over ATM. In Computer Assisted Radiology, pages 519-524, 1996. [ Details | Full Text ] R. Noro. Un mécanisme distribué de synchronisation appliqué à un cas de téléconsultation. In Journees Doctorales Informatique et Reseau, pages 2/9-13, 1996. [ Details | Full Text ] C. van den Branden Lambrecht and O. Verscheure. Perceptual Quality Measure using a Spatio-Temporal Model of the Human Visual System. In IS&T/SPIE, 1996. [ Details ] O. Verscheure, A. Basso, M. El-Maliki, and J.-P. Hubaux. Perceptual Bit Allocation for MPEG-2 CBR Video Coding. In International Conference on Image Processing (ICIP), 1996. [ Details | Full Text ] O. Verscheure and J.-P. Hubaux. Perceptual Video Quality and Activity Metrics : Optimization of Video Services based on MPEG-2 encoding. In Third COST 237 International Workshop on Multimedia Telecommunications and Applications, 1996. [ Details ] X. Garcia and O. Verscheure. Application d`une Mesure de Qualite Video Perceptive a l`Analyse des Performances de AAL5 et d`une Nouvelle AAL sur des Flux Video MPEG-2. In Journees Doctorales en Informatique et Reseaux, 1996. [ Details ] P. Oechslin and J.-Y. Le Boudec. Guaranteeing Quality of Service for the Web using ATM. Technical report, 1995. [ Details | Full Text ] W. Almesberger, E. Gauthier, J. Y. Le Boudec, P. Oechslin, and J.-Y. Le Boudec. Guaranteeing Quality of Service for the Web using Application REQUested IP over ATM. Technical report, 1995. [ Details | Full Text ] J.-Y. Le Boudec. WWW over ATM: Issues and Prospects. In Interop 95, 1995. [ Details ] S. Robert and J.-Y. Le Boudec. A Markov Modulated Process for Self-Similar Traffic. 1995. [ Details | Full Text ] E. Gauthier, S. Giordano, and J.-Y. Le Boudec. Reduce Connection Awareness. In Second Internation Workshop on Architecture and Protocols for High Performance Networks, pages 25-43, 1995. [ Details | Full Text ] S. Manthorpe, I. Norros, and J.-Y. Le Boudec. The Self-Similarity of TCP Traffic: first results. In COST 242 Management Committee meeting, 1995. [ Details | Full Text ] T. Przygienda and J.-Y. Le Boudec. A Route Pre-Computation Algorithm for Integrated Services Networks. Technical report, 1995. [ Details | Full Text ] W. Almesberger. High-speed ATM networking on low-end computer systems. Technical report, 1995. [ Details ] C. Gbaguidi, S. Znaty, and J.-P. Hubaux. A generic service management architecture for multimedia multipoint communications. In IFIP Conference on Intelligent Networks and New Technologies ( IFIP IN), pages 252-64, 1995. [ Details | Full Text ] X. Logean, S. Znaty, and B. Dufresne. Teleteaching over Broadband Networks: The BETEUS project. In Virtual Mobility Workshop, 1995. [ Details ] G. Jean-Paul, J. Meinkoehn, and C. Gbaguidi. VPN on DCE: From Reference Configuration to Implementation. In Third International Conference on Intelligence in Broadband Services and Networks (IS, pages 249-60, 1995. [ Details ] S. Manthorpe and X. Garcia. Shaper Dimensioning for MAN to ATM based WAN. Technical report, 1994. [ Details ] J.-Y. Le Boudec. Aspects of ATM for Data Acquisition Systems. Technical report, 1994. [ Details ] S. Manthorpe. Shaper Dimensioning for MAN to ATM based WAN. In Interop94 Engineers´ Conference, 1994. [ Details ] CURRENT WORK WebLang: This is a language in which developers can very quickly create the prototype of a Web Applications based on J2EE (database, user interfaces, business layer...) Synchronous Objects: An original concept for handling multiprocessing and based on a concept of active objects e-learning: Programming tutorial (in French) TEACHING Internet Programming This course presents most components of the J2EE environment (servlets, Struts, persistent objects, queues, clients) with the help of a simple language, WebLang. Software Engineering The students, among groups of 5 students, use the environment described above to design and realize realistic applications such as a stock exchange (customers handle portofolios in the bank and negotiate shares in a stock exchange) or a realtime distributed monopoly game with database, thin and rich clients.

Skills Realtime Programming, Software Engineering, Web Applications Teaching Computer Science Information technology project [fr] (SSC SIN) Phd programs Computer, Communication and Information Sciences Phd Students Bajic Biljana Mirghasemi Salman