Research Output

2019

Iron: Managing obligations in higher-order concurrent separation logic

Bizjak, A., Gratzer, D., Krebbers, R. & Birkedal, L., 2019, In : Proceedings of the ACM on Programming Languages. 3, POPL, p. 65:1-65:30 30 p., 65.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
60 Downloads (Pure)

Java Unit Testing Tool Competition - Seventh Round

Kifetew, F., Devroey, X. & Rueda, U., 2019, 2019 IEEE/ACM 12th International Workshop on Search-Based Software Testing (SBST): Proceedings. Piscataway: IEEE, p. 15-20 6 p. 8812209

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
100 Downloads (Pure)

Language-Parametric Methods for Developing Interactive Programming Systems

Konat, G., 2019, 156 p.

Research output: ThesisDissertation (TU Delft)

Open Access
File
59 Downloads (Pure)
Open Access
File
79 Downloads (Pure)

Learning Analytics Technology to Understand Learner Behavioral Engagement in MOOCs

Zhao, Y., 2019, 164 p.

Research output: ThesisDissertation (TU Delft)

Open Access
File
86 Downloads (Pure)

Lessons learned from developing mbeddr: a case study in language engineering with MPS

Völter, M., Kolb, B., Szabó, T., Ratiu, D. & van Deursen, A., 2019, In : Software and Systems Modeling. 18, 1, p. 585-630 46 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
6 Citations (Scopus)
252 Downloads (Pure)

Linear power flow method improved with numerical analysis techniques applied to a very large network

Sereeter, B., van Westering, W., Vuik, C. & Witteveen, C., 2019, In : Energies. 12, 21, 15 p., 4078.

Research output: Contribution to journalArticleScientificpeer-review

File
1 Citation (Scopus)
17 Downloads (Pure)

Linear scaling with and within semantic backpropagation-based genetic programming for symbolic regression

Virgolin, M., Alderliesten, T. & Bosman, P. A. N., 13 Jul 2019, GECCO'19 : Proceedings of the 2019 Genetic and Evolutionary Computation Conference. New York: Association for Computing Machinery (ACM), p. 1084-1092 9 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Lower Bounds for Uniform Machine Scheduling Using Decision Diagrams

van den Bogaerdt, P. & de Weerdt, M., 2019, Integration of Constraint Programming, Artificial Intelligence, and Operations Research. Rousseau, L-M. & Stergiou, K. (eds.). Springer, p. 565-580 (Lecture Notes in Computer Science; vol. 11494).

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
72 Downloads (Pure)

LuxLink: Creating a wireless link from ambient light

Bloom, R., Zamalloa, M. Z. & Pai, C., 10 Nov 2019, SenSys 2019 - Proceedings of the 17th Conference on Embedded Networked Sensor Systems. Zhang, M. (ed.). Association for Computing Machinery (ACM), p. 166-178 13 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Mapping Energy Frames: an Innovative Approach Engaging with New Forms and Types of ‘data’ in Social Media Analysis to Frame Energy Demand

Mauri, A., Bozzon, A. & De Kok, R., 2019, From efficiency to reduction. Tackling energy consumption in a cross disciplinary perspective. Savini, F., Pineda Revilla, B., Pfeffer, K. & Bertolini, L. (eds.). InPlanning, p. 113-147

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientific

Open Access
File
14 Downloads (Pure)

Markets for Direct Current Distribution Systems: Towards Energy-based vs Flex-based Designs

