| 1992 | A timed LOTOS supporting a dense time domain and including new timed operators. | Guy Leduc, Luc Lonard |
| 1992 | Bundle event structures: a non-interleaving semantics for LOTOS. | Rom Langerak |
| 1992 | Test derivation for SDL based on ACTs. | Finn Kristoffersen, Louis Verhaard, Michael Zeeberg |
| 1992 | Protocol design using LOTOS: A critical synthesis of a standardization experience. | Harro Kremer, Jeroen van de Lagemaat, Axel Rennoch, Giuseppe Scollo |
| 1992 | Generating transition graphs from LOTOS specifications. | Gnter Karjoth |
| 1992 | Goal oriented execution for LOTOS. | Mazen Haj-Hussein, Luigi Logrippo, Jacques Sincennes |
| 1992 | Verification by consecutive projections. | Esfandiar Haghverdi, Kemal Inan |
| 1992 | A constraint-oriented real-time process calculus. | Colin J. Fidge |
| 1992 | Specification and implementation of an ISDN telephone system using LOTOS. | Patrik Ernberg, Thomas Hovander, Francisco Monfort |
| 1992 | Symbolic execution of LOTOS specifications. | Henk Eertink, Dietmar Wolz |
| 1992 | VEDA 2: Power to the protocol designers. | Laurent Doldi, P. Gauthier |
| 1992 | Queueing network model for Estelle. | Piotr Dembinski |
| 1992 | Formal specification in the development of industrial applications: Subway speed control system. | Clara DaSilva, Babak Dehbonei, Fernando Mejia |
| 1992 | A true concurrency semantics for LOTOS. | Rosvelter Joo Coelho da Costa, Jean-Pierre Courtiat |
| 1992 | An Experiment in Analyzing Switch Recovery Procedures. | David Cohen, Norman Dorn |
| 1992 | A method for specifying and validating communication protocols in LOTOS. | Francisco Javier Carrasco, J. J. Gil |
| 1992 | On improving reduced reachability analysis. | Leo Cacciari, Omar Rafiq |
| 1992 | Design of a formal Estelle semantics for verification. | Jan Bredereke, Reinhard Gotzhein, Friedrich H. Vogt |
| 1992 | Generality in design and compositional verification using TAV. | Anders Brjesson, Kim Guldstrand Larsen, Arne Skou |
| 1992 | The electric power of LOTOS - Results of a joint academic/industrial experiment. | Tommaso Bolognesi |
| 1992 | Combination of conformance and interoperability testing. | Noriyasu Arakawa, Marc Phalippou, Nathalie Risser, Terunao Soneoka |
| 1992 | Analyzing a space-protocol: from specification, simulation to experimentation. | Marc Andreu, Michle Haziza, Claude Jard, Jean-Marc Jzquel |
| 1992 | Formal methods for Actor systems: A progress report. | Gul Agha |
| 1991 | Fairness in LOTOS. | Cheng Wu, Gregor von Bochmann |
| 1991 | Specification of a Distributed Coordination Function in LOTOS. | Ing Widya, Franck Sadoun, Gert-Jan van der Heijden |