Travelled to:1 × South Africa
2 × Italy
3 × United Kingdom
Collaborated with:B.Schlingloff Y.Isobe T.Kahsai A.Knapp ∅ T.Mossakowski M.Glauer F.Moller H.N.Nguyen
Talks about:test (3) line (3) base (3) csp (3) softwar (2) product (2) specif (2) refin (2) institut (1) approach (1)
Person: Markus Roggenbach
DBLP: Roggenbach:Markus
Contributed to:
2015
2014
2012
20082007
2005Wrote 7 papers:
- FASE-2015-KnappMRG #state machine #uml
- An Institution for Simple UML State Machines (AK, TM, MR, MG), pp. 3–18.
- SPLC-2014-KnappRS #development #modelling #on the #product line #testing #using
- On the use of test cases in model-based software product line development (AK, MR, BHS), pp. 247–251.
- IFM-2012-IsobeMNR #approach #capacity #csp #safety
- Safety and Line Capacity in Railways — An Approach in Timed CSP (YI, FM, HNN, MR), pp. 54–68.
- SEFM-2008-KahsaiRS #product line #testing
- Specification-Based Testing for Software Product Lines (TK, MR, BHS), pp. 149–158.
- SEFM-2008-Roggenbach #csp #tool support
- Tools for CSP (MR), pp. 213–214.
- SEFM-2007-KahsaiRS #refinement #testing
- Specification-based testing for refinement (TK, MR, BHS), pp. 237–246.
- TACAS-2005-IsobeR #csp #proving #refinement #theorem proving
- A Generic Theorem Prover of CSP Refinement (YI, MR), pp. 108–123.