Piao, L., De Vries, L., de Weerdt, M. & Yorke-Smith, N., Sep 2019, Proceedings of the 16th International Conference on the European Energy Market (EEM'19). IEEE, 6 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
25 Downloads (Pure)

Message from the Technical Program Chairs

Chen, L. Y. & Urgaonkar, B., 2019, 2019 IEEE International Conference on Autonomic Computing, ICAC 2019. Kellenberger, P. (ed.). Piscataway: IEEE, p. XI 1 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeForeword/postscriptScientific

Mind your thoughts: BCI using single EEG electrode

Narayana, S., Venkatesha Prasad, R. & Warmerdam, K., 2019, In : IET Cyber-Physical Systems: Theory and Applications. 4, 2, p. 164-172 9 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
2 Citations (Scopus)
41 Downloads (Pure)

Monitoring-aware IDEs

Winter, J., Aniche, M., Cito, J. & van Deursen, A., 2019, ESEC/FSE 2019 : Proceedings of the 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering . Association for Computing Machinery (ACM), p. 420-431 12 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
182 Downloads (Pure)

MOOC Analytics: Learner Modeling and Content Generation

Chen, G., 2019, 188 p.

Research output: ThesisDissertation (TU Delft)

Open Access
File
79 Downloads (Pure)

Multi-agent Planning Under Uncertainty for Capacity Management

Nijs, F. D., Weerdt, M. M. D. & Spaan, M. T. J., 2019, Intelligent Integrated Energy Systems: The PowerWeb Program at TU Delft. Palensky, P., Cvetković, M. & Keviczky, T. (eds.). Cham, Switzerland: Springer, p. 197-213 17 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientific

Open Access
File
213 Downloads (Pure)

Multi-hop Backscatter Tag-to-Tag Networks

Majid, A. Y., Jansen, M., Ortas Delgado, G., Ytidtnm, K. S. & Pawetczak, P., 1 Apr 2019, INFOCOM 2019 - IEEE Conference on Computer Communications. Institute of Electrical and Electronics Engineers (IEEE), p. 721-729 9 p. 8737551

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
4 Citations (Scopus)
59 Downloads (Pure)

Muses: Distributed data migration system for polystores

Kaitoua, A., Rabl, T., Katsifodimos, A. & Markl, V., 2019, 2019 IEEE 35th International Conference on Data Engineering (ICDE): Proceedings. IEEE, p. 1602-1605 4 p. 8731469

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

1 Citation (Scopus)
3 Downloads (Pure)

Network Resiliency Against Earthquakes

Valentini, A., Vass, B., Oostenbrink, J., Csak, L., Kuipers, F., Pace, B., Hay, D. & Tapolcai, J., 2019, 11th International Workshop on Resilient Networks Design and Modeling, RNDM 2019. 7 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
68 Downloads (Pure)

Node-indri: Moving the indri toolkit to the modern web stack

Moraes, F. & Hauff, C., 2019, Advances in Information Retrieval : 41st European Conference on IR Research, ECIR 2019, Proceedings. Fuhr, N., Azzopardi, L., Hiemstra, D., Hauff, C., Stein, B. & Mayr, P. (eds.). Part II ed. Cham: Springer, p. 241-245 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11438 LNCS).

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Not all bugs are the same: Understanding, characterizing, and classifying bug types

Catolino, G., Palomba, F., Zaidman, A. & Ferrucci, F., 2019, In : Journal of Systems and Software. 152, p. 165-181 17 p.

Research output: Contribution to journalArticleScientificpeer-review

9 Citations (Scopus)

No way back? An SDN protocol for directed IoT networks

Cerqueira Afonso Alves, R., Borges Margi, C. & Kuipers, F., 2019, 15th Wireless On-demand Network systems and Services Conference, IEEE/IFIP WONS 2019. 8 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
10 Downloads (Pure)

On a comparison of Newton–Raphson solvers for power flow problems

Sereeter, B., Vuik, C. & Witteveen, C., 2019, In : Journal of Computational and Applied Mathematics. 360, p. 157-169 13 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
6 Citations (Scopus)
3 Downloads (Pure)

On distributed sensor fusion in batteryless intermittent networks

Yildirim, K. S. & Pawelczak, P., 2019, 2019 15th International Conference on Distributed Computing in Sensor Systems (DCOSS). IEEE, p. 495-501 7 p. 8804798

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Online learning to rank for sequential music recommendation

Pereira, B. L., Ueda, A., Penha, G., Santos, R. L. T. & Ziviani, N., 10 Sep 2019, RecSys 2019 - 13th ACM Conference on Recommender Systems. Association for Computing Machinery (ACM), p. 237-245 9 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

5 Downloads (Pure)

On the accuracy of network synchronization using persistent hourglass clocks

Curuk, E., Yildirim, K. S., Pawelczak, P. & Hester, J., 10 Nov 2019, ENSsys 2019 - Proceedings of the 7th International Workshop on Energy Harvesting and Energy-Neutral Sensing Systems. Association for Computing Machinery (ACM), p. 35-41 7 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

On the Impact of Code Smells on the Energy Consumption of Mobile Applications

Palomba, F., Di Nucci, D., Panichella, A., Zaidman, A. & De Lucia, A., 2019, In : Information and Software Technology. 105, p. 43-55 13 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
19 Citations (Scopus)
2 Downloads (Pure)

On the impact of group size on collaborative search effectiveness

