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: Weise:Carsten
Facilitated 2 volumes:
Ed
EdContributed to:
20122011
2011
1999
1995Wrote 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.