Floch, Jacqueline

 

Position : Research scientist at SINTEF

Phone : +47 73 59 30 12

Fax : +47 73 59 29 77

E-mail : Jacqueline.Floch a sintef.no


I successfully defended my doctoral thesis on June 23, 2003. My thesis work has been supervised by Rolv Bræk at the Department of Telematics at Norwegian University of Science and Technology (NTNU).

The title of my doctoral thesis is "Towards Plug-and-Play Services: Design and Validation using Roles".


Abstract

You will find an abstract og my thesis here.


Plug-and-play

My research work work in done in the frame of the Plug-and-play project. The vision of the project is a flexible plug-and-play concept for telecommunication services and networks. The goal is to simplify the installation, management, evolution and maintenance of various types of telecommunication equipement and services.


Defence


Publications

J. Floch and R. Bræk. "Using Projections for the Detection of Anomalous Behaviors". 11th International SDL Forum, Stuttgart, Germany, July 2003.

J. Floch and R. Bræk. "Using SDL for Modeling Behaviour Composition". 11th International SDL Forum, Stuttgart, Germany, July 2003.

J. Floch and R. Bræk. "A Validation Method Adapted to Dynamic Service Composition ". Norsk Informatikkonferanse NIK'2002, Konsberg, Norway, November 2002.

J. Floch and R. Bræk. "Towards PaP Services: Design and Validation Issues ". IFIP WG6.7 Workshop and EUNICE Summer School on Adaptable Networks and Teleservices, Trondheim, Norway, September 2002.

J. Floch and R. Bræk. "Towards dynamic composition of hybrid communication services". IFIP TC6/WG6.7 Sixth International Conference on Intelligence in Networks (SmartNet 2000), Vienna, Austria, September 2000.


Courses

Spring 1998:

  • 45931 Management architectures for telematics systems
  • 45938 Formal definition techniques for telematics systems II
  • Autumn 1998:

  • 45932 Telecommunication information networking architecture
  • 78904 Data base management systems 2
  • Spring 1999:

  • 45365 Dependability of telematics and computer systems
  • 78037 Basic components in distributed systems
  • 78905 Distributed database systems
  • Autumn 1999:

  • 78914 Distributed information systems
  • Spring 2000:

  • 45930 Protocols for cellular and wireless applications

  • Last updated: September 15, 2003