| 2001 | A Family of Resource-Bound Real-Time Process Algebras. Insup Lee, Jin-Young Choi, Hee-Hwan Kwak, Anna Philippou, Oleg Sokolsky |
| 2001 | A Method to Generate Conformance Test Sequences for FSM with Timer System Call. Takanori Mori, K. Tokuda, Harumasa Tada, Masahiro Higuchi, Teruo Higashino |
| 2001 | A PKI-Based End-to-End Secure Infrastructure for Mobile E-Commerce. Tin-Wo Cheung, Samuel T. Chanson |
| 2001 | A Symbolic Semantics and Bisimulation for Full LOTOS. Muffy Calder, Carron Shankland |
| 2001 | A Tool for Generating Specifications from a Family of Formal Requirements. Jan Bredereke |
| 2001 | Automated Derivation of ILP Implementations from SDL Specifications. Sven Twarok, Peter Langendörfer, Hartmut König |
| 2001 | Compiling Real-Time Scenarios into a Timed Automaton. Aziz Salah, Rachida Dssouli, Guy Lapalme |
| 2001 | Deriving Parameter Conditions for Periodic Timed Automata Satisfying Real-Time Temporal Logic Formulas. Akio Nakata, Teruo Higashino |
| 2001 | Diagnosing Multiple Faults in Communicating Finite State Machines. Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann |
| 2001 | Distributed Test using Logical Clock. Jin-Young Choi, Hee Yong Youn, Soonuk Seol, Chuck Yoo |
| 2001 | Executable Test Sequence for the Protocol Data Flow Property. Wen-Huei Chen |
| 2001 | Formal Synthesis and Control of Soft Embedded Real-Time Systems. Pao-Ann Hsiung |
| 2001 | Formal Techniques for Networked and Distributed Systems, FORTE 2001, IFIP TC6/WG6.1 - 21 Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee |
| 2001 | Formal Verification of Peephole Optimizations in Asynchronous Circuits. Xiaohua Kong, Radu Negulescu |
| 2001 | From Active to Passive: Progress in Testing of Internet Routing Protocols. Jianping Wu, Yixin Zhao, Xia Yin |
| 2001 | Implementing a Modal Logic over Data and Processes using XTL. Jeremy W. Bryans, Carron Shankland |
| 2001 | On Formal Techniques in Protocol Engineering - Example Challenges. Dines Bjørner |
| 2001 | PAMR: A Process Algebra for the Management of Resources in Concurrent Systems. Manuel Núñez, Ismael Rodríguez |
| 2001 | Patterns and Rules for Behavioural Subtyping. Heike Wehrheim |
| 2001 | SVL: A Scripting Language for Compositional Verification. Hubert Garavel, Frédéric Lang |
| 2001 | Stepwise Design with Message Sequence Charts. Ferhat Khendek, Stephan Bourduas, Daniel Vincent |
| 2001 | Survivability Analysis of Networked Systems. Jeannette M. Wing |
| 2001 | Symbolic Verification of Complex Real-Time Systems with Clock-Restriction Diagram. Farn Wang |
| 2001 | Test Sequence Selection. David Lee, Ruibing Hao |
| 2001 | Testing Liveness Properties: Approximating Liveness Properties by Safety Properties. Ulrich Ultes-Nitsche, Simon St. James |
| 2001 | Time and Action Lock Freedom Properties for Timed Automata. Howard Bowman |
| 2001 | Towards a Formal Framework for Interoperability Testing. César Viho, Sébastien Barbin, Lénaick Tanguy |
| 2001 | Verification of Dense Time Properties using Theories of Untimed Process Algebra. Matti Luukkainen |
| 2001 | Verifying a Sliding Window Protocol using PVS. Vlad Rusu |