@inproceedings{TACAS2024, title = {Scalable Tree-based Register Automata Learning}, author = {Dierl, Simon and \F{}\textbf{Fiter{\u{a}}u-Bro{\c{s}}tean, Paul} and Howar, Falk and Jonsson, Bengt and Sagonas, Konstantinos and T{\aa}kvist, Fredrik}, booktitle = {International Conference on Tools and Algorithms for the Construction and Analysis of Systems}, year = {2024} }
@inproceedings{NDSS2023, title = {Automata-Based Automated Detection of State Machine Bugs in Protocol Implementations}, author = {\F{}\textbf{Fiter{\u{a}}u-Bro{\c{s}}tean, Paul} and Jonsson, Bengt and Sagonas, Konstantinos and T{\aa}kvist, Fredrik}, booktitle = {Network and Distributed System Security Symposium 2023 (NDSS)}, year = {2023} }
@inproceedings{DTLSFUZZER2022, title = {{DTLS-F}uzzer: A {DTLS} Protocol State Fuzzer}, author = {Fiter{\u{a}}u-Bro{\c{s}}tean, Paul and Jonsson, Bengt and Sagonas, Konstantinos and T{\aa}kvist, Fredrik}, booktitle = {{ICST} 2022} year = {2022} }
@article{ICST2022, title = {Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification}, author = {Hooman, Asadian and Fiter{\u{a}}u-Bro{\c{s}}tean, Paul and Jonsson, Bengt and Sagonas, Konstantinos}, booktitle = {{ICST} 2022} year = {2022} }
@inproceedings{USENIX2020, title = {Analysis of {DTLS} Implementations Using Protocol State Fuzzing}, author = {Fiter{\u{a}}u-Bro{\c{s}}tean, Paul and Jonsson, Bengt and Merget, Robert and de Ruiter, Joeri and Sagonas, Konstantinos and Somorovsky, Juraj}, booktitle = {29th {USENIX} Security Symposium ({USENIX} Security 20)} year = {2020} }
@inproceedings{LATA2018, title = {Model Learning as a Satisfiability Modulo Theories Problem}, author = {Smetsers, Rick and Fiter{\u{a}}u-Bro{\c{s}}tean, Paul and Vaandrager, Frits}, booktitle = {International Conference on Language and Automata Theory and Applications}, pages = {182--194}, year = {2018}, organization = {Springer} }
@incollection{FH2017, title = {Learning-Based Testing the Sliding Window Behavior of {TCP} Implementations}, author = {Fiter{\u{a}}u-Bro{\c{s}}tean, Paul and Howar, Falk}, booktitle = {Critical Systems: Formal Methods and Automated Verification}, pages = {185--200}, year = {2017}, publisher = {Springer} }
@inproceedings{SPIN2017, author = {Fiter{\u{a}}u-Bro{\c{s}}tean, Paul and Lenaerts, Toon and Poll, Erik and de Ruiter, Joeri and Vaandrager, Frits and Verleg, Patrick}, title = {Model Learning and Model Checking of {SSH} Implementations}, booktitle = {Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software}, series = {SPIN 2017}, year = {2017}, isbn = {978-1-4503-5077-8}, location = {Santa Barbara, CA, USA}, pages = {142--151}, publisher = {ACM} }
@inproceedings{FJV2016, author = {Fiter{\u{a}}u-Bro{\c{s}}tean, Paul and Janssen, Ramon and Vaandrager, Frits}, title = {Combining Model Learning and Model Checking to Analyze {TCP} Implementations}, year = 2016, booktitle = {{CAV} 2016}, publisher = {Springer}, series = {LNCS}, volume = {9780}, pages = {454-471} }
@inproceedings{AFKV15, author = {Aarts, Fides and Fiter{\u{a}}u-Bro{\c{s}}tean, Paul and Kuppens, Harco and Vaandrager, Frits}, title = {Learning Register Automata with Fresh Value Generation}, booktitle = {{ICTAC} 2015}, pages = {165--183}, year = {2015}, series = {LNCS}, volume = {9399}, publisher = {Springer} }
@inproceedings{FJV2014, author = {Fiter{\u{a}}u-Bro{\c{s}}tean, Paul and Janssen, Ramon and Vaandrager, Frits}, title = {Learning Fragments of the {TCP} Network Protocol}, booktitle = {{FMICS} 2014}, publisher = {Springer}, series = {LNCS}, volume = {8718}, pages = {78--93}, year = {2014} }
This file was generated by bibtex2html 1.98.