Abstract is missing.
- Real-Time Specification Patterns and ToolsNouha Abid, Silvano Dal-Zilio, Didier Le Botlan. 1-15 [doi]
- Automated Extraction of Abstract Behavioural Models from JMS ApplicationsElvira Albert, Bjarte M. Østvold, José Miguel Rojas. 16-31 [doi]
- Certifying and Reasoning on Cost Annotations in C ProgramsNicholas Ayache, Roberto M. Amadio, Yann Régis-Gianas. 32-46 [doi]
- Waiting for Locks: How Long Does It Usually Take?Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp. 47-62 [doi]
- Microcontroller Assembly Synthesis from Timed Automaton Task SpecificationsVictor Bandur, Wolfram Kahl, Alan Wassyng. 63-77 [doi]
- Tool Chain to Support Automated Formal Verification of Avionics Simulink DesignsJiri Barnat, Jan Beran, Lubos Brim, Tomas Kratochvila, Petr Rockai. 78-92 [doi]
- Range Analysis of Binaries with Minimal EffortEdd Barrett, Andy King. 93-107 [doi]
- Combining Analyses for C Program VerificationLoïc Correnson, Julien Signoles. 108-130 [doi]
- Model Checking the FlexRay Startup PhaseSjoerd Cranen. 131-145 [doi]
- Model-Based Risk Assessment Supporting Development of HSE Plans for Safe Offshore OperationsRainer Droste, Christoph Läsche, Cilli Sobiech, Eckard Böde, Axel Hahn. 146-161 [doi]
- Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard AnalysisLuca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi. 162-176 [doi]
- Optimizing the Robustness of Software against Communication Latencies in Distributed Reactive Embedded SystemsVlad Popa, Wolfgang Schwitzer. 177-191 [doi]
- A Formal Design of a Tool for Static Analysis of Upper Bounds on Object Calls in JavaKonrad Siek, Pawel T. Wojciechowski. 192-206 [doi]
- Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic ExecutionJiri Slaby, Jan Strejcek, Marek Trtík. 207-221 [doi]