A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems. [Citation Graph (, )][DBLP]
Industrial Challenges in the Composition of Embedded Systems. [Citation Graph (, )][DBLP]
Deep Random Search for Efficient Model Checking of Timed Automata. [Citation Graph (, )][DBLP]
OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor Networks. [Citation Graph (, )][DBLP]
Composing and Decomposing QoS Attributes for Distributed Real-Time Systems: Experience to Date and Hard Problems Going Forward. [Citation Graph (, )][DBLP]
Recent Additions on the Application Programming Interface of the TMO Support Middleware. [Citation Graph (, )][DBLP]
Integrating Automotive Applications Using Overlay Networks on Top of a Time-Triggered Protocol. [Citation Graph (, )][DBLP]
Reliability Properties of Models for Flexible Design and Run-Time Analysis. [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