Protocol Specification, Testing and Verification, XIII (table of contents)
ULg Protocol Specification, Testing and Verification, XIII RUN
Table of Contents


Home

People

Research Topics

Projects

Publications

IFIP WG 6.1

Events and Conferences

CSS

How to Reach Us


Session A: Support for Protocol Engineering with Lotos

* VLib: Infinite virtual libraries for LOTOS
Charles Pecheur
University of Liège, Institut d'Electricité Montefiore B28, B-4000 Liège 1, Belgium
Keywords: Programming Languages, Languages Constructs and Features, Processors.
Read the abstract, download the PS document , or the (gzip) compressed PS document.
* Goal-driven LOTOS execution
E. Brinksma, H. Eertink
Tele-informatics and Open System Group University of Twente, Department of Computer Science
* Dynamic State Machines with Multiway Synchronization, Channels, and shared Variables
G. Karjoth IBM Research Division, Zurich Research Laboratory, 8803 Ruschlikon, Switzerland

Session B: Verification Methods and Tools

* A Verification Tool for Value-Passing Processes
H. Lin
Computer Science, University of Sussex, England
* A Validation Environment for LOTOS
B. Ghribi, L. Logrippo
University of Ottawa, Computer Science Department, Telecommunications Software Engineering Research Group Ottawa, Ontario, Canada, K1N 6N5
* On the Verification of Temporal Properties
P. Godefroid(1), G. Holzmann(2)
(1) University of Liège, Institut d'Electricité Montefiore B28, B-4000 Liège Sart-Tilman, Belgium (2) AT&T Bell Laboratories, 600 Moutain Avenue, Murray Hill, NJ 07974, U.S.A.

Session C: Time and Probabilities in Formal Design

* Multimedia in Temporal LOTOS: a Lip-Synchronization Algorithm
T. Regan
Software and Systems Modelling, BT Labs, IPSWICH, Suffolk. IP5 7RE England
* Specification of Real-Time Probabilistic Behaviour
M. Fang, C. Ho-Stuart, H. Zedan
Formal Systems Research Group, Department of Computer Scinece, University of York, Heslington, York Y01 5DD, England
* Semi-Markovian Analysis of Protocol Performance
P. Kritzinger, G. Wheeler
Data Network Architectures Laboratory, University of Cape Town, Private Bag, Rondebosch, 7700 SOUTH AFRICA

Session D: Application of Formal Methods to Real Protocol Case Studies

* Formal Description Techniques at Work: An ISDN Q.931 Implementation Using LOTOS
A. Azcorra, E. Vazquez, M. Alvarez-Campana, J. Vinyes
Departmento de Ingeniera de Sistemas Telematicos ETS Ing. de Telecomunicacion, Univerdad Politecnica de Madrid, 28040 Madrid, Spain
* Formal specification, validation and performance evaluation of the Xpress Transfer Protocol
S. Budkowski, B. Alkhechi, M. Benalycherif, P. Dembinski, M. Gardie, E. Lallet, J. Mouchel La Fosse, Y. Souissi
Institut national des Télécommunications (INT), Systems and Networks Department, 91011 Evry, FRANCE
* An Evolutionary Approach to the Development of Complex Protocol Standards
C. Andrae(1), R. Gotzhein(1), S. Sedillot(2)
(1) Universitat Hamburg, Fachbereich INformatik, Arbeitsbereich RO Vogt-Kolln-Str. 30, D-2000 Hamburg 54 (2) INRIA Rocquencourt, Domaine de Voluceau, B.P. 105, F-78153 Le Chesnay, CEDEX, France
* Assessement of ESTELLE and EDT through Real Case Studies
S. Haddad(1), M. Taghelit(2), B. Zouari(1)
(1) Université Pierre et Marie Curie, MASI UA-CNRS 4, Place Jussieu, 75252 Paris Cedex 05, France (2) Université de Tours, Faculté des Sciences et Techniques Parc de Grandmont, 37200 Tours, France

Session E: Conformance test Generation and Coverage

* Conformance Testing of Protocol Machines without Reset
M. Yao, A. Petrenko, G. Bochmann
Département d'informatique et de recherche opérationelle, Université de Montréal, CP.6128, Succ. "A", Montéral (québec), Canada H3C 3J7.
* Refusal graphs for conformance tester generation and simplification: a computational framework
K. Drira, P. Azema, F. Vernadat
LAAS-CNRS, 7 Av. Colonel Roche 31077 Toulouse Cedex FRANCE
* Automated Generation of Test Purposes for the OSI Distributed Transaction Processing Protocol
R. Barker, F. Brady
National Physical Laboratory, Queens Road, Teddington, Middlesex, UK, TW11 OLW
* A Metric Based Theory of Test Selection and Coverage
J. Alilovic-Curgus, S. Vuong
Department of Computer Science, University of British Colombia, Vancouver, British Colombia, Canada, V6T 1Z2.

Session F: Methods for Synthesising and Transforming Formal Descriptions

* Synthesis of protocols and protocol converters using the Submodule construction approach
S. Kelekar, G. Hart
Department of Electrical Engineering and Center for Telecommunication Research, Columbia University, New-York, NY, 10027, USA
* Specifying and Proving Communication Closedness in Protocols
W. Janssen, J. Zwiers
University of Twente, Department of Computer Science, P.O. Box 217, 7500 AE Enschede, The Netherlands
* Action Refinement in LOTOS
J. Courtiat, D. Saidouni
LAAS-CNRS, 7 Av. du colonel Roche, 31077 Toulouse Cedex (France)

[ Home | People | Research Topics | Projects | Publications | IFIP WG 6.1 | Events and Conferences | CSS | How to Reach Us ]

Editor: - G. Leduc -
Webmaster: - C. Soldani -
Still running IPv4 at: 54.146.50.80... RUN | Montefiore | ULg
© 2000-2015.