BibTeX records: Jaap Boender

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Persons > Jaap Boender

download as .bib file

@inproceedings{DBLP:conf/tase/BoenderB22,
  author       = {Jaap Boender and
                  Goran Badevic},
  editor       = {Yamine A{\"{\i}}t Ameur and
                  Florin Craciun},
  title        = {Formal Verification of a Keystore},
  booktitle    = {Theoretical Aspects of Software Engineering - 16th International Symposium,
                  {TASE} 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13299},
  pages        = {49--64},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-10363-6\_4},
  doi          = {10.1007/978-3-031-10363-6\_4},
  timestamp    = {Mon, 25 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tase/BoenderB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/BornatBKPN20,
  author       = {Richard Bornat and
                  Jaap Boender and
                  Florian Kammueller and
                  Guillaume Poly and
                  Rajagopal Nagarajan},
  editor       = {Armin Biere and
                  David Parker},
  title        = {Describing and Simulating Concurrent Quantum Systems},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 26th International Conference, {TACAS} 2020, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12079},
  pages        = {271--277},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-45237-7\_16},
  doi          = {10.1007/978-3-030-45237-7\_16},
  timestamp    = {Fri, 14 May 2021 08:34:19 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/BornatBKPN20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/wias/PrimieroB18,
  author       = {Giuseppe Primiero and
                  Jaap Boender},
  title        = {Negative trust for conflict resolution in software management},
  journal      = {Web Intell.},
  volume       = {16},
  number       = {4},
  pages        = {251--271},
  year         = {2018},
  url          = {https://doi.org/10.3233/WEB-180393},
  doi          = {10.3233/WEB-180393},
  timestamp    = {Mon, 09 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/wias/PrimieroB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecsee/Androutsopoulos18,
  author       = {Kelly Androutsopoulos and
                  L. Aristodemou and
                  Jaap Boender and
                  Michele Bottone and
                  Edward Currie and
                  I. El{-}Aroussi and
                  Bob Fields and
                  L. Gheri and
                  Nikos Gorogiannis and
                  M. Heeney and
                  Michael Micheletti and
                  Martin J. Loomes and
                  Michael Margolis and
                  M. Petridis and
                  A. Piermarteri and
                  Giuseppe Primiero and
                  Franco Raimondi and
                  Nick Weldin},
  editor       = {J{\"{u}}rgen Mottok},
  title        = {{MIRTO:} an Open-Source Robotic Platform for Education},
  booktitle    = {Proceedings of the 3rd European Conference of Software Engineering
                  Education, {ECSEE} 2018, Seeon Monastery, Bavaria, Germany, June 14-15,
                  2018},
  pages        = {55--62},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3209087.3209106},
  doi          = {10.1145/3209087.3209106},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsee/Androutsopoulos18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifiptm/PrimieroB17,
  author       = {Giuseppe Primiero and
                  Jaap Boender},
  editor       = {Jan{-}Philipp Stegh{\"{o}}fer and
                  Babak Esfandiari},
  title        = {Managing Software Uninstall with Negative Trust},
  booktitle    = {Trust Management {XI} - 11th {IFIP} {WG} 11.11 International Conference,
                  {IFIPTM} 2017, Gothenburg, Sweden, June 12-16, 2017, Proceedings},
  series       = {{IFIP} Advances in Information and Communication Technology},
  volume       = {505},
  pages        = {79--93},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-59171-1\_7},
  doi          = {10.1007/978-3-319-59171-1\_7},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifiptm/PrimieroB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/BoenderCLPR16,
  author       = {Jaap Boender and
                  Edward Currie and
                  Martin J. Loomes and
                  Giuseppe Primiero and
                  Franco Raimondi},
  editor       = {Johan Jeuring and
                  Jay McCarthy},
  title        = {Teaching Functional Patterns through Robotic Applications},
  booktitle    = {Proceedings of the 4th and 5th International Workshop on Trends in
                  Functional Programming in Education, {TFPIE} 2016, Sophia-Antipolis,
                  France, and University of Maryland, College Park, MD, USA, June 2,
                  2015, and June 7, 2016},
  series       = {{EPTCS}},
  volume       = {230},
  pages        = {17--29},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.230.2},
  doi          = {10.4204/EPTCS.230.2},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/BoenderCLPR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pst/BoenderPR15,
  author       = {Jaap Boender and
                  Giuseppe Primiero and
                  Franco Raimondi},
  editor       = {Ali A. Ghorbani and
                  Vicen{\c{c}} Torra and
                  H{\"{u}}seyin Hisil and
                  Ali Miri and
                  Ahmet Koltuksuz and
                  Jie Zhang and
                  Murat Sensoy and
                  Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro and
                  Ibrahim Zincir},
  title        = {Minimizing transitive trust threats in software management systems},
  booktitle    = {13th Annual Conference on Privacy, Security and Trust, {PST} 2015,
                  Izmir, Turkey, July 21-23, 2015},
  pages        = {191--198},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/PST.2015.7232973},
  doi          = {10.1109/PST.2015.7232973},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pst/BoenderPR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/BoenderKN15,
  author       = {Jaap Boender and
                  Florian Kamm{\"{u}}ller and
                  Rajagopal Nagarajan},
  editor       = {Chris Heunen and
                  Peter Selinger and
                  Jamie Vicary},
  title        = {Formalization of Quantum Protocols using Coq},
  booktitle    = {Proceedings 12th International Workshop on Quantum Physics and Logic,
                  {QPL} 2015, Oxford, UK, July 15-17, 2015},
  series       = {{EPTCS}},
  volume       = {195},
  pages        = {71--83},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.195.6},
  doi          = {10.4204/EPTCS.195.6},
  timestamp    = {Wed, 14 Nov 2018 10:31:26 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/BoenderKN15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/stast/BoenderIKP14,
  author       = {Jaap Boender and
                  Marieta Georgieva Ivanova and
                  Florian Kamm{\"{u}}ller and
                  Giuseppe Primiero},
  editor       = {Giampaolo Bella and
                  Gabriele Lenzini},
  title        = {Modeling Human Behaviour with Higher Order Logic: Insider Threats},
  booktitle    = {2014 Workshop on Socio-Technical Aspects in Security and Trust, {STAST}
                  2014, Vienna, Austria, July 18, 2014},
  pages        = {31--39},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/STAST.2014.13},
  doi          = {10.1109/STAST.2014.13},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/stast/BoenderIKP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/BoenderC14,
  author       = {Jaap Boender and
                  Claudio Sacerdoti Coen},
  editor       = {Erika {\'{A}}brah{\'{a}}m and
                  Klaus Havelund},
  title        = {On the Correctness of a Branch Displacement Algorithm},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 20th International Conference, {TACAS} 2014, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2014, Grenoble, France, April 5-13, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8413},
  pages        = {605--619},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-54862-8\_53},
  doi          = {10.1007/978-3-642-54862-8\_53},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/BoenderC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fopara/AmadioABBCGMMMPPRCST13,
  author       = {Roberto M. Amadio and
                  Nicholas Ayache and
                  Fran{\c{c}}ois Bobot and
                  Jaap Boender and
                  Brian Campbell and
                  Ilias Garnier and
                  Antoine Madet and
                  James McKinna and
                  Dominic P. Mulligan and
                  Mauro Piccolo and
                  Randy Pollack and
                  Yann R{\'{e}}gis{-}Gianas and
                  Claudio Sacerdoti Coen and
                  Ian Stark and
                  Paolo Tranquilli},
  editor       = {Ugo Dal Lago and
                  Ricardo Pe{\~{n}}a},
  title        = {Certified Complexity (CerCo)},
  booktitle    = {Foundational and Practical Aspects of Resource Analysis - Third International
                  Workshop, {FOPARA} 2013, Bertinoro, Italy, August 29-31, 2013, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8552},
  pages        = {1--18},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-12466-7\_1},
  doi          = {10.1007/978-3-319-12466-7\_1},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fopara/AmadioABBCGMMMPPRCST13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/BoenderF13,
  author       = {Jaap Boender and
                  Sara Fernandes},
  editor       = {Steve Counsell and
                  Manuel N{\'{u}}{\~{n}}ez},
  title        = {Small World Characteristics of {FLOSS} Distributions},
  booktitle    = {Software Engineering and Formal Methods - {SEFM} 2013 Collocated Workshops:
                  BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain,
                  September 23-24, 2013, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8368},
  pages        = {417--429},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-05032-4\_30},
  doi          = {10.1007/978-3-319-05032-4\_30},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/BoenderF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1209-5920,
  author       = {Jaap Boender and
                  Claudio Sacerdoti Coen},
  title        = {On the correctness of a branch displacement algorithm},
  journal      = {CoRR},
  volume       = {abs/1209.5920},
  year         = {2012},
  url          = {http://arxiv.org/abs/1209.5920},
  eprinttype    = {arXiv},
  eprint       = {1209.5920},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1209-5920.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/hal/Boender11,
  author       = {Jaap Boender},
  title        = {A formal study of Free Software distributions. (Etude formelle des
                  distributions de logiciel libre)},
  school       = {Paris Diderot University, France},
  year         = {2011},
  url          = {https://tel.archives-ouvertes.fr/tel-00698622},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/hal/Boender11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/Boender11,
  author       = {Jaap Boender},
  title        = {Formal verification of a theory of packages},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {48},
  year         = {2011},
  url          = {https://doi.org/10.14279/tuj.eceasst.48.798},
  doi          = {10.14279/TUJ.ECEASST.48.798},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/Boender11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/Boender11,
  author       = {Jaap Boender},
  editor       = {Gilles Barthe and
                  Alberto Pardo and
                  Gerardo Schneider},
  title        = {Efficient Computation of Dominance in Component Systems (Short Paper)},
  booktitle    = {Software Engineering and Formal Methods - 9th International Conference,
                  {SEFM} 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7041},
  pages        = {399--406},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24690-6\_27},
  doi          = {10.1007/978-3-642-24690-6\_27},
  timestamp    = {Sat, 19 Oct 2019 20:16:56 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/Boender11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/indiaSE/CosmoB10,
  author       = {Roberto Di Cosmo and
                  Jaap Boender},
  editor       = {Srinivas Padmanabhuni and
                  Sanjeev K. Aggarwal and
                  Umesh Bellur},
  title        = {Using strong conflicts to detect quality issues in component-based
                  complex systems},
  booktitle    = {Proceeding of the 3rd Annual India Software Engineering Conference,
                  {ISEC} 2010, Mysore, India, February 25-27, 2010},
  pages        = {163--172},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1730874.1730905},
  doi          = {10.1145/1730874.1730905},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/indiaSE/CosmoB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esem/AbateCBZ09,
  author       = {Pietro Abate and
                  Roberto Di Cosmo and
                  Jaap Boender and
                  Stefano Zacchiroli},
  title        = {Strong dependencies between software components},
  booktitle    = {Proceedings of the Third International Symposium on Empirical Software
                  Engineering and Measurement, {ESEM} 2009, October 15-16, 2009, Lake
                  Buena Vista, Florida, {USA}},
  pages        = {89--99},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/ESEM.2009.5316017},
  doi          = {10.1109/ESEM.2009.5316017},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/esem/AbateCBZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0905-4226,
  author       = {Pietro Abate and
                  Jaap Boender and
                  Roberto Di Cosmo and
                  Stefano Zacchiroli},
  title        = {Strong Dependencies between Software Components},
  journal      = {CoRR},
  volume       = {abs/0905.4226},
  year         = {2009},
  url          = {http://arxiv.org/abs/0905.4226},
  eprinttype    = {arXiv},
  eprint       = {0905.4226},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0905-4226.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/compsac/BoenderCVDM08,
  author       = {Jaap Boender and
                  Roberto Di Cosmo and
                  J{\'{e}}r{\^{o}}me Vouillon and
                  Berke Durak and
                  Fabio Mancinelli},
  title        = {Improving the Quality of GNU/Linux Distributions},
  booktitle    = {Proceedings of the 32nd Annual {IEEE} International Computer Software
                  and Applications Conference, {COMPSAC} 2008, 28 July - 1 August 2008,
                  Turku, Finland},
  pages        = {1240--1246},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/COMPSAC.2008.226},
  doi          = {10.1109/COMPSAC.2008.226},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/BoenderCVDM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/MancinelliBCVDLT06,
  author       = {Fabio Mancinelli and
                  Jaap Boender and
                  Roberto Di Cosmo and
                  Jerome Vouillon and
                  Berke Durak and
                  Xavier Leroy and
                  Ralf Treinen},
  title        = {Managing the Complexity of Large Free and Open Source Package-Based
                  Software Distributions},
  booktitle    = {21st {IEEE/ACM} International Conference on Automated Software Engineering
                  {(ASE} 2006), 18-22 September 2006, Tokyo, Japan},
  pages        = {199--208},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/ASE.2006.49},
  doi          = {10.1109/ASE.2006.49},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/MancinelliBCVDLT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

a service of

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.