Abstract is missing.
- Automated Derivation of ILP Implementations from SDL SpecificationsSven Twarok, Peter Langendörfer, Hartmut König. 3-18
- Stepwise Design with Message Sequence ChartsFerhat Khendek, Stephan Bourduas, Daniel Vincent. 19-34
- Formal Synthesis and Control of Soft Embedded Real-Time SystemsPao-Ann Hsiung. 35-52
- Towards a Formal Framework for Interoperability TestingCésar Viho, Sébastien Barbin, Lénaick Tanguy. 53-68
- Distributed Test using Logical ClockJin-Young Choi, Hee Yong Youn, Soonuk Seol, Chuck Yoo. 69-84
- Diagnosing Multiple Faults in Communicating Finite State MachinesKhaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann. 85-100
- From Active to Passive: Progress in Testing of Internet Routing ProtocolsJianping Wu, Yixin Zhao, Xia Yin. 101-118
- Time and Action Lock Freedom Properties for Timed AutomataHoward Bowman. 119-134
- Compiling Real-Time Scenarios into a Timed AutomatonAziz Salah, Rachida Dssouli, Guy Lapalme. 135-150
- Deriving Parameter Conditions for Periodic Timed Automata Satisfying Real-Time Temporal Logic FormulasAkio Nakata, Teruo Higashino. 151-168
- PAMR: A Process Algebra for the Management of Resources in Concurrent SystemsManuel Núñez, Ismael Rodríguez. 169-184
- A Symbolic Semantics and Bisimulation for Full LOTOSMuffy Calder, Carron Shankland. 185-200
- Implementing a Modal Logic over Data and Processes using XTLJeremy Bryans, Carron Shankland. 201-218
- Formal Verification of Peephole Optimizations in Asynchronous CircuitsXiaohua Kong, Radu Negulescu. 219-234
- Symbolic Verification of Complex Real-Time Systems with Clock-Restriction DiagramFarn Wang. 235-250
- Verifying a Sliding Window Protocol using PVSVlad Rusu. 251-268
- Test Sequence SelectionDavid Lee, Ruibing Hao. 269-284
- Executable Test Sequence for the Protocol Data Flow PropertyWen-Huei Chen. 285-300
- A Method to Generate Conformance Test Sequences for FSM with Timer System CallTakanori Mori, K. Tokuda, Harumasa Tada, Masahiro Higuchi, Teruo Higashino. 301-318
- A Tool for Generating Specifications from a Family of Formal RequirementsJan Bredereke. 319-334
- Patterns and Rules for Behavioural SubtypingHeike Wehrheim. 335-352
- Verification of Dense Time Properties using Theories of Untimed Process AlgebraMatti Luukkainen. 353-368
- Testing Liveness Properties: Approximating Liveness Properties by Safety PropertiesUlrich Ultes-Nitsche, Simon St. James. 369-376
- SVL: A Scripting Language for Compositional VerificationHubert Garavel, Frédéric Lang. 377-394
- On Formal Techniques in Protocol Engineering - Example ChallengesDines Bjørner. 395-420
- A PKI-Based End-to-End Secure Infrastructure for Mobile E-CommerceTin-Wo Cheung, Samuel T. Chanson. 421-442
- A Family of Resource-Bound Real-Time Process AlgebrasInsup Lee, Jin-Young Choi, Hee-Hwan Kwak, Anna Philippou, Oleg Sokolsky. 443-458
- Survivability Analysis of Networked SystemsJeannette M. Wing. 459