Carsten Weise
Carsten Weise
imbus AG
Verified email at imbus.de
TitleCited byYear
Efficient timed reachability analysis using clock difference diagrams
G Behrmann, KG Larsen, J Pearson, C Weise, W Yi
International Conference on Computer Aided Verification, 341-353, 1999
1761999
New generation of UPPAAL
J Bengtsson, KG Larsen, F Larsson, P Pettersson, W Yi, C Weise
Int. Workshop on Software Tools for Technology Transfer, 1998
1441998
UPPAAL-now, next, and future
T Amnell, G Behrmann, J Bengtsson, PR D’argenio, A David, A Fehnker, ...
Summer School on Modeling and Verification of Parallel Processes, 99-124, 2000
1412000
UPPAAL-now, next, and future
T Amnell, G Behrmann, J Bengtsson, PR D’argenio, A David, A Fehnker, ...
Summer School on Modeling and Verification of Parallel Processes, 99-124, 2000
1412000
KleeNet: discovering insidious interaction bugs in wireless sensor networks before deployment
R Sasnauskas, O Landsiedel, MH Alizai, C Weise, S Kowalewski, ...
Proceedings of the 9th ACM/IEEE International Conference on Informationá…, 2010
1352010
From timed automata to logic—and back
F Laroussinie, KG Larsen, C Weise
International Symposium on Mathematical Foundations of Computer Science, 529-539, 1995
1341995
Clock difference diagrams
KG Larsen, J Pearson, C Weise, W Yi
Nord. J. Comput. 6 (3), 271-298, 1999
1031999
A constraint oriented proof methodology based on modal transition systems
KG Larsen, B Steffen, C Weise
International Workshop on Tools and Algorithms for the Construction andá…, 1995
871995
Providing a software quality framework for testing of mobile applications
D Franke, C Weise
2011 fourth IEEE international conference on software testing, verificationá…, 2011
682011
Efficient scaling-invariant checking of timed bisimulation
C Weise, D Lenzkes
Annual Symposium on Theoretical Aspects of Computer Science, 177-188, 1997
661997
Continuous modeling of real-time and hybrid systems: from concepts to tools
KG Larsen, B Steffen, C Weise
International Journal on Software Tools for Technology Transfer 1 (1), 64-85, 1997
421997
An incremental formal semantics for PROMELA
C Weise
Proceedings of the 3rd International SPIN Workshop, 1997
351997
Reverse engineering of mobile application lifecycles
D Franke, C Elsemann, S Kowalewski, C Weise
2011 18th Working Conference on Reverse Engineering, 283-292, 2011
342011
A mobile software quality model
D Franke, S Kowalewski, C Weise
2012 12th International Conference on Quality Software, 154-157, 2012
322012
Testing conformance of life cycle dependent properties of mobile applications
D Franke, S Kowalewski, C Weise, N Prakobkosol
2012 IEEE Fifth International Conference on Software Testing, Verificationá…, 2012
302012
Scalable symbolic execution of distributed systems
R Sasnauskas, OS Dustmann, BL Kaminski, K Wehrle, C Weise, ...
2011 31st International Conference on Distributed Computing Systems, 333-342, 2011
252011
Fischer's protocol revisited: a simple proof using modal constraints
KG Larsen, B Steffen, C Weise
International Hybrid Systems Workshop, 604-615, 1995
251995
Deciding testing equivalence for real-time processes with dense time
B Steffen, C Weise
International Symposium on Mathematical Foundations of Computer Science, 703-713, 1993
221993
Wang Yi. Efficient Timed Reachability Analysis Using Clock Difference Diagrams. CAV’99, July, Trento, Italy, LNCS 1633
G Behrmann, KG Larsen, J Pearson, C Weise
Springer-Verlag. TCTL Inevitability Analysis of Dense-Time Systems 185, 186, 0
17
Integrating tools in the ETI platform
V Braun, T Margaria, C Weise
International Journal on Software Tools for Technology Transfer 1 (1-2), 31-48, 1997
161997
The system can't perform the operation now. Try again later.
Articles 1–20