Abstract is missing.
- The Metrô Rio ATP Case StudyAlessio Ferrari, Daniele Grasso, Gianluca Magnani, Alessandro Fantechi, Matteo Tempestini. 1-16 [doi]
- Practical Issues with Formal Specifications - Lessons Learned from an Industrial Case StudyMichael Altenhofen, Achim D. Brucker. 17-32 [doi]
- Formal Analysis of BPMN Models Using Event-BJeremy W. Bryans, Wei Wei. 33-49 [doi]
- Developing Mode-Rich Satellite Software by Refinement in Event BAlexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala. 50-66 [doi]
- Automatic Error Correction of Java ProgramsChristian Kern, Javier Esparza. 67-81 [doi]
- Range Analysis of Microcontroller Code Using Bit-Level CongruencesJörg Brauer, Andy King, Stefan Kowalewski. 82-98 [doi]
- An Automated Translator for Model Checking Time Constrained Workflow SystemsAhmed Shah Mashiyat, Fazle Rabbi, Hao Wang, Wendy MacCaull. 99-114 [doi]
- Correctness of Sensor Network Applications by Software Bounded Model CheckingFrank Werner, David Faragó. 115-131 [doi]
- Model Checking the FlexRay Physical Layer ProtocolMichael Gerke 0002, Rüdiger Ehlers, Bernd Finkbeiner, Hans-Jörg Peter. 132-147 [doi]
- SMT-Based Formal Verification of a ::::TTEthernet:::: Synchronization FunctionWilfried Steiner, Bruno Dutertre. 148-163 [doi]
- Embedded Network Protocols for Mobile DevicesDespo Galataki, Andrei Radulescu, Kees Verstoep, Wan Fokkink. 164-179 [doi]
- A Study of Shared-Memory Mutual Exclusion Protocols Using CADPRadu Mateescu, Wendelin Serwe. 180-197 [doi]
- A Formal Model of Identity MixerJan Camenisch, Sebastian Mödersheim, Dieter Sommer. 198-214 [doi]
- Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of ConceptLars Michael Kristensen, Michael Westergaard. 215-230 [doi]