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: 18.

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

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

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

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

Androutsopoulos, Kelly, Aristodemou, Leonidas, Boender, Jaap, Bottone, Michele, Currie, Edward, El-Aroussi, Inas, Fields, Bob, Gheri, Lorenzo, Gorogiannis, Nikos, Heeney, Michael, Micheletti, Matteo, Loomes, Martin J., Margolis, Michael, Petridis, Miltos, Piermarteri, Andrea, Primiero, Giuseppe, Raimondi, Franco and Weldin, Nick (2018) MIRTO: an open-source robotic platform for education. In: 3rd European Conference on Software Engineering Education, 14-15 June 2018, Seeon, Germany.

Primiero, Giuseppe and Boender, Jaap (2017) Managing software uninstall with negative trust. In: 11th IFIP WG 11.11 International Conference, IFIPTM 2017, 12-16 Jun 2017, Gothenburg, Sweden.

Boender, Jaap, Currie, Edward, Loomes, Martin J., Primiero, Giuseppe and Raimondi, Franco (2016) Teaching functional patterns through robotic applications. In: The 4th International Workshop on Trends in Functional Programming in Education, TFPIE 2015, 02 Jun 2015, Sophia-Antipolis, France.

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

Boender, Jaap, Primiero, Giuseppe and Raimondi, Franco (2015) Minimizing transitive trust threats in software management systems. In: 13th Annual Conference on Privacy, Security and Trust (PST 2015), 21-23 Jul 2015, Izmir, Turkey.

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

Boender, Jaap, Kammueller, Florian, Ivanova, Marieta Georgieva and Primiero, Giuseppe (2014) Modeling human behaviour with higher order logic: insider threats. 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). In: Third International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA 2013), 29-31 Aug 2013, Bertinoro, Italy.

This list was generated on Tue Jul 23 04:45:43 2019 BST.