publications.bib

@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.