Research Line Resilience (part of LIRS program)

Filter
Conference Article in proceeding

Search results

  • 2017

    Man-in-the-Middle Attacks Evolved...but Our Security Models Didn’t (Transcript of Discussion)

    Jonker, H. L., 2017, Security Protocols XXIV: 24th International Workshop, Brno, Czech Republic, April 7-8, 2016, Revised Selected Papers. Anderson, J., Matyáš, V., Christianson, B. & Stajano, F. (eds.). Cham: Springer International Publishing AG, p. 26-34 9 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 10368).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Overview of the ICST International Software Testing Contest

    Alégroth, E., Matsuki, S., Vos, T. E. J. & Akemine, K., 2017, Proceedings 10th IEEE International Conference on Software Testing, Verification and Validation : ICST 2017, 13–17 March Tokyo, Japan. Piscataway, NJ: IEEE Computer Society Press, p. 550-551 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Reverse Bayesian poisoning: how to use spam filters to manipulate online elections

    Jonker, H., Mauw, S. & Schmitz, T., 2017, Electronic Voting: Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings. Krimmer, R., Volkamer, M., Braun Binder, N., Kersting, N., Pereira, O. & Schürmann, C. (eds.). Springer Nature Switzerland AG, p. 183-197 15 p. (Lecture Notes in Computer Science; No. 10615).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Simpler Coordination of JavaScript Web Workers

    Krauweel, M. & Jongmans, S.-S. T. Q., 2017, Coordination Models and Languages: 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings. Jacquet, J.-M. & Massink, M. (eds.). Cham: Springer Nature Switzerland AG, p. 40-58 19 p. (Lecture Notes in Computer Science; No. 10319).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Using ALF within the CoSTest process for Validation of UML-based Conceptual Schemas

    Granda, M. F., Condori-Fernández, N. & Vos, T. E. J., 2017, Proceedings of the ER Forum 2017 and the ER 2017 Demo Track co-located with the 36th International Conference on Conceptual Modelling: ER 2017. Cabanillas, C., España, S. & Farshidi, S. (eds.). Aachen: CEUR-WS.org, p. 257-270 14 p. 10. (CEUR Workshop Proceedings, Vol. 1979).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • When Agile Meets Waterfall: Investigating Risks and Problems on the Interface between Agile and Traditional Software Development in a Hybrid Development Organization

    Kusters, R. J., van de Leur, Y., Rutten, W. G. M. M. & Trienekens, J. J. M., 2017, Proceedings of the 19th International Conference on Enterprise Information Systems. Hammoudi, S., Smialek, M., Camp, O. & Filipe, J. (eds.). Porto, Portugal: SCITEPRESS-Science and Technology Publications, Lda., Vol. 2. p. 271-278 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
  • 2016

    ADVOCAT: Automated deadlock verification for on-chip cache coherence and interconnects

    Verbeek, F., Yaghini, P. M., Eghbal, A. & Bagherzadeh, N., 2016, Proceedings of the 2016 Conference on Design, Automation & Test in Europe: DATE 2016. ACM Digital Library, p. 1640-1645 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • A Lightweight Method for Analysing Performance Dependencies between Services: Fifth International Workshop on Adaptive Services for the Future Internet (WAS4FI 2015)

    Lamers, A. & van Eekelen, M. C. J. D., 2016, Advances in Service-Oriented and Cloud Computing: Workshops of ESOCC 2015, Taormina, Italy, September 15-17, 2015, Revised Selected Papers. Celesti, A. & Leitner, P. (eds.). Springer International Publishing AG, Vol. 567. p. 93 110 p. (Communications in Computer and Information Science, Vol. 567).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Approximate Probabilistic Inference with Bounded Error for Hybrid Probabilistic Logic Programming

    Michels, S., Hommersom, A. & Lucas, P. J. F., Jul 2016, IJCAI'16: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence. Brewka, G. (ed.). AAAI Press, p. 3616-3622 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Are trends in human food reflected in pet food purchase?

    Walet, E., Semeijn, J., Gelderman, C. & van Birgelen, M. J. H., 2016, BOOK OF ABSTRACTS: 23rd Recent Advances in Retailing & Services Science Conference. Eindhoven: Technische Universiteit Eindhoven, p. 140 1 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    789 Downloads (Pure)

  • Automated Localisation Testing in Industry with Test*

    Martinez, M., Esparcia, A. I., Rueda, U., Vos, T. E. J. & Ortega, C., 2016, Testing Software and Systems: 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings. Wotawa, F., Nica, M. & Kushik, N. (eds.). Cham: Springer International Publishing, p. 241-248 8 p. (Lecture Notes in Computer Science, Vol. 9976).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Branching bisimulation games

    Escrig, D. D. F., Keiren, J. J. A. & Willemse, T. A. C., 2016, Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. Albert, E. & Lanese, I. (eds.). Cham: Springer, p. 142-157 16 p. (Lecture Notes in Computer Science, Vol. 9688).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • CoBRA: Low cost compensation of TSV failures in 3D-NoC

    Salamat, R., Ebrahimi, M., Bagherzadeh, N. & Verbeek, F., 2016, 2016 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT): September 19-20, 2016 . Danvers, MA: IEEE, p. 115-120 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Composing Constraint Automata, State-by-State

    Jongmans, S.-S., Kappé, T. & Arbab, F., 2016, Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers. Braga, C. & Ölveczky, P. C. (eds.). Cham: Springer International Publishing, p. 217-236 20 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 9539). (Programming and Software Engineering LNPSE, Vol. 9539).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Decision Criteria for Software Component Sourcing: Steps towards a Framework

    Kusters, R. J., Pouwelse, L., Martin, H. & Trienekens, J. J. M., 2016, Proceedings of the 18th International Conference on Enterprise Information Systems. Hammoudi, S., Maciaszek, L., Missikoff, M. M., Camp, O. & Cordeiro, J. (eds.). Rome, Italy: SCITEPRESS-Science and Technology Publications, Lda., Vol. 1. p. 580-587 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Evolution of Automated Regression Testing of Software Systems Through the Graphical User Interface

    Aho, P., Alégroth, E., Oliveira, R. A. P. & Vos, T. E. J., May 2016, ACCSE 2016: The First International Conference on Advances in Computation, Communications and Services. Hamrioui, S. & Lloret Mauri, J. (eds.). International Academy, Research, and Industry Association (IARIA), p. 16-21 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Information Governance as a Dynamic Capability in Service Oriented Business Networking

    Rasouli, M., Eshuis, R., Trienekens, J. J. M., Kusters, R. J. & Grefen, P. W. P. J., 2016, Collaboration in a Hyperconnected World: 17th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2016, Porto, Portugal, October 3-5, 2016, Proceedings. Afsarmanesh, H., Camarinha-Matos, L. M. & Lucas Soares, A. (eds.). Cham: Springer, p. 457-468 12 p. (IFIP Advances in Information and Communication Technology, Vol. 480).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Learning Complex Uncertain States Changes via Asymmetric Hidden Markov Models: an Industrial Case

    Bueno, M. L. P., Hommersom, A., Lucas, P. J. F., Verwer, S. & Linard, A., 2016, Proceedings of the Eighth International Conference on Probabilistic Graphical Models: Volume 52 of the JMLR Workshop and Conference Proceedings: PGM 2016, Lugano, 6–9 September 2016. Antonucci, A., Corani, G. & Campos, C. P. (eds.). PMLR, Vol. 52. p. 50-61 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Learning Parameters of Hybrid Time Bayesian Networks

    Liu, M., Hommersom, A., Heijden, M. V. D. & Lucas, P. J. F., 2016, Proceedings of the Eighth International Conference on Probabilistic Graphical Models: Volume 52 of the JMLR Workshop and Conference Proceedings: PGM 2016, Lugano, 6–9 September 201. Antonucci, A., Corani, G. & de Campos, C. P. (eds.). PMLR, Vol. 52. p. 287-298 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Managing a sustainable and resilient cheese supply chain for the dynamic market.

    Zhu, Q., Krikke, H. R. & Caniels, M. C. J., 2016, Proceedings of the 2016 International Symposium on Logistics. Pawar, K. S. & Tsai, K. M. (eds.). University of Nottingham

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Mutation Operators for UML Class Diagrams

    Granda, M. F., Condori Fernandez, N., Vos, T. E. J. & Pastor, O., 2016, Advanced Information Systems Engineering: 28th International Conference, CAiSE 2016, Ljubljana, Slovenia, June 13-17, 2016. Proceedings. Nurcan, S., Soffer, P., Bajec, M. & Eder, J. (eds.). Cham: Springer International Publishing AG, p. 325-341 17 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 9694). (Information Systems and Applications, incl. Internet/Web, and HCI (LNISA), Vol. 9694).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • PrDK: Protocol Programming with Automata

    Jongmans, S.-S. & Arbab, F., 2016, Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Chechik, M. & Raskin, J.-F. (eds.). Berlin: Springer-Verlag Berlin Heidelberg, p. 547-552 6 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 9636). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 9636).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Q-learning strategies for action selection in the TESTAR automated testing tool

    Esparcia-Alcazar, A., Almenar, F., Martınez, M., Rueda, U. & Vos, T. E. J., 2016, Proceedings of the 6TH International Conference on Metaheuristics and Nature Inspired Computing: META’2016. p. 174-180 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Scheduling Games for Concurrent Systems

    Dokter, K., Jongmans, S.-S. & Arbab, F., 2016, Coordination Models and Languages: 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. Lafuente, A. L. & Proença, J. (eds.). Cham: Springer International Publishing, p. 84-100 17 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 9686). (Programming and Software Engineering LNPSE, Vol. 9686).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Smart Education

    Versteijlen, M., Perez Salgado, F. & Goes Janssen, M., Aug 2016, Proceedings of the ICT for Sustainability Conference 2016. Grosso, P., Lago, P. & Osseyran, A. (eds.). Atlantis Press SARL, p. 242-243 2 p. (Advances in Computer Science Research).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    78 Downloads (Pure)

  • Software Testing Innovation Alliance: the SHIP project

    Vos, T. E. J. & Esparcia-Alcazar, A., 2016, STAF 2016 Doctoral Symposium and Projects Showcase: Joint Proceedings of the Doctoral Symposium and Projects Showcase Held as Part of STAF 2016 co-located with Software Technologies: Applications and Foundations (STAF 2016). Dubois, C., Parisi-Presicce , F., Kolovos , D. & Matragkas , N. (eds.). RWTH Aachen, Vol. 1675. p. 65-71 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • The Role of Internet Service Providers in Botnet Mitigation

    Pijpker, J. & Vranken, H. P. E., 2016, 2016 European Intelligence and Security Informatics Conference, Proceedings: 17–19 August 2016 Uppsala, Sweden. Brynielsson, J. & Johansson , F. (eds.). IEEE Computer Society Press, p. 24-32 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Towards A Virtual Bank For Evaluating Security Aspects With Focus On User Behavior

    Kiljan, S., van Eekelen, M. C. J. D. & Vranken, H. P. E., 2016, Proceedings of 2016 SAI Computing Conference 2016: SAI 2016. IEEE, p. 1068-1075 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Unit Testing Tool Competition: Round Four

    Rueda, U., Just, R., Galeotti, J. P. & Vos, T. E. J., 2016, 9th International Workshop on Search-Based Software Testing SBST 2016 . Kellenberger , P. (ed.). New York: ACM Digital Library, Vol. 1. p. 19-28 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • User-friendly Manual Transfer of Authenticated Online Banking Transaction Data: A Case Study that Applies the What You Enter Is What You Sign Transaction Authorization Information Scheme

    Kiljan, S. Z., Vranken, H. P. E. & van Eekelen, M. C. J. D., 2016, Proceedings of the 13th International Joint Conference on e-Business and Telecommunications : July 26-28, 2016, in Lisbon, Portugal. Callegari, C., van Sinderen, M., Sarigiannidis, P., Samarati, P., Cabello, E., Lorenz, P. & Obaidat, M. S. (eds.). SCITEPRESS-Science and Technology Publications, Lda., Vol. 4. p. 259-270 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Using Dependent Types to Define Energy Augmented Semantics of Programs

    van Gastel, B., Kersten, R. & van Eekelen, M., 2016, Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers. van Eekelen, M. & Dal Lago, U. (eds.). Cham: Springer International Publishing AG, p. 20-39 20 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 9964).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Visualization of automated test results obtained by the TESTAR tool

    Rueda, U., Esparcia-Alcazar, A. & Vos, T. E. J., Oct 2016, XIX Ibero-American Conference on Software Engineering : CIBSE 2016. Fonseca C. , E. R., Hinojosa , C., Carvallo , J. P., Santos , G., Solari , M., Kalinowski , M., Conte , T., Panach , I., Lopez, L., Kinder Almentero, E., Gomez, O., Cares, C. & Marczak, S. (eds.). New York: Curran, Vol. 1. p. 53-66 14 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • 2015

    An exercise assistant for practical networking and IT security courses in higher education

    Haag, J., Karsch, S., Vranken, H. P. E. & van Eekelen, M. C. J. D., 2015, Computer Supported Education: 6th International Conference, CSEDU 2014, Barcelona, Spain, April 1-3, 2014, Revised Selected Papers. Zvacek, S., Restivo, M. T., Uhomoibhi, J. & Helfert, M. (eds.). Cham: Springer International Publishing AG, p. 84-98 15 p. (Communications in Computer and Information Science (CCIS), Vol. 510).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Benchmarks for Parity Games

    Keiren, J. J. A., 2015, Fundamentals of Software Engineering: 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers. Dastani, M. & Sirjani, M. (eds.). Cham: Springer International Publishing AG, p. 127-142 16 p. (Lecture Notes in Computer Science, Vol. 9392).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Business-IT Alignment in PSS Value Networks: Linking Customer Knowledge Management to Social Customer Relationship Management

    Bagheri, S., Kusters, R. J. & Trienekens, J. J. M., 2015, Proceedings of the 17th International Conference on Enterprise Information Systems. Hammoudi, S., Maciaszek, L. & Teniente, E. (eds.). SCITEPRESS-Science and Technology Publications, Lda., Vol. 3. p. 249-257 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Formal API Specification of the PikeOS Separation Kernel

    Verbeek, F., Havle, O., Schmaltz, J., Tverdyshev, S., Blasum, H., Langenstein, B., Werner, S., Wolff, B. & Nemouchi, Y., 2015, NASA Formal Methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings. Havelund, K., Holzmann, G. & Joshi, R. (eds.). Cham: Springer International Publishing AG, p. 375-389 15 p. (Lecture Notes in Computer Science (LNCS) series; No. 9058). (Programming and Software Engineering LNPSE, Vol. 9058).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • FP-Block: Usable Web Privacy by Controlling Browser Fingerprinting

    Ferreira Torres, C., Jonker, H. L. & Mauw, S., 2015, Computer Security -- ESORICS 2015: 20th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings, Part II . Pernul, G., Ryan, P. Y. A. & Weippl, E. (eds.). Cham: Springer Nature Switzerland AG, Vol. 2. p. 3-19 17 p. (Lecture Notes in Computer Science (LNCS) series; No. 9327). (Security and Cryptology (LNCS subseries), Vol. 9327).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Hybrid Time Bayesian Networks

    Liu, M., Hommersom, A. J., van der Heijden, M. & Lucas, P. J. F., 2015, Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings. Destercke, S. & Denoeux, T. (eds.). Cham: Springer International Publishing AG, p. 376-386 11 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 9161). (Lecture Notes in Artificial Intelligence (subseries), Vol. 9161).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Implementing green supply chain practices: An empirical investigation in the shipbuilding industry

    Caniels, M. C. J., Cleophas, E. & Semeijn, J. H., 2015, Proceedings of the 75th Annual Meeting of the Academy of Management. Humphreys, J. (ed.). Academy of Management, Vol. 15. (Academy of Management Proceedings; No. 1, Vol. 15).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Information quality in dynamic networked business process management

    Rasouli, M., Eshuis, R., Trienekens, J. J. M., Kusters, R. J. & Grefen, P. W. P. J., 2015, On the Move to Meaningful Internet Systems: OTM 2015 Conferences: Confederated International Conferences: CoopIS, ODBASE, and C&TC 2015, Rhodes, Greece, October 26-30, 2015. Proceedings. Debruyne, C., Panetto, H., Meersman, R., Dillon, T., Weichhart, G., An, Y. & Ardagna, C. A. (eds.). Cham: Springer International Publishing, p. 202 - 218 17 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 9415). (Information Systems and Applications, incl. Internet/Web, and HCI, Vol. 9415).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Location-Private Interstellar Communication

    Jonker, H. L., Mauw, S. & Radomirović, S., 2015, Security Protocols XXIII: 23rd International Workshop, Cambridge, UK, March 31 - April 2, 2015, Revised Selected Papers. Christianson, B., Švenda, P., Matyáš, V., Malcolm, J., Stajano, F. & Anderson, J. (eds.). Cham: Springer International Publishing, p. 105-115 11 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 9379). (Security and Cryptology (LNCS subseries), Vol. 9379).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Mining Hierarchical Pathology Data Using Inductive Logic Programming

    Op De Beéck, T., Hommersom, A., Van Haaren, J., van der Heijden, M., Davis, J., Lucas, P. J. F., Overbeek, L. & Nagtegaal, I., 2015, Artificial Intelligence in Medicine: 15th Conference on Artificial Intelligence in Medicine, AIME 2015, Pavia, Italy, June 17-20, 2015. Proceedings. Holmes, J. H., Bellazzi, R., Sacchi, L. & Peek, N. (eds.). Cham: Springer International Publishing AG, p. 76-85 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Older workers tra intenzione di andara in pensione ed employability: un modello di medizione nella tarda carrier: Awarded with best contribution of the Conference

    Dordoni, P., van der Heijden, B. I. J. M., Peters, P., Kraus-Hoogeveen, S. I. & Argentero, P., 2015, Associazione Italiana di Psicologia. XIII Congresso Nazionale della Sezione di Psicologia per le Organizzazioni. Palermo, 17-19th September. .

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case

    Gouw, S. D., Rot, J., Boer, F. S. D., Bubel, R. & Hähnle, R., 2015, Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I. D. K. & Păsăreanu, C. S. (eds.). Springer, p. 273-289 17 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Stabilisation and destabilisation of service definitions – an explorative case study of the purchasing process of professional ICT-services.

    De Bruin, A., Gelderman, C. & Semeijn, J., Sept 2015, Journal of Purchasing and Supply management: Special Issue of best papers of the 23rd Annual IPSERA Conference 2014. 3 ed. Elsevier, Vol. 21. p. 220-227 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Professional

    Open Access
    15 Citations (Web of Science)

  • TESTAR: from academic prototype towards an industry-ready tool for automated testing at the user interface level

    Rueda, U., Vos, T. E. J., Almenar, F., MO Martínez, A. I. E. & Oreto, M., 1 Sept 2015, Proceedings of JISBD 2015, Santander: Jornadas de Ingeniería del Software y Bases de Datos. Canós, J. H. & González-Harbour, M. (eds.). p. 236-245 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • The Customer Knowledge Management Lifecycle in PSS Value Networks: Towards Process Characterization

    Bagheri, S., Kusters, R. & Trienekens, J., 2015, 16th European Conference on Knowledge Management (ECKM 2015) : Proceedings of a meeting held 3-4 September 2015, Udine, Italy. Garlatti, A. & Massaro, M. (eds.). Sonning Common, UK: Academic Conferences and Publishing International Ltd., p. 66-77 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • The Impact of Lean Techniques on Factors Influencing Defect Injection in Software Development

    Kusters, R. J., Munneke, F. M. & Trienekens, J. J. M., 2015, Proceedings of the 17th International Conference on Enterprise Information Systems - (Volume 1): April 27-30, 2015, in Barcelona, Spain. Hammoudi, S., Maciaszek, L. & Teniente, E. (eds.). SCITEPRESS-Science and Technology Publications, Lda., Vol. 1. p. 412-419 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Vicious circles that hinder value creation in closed loop supply chains

    Schenkel, M., Krikke, H. R. & Caniels, M. C. J., 2015, Academy of Management Proceedings: Meeting Abstract Supplement 16100. Academy of Management, (Academy of Management Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • 2014

    A Hoare Logic for Energy Consumption Analysis

    Kersten, R. W. J., Parisien Toldin, P., van Gastel, B. E. & van Eekelen, M. C. J. D., 2014, Foundational and Practical Aspects of Resource Analysis: Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers. Dal Lago, U. & Peña, R. (eds.). Cham: Springer, p. 93-109 17 p. (Lecture Notes in Computer Science, Vol. 8552).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review