Items where Author / Artist / Editor is "Boender, Jaap"

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

Article

Primiero, Giuseppe and Boender, Jaap (2018) Negative trust for conflict resolution in software management. Web Intelligence, 16 (4) . pp. 251-271. ISSN 2405-6456 (doi:10.3233/web-180393)

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

Mancinelli, Fabio, Boender, Jaap, Di Cosmo, Roberto, Vouillon, Jérôme, Durak, Berke, 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 (doi:10.1109/ASE.2006.49)

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. (doi:10.1007/978-3-642-54862-8_53)

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. (doi:10.1007/978-3-642-24690-6_27)

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, Di Cosmo, Roberto, 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. (doi:10.1109/ESEM.2009.5316017)

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, Fitzgerald, Brian, 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

Bornat, Richard ORCID: https://orcid.org/0000-0002-7261-0233, Boender, Jaap, Kammueller, Florian, Poly, Guillaume and Nagarajan, Rajagopal (2019) Describing and simulating concurrent quantum systems. Advanced Research in Computing and Software Science (ARCoSS) - Subseries of Springer's Lecture Notes in Computer Science (LNCS). In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 20), 27-30 Apr 2020, Dublin. . (Accepted/In press)

Androutsopoulos, Kelly, Aristodemou, Leonidas, Boender, Jaap, Bottone, Michele, Currie, Edward, El-Aroussi, Inas, Fields, Bob ORCID: https://orcid.org/0000-0003-1117-1844, Gheri, Lorenzo, Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609, Heeney, Michael, Micheletti, Matteo, Loomes, Martin J., Margolis, Michael, Petridis, Miltos, Piermarteri, Andrea, Primiero, Giuseppe, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 and Weldin, Nick (2018) MIRTO: an open-source robotic platform for education. Proceedings of the 3rd European Conference of Software Engineering Education on ZZZ - ECSEE'18. In: 3rd European Conference on Software Engineering Education, 14-15 June 2018, Seeon, Germany. ISBN 9781450363839. (doi:10.1145/3209087.3209106)

Primiero, Giuseppe and Boender, Jaap (2017) Managing software uninstall with negative trust. Trust Management XI: 11th IFIP WG 11.11 International Conference, IFIPTM 2017, Gothenburg, Sweden, June 12-16, 2017, Proceedings. In: 11th IFIP WG 11.11 International Conference, IFIPTM 2017, 12-16 Jun 2017, Gothenburg, Sweden. ISBN 9783319591704. ISSN 1868-4238 (doi:10.1007/978-3-319-59171-1_7)

Boender, Jaap, Currie, Edward, Loomes, Martin J., Primiero, Giuseppe and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2016) Teaching functional patterns through robotic applications. Proceedings 4th and 5th International Workshop on Trends in Functional Programming in Education (TFPIE 2015/6) (Electronic Proceedings in Theoretical Computer Science, Vol 230). In: The 4th International Workshop on Trends in Functional Programming in Education, TFPIE 2015, 02 Jun 2015, Sophia-Antipolis, France. . ISSN 2075-2180 (doi:10.4204/EPTCS.230.2)

Boender, Jaap, Kammueller, Florian and Nagarajan, Rajagopal (2015) Formalization of quantum protocols using Coq. EPTCS 195: Proceedings 12th International Workshop on Quantum Physics and Logic. In: The 12th International Workshop on Quantum Physics and Logic (QPL 2015), 15-17 Jul 2015, Oxford, United Kingdom. . ISSN 2075-2180

Boender, Jaap, Primiero, Giuseppe and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2015) Minimizing transitive trust threats in software management systems. 2015 13th Annual Conference on Privacy, Security and Trust (PST). In: 13th Annual Conference on Privacy, Security and Trust (PST 2015), 21-23 Jul 2015, Izmir, Turkey. ISBN 9781467378284. (doi:10.1109/PST.2015.7232973)

Boender, Jaap, Ivanova, Marieta Georgieva, Kammueller, Florian and Primiero, Giuseppe (2014) Modeling human behaviour with higher order logic: insider threats. 2014 Workshop on Socio-Technical Aspects in Security and Trust (STAST). In: 4th Workshop on Socio-Technical Aspects in Security and Trust (STAST 2014), 18 Jul 2014, Vienna, Austria. ISBN 9781479979011. (doi:10.1109/STAST.2014.13)

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

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

Amadio, Roberto M., Ayache, Nicolas, Bobot, Francois, Boender, Jaap, Campbell, Brian, Garnier, Ilias, Madet, Antoine, McKinna, James, Mulligan, Dominic P., Piccolo, Mauro, Pollack, Randy, Régis-Gianas, Yann, Sacerdoti Coen, Claudio, Stark, Ian and Tranquilli, Paolo (2014) Certified Complexity (CerCo). Foundational and Practical Aspects of Resource Analysis: Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers. In: Third International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA 2013), 29-31 Aug 2013, Bertinoro, Italy. ISBN 9783319124650. ISSN 0302-9743 (doi:10.1007/978-3-319-12466-7_1)

This list was generated on Sat Apr 4 05:14:26 2020 BST.