Abstract is missing.
- Avionic Software Verification by Abstract InterpretationPatrick Cousot. 1
- Model-based development of embedded control systems: historical perspective and recent advancesPaul Caspi. 3
- The aeronautical systems development challenges for AirbusOdile Laurent. 5
- Development of Transportation SystemsDines Bjørner. 7
- New worst-case analysis technique for real-time transactionsAhmed Rahni, Emmanuel Grolleau, Michaël Richard. 9-20
- A C-space sensitivity analysis of Earliest Deadline First schedulingJean-François Hermant, Laurent George. 21-32
- Formal Functionally Deterministic SchedulingFrédéric Boniol, Claire Pagetti, François Revest. 33-40
- Reliable and Precise WCET and Stack Size Determination for a Real-life Embedded ApplicationPhilippe Baufreton, Reinhold Heckmann. 41-48
- Formal models of Fractal Component Based Systems for performance analysisNabila Salmi, Patrice Moreaux, Malika Ioualalen. 49-60
- Fault-Tolerance Analysis of Mixed CAN/Switched Ethernet ArchitectureCláudia Betous-Almeida, Jean-Luc Scharbarg, Christian Fraboul. 61-72
- Seven at one stroke: LTL model checking for High-level Specifications in B, Z, CSP, and moreMichael Leuschel, Daniel Plagge. 73-84
- Verification, Diagnosis and Adaptation: Tool supported enhancement of the model-driven verification processMarco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen. 85-97
- Verification of embbeded systems with preemption: a negative resultJérôme Ermont, Frédéric Boniol. 99-110
- Using Analogy to Promote Conceptual Modeling ReuseKarin Koogan Breitman, Simone Diniz Junqueira Barbosa, Marco A. Casanova, Antonio L. Furtado, Michael G. Hinchey. 111-122
- Formal Modeling of Data. A Case Study for Space ApplicationsJean-Paul Blanquart, Gérard Bulsa, David Lesens, George Mamais, Maxime Perrotin. 123-134
- Don t care in SMT-Building flexible yet efficient abstraction/refinement solversAndreas Bauer 0002, Martin Leucker, Christian Schallhart, Michael Tautschnig. 135-146
- Qualitative Abstraction based Verification for Analog CircuitsMohamed H. Zaki, Sofiène Tahar, Guy Bois. 147-158
- Preservation of timed properties during an incremental development by componentsJacques Julliand, Hassan Mountassir, Emilie Oudot. 159-166
- OASIS formal approach for distributed safety-critical real-time system designSylvain Camier, Damien Chabrol, Vincent David, Christophe Aussaguès. 167-178
- Proved Development of the Real-Time Properties of the IEEE 1394 Root Contention Protocol with the Event B MethodJoris Rehm, Dominique Cansell. 179-190
- A Simplified Approach for Testing Real-Time Systems Based on Action RefinementSaddek Bensalem, Moez Krichen, Lotfi Majdoub, Riadh Robbana, Stavros Tripakis. 191-202
- Using Formal Methods to increase confidence in one Home Network System implementation: Case studyLydie du Bousquet, Masahide Nakamura, Ben Yan, Hiroshi Igaki. 203-214
- Using Invariant Detection Mechanism in Black Box InferenceMuzammil Shahbaz, Roland Groz. 215-222