World's Best Scientists 2026 revealed!
Bengt Jonsson

Bengt Jonsson

D-Index & Metrics

Computer Science

D-Index
60
Citations
12250
World Ranking
3284
National Ranking
13

Overview

Bengt Jonsson is affiliated with Uppsala University in Sweden, with a research focus primarily in Computer Science. Their scholarly work spans 39 publications, concentrating on several subfields including Artificial Intelligence, Hardware and Architecture, Computational Theory and Mathematics, Computer Networks and Communications, and Electrical and Electronic Engineering.

The scientist's research engages with a variety of topics such as Machine Learning and Algorithms, Formal Methods in Verification, Distributed Systems and Fault Tolerance, Parallel Computing and Optimization Techniques, semigroups and automata theory, Radiation Effects in Electronics, and Software Testing and Debugging Techniques.

Frequent publication venues for Bengt Jonsson's work include:

  • arXiv (Cornell University)
  • Zenodo (CERN European Organization for Nuclear Research)
  • ACM Transactions on Parallel Computing
  • Proceedings of the ACM on Programming Languages
  • International Journal on Software Tools for Technology Transfer

Recent papers by Bengt Jonsson feature a mix of collaboration and solo contributions, with titles and details as follows:

  • "Lock-free Contention Adapting Search Trees," 2021, ACM Transactions on Parallel Computing
  • "Parsimonious Optimal Dynamic Partial Order Reduction," 2024, arXiv (Cornell University)
  • "Efficient Linearizability Monitoring," 2025, Proceedings of the ACM on Programming Languages
  • "Tailoring Stateless Model Checking for Event-Driven Multi-Threaded Programs," 2023, arXiv (Cornell University)
  • "Scalable Tree-based Register Automata Learning," 2024, arXiv (Cornell University)

Collaboration is a significant aspect of Bengt Jonsson's research activity. Frequent co-authors include Konstantinos Sagonas, Parosh Aziz Abdulla, Mohamed Faouzi Atig, Sarbojit Das, and Simon Dierl.

Best Publications

  • A logic for reasoning about time and reability

    Hans Hansson;Bengt Jonsson

  • Model-Based Testing of Reactive Systems, Advanced Lectures

    Manfred Broy;Bengt Jonsson;Joost-Pieter Katoen;Martin Leucker

  • General decidability theorems for infinite-state systems

    P.A. Abdulla;K. Cerans;B. Jonsson;Yih-Kuen Tsay

  • Verifying programs with unreliable channels

    P. Abdulla;B. Jonsson

  • Specification and refinement of probabilistic processes

    B. Jonsson;K.G. Larsen

  • Regular model checking

    A. Bouajjani;B. Jonsson;M. Nilsson;T. Touili

  • A calculus for communicating systems with time and probabilities

    H. Hansson;B. Jonsson

  • Algorithmic Analysis of Programs with Well Quasi-ordered Domains

    Parosh Aziz Abdulla;Kārlis Čerāns;Bengt Jonsson;Yih-Kuen Tsay

  • Optimal dynamic partial order reduction

    Parosh Abdulla;Stavros Aronis;Bengt Jonsson;Konstantinos Sagonas

  • On-the-Fly Analysis of Systems with Unbounded, Lossy FIFO Channels

    Parosh Aziz Abdulla;Ahmed Bouajjani;Bengt Jonsson

  • Probabilistic Extensions of Process Algebras

    Bengt Jonsson;Kim Larsen;Wang Yi

  • A Survey of Regular Model Checking

    Parosh Aziz Abdulla;Bengt Jonsson;Marcus Nilsson;Mayank Saksena

  • Undecidable Verification Problems for Programs with Unreliable Channels

    Parosh Aziz Abdulla;Bengt Jonsson

  • Partial Order Reductions for Timed Systems

    Johan Bengtsson;Bengt Jonsson;Johan Lilius;Wang Yi

  • Regular Tree Model Checking

    Parosh Aziz Abdulla;Bengt Jonsson;Pritha Mahata;Julien d'Orso

  • Stateless model checking for TSO and PSO

    Parosh Aziz Abdulla;Stavros Aronis;Mohamed Faouzi Atig;Bengt Jonsson

  • Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science)

    Manfred Broy;Bengt Jonsson;Joost-Pieter Katoen;Martin Leucker

  • Building timing predictable embedded systems

    Philip Axer;Rolf Ernst;Heiko Falk;Alain Girault

  • Transitive Closures of Regular Relations for Verifying Infinite-State Systems

    Bengt Jonsson;Marcus Nilsson

  • A framework for reasoning about time and reliability

    H. Hansson;B. Jonsson

  • Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004]

    Manfred Broy;Bengt Jonsson;Joost-Pieter Katoen;Martin Leucker

Frequent Co-Authors

Parosh Aziz Abdulla
Parosh Aziz Abdulla Uppsala University
Martin Leucker
Martin Leucker University of Lübeck
Bernhard Steffen
Bernhard Steffen TU Dortmund University
Alexander Pretschner
Alexander Pretschner Technical University of Munich
Joost-Pieter Katoen
Joost-Pieter Katoen RWTH Aachen University
Manfred Broy
Manfred Broy Technical University of Munich
Marta Kwiatkowska
Marta Kwiatkowska University of Oxford
Wang Yi
Wang Yi Uppsala University
Antonia Bertolino
Antonia Bertolino National Research Council (CNR)
Amir Pnueli
Amir Pnueli Weizmann Institute of Science

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Pursuing a degree in Computer Science opens doors to a wide range of online learning opportunities and diverse career pathways. Students seeking flexibility can benefit from exploring affordable online colleges, which offer quality education at a lower cost and may be more accessible for those balancing work or family commitments.

For applicants with academic challenges, finding the best colleges for low gpa can make higher education more attainable, providing pathways for those who are rebuilding their academic records.

Accelerated learning options, such as computer science accelerated program tracks, allow motivated students to complete their studies more quickly and transition sooner into the workforce.

Graduates can apply their technical skills to a variety of sectors, including those connected to sustainability and environmental science. For example, there are numerous high-paying jobs with environmental science degree backgrounds that blend computing with environmental problem-solving, offering rewarding career options beyond traditional tech roles.

Best Scientists Citing Bengt Jonsson

Trending Scientists

Recently Published Articles