dehui du
dehui du
Associate professor of East China Normal University
Verified email at
Cited by
Cited by
UPPAAL in a nutshell
KG Larsen, P Pettersson, W Yi
International journal on software tools for technology transfer 1 (1-2), 134-152, 1997
A Tutorial on Uppaal
G Behrmann, A David, KG Larsen
Formal methods for the design of real-time systems, 200-236, 2004
Bisimulation through probabilistic testing
KG Larsen, A Skou
Information and computation 94 (1), 1-28, 1991
UPPAAL—a tool suite for automatic verification of real-time systems
J Bengtsson, K Larsen, F Larsson, P Pettersson, W Yi
International hybrid systems workshop, 232-243, 1995
A modal process logic
KG Larsen, B Thomsen
Proceedings Third Annual Symposium on Logic in Computer Science, 203,204,205 …, 1988
Statistical model checking: An overview
A Legay, B Delahaye, S Bensalem
International conference on runtime verification, 122-135, 2010
Uppaal 4.0
G Behrmann, A David, KG Larsen, J Håkansson, P Pettersson, W Yi, ...
Los Alamitos, CA: IEEE Computer Society, 2006
Minimum-cost reachability for priced time automata
G Behrmann, A Fehnker, T Hune, K Larsen, P Pettersson, J Romijn, ...
International Workshop on Hybrid Systems: Computation and Control, 147-161, 2001
Specification and refinement of probabilistic processes
B Jonsson, KG Larsen
Proceedings 1991 Sixth Annual IEEE Symposium on Logic in Computer Science …, 1991
Model checking lots of systems: efficient verification of temporal properties in software product lines
A Classen, P Heymans, PY Schobbens, A Legay, JF Raskin
Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010
Uppaal SMC tutorial
A David, KG Larsen, A Legay, M Mikučionis, DB Poulsen
International Journal on Software Tools for Technology Transfer 17 (4), 397-415, 2015
Reactive systems: modelling, specification and verification
L Aceto, A Ingólfsdóttir, KG Larsen, J Srba
cambridge university press, 2007
Modal specifications
KG Larsen
International Conference on Computer Aided Verification, 232-246, 1989
Efficient on-the-fly algorithms for the analysis of timed games
F Cassez, A David, E Fleury, KG Larsen, D Lime
International Conference on Concurrency Theory, 66-80, 2005
Uppaal-tiga: Time for playing games!
G Behrmann, A Cougnard, A David, E Fleury, KG Larsen, D Lime
International Conference on Computer Aided Verification, 121-125, 2007
Testing real-time systems using UPPAAL
A Hessel, KG Larsen, M Mikucionis, B Nielsen, P Pettersson, A Skou
Formal methods and testing, 77-117, 2008
Modal I/O automata for interface and product line theories
KG Larsen, U Nyman, A Wąsowski
European Symposium on Programming, 64-79, 2007
A network perspective of the stock market
KT Chi, J Liu, FCM Lau
Journal of Empirical Finance 17 (4), 659-667, 2010
The impressive power of stopwatches
F Cassez, K Larsen
International Conference on Concurrency Theory, 138-152, 2000
A bayesian approach to model checking biological systems
SK Jha, EM Clarke, CJ Langmead, A Legay, A Platzer, P Zuliani
International conference on computational methods in systems biology, 218-234, 2009
The system can't perform the operation now. Try again later.
Articles 1–20