Moraes, F., Grashoff, K. & Hauff, C., 2019, In : Information Retrieval Journal. 22, 5, p. 476–498 23 p.

Research output: Contribution to journalArticleScientificpeer-review

1 Citation (Scopus)

On the Pitfalls and Vulnerabilities of Schedule Randomization against Schedule-Based Attacks

Nasri, M., Chantem, T., Bloom, G. & Gerdes, R. M., 17 Apr 2019, Proceedings - 25th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2019. Brandenburg, B. B. (ed.). IEEE / ACM, p. 103-116 14 p. 8743327. (IEEE conference Real-Time and Embedded Systems and Applications Symposium (RTAS)).

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
3 Citations (Scopus)
84 Downloads (Pure)

On the Synchronization of Computational RFIDs

Yildirim, K. S., Aantjes, H., Pawelczak, P. & Majid, A. Y., 2019, In : IEEE Transactions on Mobile Computing. 18, 9, p. 2147-2159 14 p.

Research output: Contribution to journalArticleScientificpeer-review

3 Citations (Scopus)

Operational stream processing: Towards scalable and consistent event-driven applications

Katsifodimos, A. & Fragkoulis, M., 2019, Advances in Database Technology - EDBT 2019: 22nd International Conference on Extending Database Technology, Proceedings. Reinwald, B., Galhardas, H., Fundulaki, I., Herschel, M., Kaoudi, Z. & Binnig, C. (eds.). OpenProceedings.org, Vol. 2019-March. p. 682-685 4 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
3 Citations (Scopus)
271 Downloads (Pure)

Optimal power flow formulations and their impacts on the performance of solution methods

Sereeter, B., Vuik, C., Witteveen, C. & Palensky, P., 2019, 2019 IEEE Power and Energy Society General Meeting, PESGM 2019. IEEE, Vol. 2019-August. 5 p. 8973585

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
5 Downloads (Pure)

Order Acceptance and Scheduling with Sequence-Dependent Setup Times: A new memetic algorithm and benchmark of the state of the art

He, L., Guijt, A., de Weerdt, M., Xing, L. & Yorke-Smith, N., 2019, In : Computers and Industrial Engineering. 138, p. 1-15 15 p., 106102.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
3 Citations (Scopus)
8 Downloads (Pure)

Overview of the 2019 open-source IR replicability challenge (OSIRRC 2019)

Clancy, R., Ferro, N., Hauff, C., Lin, J., Sakai, T. & Wu, Z. Z., 2019, OSIRRC 2019 The Open-Source IR Replicability Challenge: Proceedings of the Open-Source IR Replicability Challenge (OSIRRC 2019) co-located with 42nd International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR 2019). Clancy, R., Ferro, N., Hauff, C., Lin, J., Sakai, T. & Wu, Z. Z. (eds.). CEUR-WS.org, p. 1-7 7 p. (CEUR Workshop Proceedings; vol. 2409).

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
4 Citations (Scopus)
7 Downloads (Pure)

P4I/O: Intent-Based Networking with P4

Mohammad Riftadi, M. & Kuipers, F., 2019, Proceedings of the 2019 IEEE Conference on Network Softwarization: Unleashing the Power of Network Softwarization, NetSoft 2019. Jacquenet, C., De Turck, F., Chemouil, P., Esposito, F., Festor, O., Cerroni, W. & Secci, S. (eds.). IEEE, p. 438-443 6 p. 8806662

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
213 Downloads (Pure)

PathMiner: A library for mining of path-based representations of code

Kovalenko, V., Bogomolov, E., Bryksin, T. & Bacchelli, A., 1 May 2019, 2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR). IEEE, p. 13-17 5 p. 8816777

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
1 Citation (Scopus)
57 Downloads (Pure)

Perceived relevance of automatic code inspection in end-user development: A study on VBA

Roy, S., Van Deursen, A. & Hermans, F., 2019, Proceedings of EASE 2019 - Evaluation and Assessment in Software Engineering. New York, NY, USA: Association for Computing Machinery (ACM), p. 167-176 10 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
48 Downloads (Pure)

Perceptual relational attributes: Navigating and discovering shared perspectives from user-generated reviews

Torre, M. V., Ye, M. & Lofi, C., 2019, Datenbanksysteme fur Business, Technologie und Web, BTW 2019 and 18. Fachtagung des GI-Fachbereichs "Datenbanken und Informationssysteme", DBIS 2019. Grust, T., Naumann, F., Bohm, A., Lehner, W., Harder, T., Rahm, E., Heuer, A., Klettke, M. & Meyer, H. (eds.). Gesellschaft fur Informatik (GI), Vol. P-289. p. 169-189 21 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
19 Downloads (Pure)

