E-Books durchsuchen

Formal Techniques in Real-Time and Fault-Tolerant Systems [1996]

1
On the semantics of group communication
22
Unifying verification paradigms
40
Formal methods for early fault detection
55
Retiming techniques for Statecharts
72
Compiling Argos into Boolean equations
90
Real-time mode-machines
110
A calculus for timed automata
130
Minimizable timed automata
148
Weak chop inverses and liveness in Mean-Value Calculus
168
Synthesizing controllers from Duration Calculus
188
Sampling semantics of Duration Calculus
208
The production cell: A verified real-time system
228
Verification-driven development of a collision-avoidance protocol for the Ethernet
246
Exhaustive computation of the scheduled task execution sequences of a real-time application
263
Scheduling Data Flow programs in Hard Real-Time environments
279
Dynamic scheduling in the presence of faults: Specification and verification
298
Efficient broadcasting on faulty star networks
306
Model checking for extended timed temporal logics
327
Partial orders and verification of real-time systems
347
Toward a modal theory of types for the π-calculus
366
Graphical formalization of real-time requirements
385
On specifying real-time systems in a causality-based setting
405
Verification of embedded systems using synchronous observers
420
Compositionality in real-time shared variable concurrency
440
Formal analysis of a real-time kernel specification
459
Mona: Decidable arithmetic in practice
463
Verifying synchronous reactive systems programmed in ESTEREL
467
AutoFocus — A tool for distributed systems specification
471
A tool for translation of VHDL descriptions into a formal model and its application to formal verification and synthesis
475
EVGC: A tool for visualizing LOTOS behavioural specifications
Feedback