Efficient Adaptations of the Non-Blocking Buffer for Event Message Communication between Real-Time Threads. [Citation Graph (, )][DBLP]
A Unified Benchmarking Process for Components in Automotive Embedded Systems Software. [Citation Graph (, )][DBLP]
A New Specification of Software Components for Embedded Systems. [Citation Graph (, )][DBLP]
A Component-Based Methodology to Design Arbitrary Failure Detectors for Distributed Protocols. [Citation Graph (, )][DBLP]
QUICKER: A Model-Driven QoS Mapping Tool for QoS-Enabled Component Middleware. [Citation Graph (, )][DBLP]
A Timing Assumption and a t-Resilient Protocol for Implementing an Eventual Leader Service in Asynchronous Shared Memory Systems. [Citation Graph (, )][DBLP]
Detection of Fractal Breakdowns by the Novel Real-Time Pattern Detection Model (Enhanced-RTPD+Holder Exponent) for Web Applications. [Citation Graph (, )][DBLP]
Time-Predictable Task Preemption for Real-Time Systems with Direct-Mapped Instruction Cache. [Citation Graph (, )][DBLP]
Enterprise Job Scheduling for Clustered Environments. [Citation Graph (, )][DBLP]
Design and Performance Evaluation of Configurable Component Middleware for End-to-End Adaptation of Distributed Real-Time Embedded Systems. [Citation Graph (, )][DBLP]
An Efficient Algorithm for Online Soft Real-Time Task Placement on Reconfigurable Hardware Devices. [Citation Graph (, )][DBLP]
Hardware-Near Programming in the Common Language Infrastructure. [Citation Graph (, )][DBLP]
Device Modeling for a Flexible Embedded Systems Development Process. [Citation Graph (, )][DBLP]
On Best-Effort Real-Time Assurances for Recovering from Distributable Thread Failures in Distributed Real-Time Systems. [Citation Graph (, )][DBLP]
Real-Time Tasks Scheduling with Value Control to Predict Timing Faults During Overload. [Citation Graph (, )][DBLP]
A Wide Area Network Emulator for CORBA Applications. [Citation Graph (, )][DBLP]
An Iterative Refinement Framework for Tighter Worst-Case Execution Time Calculation. [Citation Graph (, )][DBLP]
Automated Formal Verification and Testing of C Programs for Embedded Systems. [Citation Graph (, )][DBLP]
Experiences from Applying WCET Analysis in Industrial Settings. [Citation Graph (, )][DBLP]
XtreemOS: A Grid Operating System Making your Computer Ready for Participating in Virtual Organizations. [Citation Graph (, )][DBLP]
Exploiting Tuple Spaces to Provide Fault-Tolerant Scheduling on Computational Grids. [Citation Graph (, )][DBLP]
Timed-Automata Semantics and Analysis of UML/SPT Models with Concurrency. [Citation Graph (, )][DBLP]
Mastering Complexity in Formal Analysis of Complex Systems: Some Issues and Strategies Applied to Intelligent Transport Systems. [Citation Graph (, )][DBLP]
An Aspect-Oriented Approach for Dealing with Non-Functional Requirements in a Model-Driven Development of Distributed Embedded Real-Time Systems. [Citation Graph (, )][DBLP]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP