Följ
Bengt Jonsson
Bengt Jonsson
Professor of Computer Systems, Uppsala University
Verifierad e-postadress på it.uu.se - Startsida
Titel
Citeras av
Citeras av
År
A logic for reasoning about time and reliability
H Hansson, B Jonsson
Formal aspects of computing 6, 512-535, 1994
19461994
General decidability theorems for infinite-state systems
PA Abdulla, K Cerans, B Jonsson, YK Tsay
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 313-321, 1996
6241996
Model-based testing of reactive systems
M Broy, B Jonsson, JP Katoen, M Leucker, A Pretschner
Volume 3472 of Springer LNCS, 2005
6072005
Verifying programs with unreliable channels
PA Abdulla, B Jonsson
information and computation 127 (2), 91-101, 1996
5001996
Specification and refinement of probabilistic processes
B Jonsson, KG Larsen
Proceedings 1991 Sixth Annual IEEE Symposium on Logic in Computer Science …, 1991
4731991
Regular model checking
A Bouajjani, B Jonsson, M Nilsson, T Touili
Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000
4032000
A calculus for communicating systems with time and probabilities
H Hansson, B Jonsson
[1990] Proceedings 11th Real-Time Systems Symposium, 278-287, 1990
2851990
Algorithmic analysis of programs with well quasi-ordered domains
PA Abdulla, K Čerāns, B Jonsson, YK Tsay
Information and Computation 160 (1-2), 109-127, 2000
2752000
Optimal dynamic partial order reduction
P Abdulla, S Aronis, B Jonsson, K Sagonas
ACM SIGPLAN Notices 49 (1), 373-384, 2014
2442014
On-the-fly analysis of systems with unbounded, lossy FIFO channels
PA Abdulla, A Bouajjani, B Jonsson
Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998
2111998
A survey of regular model checking
PA Abdulla, B Jonsson, M Nilsson, M Saksena
International Conference on Concurrency Theory, 35-48, 2004
1952004
Stateless model checking for TSO and PSO
PA Abdulla, S Aronis, MF Atig, B Jonsson, C Leonardsson, K Sagonas
Acta Informatica 54, 789-818, 2017
1942017
Probabilistic extensions of process algebras
B Jonsson, W Yi, KG Larsen
Handbook of process algebra, 685-710, 2001
1902001
Partial order reductions for timed systems
J Bengtsson, B Jonsson, J Lilius, W Yi
CONCUR'98 Concurrency Theory: 9th International Conference Nice, France …, 1998
1871998
Model-based testing of reactive systems. LNCS, vol. 3472
M Broy, B Jonsson, JP Katoen, M Leucker, A Pretschner
Springer, Heidelberg, 2005
1642005
Building timing predictable embedded systems
P Axer, R Ernst, H Falk, A Girault, D Grund, N Guan, B Jonsson, ...
ACM Transactions on Embedded Computing Systems (TECS) 13 (4), 1-37, 2014
1622014
Undecidable verification problems for programs with unreliable channels
PA Abdulla, B Jonsson
Information and Computation 130 (1), 71-90, 1996
1511996
A framework for reasoning about time and reliability
H Hansson, B Jonsson
1989 Real-Time Systems Symposium, 102,103,104,105,106,107,108,109,110,111 …, 1989
1511989
Transitive closures of regular relations for verifying infinite-state systems
B Jonsson, M Nilsson
International Conference on Tools and Algorithms for the Construction and …, 2000
1502000
Active learning for extended finite state machines
S Cassel, F Howar, B Jonsson, B Steffen
Formal aspects of computing 28 (2), 233-263, 2016
1462016
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20