publication venue for
- A Framework for the Composition of IoT and CPS Capabilities 2021
- Fault Propagation in Tabular Expression-Based Specifications 2008
- Availability Evaluation of Hardware/Software Systems with Several Recovery Procedures 2005
- Tridirectional computed chaining: an efficient hashing algorithm for limited space applications 2005
- Applying reflective middleware techniques to optimize a QoS-enabled CORBA component model implementation 2000