| 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 | 168 | 1999 |
| 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 | 148 | 1998 |
| 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 | 147 | 2010 |
| 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 | 145 | 2000 |
| 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 | 145 | 2000 |
| From timed automata to logic—and back F Laroussinie, KG Larsen, C Weise International Symposium on Mathematical Foundations of Computer Science, 529-539, 1995 | 140 | 1995 |
| Clock difference diagrams KG Larsen, J Pearson, C Weise, W Yi Nord. J. Comput. 6 (3), 271-298, 1999 | 112 | 1999 |
| 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 | 85 | 1995 |
| Providing a software quality framework for testing of mobile applications D Franke, C Weise 2011 fourth IEEE international conference on software testing, verification …, 2011 | 76 | 2011 |
| Efficient scaling-invariant checking of timed bisimulation C Weise, D Lenzkes Annual Symposium on Theoretical Aspects of Computer Science, 177-188, 1997 | 69 | 1997 |
| 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 | 43 | 1997 |
| A mobile software quality model D Franke, S Kowalewski, C Weise 2012 12th International Conference on Quality Software, 154-157, 2012 | 39 | 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 | 39 | 2011 |
| An incremental formal semantics for PROMELA C Weise Proceedings of the 3rd International SPIN Workshop, 1997 | 37 | 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 | 33 | 2012 |
| 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 | 30 | 2011 |
| Fischer's protocol revisited: A simple proof using modal constraints KG Larsen, B Steffen, C Weise International Hybrid Systems Workshop, 604-615, 1995 | 26 | 1995 |
| 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 (1), 31-48, 1997 | 16 | 1997 |
| 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 | 13 | |
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
