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