publications.bib

@inproceedings{AFKV15,
  author = {F. Aarts and P. Fiter\u{a}u-Bro\c{s}tean and H. Kuppens and F. W. Vaandrager},
  title = {Learning Register Automata with Fresh Value Generation},
  booktitle = {{ICTAC} 2015},
  pages = {165--183},
  year = {2015},
  series = {LNCS},
  volume = {9399},
  publisher = {Springer}
}
@article{AFKV16,
  title = {Learning Register Automata with Fresh Value Generation},
  author = {F. Aarts and P. Fiter\u{a}u-Bro\c{s}tean and H. Kuppens and F. W. Vaandrager},
  year = {2016}
}
@inproceedings{FJV2014,
  author = {P. Fiter\u{a}u-Bro\c{s}tean and R. Janssen and F.W. Vaandrager},
  title = {Learning Fragments of the {TCP} Network Protocol},
  booktitle = {{FMICS} 2014},
  publisher = {Springer},
  series = {LNCS},
  volume = {8718},
  pages = {78--93},
  year = {2014}
}
@inproceedings{FJV2016,
  author = {P. Fiter\u{a}u-Bro\c{s}tean and R. Janssen and F.W. Vaandrager},
  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}
}
@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}
}
@article{SF2017,
  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, Cham}
}
@inproceedings{SPIN2017,
  author = {P. Fiter\u{a}u-Bro\c{s}tean and T. Lenaerts and J. de Ruiter and E. Poll and F.W. Vaandrager and P. Verleg },
  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}
}

This file was generated by bibtex2html 1.95.