Jaap Boender

According to our database, Jaap Boender authored at least 19 papers between 2006 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Formal Verification of a Keystore.

Jaap Boender, Goran Badevic

Proceedings of the Theoretical Aspects of Software Engineering, 2022

2020

Describing and Simulating Concurrent Quantum Systems.

Richard Bornat, Jaap Boender, Florian Kammueller, Guillaume Poly, Rajagopal Nagarajan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2018

Negative trust for conflict resolution in software management.

Giuseppe Primiero, Jaap Boender

Web Intell., 2018

MIRTO: an Open-Source Robotic Platform for Education.

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

Proceedings of the 3rd European Conference of Software Engineering Education, 2018

2017

Managing Software Uninstall with Negative Trust.

Giuseppe Primiero, Jaap Boender

Proceedings of the Trust Management XI - 11th IFIP WG 11.11 International Conference, 2017

2016

Teaching Functional Patterns through Robotic Applications.

Jaap Boender, Edward Currie, Martin J. Loomes, Giuseppe Primiero, Franco Raimondi

Proceedings of the 4th and 5th International Workshop on Trends in Functional Programming in Education, 2016

2015

Formalization of Quantum Protocols using Coq.

Jaap Boender, Florian Kammüller, Rajagopal Nagarajan

Proceedings of the Proceedings 12th International Workshop on Quantum Physics and Logic, 2015

Minimizing transitive trust threats in software management systems.

Jaap Boender, Giuseppe Primiero, Franco Raimondi

Proceedings of the 13th Annual Conference on Privacy, Security and Trust, 2015

2014

On the Correctness of a Branch Displacement Algorithm.

Jaap Boender, Claudio Sacerdoti Coen

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Modeling Human Behaviour with Higher Order Logic: Insider Threats.

Jaap Boender, Marieta Georgieva Ivanova, Florian Kammüller, Giuseppe Primiero

Proceedings of the 2014 Workshop on Socio-Technical Aspects in Security and Trust, 2014

2013

Small World Characteristics of FLOSS Distributions.

Jaap Boender, Sara Fernandes

Proceedings of the Software Engineering and Formal Methods, 2013

Certified Complexity (CerCo).

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

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2013

2011

A formal study of Free Software distributions. (Etude formelle des distributions de logiciel libre).

Jaap Boender

PhD thesis, 2011

Formal verification of a theory of packages.

Jaap Boender

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Efficient Computation of Dominance in Component Systems (Short Paper).

Jaap Boender

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

2010

Using strong conflicts to detect quality issues in component-based complex systems.

Roberto Di Cosmo, Jaap Boender

Proceedings of the Proceeding of the 3rd Annual India Software Engineering Conference, 2010

2009

Strong dependencies between software components.

Pietro Abate, Roberto Di Cosmo, Jaap Boender, Stefano Zacchiroli

Proceedings of the Third International Symposium on Empirical Software Engineering and Measurement, 2009

2008

Improving the Quality of GNU/Linux Distributions.

Jaap Boender, Roberto Di Cosmo, Jérôme Vouillon, Berke Durak, Fabio Mancinelli

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2006

Managing the Complexity of Large Free and Open Source Package-Based Software Distributions.

Fabio Mancinelli, Jaap Boender, Roberto Di Cosmo, Jerome Vouillon, Berke Durak, Xavier Leroy, Ralf Treinen

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006