Items where Author is "Boender, Jaap"

See full list of headings
Export as [feed] Atom [feed] RSS 1.0
Group by: Item Type | No Grouping
Number of items: 12.


Boender, Jaap (2011) Formal verification of a theory of packages. ECEASST, 48 .

Mancinelli, Fabio and Boender, Jaap and Di Cosmo, Roberto and Vouillon, Jérôme and Durak, Berke and Leroy, Xavier and Treinen, Ralf (2006) Managing the complexity of large free and open source package-based software distributions. Automated Software Engineering, 2006. ASE '06. 21st IEEE/ACM International Conference on . pp. 199-208. ISSN 1938-4300

Book Section

Boender, Jaap and Fernandes, Sara (2014) Small world characteristics of FLOSS distributions. In: Software Engineering and Formal Methods : SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers. Counsell, Steve and Núñez, Manuel, eds. Lecture Notes in Computer Science . Springer International Publishing, pp. 417-429. ISBN 9783319050317

Boender, Jaap and Sacerdoti Coen, Claudio (2014) On the correctness of a branch displacement algorithm. In: Tools and Algorithms for the Construction and Analysis of Systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings. Ábrahám, Erika and Havelund, Klaus, eds. Lecture Notes in Computer Science (8413). Springer, pp. 605-619. ISBN 9783642548611

Boender, Jaap (2011) Efficient computation of dominance in component systems (short paper). In: Software engineering and formal methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings. Lecture Notes in Computer Science (7041). Springer, Berlin and Heidelberg, Germany, pp. 399-406. ISBN 9783642246890

Di Cosmo, Roberto and Boender, Jaap (2010) Using strong conflicts to detect quality issues in component-based complex systems. In: ISEC '10 Proceedings of the 3rd India software engineering conference. ISEC '10 . ACM, New York, pp. 163-172. ISBN 9781605589220

Abate, Pietro and Di Cosmo, Roberto and Boender, Jaap and Zacchiroli, Stefano (2009) Strong dependencies between software components. In: 2009 3rd International Symposium on Empirical Software Engineering and Measurement (ESEM 2009). IEEE, 89 -99. ISBN 9781424448425

Boender, Jaap (2007) Sound tools for package dependency management in free and open source software distributions. In: Open source development, adoption and innovation: IFIP Working Group 2.13 on Open Source Software, June 11-14, 2007, Limerick, Ireland. Feller, Joseph and Fitzgerald, Brian and Scacchi, Walt and Sillitti, Alberto, eds. IFIP Advances in Information and Communication Technology (234). Springer, Berlin and Heidelberg, Germany, p. 391. ISBN 9780387724850

Conference or Workshop Item

Amadio, Roberto M. and Ayache, Nicolas and Bobot, Francois and Boender, Jaap and Campbell, Brian and Garnier, Ilias and Madet, Antoine and McKinna, James and Mulligan, Dominic P. and Piccolo, Mauro and Pollack, Randy and Régis-Gianas, Yann and Sacerdoti Coen, Claudio and Stark, Ian and Tranquilli, Paolo (2014) Certified Complexity (CerCo). In: Third International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA 2013), 29-31 Aug 2013, Bertinoro, Italy.

Boender, Jaap and Ivanova, Marieta Georgieva and Kammueller, Florian and Primiero, Giuseppe (2014) Modeling human behaviour with higher order logic: insider threats. In: 2014 Workshop on Socio-Technical Aspects in Security and Trust, STAST 2014, Vienna, Austria, July 18, 2014.

Boender, Jaap and Kammueller, Florian and Nagarajan, Rajagopal (2014) Verification of quantum protocols using Coq. In: 17th Conference on Quantum Information Processing (QIP)..

Boender, Jaap and Kammueller, Florian and Georgieva Ivanova, Marieta and Probst, Christian Modeling human behaviour with higher order logic: insider threats. In: Socio-Technical Aspects of Security and Trust.

This list was generated on Tue May 26 00:42:24 2015 IST.