Concepedia

Jaap Boender

JB

7

Publications

292

Citations

7

H-Index

2006

Active since

Affiliations

Université Paris Cité(Current)

Middlesex University

Institut national de recherche en sciences et technologies du numérique

Laboratory Preuves, Programmes et Systèmes

Délégation Paris 7

Jaap Boender is an author at Université Paris Cité specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationSystem SoftwareProgram AnalysisSoftware AnalysisSoftware EngineeringSoftware MaintenanceSoftware Design

Publications per year

2006–2015

7

Publications

7

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

Fabio Mancinelli, Jaap Boender, Roberto Di Cosmo et al. · 2006 · 148 citations · Full text

Software Maintenance, Engineering, Software Engineering +18

Strong dependencies between software components

Pietro Abate, Roberto Di Cosmo, Jaap Boender et al. · 2009 · 71 citations · Full text

Software Maintenance, Strong Dependencies, Engineering +18

Formalization of Quantum Protocols using Coq

Jaap Boender, Florian Kammüller, Rajagopal Nagarajan · Electronic Proceedings in Theoretical Computer Science · 2015 · 21 citations · Full text

Engineering, Formal Verification, Quantum Bits +17

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

Roberto Di Cosmo, Jaap Boender · 2010 · 16 citations

Software Maintenance, Engineering, Verification +27

Formalization of Quantum Protocols using Coq

Jaap Boender, Florian Kammueller, Rajagopal Nagarajan · arXiv (Cornell University) · 2015 · 14 citations · Full text

Engineering, Formal Verification, Quantum Bits +17

Rows per page

1–5 of 7