Jaap Boender

According to our database1, Jaap Boender authored at least 18 papers between 2006 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Describing and Simulating Concurrent Quantum Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2018
Negative trust for conflict resolution in software management.
Web Intell., 2018


2017
Managing Software Uninstall with Negative Trust.
Proceedings of the Trust Management XI - 11th IFIP WG 11.11 International Conference, 2017

2016
Teaching Functional Patterns through Robotic Applications.
Proceedings of the 4th and 5th International Workshop on Trends in Functional Programming in Education, 2016

2015
Formalization of Quantum Protocols using Coq.
Proceedings of the Proceedings 12th International Workshop on Quantum Physics and Logic, 2015

Minimizing transitive trust threats in software management systems.
Proceedings of the 13th Annual Conference on Privacy, Security and Trust, 2015

2014
On the Correctness of a Branch Displacement Algorithm.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Modeling Human Behaviour with Higher Order Logic: Insider Threats.
Proceedings of the 2014 Workshop on Socio-Technical Aspects in Security and Trust, 2014

2013
Small World Characteristics of FLOSS Distributions.
Proceedings of the Software Engineering and Formal Methods, 2013


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

Formal verification of a theory of packages.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Efficient Computation of Dominance in Component Systems (Short Paper).
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.
Proceedings of the Proceeding of the 3rd Annual India Software Engineering Conference, 2010

2009
Strong dependencies between software components.
Proceedings of the Third International Symposium on Empirical Software Engineering and Measurement, 2009

2008
Improving the Quality of GNU/Linux Distributions.
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.
Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006


  Loading...