PhD symposium chairs' welcome

Houben, G-J. & Lerman, K., 13 May 2019, WWW'19: Companion Proceedings of The 2019 World Wide Web Conference. Liu, L. & White, R. (eds.). New York: Association for Computing Machinery (ACM), p. 1-1 1 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeForeword/postscriptScientific

Open Access
File
4 Downloads (Pure)

Planning under Uncertainty in Constrained and Partially Observable Environments

Walraven, E., 27 May 2019, 228 p.

Research output: ThesisDissertation (TU Delft)

Open Access
File
171 Downloads (Pure)

Point-Based Value Iteration for Finite-Horizon POMDPs

Walraven, E. & Spaan, M. T. J., 2019, In : The Journal of Artificial Intelligence Research. 65, p. 307-341 35 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
45 Downloads (Pure)

Pragmatic software testing education

Aniche, M., Hermans, F. & van Deursen, A., 22 Feb 2019, SIGCSE 2019 - Proceedings of the 50th ACM Technical Symposium on Computer Science Education. Association for Computing Machinery (ACM), p. 414-420 7 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
2 Citations (Scopus)
1641 Downloads (Pure)

Preface

Fred, A., Dietz, J., Aveiro, D., Liu, K., Bernardino, J. & Filipe, J., 2019, Knowledge Discovery, Knowledge Engineering and Knowledge Management: 8th International Joint Conference, IC3K 2016. 1 ed. Cham: Springer, p. 1-1 1 p. (Communications in Computer and Information Science; vol. 914).

Research output: Chapter in Book/Conference proceedings/Edited volumeForeword/postscriptScientific

Preface

Fred, A., Aveiro, D., Dietz, J. L. G., Liu, K., Bernardino, J., Salgado, A. & Filipe, J., 2019, Knowledge Discovery, Knowledge Engineering and Knowledge Management: 9th International Joint Conference, IC3K 2017, Funchal, Madeira, Portugal, November 1-3, 2017, Revised Selected Papers. Fred, A., Aveiro, D., Dietz, J. L. G., Liu, K., Bernardino, J. & Salgado, A. (eds.). Cham: Springer, p. v-vi 2 p. (Communications in Computer and Information Science; vol. 976).

Research output: Chapter in Book/Conference proceedings/Edited volumeForeword/postscriptScientific

Preface

Azzopardi, L., Stein, B., Fuhr, N., Mayr, P., Hauff, C. & Hiemstra, D., 2019, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 11437 LNCS, p. v-vi

Research output: Contribution to journalEditorialScientific

Pushing the Boundaries of IoT: Building and Testing Self-powered Batteryless Switch

Kouvelas, N., Keshava, A., Narayana, S. & Prasad, R. V., 1 Apr 2019, IEEE 5th World Forum on Internet of Things, WF-IoT 2019 - Conference Proceedings. Institute of Electrical and Electronics Engineers (IEEE), p. 231-236 6 p. 8767185

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Reading news with a purpose: Explaining user profiles for self-actualization

Sullivan, E., Bountouridis, D., Harambam, J. J., Najafian, S., Loecherbach, F., Makhortykh, M., Kelen, D., Wilkinson, D., Graus, D. & Tintarev, N., 2019, UMAP'19 Adjunct : Adjunct Publication of the 27th Conference on User Modeling, Adaptation and Personalization. New York: Association for Computing Machinery (ACM), p. 241-245 5 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

File
19 Downloads (Pure)

Recovering bits from thin air: Demodulation of bandpass sampled noisy signals for space IoT

Narayana, S., Muralishankar, R., Venkatesha Prasad, R. & Rao, V. S., 2019, IPSN'19: Proceedings of the 2019 Information Processing in Sensor Networks. New York: Association for Computing Machinery (ACM), p. 1-12 12 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

1 Citation (Scopus)

Reinforcing Edge Computing with Multipath TCP Enabled Mobile Device Clouds

Balasubramanian, V., Kroep, K., Joshi, K. C. & Venkatesha Prasad, R., 2019, 2019 Fourth International Conference on Fog and Mobile Edge Computing (FMEC). Danvers: IEEE, p. 283-288 6 p. 8795340

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review