Carsten Weise

Citado por

	Total	Desde 2019
Citas	1702	205
Índice h	19	8
Índice i10	24	7

100

1995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320245 10 18 21 48 66 58 74 84 74 71 72 71 53 69 67 63 87 87 85 96 55 70 60 54 36 35 33 31 16

Acceso público

Ver todo

2 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

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

Seguir

Carsten Weise

imbus AG

Dirección de correo verificada de imbus.de

testautomation


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	202	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	171	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
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	45	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
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	36	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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores