B
Bengt Jonsson
Researcher at Uppsala University
Publications - 199
Citations - 10982
Bengt Jonsson is an academic researcher from Uppsala University. The author has contributed to research in topics: Model checking & Finite-state machine. The author has an hindex of 53, co-authored 194 publications receiving 10435 citations. Previous affiliations of Bengt Jonsson include Swedish Institute of Computer Science.
Papers
More filters
Journal ArticleDOI
A logic for reasoning about time and reability
Hans Hansson,Bengt Jonsson +1 more
TL;DR: This work presents a logic for stating properties such as, “after a request for service there is at least a 98% probability that the service will be carried out within 2 seconds” and gives algorithms for checking that a given Markov chain satisfies a formula in the logic.
Proceedings ArticleDOI
General decidability theorems for infinite-state systems
TL;DR: This paper presents decidability results for a class of systems, which consist of a finite control part operating on an infinite data domain, and shows that the following properties are decidable for well-structured systems: reachability; eventuality; and simulation.
BookDOI
Model-Based Testing of Reactive Systems, Advanced Lectures
TL;DR: This chapter discusses Model-Based Testing - A Glossary, which focuses on the development of model-Based Test Case Generation and its applications in I/O-automata Based Testing.
Journal ArticleDOI
Verifying programs with unreliable channels
TL;DR: The verification of a particular class of infinite-state systems, namely, systems consisting of finite-state processes that communicate via unbounded lossy FIFO channels, is considered and it is shown that several interesting verification problems are decidable by giving algorithms for verifying.
Proceedings ArticleDOI
Specification and refinement of probabilistic processes
TL;DR: A formalism for specifying probabilistic transition systems, which constitute a basic semantic model for description and analysis of reliability aspects of concurrent and distributed systems, is presented and it is shown that it is analogous to the extension from processes to modal transition systems.