Jaap Boender
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2008–2022
Best venue rank
A
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | TASE | Formal Verification of a Keystore. | Jaap Boender, Goran Badevic |
| 2020 | TACAS | Describing and Simulating Concurrent Quantum Systems. | Richard Bornat, Jaap Boender, Florian Kammueller, Guillaume Poly, Rajagopal Nagarajan |
| 2015 | PST | Minimizing transitive trust threats in software management systems. | Jaap Boender, Giuseppe Primiero, Franco Raimondi |
| 2014 | TACAS | On the Correctness of a Branch Displacement Algorithm. | Jaap Boender, Claudio Sacerdoti Coen |
| 2013 | SEFM | Small World Characteristics of FLOSS Distributions. | Jaap Boender, Sara Fernandes |
| 2011 | SEFM | Efficient Computation of Dominance in Component Systems (Short Paper). | Jaap Boender |
| 2009 | ESEM | Strong dependencies between software components. | Pietro Abate, Roberto Di Cosmo, Jaap Boender, Stefano Zacchiroli |
| 2008 | COMPSAC | Improving the Quality of GNU/Linux Distributions. | Jaap Boender, Roberto Di Cosmo, Jrme Vouillon, Berke Durak, Fabio Mancinelli |