Carsten Weise
Carsten Weise
imbus AG
Dirección de correo verificada de
Citado por
Citado por
Efficient timed reachability analysis using clock difference diagrams
G Behrmann, KG Larsen, J Pearson, C Weise, W Yi
Computer Aided Verification: 11th International Conference, CAV’99 Trento …, 1999
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
UPPAAL-now, next, and future
T Amnell, G Behrmann, J Bengtsson, PR D’argenio, A David, A Fehnker, ...
Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP …, 2001
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
From timed automata to logic—and back
F Laroussinie, KG Larsen, C Weise
Mathematical Foundations of Computer Science 1995: 20th International …, 1995
Clock Difference Diagrams (extended version)
KG Larsen, C Weise, W Yi, J Pearson
Nordic Journal of Computing 6, 271-298, 1999
Providing a software quality framework for testing of mobile applications
D Franke, C Weise
2011 fourth IEEE international conference on software testing, verification …, 2011
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
Efficient scaling-invariant checking of timed bisimulation
C Weise, D Lenzkes
STACS 97: 14th Annual Symposium on Theoretical Aspects of Computer Science …, 1997
A mobile software quality model
D Franke, S Kowalewski, C Weise
2012 12th International Conference on Quality Software, 154-157, 2012
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
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
Reverse engineering of mobile application lifecycles
D Franke, C Elsemann, S Kowalewski, C Weise
2011 18th Working Conference on Reverse Engineering, 283-292, 2011
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
An incremental formal semantics for PROMELA
C Weise
In Proceedings of the Third SPIN Workshop, SPIN97 97, 1997
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
Fischer's protocol revisited: a simple proof using modal constraints
KG Larsen, B Steffen, C Weise
Hybrid Systems III: Verification and Control 3, 604-615, 1996
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
Integrating tools in the ETI platform
V Braun, T Margaria, C Weise
International Journal on Software Tools for Technology Transfer 1, 31-48, 1997
Konzept eines mobilen OSM-Navigationssystems für Elektrofahrzeuge
D Franke, D Dzafic, C Weise, S Kowalewski
Angewandte Geoinformatik, 148-157, 2011
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20