Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Jaap Boender
@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} }
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.