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