| 2009 |
|---|
| 5 | EE | Damian Dechev,
Bjarne Stroustrup:
Model-Based Product-Oriented Certification.
ECBS 2009: 295-304 |
| 4 | EE | Damian Dechev,
Peter Pirkelbauer,
Nicolas Rouquette,
Bjarne Stroustrup:
Semantically Enhanced Containers for Concurrent Real-Time Systems.
ECBS 2009: 48-57 |
| 2008 |
|---|
| 3 | EE | Damian Dechev,
Nicolas Rouquette,
Peter Pirkelbauer,
Bjarne Stroustrup:
Verification and semantic parallelization of goal-driven autonomous software.
Autonomics 2008: 33 |
| 2 | EE | Damian Dechev,
Rabi N. Mahapatra,
Bjarne Stroustrup,
David Wagner:
C++ Dynamic Cast in Autonomous Space Systems.
ISORC 2008: 499-507 |
| 2006 |
|---|
| 1 | EE | Damian Dechev,
Peter Pirkelbauer,
Bjarne Stroustrup:
Lock-Free Dynamically Resizable Arrays.
OPODIS 2006: 142-156 |
