Подписаться
Carsten Weise
Carsten Weise
imbus AG
Подтвержден адрес электронной почты в домене imbus.de
Название
Процитировано
Процитировано
Год
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
1881999
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
1622010
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
1521998
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
1502000
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
1502000
From timed automata to logic—and back
F Laroussinie, KG Larsen, C Weise
International Symposium on Mathematical Foundations of Computer Science, 529-539, 1995
1421995
Clock Difference Diagrams (extended version)
KG Larsen, C Weise, W Yi, J Pearson
Nordic Journal of Computing 6, 271-298, 1999
1151999
Providing a software quality framework for testing of mobile applications
D Franke, C Weise
2011 fourth IEEE international conference on software testing, verification …, 2011
852011
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
821995
Efficient scaling-invariant checking of timed bisimulation
C Weise, D Lenzkes
Annual Symposium on Theoretical Aspects of Computer Science, 177-188, 1997
681997
A mobile software quality model
D Franke, S Kowalewski, C Weise
2012 12th International Conference on Quality Software, 154-157, 2012
452012
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
451997
Reverse engineering of mobile application lifecycles
D Franke, C Elsemann, S Kowalewski, C Weise
2011 18th Working Conference on Reverse Engineering, 283-292, 2011
422011
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
372012
An incremental formal semantics for PROMELA
C Weise
Proceedings of the 3rd International SPIN Workshop, 1997
361997
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
322011
Transform-based methods for indexing and retrieval of 3d objects
H Dutagaci, B Sankur, Y Yemez
Fifth International Conference on 3-D Digital Imaging and Modeling (3DIM'05 …, 2005
282005
Fischer's protocol revisited: A simple proof using modal constraints
KG Larsen, B Steffen, C Weise
International Hybrid Systems Workshop, 604-615, 1995
261995
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
261993
Integrating tools in the ETI platform
V Braun, T Margaria, C Weise
International Journal on Software Tools for Technology Transfer 1 (1), 31-48, 1997
171997
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20