Bengt Jönsson
Uppsala University(SE)
Publications by Year
Research Areas
Formal Methods in Verification, Software Testing and Debugging Techniques, Logic, programming, and type systems, Machine Learning and Algorithms, Model-Driven Software Engineering Techniques
Most-Cited Works
- → A logic for reasoning about time and reliability(1994)1,352 cited
- → Model-Based Testing of Reactive Systems(2005)503 cited
- → General decidability theorems for infinite-state systems(2002)404 cited
- → Verifying Programs with Unreliable Channels(1996)350 cited
- → Specification and refinement of probabilistic processes(2002)341 cited
- → Regular Model Checking(2000)287 cited
- → A calculus for communicating systems with time and probabilities(1990)200 cited