Jaap Boender

ORCID

Publication Activity (10 Years)

Years Active: 2006-2022
Publications (10 Years): 8

Top Venues

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

Jaap Boender, Goran Badevic
Formal Verification of a Keystore. TASE (2022)
Richard Bornat, Jaap Boender, Florian Kammueller, Guillaume Poly, Rajagopal Nagarajan
Describing and Simulating Concurrent Quantum Systems. TACAS (2) (2020)
Giuseppe Primiero, Jaap Boender
Negative trust for conflict resolution in software management. Web Intell. 16 (4) (2018)
Kelly Androutsopoulos, L. Aristodemou, Jaap Boender, Michele Bottone, Edward Currie, I. El-Aroussi, Bob Fields, L. Gheri, Nikos Gorogiannis, M. Heeney, Michael Micheletti, Martin J. Loomes, Michael Margolis, M. Petridis, A. Piermarteri, Giuseppe Primiero, Franco Raimondi, Nick Weldin
MIRTO: an Open-Source Robotic Platform for Education. ECSEE (2018)
Giuseppe Primiero, Jaap Boender
Managing Software Uninstall with Negative Trust. IFIPTM (2017)
Jaap Boender, Edward Currie, Martin J. Loomes, Giuseppe Primiero, Franco Raimondi
Teaching Functional Patterns through Robotic Applications. TFPIE (2016)
Jaap Boender, Giuseppe Primiero, Franco Raimondi
Minimizing transitive trust threats in software management systems. PST (2015)
Jaap Boender, Florian Kammüller, Rajagopal Nagarajan
Formalization of Quantum Protocols using Coq. QPL (2015)
Jaap Boender, Marieta Georgieva Ivanova, Florian Kammüller, Giuseppe Primiero
Modeling Human Behaviour with Higher Order Logic: Insider Threats. STAST (2014)
Jaap Boender, Claudio Sacerdoti Coen
On the Correctness of a Branch Displacement Algorithm. TACAS (2014)
Jaap Boender, Sara Fernandes
Small World Characteristics of FLOSS Distributions. SEFM Workshops (2013)
Roberto M. Amadio, Nicholas Ayache, François Bobot, Jaap Boender, Brian Campbell, Ilias Garnier, Antoine Madet, James McKinna, Dominic P. Mulligan, Mauro Piccolo, Randy Pollack, Yann Régis-Gianas, Claudio Sacerdoti Coen, Ian Stark, Paolo Tranquilli
Certified Complexity (CerCo). FOPARA (2013)
Jaap Boender, Claudio Sacerdoti Coen
On the correctness of a branch displacement algorithm CoRR (2012)
Jaap Boender
Efficient Computation of Dominance in Component Systems (Short Paper). SEFM (2011)
Jaap Boender
Formal verification of a theory of packages. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 48 (2011)
Roberto Di Cosmo, Jaap Boender
Using strong conflicts to detect quality issues in component-based complex systems. ISEC (2010)
Pietro Abate, Jaap Boender, Roberto Di Cosmo, Stefano Zacchiroli
Strong Dependencies between Software Components CoRR (2009)
Pietro Abate, Roberto Di Cosmo, Jaap Boender, Stefano Zacchiroli
Strong dependencies between software components. ESEM (2009)
Jaap Boender, Roberto Di Cosmo, Jérôme Vouillon, Berke Durak, Fabio Mancinelli
Improving the Quality of GNU/Linux Distributions. COMPSAC (2008)
Fabio Mancinelli, Jaap Boender, Roberto Di Cosmo, Jerome Vouillon, Berke Durak, Xavier Leroy, Ralf Treinen
Managing the Complexity of Large Free and Open Source Package-Based Software Distributions. ASE (2006)

Jaap Boender.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jaap Boender