Scheduling Periodic Jobs that Allow Imprecise Results
IEEE Transactions on Computers
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
Fault tolerance in distributed systems
Fault tolerance in distributed systems
Scheduling algorithms for fault-tolerance in hard-real-time systems
Real-Time Systems - Special issue on responsive computer systems
Static analysis to reduce synchronization costs in data-parallel programs
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Optimized rapid prototyping for real-time embedded heterogeneous multiprocessors
CODES '99 Proceedings of the seventh international workshop on Hardware/software codesign
Fault-Tolerant Rate-Monotonic First-Fit Scheduling in Hard-Real-Time Systems
IEEE Transactions on Parallel and Distributed Systems
Esterel: a formal method applied to avionic software development
Science of Computer Programming
The Byzantine Generals Problem
ACM Transactions on Programming Languages and Systems (TOPLAS)
Synchronous Programming of Reactive Systems
Synchronous Programming of Reactive Systems
Dependability: Basic Concepts and Terminology
Dependability: Basic Concepts and Terminology
Fault-Tolerant Scheduling on a Hard Real-Time Multiprocessor System
Proceedings of the 8th International Symposium on Parallel Processing
Automating the Addition of Fault-Tolerance
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
XEVE, an ESTEREL Verification Environment
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
Optimal Scheduling for Fault-Tolerant and Firm Real-Time Systems
RTCSA '98 Proceedings of the 5th International Conference on Real-Time Computing Systems and Applications
Guaranteeing fault tolerance through scheduling in real-time systems
Guaranteeing fault tolerance through scheduling in real-time systems
A Framework for Software Fault Tolerance in Real-Time Systems
IEEE Transactions on Software Engineering
Reliability-aware scheduling strategy for heterogeneous distributed computing systems
Journal of Parallel and Distributed Computing
Hi-index | 0.00 |