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)
|
