BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
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.