( en | de | ru )

 

Disambiguation of "Jonsson, Bengt"

Author of the publication

copydeleteadd this publication to your clipboard
Automata-Based Automated Detection of State Machine Bugs in Protocol Implementations.

, , , and . NDSS, The Internet Society, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Bengt Seeberg

Tomas Bengtsson

Wolfgang Bengtsson

Bengt Bengtson

Claus Jönsson

 

Other publications of authors with the same name

Ensuring completeness of symbolic verification methods for infinite-state systems., and . Theor. Comput. Sci., 256 (1-2): 145-167 (2001)CONCUR Test-Of-Time Award 2023 (Invited Paper)., , and . CONCUR, volume 279 of LIPIcs, page 1:1-1:2. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Fully Abstract Characterization of Probabilistic May Testing., and . ARTS, volume 1601 of Lecture Notes in Computer Science, page 1-18. Springer, (1999)Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction., , and . ICTSS, volume 6435 of Lecture Notes in Computer Science, page 188-204. Springer, (2010)A Model and Proof System for Asynchronous Networks.. PODC, page 49-58. ACM, (1985)General Decidability Theorems for Infinite-State Systems., , , and . LICS, page 313-321. IEEE Computer Society, (1996)Indeterminate Concurrent Constraint Programming: A Fixpoint Semantics for Non-Terminating Computations., and . ILPS, page 335-352. MIT Press, (1993)A Compositional Specification Theory for Component Behaviours., , , and . ESOP, volume 7211 of Lecture Notes in Computer Science, page 148-168. Springer, (2012)Assume-Guarantee Reasoning for Safe Component Behaviours., , and . FACS, volume 7684 of Lecture Notes in Computer Science, page 92-109. Springer, (2012)Handling Global Conditions in Parameterized System Verification., , , and . CAV, volume 1633 of Lecture Notes in Computer Science, page 134-145. Springer, (1999)