Carsten Weise

Cited by

	All	Since 2019
Citations	1697	202
h-index	19	8
i10-index	24	7

100

1995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320245 10 18 21 48 66 58 74 84 74 71 72 71 53 69 67 61 87 87 85 95 56 70 60 54 36 35 33 30 14

Public access

View all

2 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Stefan KowalewskiProfessor of Computer Science, RWTH Aachen UniversityVerified email at embedded.rwth-aachen.de
Wang YiProfessor of Embedded Systems, Uppsala UniversityVerified email at it.uu.se
Dominik FrankeInformatik 11, Embedded Software Laboratory, RWTH Aachen UniversityVerified email at embedded.rwth-aachen.de
Paul PetterssonProfessor of Real-time Systems, Mälardalen UniversityVerified email at mdh.se
Klaus WehrleProfessor at RWTH Aachen UniversityVerified email at comsys.rwth-aachen.de
Dr. Raimondas SasnauskasIndependent Researcher (prev. University of Luxembourg, University of Utah, RWTH Aachen UniversityVerified email at sasnauskas.eu
A FehnkerMacquarie UniversityVerified email at mq.edu.au
Alexandre DavidSenior Software Engineer, Google Inc.Verified email at cs.aau.dk
Pedro R. D'ArgenioFaMAF, Universidad Nacional de Córdoba - CONICETVerified email at famaf.unc.edu.ar
Olaf LandsiedelProfessor at Kiel University, GermanyVerified email at informatik.uni-kiel.de
Dzenan DzaficEmbedded Software Laboratory (Lehrstuhl für Informatik 11)Verified email at embedded.rwth-aachen.de
Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College LondonVerified email at cs.uni-saarland.de
Brian NielsenAssociate Professor of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
Jan Willem PoldermanUniversity of TwenteVerified email at utwente.nl
Rom LangerakAssociate Professor, Computer Science, University of TwenteVerified email at ewi.utwente.nl

Carsten Weise

imbus AG

Verified email at imbus.de

testautomation


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	201	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	170	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	158	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	154	1998
From timed automata to logic—and back F Laroussinie, KG Larsen, C Weise Mathematical Foundations of Computer Science 1995: 20th International …, 1995	148	1995
Clock Difference Diagrams (extended version) KG Larsen, C Weise, W Yi, J Pearson Nordic Journal of Computing 6, 271-298, 1999	125	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	91	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	81	1995
Efficient scaling-invariant checking of timed bisimulation C Weise, D Lenzkes STACS 97: 14th Annual Symposium on Theoretical Aspects of Computer Science …, 1997	69	1997
A mobile software quality model D Franke, S Kowalewski, C Weise 2012 12th International Conference on Quality Software, 154-157, 2012	55	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	45	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	44	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	44	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	37	2011
An incremental formal semantics for PROMELA C Weise In Proceedings of the Third SPIN Workshop, SPIN97 97, 1997	37	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	34	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	27	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	25	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	19	1997
Konzept eines mobilen OSM-Navigationssystems für Elektrofahrzeuge D Franke, D Dzafic, C Weise, S Kowalewski Angewandte Geoinformatik, 148-157, 2011	13	2011

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors