BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Roggenbach:Markus

Contributed to:

FASE 20152015
SPLC 20142014
IFM 20122012
SEFM 20082008
SEFM 20072007
TACAS 20052005

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.