Concepedia

Bengt Jönsson

BJ

59

Publications

5.2K

Citations

34

H-Index

1985

Active since

Affiliations

Uppsala University(Current)

Swedish Institute

TU Dortmund University

University of Oxford

National Taiwan University

Bengt Jönsson is an author at Uppsala University specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationVerificationAutomated ReasoningSoftware AnalysisSystems EngineeringProgram AnalysisComputer Engineering

Publications per year

1985–2022

59

Publications

59

A logic for reasoning about time and reliability

Hans Hansson, Bengt Jönsson · Formal Aspects of Computing · 1994 · 1.3K citations · Full text

General decidability theorems for infinite-state systems

Parosh Aziz Abdulla, Kārlis Čerāns, Bengt Jönsson et al. · 2002 · 403 citations

Reachability Analysis, Infinite Data Domain, Logical Automaton +15

Verifying Programs with Unreliable Channels

Parosh Aziz Abdulla, Bengt Jönsson · Information and Computation · 1996 · 350 citations

Program Checking, Unreliable Channels, Engineering +10

Specification and refinement of probabilistic processes

Bengt Jönsson, Kim G. Larsen · 2002 · 341 citations

Engineering, Verification, Transition System +21

A calculus for communicating systems with time and probabilities

Hans Hansson, Bengt Jönsson · 1990 · 200 citations

Engineering, Complex Systems, Formal Verification +16

Rows per page

1–5 of 59