7. FORTE 1994: Berne, Switzerland

Dieter Hogrefe, Stefan Leue (Eds.): Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994. IFIP Conference Proceedings 6 Chapman & Hall 1995, ISBN 0-412-64450-9

Nancy A. Lynch: Proving performance propterties (even probabilistic ones). 3-20

Part One - New Techniques

Deh-Min Wu: Semantic-oriented description techniques for network management information modelling. 23-36
Claudia Popien, Bernd Meyer: A service request description language. 37-52

Part Two - Applications

Thierry Cattel: Modelization and verification of a multiprocessor realtime OS kernel. 55-70
O. González, V. G. García, M. Riesco, Enrique Vázquez: Design of operating systems using the F.D.T. ESTELLE. 71-86
Bairong Zhang, Alistair Munro, Michael Barton: The formalization and analysis of CCR protocol and service. 87-99
Jim Davies, Matt Wallis: On the formal specification and verification of network routing algorithms. 100-115

Part Three - FDTs go Commercial

S. Le Bricquir, A. Lauzanne: Validation of supplementary services in the context of interoperability. 119-134
Juan C. Yelmo, F. Javier Carrasco, Carlos Sánchez, Juan J. Gil, C. Ramos, M. I. Felipe: FDT based development of an interworking unit between LANs and X.25 networks. 135-150
Willem Hengeveld, Peter van der Toorn, Geert-Jan Houben: Using formal specification and simulation: practical experience with distributed applications. 151-162

Part Four - Verification

Pim Kars: Representation of process-gate nets in LOTOS and verification of LOTOS laws: the Boolean algebra approach. 165-180
Alain Kerbrat: Reachable state space analysis of LOTOS specifications. 181-196
Gerard J. Holzmann, Doron Peled: An improvement in formal verification. 197-211

Position Statements

Hacène Fouchal, Ana R. Cavalli: A modal based verification for LOTOS. 215-217
Alessandro Fantechi, Stefania Gnesi, R. Sacchelli: Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling. 218-220
B. Botma, Rom Langerak: Simulator for LOTOS to study the independence and causality of events. 221-223

Part Five - Verification and Real-Time

Conrado Daws, Alfredo Olivero, Sergio Yovine: Verifying ET-LOTOS programmes with KRONOS. 227-242
Wang Yi, Paul Pettersson, Mats Daniels: Automatic verification of real-time communicating systems by constraint-solving. 243-258
Victor Luchangco, Ekrem Söylemez, Stephen J. Garland, Nancy A. Lynch: Verifying timing properties of concurrent algorithms. 259-273

Position Statements

J. R. Rowson: Formal specification and analysis of an ISO communications protocol. 277-279
Jean-Charles Grégoire: Verification model reduction through abstractions. 280-282
Kenneth J. Turner, Ashley McClenaghan: Visual animation of LOTOS using SOLVE. 283-285

Invited Talk

Leslie Lamport: How good is your specification method? 289

Part Six - Semantics

Jean-Pierre Courtiat, Djamel-Eddine Saïdouni: Relating maximality-based semantics to action refinement in process algebras. 293-308
Franco Fiore, Fosca Giannotti: An abstract interpreter for the specification language LOTOS. 309-323
Eckhardt Holz, Ketil Stølen: An attempt to embed a restricted version of SDL as a target language in Focus. 324-339
Jos C. M. Baeten, Sjouke Mauw: Delayed choice: an operator for joining Message Sequence Charts. 340-354
Peter B. Ladkin, Stefan Leue: Four issues concerning the semantics of Message Flow Graphs. 355-369

Position Statements

Andreas Vogel: Towards a formal computational model for distributed multimedia applications. 373-375
Jan Bredereke, Reinhard Gotzhein: Specification, detection and resolution of IN feature interactions with Estelle. 376-378
Yoshiaki Kakuda, Hiroyuki Asada, Tohru Kikuno: Application of protocol sythesis technique to resolution of the service interaction problem. 379-381

Invited Talk

Gerard J. Holzmann: Proving the value of formal methods. 385-396

Part Seven - Testing and Performance

Ming Yu Yao, Alexandre Petrenko, Gregor von Bochmann: A structural analysis approach to the evaluation of fault coverage for protocol conformance testing. 399-414
Marc Phalippou: Test sequence generation using Estelle or SDL structure information. 415-430
H. Kremer: Derivation of efficient implementations from formal descriptions - issues, methods and conformance. 431-446

Position Statements

Jane Hillston, Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis, Michael Rettelbach: Stochastic process algebras: integrating qualitative and quantitative modelling. 449-451
Stefan Böhmer, Ralf Klafka: A new approach to performance evaluation of formally specified protocols. 452-454
Marco Bernardo, Lorenzo Donatiello, Roberto Gorrieri: Integrated analysis of concurrent distributed systems using Markovian process algebra. 455-457

Part Eight - Refinement

R. C. Sekar, Yow-Jian Lin, C. R. Ramakrishnan: Modelling techniques for evolving distributed applications. 461-476
Bhed Bahadur Bista, Zixue Cheng, Atsushi Togashi, Norio Shiratori: A synthesis algorithm of a protocol model from a single entity. 477-492
Zixue Cheng, Tongjun Huang, Norio Shiratori: A new distributed algorithm for implementation of LOTOS. 493-504
Tomasz Janowski: Stepwise transformations for fault-tolerant design of CCS processes. 505-520

Last update Fri May 24 02:34:38 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page