default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th FORTE 1994: Berne, Switzerland
- Dieter Hogrefe, Stefan Leue:
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). FORTE 1994: 3-20
Part One - New Techniques
- Deh-Min Wu:
Semantic-oriented description techniques for network management information modelling. FORTE 1994: 23-36 - Claudia Popien, Bernd Meyer:
A service request description language. FORTE 1994: 37-52
Part Two - Applications
- Thierry Cattel:
Modelization and verification of a multiprocessor realtime OS kernel. FORTE 1994: 55-70 - Oliverio González, Victor G. García, Miguel Riesco, Enrique Vázquez:
Design of operating systems using the F.D.T. ESTELLE. FORTE 1994: 71-86 - Bairong Zhang, Alistair Munro, Michael Barton:
The formalization and analysis of CCR protocol and service. FORTE 1994: 87-99 - Jim Davies, Matt Wallis:
On the formal specification and verification of network routing algorithms. FORTE 1994: 100-115
Part Three - FDTs go Commercial
- S. Le Bricquir, A. Lauzanne:
Validation of supplementary services in the context of interoperability. FORTE 1994: 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. FORTE 1994: 135-150 - Willem Hengeveld, Peter van der Toorn, Geert-Jan Houben:
Using formal specification and simulation: practical experience with distributed applications. FORTE 1994: 151-162
Part Four - Verification
- Pim Kars:
Representation of process-gate nets in LOTOS and verification of LOTOS laws: the Boolean algebra approach. FORTE 1994: 165-180 - Alain Kerbrat:
Reachable state space analysis of LOTOS specifications. FORTE 1994: 181-196 - Gerard J. Holzmann, Doron A. Peled:
An improvement in formal verification. FORTE 1994: 197-211
Position Statements
- Hacène Fouchal, Ana R. Cavalli:
A modal based verification for LOTOS. FORTE 1994: 215-217 - Alessandro Fantechi, Stefania Gnesi, R. Sacchelli:
Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling. FORTE 1994: 218-220 - B. Botma, Rom Langerak:
Simulator for LOTOS to study the independence and causality of events. FORTE 1994: 221-223
Part Five - Verification and Real-Time
- Conrado Daws, Alfredo Olivero, Sergio Yovine:
Verifying ET-LOTOS programmes with KRONOS. FORTE 1994: 227-242 - Wang Yi, Paul Pettersson, Mats Daniels:
Automatic verification of real-time communicating systems by constraint-solving. FORTE 1994: 243-258 - Victor Luchangco, Ekrem Söylemez, Stephen J. Garland, Nancy A. Lynch:
Verifying timing properties of concurrent algorithms. FORTE 1994: 259-273
Position Statements
- J. R. Rowson:
Formal specification and analysis of an ISO communications protocol. FORTE 1994: 277-279 - Jean-Charles Grégoire:
Verification model reduction through abstractions. FORTE 1994: 280-282 - Kenneth J. Turner, Ashley McClenaghan:
Visual animation of LOTOS using SOLVE. FORTE 1994: 283-285
Invited Talk
- Leslie Lamport:
How good is your specification method? FORTE 1994: 289
Part Six - Semantics
- Jean-Pierre Courtiat, Djamel-Eddine Saïdouni:
Relating maximality-based semantics to action refinement in process algebras. FORTE 1994: 293-308 - Franco Fiore, Fosca Giannotti:
An abstract interpreter for the specification language LOTOS. FORTE 1994: 309-323 - Eckhardt Holz, Ketil Stølen:
An attempt to embed a restricted version of SDL as a target language in Focus. FORTE 1994: 324-339 - Jos C. M. Baeten, Sjouke Mauw:
Delayed choice: an operator for joining Message Sequence Charts. FORTE 1994: 340-354 - Peter B. Ladkin, Stefan Leue:
Four issues concerning the semantics of Message Flow Graphs. FORTE 1994: 355-369
Position Statements
- Andreas Vogel:
Towards a formal computational model for distributed multimedia applications. FORTE 1994: 373-375 - Jan Bredereke, Reinhard Gotzhein:
Specification, detection and resolution of IN feature interactions with Estelle. FORTE 1994: 376-378 - Yoshiaki Kakuda, Hiroyuki Asada, Tohru Kikuno:
Application of protocol sythesis technique to resolution of the service interaction problem. FORTE 1994: 379-381
Invited Talk
- Gerard J. Holzmann:
Proving the value of formal methods. FORTE 1994: 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. FORTE 1994: 399-414 - Marc Phalippou:
Test sequence generation using Estelle or SDL structure information. FORTE 1994: 415-430 - H. Kremer:
Derivation of efficient implementations from formal descriptions - issues, methods and conformance. FORTE 1994: 431-446
Position Statements
- Jane Hillston, Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis, Michael Rettelbach:
Stochastic process algebras: integrating qualitative and quantitative modelling. FORTE 1994: 449-451 - Stefan Böhmer, Ralf Klafka:
A new approach to performance evaluation of formally specified protocols. FORTE 1994: 452-454 - Marco Bernardo, Lorenzo Donatiello, Roberto Gorrieri:
Integrated analysis of concurrent distributed systems using Markovian process algebra. FORTE 1994: 455-457
Part Eight - Refinement
- R. Sekar, Yow-Jian Lin, C. R. Ramakrishnan:
Modelling techniques for evolving distributed applications. FORTE 1994: 461-476 - Bhed Bahadur Bista, Zixue Cheng, Atsushi Togashi, Norio Shiratori:
A synthesis algorithm of a protocol model from a single entity. FORTE 1994: 477-492 - Zixue Cheng, Tongjun Huang, Norio Shiratori:
A new distributed algorithm for implementation of LOTOS. FORTE 1994: 493-504 - Tomasz Janowski:
Stepwise transformations for fault-tolerant design of CCS processes. FORTE 1994: 505-520
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-28 22:42 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
