| 1999 | Algebraic Aspects of the Mapping between Abstract Syntax Notation One and CORBA IDL. | Radu Ocica, Dan Ionescu |
| 1999 | Using Algebraic Specification Techniques in Development of Object-Oriented Frameworks. | Shin Nakajima |
| 1999 | Combining Theorem Proving and Continuous Models in Synchronous Design. | Simin Nadjm-Tehrani, Ove kerlund |
| 1999 | Structural Embeddings: Mechanization with Method. | Csar A. Muoz, John M. Rushby |
| 1999 | On Excusable and Inexcusable Failures. | Markus Mller-Olm, Andreas Wolf |
| 1999 | Verifying Behavioural Specifications in CafeOBJ Environment. | Akira Mori, Kokichi Futatsugi |
| 1999 | Proof Preservation in Component Generalization. | Anamaria Martins Moreira |
| 1999 | Correctness Proof of the Standardized Algorithm for ABR Conformance. | Jean-Franois Monin, Francis Klay |
| 1999 | Developing Components in the Presence of Re-entrance. | Leonid Mikhajlov, Emil Sekerinski, Linas Laibinis |
| 1999 | A Systematic Approach to Transform OMT Diagrams to a B Specification. | Eric Meyer, Jeanine Souquires |
| 1999 | A More Complete TLA. | Stephan Merz |
| 1999 | Formal Development of Databases in ASSO and B. | Brian Matthews, Elvira Locuratolo |
| 1999 | Relating Z and First-Order Logic. | Andrew P. Martin |
| 1999 | Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology. | Herv Marchand, Mazen Samaan |
| 1999 | On the Expressive Power of OCL. | Luis Mandel, Mara Victoria Cengarle |
| 1999 | Sensors and Actuators in TCOZ. | Brendan P. Mahony, Jin Song Dong |
| 1999 | A Model of Specification-Based Testing of Interactive Systems. | Ian MacColl, David A. Carrington |
| 1999 | A Formal Security Model for Microprocessor Hardware. | Volkmar Lotz, Volker Kessler, Georg Walter |
| 1999 | Verifying Consistency and Validity of Formal Specifications by Testing. | Shaoying Liu |
| 1999 | Probabilistic Polynomial-Time Equivalence and Security Analysis. | Patrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov |
| 1999 | A PVS-Based Approach for Teaching Constructing Correct Iterations. | Michel Levy, Laurent Trilling |
| 1999 | Enhancing the Pre- and Postcondition Technique for More Expressive Specifications. | Gary T. Leavens, Albert L. Baker |
| 1999 | A Framework for Defining Object-Calculi. | Frdric Lang, Pierre Lescanne, Luigi Liquori |
| 1999 | Component and Interface Refinement in Closed-System Specifications. | Reino Kurki-Suonio |
| 1999 | The UniForM Workbench, a Universal Development Environment for Formal Methods. | Bernd Krieg-Brckner, Jan Peleska, Ernst-Rdiger Olderog, Alexander Baer |