Travelled to:1 × Italy
1 × Portugal
1 × United Kingdom
Collaborated with:H.Hermanns J.Katoen A.Belinfante R.Klaren
Talks about:motor (2) modesttool (1) softwar (1) environ (1) analysi (1) embed (1) time (1) test (1) tor (1)
Person: Henrik C. Bohnenkamp
DBLP: Bohnenkamp:Henrik_C=
Contributed to:
2007
2005
2004Wrote 3 papers:
- TACAS-2007-BohnenkampHK #named
- motor: The modestTool Environment (HCB, HH, JPK), pp. 500–504.
- FM-2005-BohnenkampB #testing
- Timed Testing with TorX (HCB, AB), pp. 173–188.
- SFM-2004-KatoenBKH #analysis #embedded
- Embedded Software Analysis with MOTOR (JPK, HCB, RK, HH), pp. 268–294.