publications.bib

@inproceedings{ISSTA2024,
  author = {Fiter\u{a}u-Bro\c{s}tean, Paul and Jonsson, Bengt and Sagonas, Konstantinos and T\r{a}quist, Fredrik},
  title = {SMBugFinder: An Automated Framework for Testing Protocol Implementations for State Machine Bugs},
  year = {2024},
  booktitle = {Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)}
}

@inproceedings{ARES2024,
  author = {Asadian, Hooman and Fiterau-Brostean, Paul and Jonsson, Bengt and Sagonas, Konstantinos},
  title = {Monitor-based Testing of Network Protocol Implementations Using Symbolic Execution},
  year = {2024},
  booktitle = {Proceedings of the 19th International Conference on Availability, Reliability and Security (ARES)}
}

@inproceedings{TACAS2024,
  title = {Scalable Tree-based Register Automata Learning},
  author = {Dierl, Simon and 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 (TACAS)},
  year = {2024}
}

@inproceedings{NDSS2023,
  title = {Automata-Based Automated Detection of State Machine Bugs in Protocol Implementations},
  author = {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 = {2022 IEEE Conference on Software Testing, Verification and Validation (ICST)},
  year = {2022}
}

@inproceedings{ICST2022,
  title = {Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification},
  author = {Asadian, Hooman and Fiter{\u{a}}u-Bro{\c{s}}tean, Paul and Jonsson, Bengt and Sagonas, Konstantinos},
  booktitle = {2022 IEEE Conference on Software Testing, Verification and Validation (ICST)},
  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},
  year = {2018}
}

@phdthesis{PhDThesis,
  title = {Active Model Learning for the Analysis of Network Protocols},
  author = {Fiter{\u{a}}u-Bro{\c{s}}tean, Paul},
  year = {2018},
  school = {Radboud University Nijmegen}
}

@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},
  year = {2017}
}

@inproceedings{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},
  year = {2017}
}

@inproceedings{FJV2016,
  title = {Combining model learning and model checking to analyze TCP implementations},
  author = {Fiter{\u{a}}u-Bro{\c{s}}tean, Paul and Janssen, Ramon and Vaandrager, Frits},
  booktitle = {Computer Aided Verification: 28th International Conference, CAV 2016},
  year = {2016}
}

@article{AFKV16,
  title = {Learning Register Automata with Fresh Value Generation},
  journal = {Submitted to MSCS},
  author = {F. Aarts and P. Fiter\u{a}u-Bro\c{s}tean and H. Kuppens and F. W. Vaandrager},
  year = {2016}
}

@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},
  year = {2015}
}

@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},
  year = {2014}
}

This file was generated by bibtex2html 1.98.