BibTeX records: Henri Korver

• > Home > Persons > Henri Korver

@inproceedings{DBLP:conf/icegov/KorverB10,
  author       = {Henri Korver and
                  Maarten van den Broek},
  editor       = {Tomasz Janowski and
                  Jim Davies},
  title        = {Application integration at the Dutch government},
  booktitle    = {{ICEGOV} 2010, Proceedings of the 4th International Conference on
                  Theory and Practice of Electronic Governance, Beijing, China, October
                  25 - 28, 2010},
  series       = {{ACM} International Conference Proceeding Series},
  volume       = {444},
  pages        = {371--372},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1930321.1930401},
  doi          = {10.1145/1930321.1930401},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icegov/KorverB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/KorverS98,
  author       = {Henri Korver and
                  M. P. A. Sellink},
  title        = {A Formal Axiomatization for Alphabet Reasoning with Parametrized Processes},
  journal      = {Formal Aspects Comput.},
  volume       = {10},
  number       = {1},
  pages        = {30--42},
  year         = {1998},
  url          = {https://doi.org/10.1007/PL00003924},
  doi          = {10.1007/PL00003924},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/KorverS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/KorverS98a,
  author       = {Henri Korver and
                  M. P. A. Sellink},
  title        = {Example Verifications Using Alphabet Axioms},
  journal      = {Formal Aspects Comput.},
  volume       = {10},
  number       = {1},
  pages        = {43--58},
  year         = {1998},
  url          = {https://doi.org/10.1007/PL00003925},
  doi          = {10.1007/PL00003925},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/KorverS98a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Korver97,
  author       = {Henri Korver},
  title        = {Detecting Feature Interactions with C{\AE}SAR/ALD{\'{E}}BARAN},
  journal      = {Sci. Comput. Program.},
  volume       = {29},
  number       = {1-2},
  pages        = {259--278},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0167-6423(96)00037-8},
  doi          = {10.1016/S0167-6423(96)00037-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Korver97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/FredlundGK97,
  author       = {Lars{-}{\AA}ke Fredlund and
                  Jan Friso Groote and
                  Henri Korver},
  title        = {Formal Verification of a Leader Election Protocol in Process Algebra},
  journal      = {Theor. Comput. Sci.},
  volume       = {177},
  number       = {2},
  pages        = {459--486},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(96)00256-3},
  doi          = {10.1016/S0304-3975(96)00256-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/FredlundGK97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cj/Korver94,
  author       = {Henri Korver},
  title        = {A Theory for Simulators},
  journal      = {Comput. J.},
  volume       = {37},
  number       = {4},
  pages        = {279--288},
  year         = {1994},
  url          = {https://doi.org/10.1093/comjnl/37.4.279},
  doi          = {10.1093/COMJNL/37.4.279},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/Korver94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacs/KorverS94,
  author       = {Henri Korver and
                  Jan Springintveld},
  editor       = {Masami Hagiya and
                  John C. Mitchell},
  title        = {A Computer-Checked Verification of Milner's Scheduler},
  booktitle    = {Theoretical Aspects of Computer Software, International Conference
                  {TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {789},
  pages        = {161--178},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-57887-0\_95},
  doi          = {10.1007/3-540-57887-0\_95},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/tacs/KorverS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/Korver91,
  author       = {Henri Korver},
  editor       = {Kim Guldstrand Larsen and
                  Arne Skou},
  title        = {Computing Distinguishing Formulas for Branching Bisimulation},
  booktitle    = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
                  Aalborg, Denmark, July, 1-4, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {575},
  pages        = {13--23},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-55179-4\_3},
  doi          = {10.1007/3-540-55179-4\_3},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/Korver91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}