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 × Canada
1 × Germany
1 × Italy
1 × Norway
1 × Portugal
2 × The Netherlands
2 × USA
4 × United Kingdom
Collaborated with:
R.Büssow N.Tillmann W.Schulte M.Heisel H.Dörr N.Kicillof M.Veanes K.Didrich L.Nachmanson V.A.Braberman Y.Gurevich W.Heicking S.Herrmann C.Maeder P.Pepper X.Qu X.Wei M.B.Cohen F.Schintke T.Tantau B.T.y.Widemann D.MacDonald A.Nandan K.Stobie F.L.Wurden C.Campbell M.Barnett M.Barnett C.Kerer C.Szyperski A.Watson
Talks about:
model (5) test (4) coverag (3) system (3) compon (3) tool (3) base (3) function (2) specifi (2) softwar (2)

♂ Person: Wolfgang Grieskamp

DBLP DBLP: Grieskamp:Wolfgang

Facilitated 6 volumes:

MoDELS 2014PracticalTrackPrCo
MoDELS 2014PrCo
TestCom/FATES 2007Ed
FATES 2005Ed
IFM 2000Ed

Contributed to:

TestCom/FATES 20092009
ICST 20082008
A-MOST 20072007
FATES/RV 20062006
FM 20052005
CBSE 20032002
FATES 20032003
ISSTA 20022002
IFL 19991999
IFM 19991999
FASE 19981998
FASE 19982001
FM-Trends 19981998
IFL 19971997

Wrote 14 papers:

TestCom-FATES-2009-GrieskampQWKC #constraints #interactive #smt #theorem proving
Interaction Coverage Meets Path Coverage by SMT Constraint Solving (WG, XQ, XW, NK, MBC), pp. 97–112.
ICST-2008-GrieskampKMNSW #assurance #documentation #modelling #protocol #quality
Model-Based Quality Assurance of Windows Protocol Documentation (WG, NK, DM, AN, KS, FLW), pp. 502–506.
A-MOST-2007-KicillofGTB #automation #test coverage #testing
Achieving both model and code coverage with automated gray-box testing (NK, WG, NT, VAB), pp. 1–11.
FATES-RV-2006-Grieskamp #modelling #multi #testing
Multi-paradigmatic Model-Based Testing (WG), pp. 1–19.
FM-2005-CampbellGNSTV #concurrent #object-oriented #specification #testing
Testing Concurrent Object-Oriented Systems with Spec Explorer (CC, WG, LN, WS, NT, MV), pp. 542–547.
CBSE-2003-BarnettGKSSTW #component #specification
Serious Specification for Composing Components (MB, WG, CK, WS, CS, NT, AW), p. 6.
FATES-2003-BarnettGNSTV #modelling #testing #towards
Towards a Tool Environment for Model-Based Testing with AsmL (MB, WG, LN, WS, NT, MV), pp. 252–266.
ISSTA-2002-GrieskampGSV #finite #generative #state machine
Generating finite state machines from abstract state machines (WG, YG, WS, MV), pp. 112–122.
IFL-1999-DidrichGSTT #functional #programming language
Reflections in Opal — Meta Information in a Functional Programming Language (KD, WG, FS, TT, BTyW), pp. 149–164.
IFM-1999-BussowG #composition #framework #integration #tool support
A Modular Framework for the Integration of Heterogeneous Notations and Tools (RB, WG), pp. 211–230.
FASE-1998-GrieskampHD #component #embedded #specification
Specifying Embedded Systems with Staecharts and Z: An Agenda for Cyclic Software Components (WG, MH, HD), pp. 88–106.
FASE-J-1998-GrieskampHD01 #component #embedded #specification
Specifying embedded systems with statecharts and Z: an agenda for cyclic software components (WG, MH, HD), pp. 31–57.
FM-1998-BussowGHH #integration #modelling #tool support
An Open Environment for the Integration of Hetereogenous Modelling Techniques and Tools (RB, WG, WH, SH), pp. 184–195.
IFL-1997-DidrichGMP #algebra #in the large #programming
Programming in the Large: The Algebraic-Functional Language Opal 2α (KD, WG, CM, PP), pp. 322–337.

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.