| 1995 | Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994 Dieter Hogrefe, Stefan Leue |
| 1994 | A modal based verification for LOTOS. Hacène Fouchal, Ana R. Cavalli |
| 1994 | A new approach to performance evaluation of formally specified protocols. Stefan Böhmer, Ralf Klafka |
| 1994 | A new distributed algorithm for implementation of LOTOS. Zixue Cheng, Tongjun Huang, Norio Shiratori |
| 1994 | A service request description language. Claudia Popien, Bernd Meyer |
| 1994 | A structural analysis approach to the evaluation of fault coverage for protocol conformance testing. Ming Yu Yao, Alexandre Petrenko, Gregor von Bochmann |
| 1994 | A synthesis algorithm of a protocol model from a single entity. Bhed Bahadur Bista, Zixue Cheng, Atsushi Togashi, Norio Shiratori |
| 1994 | An abstract interpreter for the specification language LOTOS. Franco Fiore, Fosca Giannotti |
| 1994 | An attempt to embed a restricted version of SDL as a target language in Focus. Eckhardt Holz, Ketil Stølen |
| 1994 | An improvement in formal verification. Gerard J. Holzmann, Doron A. Peled |
| 1994 | Application of protocol sythesis technique to resolution of the service interaction problem. Yoshiaki Kakuda, Hiroyuki Asada, Tohru Kikuno |
| 1994 | Automatic verification of real-time communicating systems by constraint-solving. Wang Yi, Paul Pettersson, Mats Daniels |
| 1994 | Delayed choice: an operator for joining Message Sequence Charts. Jos C. M. Baeten, Sjouke Mauw |
| 1994 | Derivation of efficient implementations from formal descriptions - issues, methods and conformance. H. Kremer |
| 1994 | Design of operating systems using the F.D.T. ESTELLE. Oliverio González, Victor G. García, Miguel Riesco, Enrique Vázquez |
| 1994 | FDT based development of an interworking unit between LANs and X.25 networks. Juan C. Yelmo, F. Javier Carrasco, Carlos Sánchez, Juan J. Gil, C. Ramos, M. I. Felipe |
| 1994 | Formal specification and analysis of an ISO communications protocol. J. R. Rowson |
| 1994 | Four issues concerning the semantics of Message Flow Graphs. Peter B. Ladkin, Stefan Leue |
| 1994 | How good is your specification method? Leslie Lamport |
| 1994 | Integrated analysis of concurrent distributed systems using Markovian process algebra. Marco Bernardo, Lorenzo Donatiello, Roberto Gorrieri |
| 1994 | Modelization and verification of a multiprocessor realtime OS kernel. Thierry Cattel |
| 1994 | Modelling techniques for evolving distributed applications. R. Sekar, Yow-Jian Lin, C. R. Ramakrishnan |
| 1994 | On the formal specification and verification of network routing algorithms. Jim Davies, Matt Wallis |
| 1994 | Proving performance propterties (even probabilistic ones). Nancy A. Lynch |
| 1994 | Proving the value of formal methods. Gerard J. Holzmann |
| 1994 | Reachable state space analysis of LOTOS specifications. Alain Kerbrat |
| 1994 | Relating maximality-based semantics to action refinement in process algebras. Jean-Pierre Courtiat, Djamel-Eddine Saïdouni |
| 1994 | Representation of process-gate nets in LOTOS and verification of LOTOS laws: the Boolean algebra approach. Pim Kars |
| 1994 | Semantic-oriented description techniques for network management information modelling. Deh-Min Wu |
| 1994 | Simulator for LOTOS to study the independence and causality of events. B. Botma, Rom Langerak |
| 1994 | Specification, detection and resolution of IN feature interactions with Estelle. Jan Bredereke, Reinhard Gotzhein |
| 1994 | Stepwise transformations for fault-tolerant design of CCS processes. Tomasz Janowski |
| 1994 | Stochastic process algebras: integrating qualitative and quantitative modelling. Jane Hillston, Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis, Michael Rettelbach |
| 1994 | Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling. Alessandro Fantechi, Stefania Gnesi, R. Sacchelli |
| 1994 | Test sequence generation using Estelle or SDL structure information. Marc Phalippou |
| 1994 | The formalization and analysis of CCR protocol and service. Bairong Zhang, Alistair Munro, Michael Barton |
| 1994 | Towards a formal computational model for distributed multimedia applications. Andreas Vogel |
| 1994 | Using formal specification and simulation: practical experience with distributed applications. Willem Hengeveld, Peter van der Toorn, Geert-Jan Houben |
| 1994 | Validation of supplementary services in the context of interoperability. S. Le Bricquir, A. Lauzanne |
| 1994 | Verification model reduction through abstractions. Jean-Charles Grégoire |
| 1994 | Verifying ET-LOTOS programmes with KRONOS. Conrado Daws, Alfredo Olivero, Sergio Yovine |
| 1994 | Verifying timing properties of concurrent algorithms. Victor Luchangco, Ekrem Söylemez, Stephen J. Garland, Nancy A. Lynch |
| 1994 | Visual animation of LOTOS using SOLVE. Kenneth J. Turner, Ashley McClenaghan |