Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Stefan Vijzelaar
@article{DBLP:journals/tecs/VijzelaarF17, author = {Stefan Vijzelaar and Wan J. Fokkink}, title = {Multi-valued Simulation and Abstraction Using Lattice Operations}, journal = {{ACM} Trans. Embed. Comput. Syst.}, volume = {16}, number = {2}, pages = {42:1--42:26}, year = {2017}, url = {https://doi.org/10.1145/3012282}, doi = {10.1145/3012282}, timestamp = {Tue, 08 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tecs/VijzelaarF17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/VijzelaarF17, author = {Stefan J. J. Vijzelaar and Wan J. Fokkink}, editor = {Ahmed Bouajjani and Alexandra Silva}, title = {Creating B{\"{u}}chi Automata for Multi-valued Model Checking}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 37th {IFIP} {WG} 6.1 International Conference, {FORTE} 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland, June 19-22, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10321}, pages = {210--224}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-60225-7\_15}, doi = {10.1007/978-3-319-60225-7\_15}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/VijzelaarF17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acsd/VijzelaarF15, author = {Stefan Vijzelaar and Wan J. Fokkink}, title = {Multi-valued Abstraction Using Lattice Operations}, booktitle = {15th International Conference on Application of Concurrency to System Design, {ACSD} 2015, Brussels, Belgium, June 21-26, 2015}, pages = {70--79}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/ACSD.2015.18}, doi = {10.1109/ACSD.2015.18}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/acsd/VijzelaarF15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ershov/VijzelaarVFB14, author = {Stefan Vijzelaar and Kees Verstoep and Wan J. Fokkink and Henri E. Bal}, editor = {Andrei Voronkov and Irina B. Virbitskaite}, title = {Bonsai: Cutting Models Down to Size}, booktitle = {Perspectives of System Informatics - 9th International Ershov Informatics Conference, {PSI} 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8974}, pages = {361--375}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-46823-4\_29}, doi = {10.1007/978-3-662-46823-4\_29}, timestamp = {Mon, 18 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ershov/VijzelaarVFB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1111-0374, author = {Stefan Vijzelaar and Kees Verstoep and Wan J. Fokkink and Henri E. Bal}, editor = {Jiri Barnat and Keijo Heljanko}, title = {Distributed {MAP} in the SpinJa Model Checker}, booktitle = {Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, {PDMC} 2011, Snowbird, Utah, USA, July 14, 2011}, series = {{EPTCS}}, volume = {72}, pages = {84--90}, year = {2011}, url = {https://doi.org/10.4204/EPTCS.72.9}, doi = {10.4204/EPTCS.72.9}, timestamp = {Fri, 09 Apr 2021 18:27:20 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1111-0374.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/podc/VijzelaarBF10, author = {Stefan Vijzelaar and Herbert Bos and Wan J. Fokkink}, editor = {Andr{\'{e}}a W. Richa and Rachid Guerraoui}, title = {Brief announcement: a shared disk on distributed storage}, booktitle = {Proceedings of the 29th Annual {ACM} Symposium on Principles of Distributed Computing, {PODC} 2010, Zurich, Switzerland, July 25-28, 2010}, pages = {79--80}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1835698.1835718}, doi = {10.1145/1835698.1835718}, timestamp = {Mon, 18 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/podc/VijzelaarBF10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.