PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Fiterau-Brostean, Paul"

Author of the publication

copydeleteadd this publication to your clipboard
Model learning and model checking of SSH implementations.

, , , , , and . SPIN, page 142-151. ACM, (2017)

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.

PD Dr. Simon Paulus University of Stuttgart

Prof. Dr. Paul Keller University of Stuttgart

Paul Betz University of Stuttgart

Moritz Paul University of Stuttgart

Kerstin Paul University of Stuttgart

 

Other publications of authors with the same name

Model learning and model checking of SSH implementations., , , , , and . SPIN, page 142-151. ACM, (2017)Learning Register Automata with Fresh Value Generation., , , and . ICTAC, volume 9399 of Lecture Notes in Computer Science, page 165-183. Springer, (2015)Learning Fragments of the TCP Network Protocol., , and . FMICS, volume 8718 of Lecture Notes in Computer Science, page 78-93. Springer, (2014)Combining Model Learning and Model Checking to Analyze TCP Implementations., , and . CAV (2), volume 9780 of Lecture Notes in Computer Science, page 454-471. Springer, (2016)Model Learning as a Satisfiability Modulo Theories Problem., , and . LATA, volume 10792 of Lecture Notes in Computer Science, page 182-194. Springer, (2018)Learning-Based Testing the Sliding Window Behavior of TCP Implementations., and . FMICS-AVoCS, volume 10471 of Lecture Notes in Computer Science, page 185-200. Springer, (2017)