Bengt Jonsson
Uppsala Universitet
H-index: 59
Europe-Sweden
Top articles of Bengt Jonsson
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Scalable Tree-based Register Automata Learning | Simon Dierl Paul Fiterau-Brostean Falk Howar Bengt Jonsson Konstantinos Sagonas | 2024/4/5 | |
Automata-Based Automated Detection of State Machine Bugs in Protocol Implementations. | Paul Fiterau-Brostean Bengt Jonsson Konstantinos Sagonas Fredrik Tåquist | 2023 | |
An Active Learning Approach to Synthesizing Program Contracts | Sandip Ghosal Bengt Jonsson Philipp Rümmer | 2023/10/31 | |
Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs | Parosh Aziz Abdulla Mohamed Faouzi Atig Frederik Meyer Bønneland Sarbojit Das Bengt Jonsson | 2023/10/19 | |
CONCUR Test-Of-Time Award 2023 | 34th International Conference on Concurrency Theory (CONCUR 2023) | Bengt Jonsson Marta Kwiatkowska Igor Walukiewicz | 2023/9 |
Consistency and Persistency in Program Verification: Challenges and Opportunities | Parosh Aziz Abdulla Mohamed Faouzi Atig Ahmed Bouajjani Bengt Jonsson K Narayan Kumar | 2022/12/29 | |
Awaiting for Godot: Stateless model checking that avoids executions where nothing happens | Bengt Jonsson Magnus Lång Konstantinos Sagonas | 2022/10/17 | |
DTLS-Fuzzer: A DTLS protocol state fuzzer | Paul Fiterău-Broştean Bengt Jonsson Konstantinos Sagonas Fredrik Tåquist | 2022/4/4 | |
Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification | Hooman Asadian Paul Fiterău-Broştean Bengt Jonsson Konstantinos Sagonas | 2022/4/4 | |
Correction to: An integrated specification and verification technique for highly concurrent data structures | International Journal on Software Tools for Technology Transfer | Abdulla Parosh Aziz Haziza Frédéric Holík Lukáš Jonsson Bengt Rezine Ahmed | 2021/10/1 |
Lock-free contention adapting search trees | ACM Transactions on Parallel Computing (TOPC) | Kjell Winblad Konstantinos Sagonas Bengt Jonsson | 2021/7/22 |
Analysis of {DTLS} implementations using protocol state fuzzing | Paul Fiterau-Brostean Bengt Jonsson Robert Merget Joeri De Ruiter Konstantinos Sagonas | 2020 |