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 × Denmark
1 × Germany
1 × Ireland
1 × Italy
Collaborated with:
D.Franke K.G.Larsen S.Kowalewski B.Steffen N.Prakobkosol C.Elsemann G.Behrmann J.Pearson W.Yi
Talks about:
applic (3) mobil (3) test (2) methodolog (1) constraint (1) framework (1) reachabl (1) properti (1) lifecycl (1) transit (1)

Person: Carsten Weise

DBLP DBLP: Weise:Carsten

Facilitated 2 volumes:

ICTSS 2012Ed
FATES 2005Ed

Contributed to:

ICST 20122012
ICST 20112011
WCRE 20112011
CAV 19991999
TACAS 19951995

Wrote 5 papers:

ICST-2012-FrankeKWP #consistency #lifecycle #mobile #testing
Testing Conformance of Life Cycle Dependent Properties of Mobile Applications (DF, SK, CW, NP), pp. 241–250.
ICST-2011-FrankeW #framework #mobile #quality #testing
Providing a Software Quality Framework for Testing of Mobile Applications (DF, CW), pp. 431–434.
WCRE-2011-FrankeEKW #lifecycle #mobile #reverse engineering
Reverse Engineering of Mobile Application Lifecycles (DF, CE, SK, CW), pp. 283–292.
CAV-1999-BehrmannLPWY #analysis #diagrams #difference #performance #reachability #using
Efficient Timed Reachability Analysis Using Clock Difference Diagrams (GB, KGL, JP, CW, WY), pp. 341–353.
TACAS-1995-LarsenSW #constraints #proving
A Constraint Oriented Proof Methodology Based on Modal Transition Systems (KGL, BS, CW), pp. 17–40.

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.