Research Output

Filter
Article
2021

Demand response: For congestion management or for grid balancing?

Stawska, A., Romero Lane, N., de Weerdt, M. & Verzijlbergh, R., Jan 2021, In : Energy Policy. 148, 12 p., 111920.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
4 Downloads (Pure)
2020

A benchmark-based evaluation of search-based crash reproduction

Soltani, M., Derakhshanfar, P., Devroey, X. & van Deursen, A., Jan 2020, In : Empirical Software Engineering. 25, 1, p. 96–138 43 p.

Research output: Contribution to journalArticleScientificpeer-review

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

Actris: Session-type based reasoning in separation logic

Hinrichsen, J. K., Bengtson, J. & Krebbers, R., 2020, In : Proceedings of the ACM on Programming Languages. 4, POPL, p. 1-30 6.

Research output: Contribution to journalArticleScientificpeer-review

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

A Moment of Weakness: Protecting Against Targeted Attacks Following a Natural Disaster

Oostenbrink, J. & Kuipers, F., 2020, In : ACM SIGMETRICS Performance Evaluation Review. 47, 4, p. 12-15 4 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
30 Downloads (Pure)

Analyzing the Tradeoffs in Using Millimeter Wave Directional Links for High Data-Rate Tactile Internet Applications

Joshi, K. C., Niknam, S., Prasad, R. V. & Natarajan, B., 1 Mar 2020, In : IEEE Transactions on Industrial Informatics. 16, 3, p. 1924-1932 9 p., 8779704.

Research output: Contribution to journalArticleScientificpeer-review

1 Citation (Scopus)

An enhanced KNN-based twin support vector machine with stable learning rules

Nasiri, J. A. & Mir, A. M., 2020, In : Neural Computing and Applications. 32, 16, p. 12949-12969 21 p.

Research output: Contribution to journalArticleScientificpeer-review

A Non-cooperative Game-Theoretic Approach for Conflict Resolution in Multi-agent Planning

Jordán, J., Torreño, A., de Weerdt, M. & Onaindia, E., 2020, In : Group Decision and Negotiation. p. 1-35 35 p.

Research output: Contribution to journalArticleScientificpeer-review

A Responsible Internet to Increase Trust in the Digital World

Hesselman, C., Grosso, P., Holz, R., Kuipers, F., Hui Xue, J., Jonker, M., de Ruiter, J., Sperotto, A., van Rijswijk‑Deij, R., Moura, G. C. M., Pras, A. & de Laat, C., 2020, In : Journal of Network and Systems Management. 28, p. 882–922 41 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
1 Downloads (Pure)

Association, Blockage, and Handoffs in IEEE 802.11ad-Based 60-GHz Picocells: A Closer Look

Joshi, K. C., Hersyandika, R. & Venkatesha Prasad, R., 2020, In : IEEE Systems Journal. 14, 2, p. 2144-2153 10 p., 8839948.

Research output: Contribution to journalArticleScientificpeer-review

1 Citation (Scopus)

A Systematic Comparison of Search-Based Approaches for LDA Hyperparameter Tuning

Panichella, A., 12 Sep 2020, (Accepted/In press) In : Information and Software Technology. 20 p.

Research output: Contribution to journalArticleScientificpeer-review

1 Downloads (Pure)

Automatic generation of three-dimensional dose reconstruction data for two-dimensional radiotherapy plans for historically treated patients

Wang, Z., Virgolin, M., Bosman, P. A. N., Crama, K. F., Balgobind, B. V., Bel, A. & Alderliesten, T., 1 Jan 2020, In : Journal of Medical Imaging. 7, 1, 015001.

Research output: Contribution to journalArticleScientificpeer-review

Black-box combinatorial optimization using models with integer-valued minima

Bliek, L., Verwer, S. & de Weerdt, M., 2020, In : Annals of Mathematics and Artificial Intelligence. p. 1-15 15 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
1 Downloads (Pure)
Open Access
File
3 Downloads (Pure)

Crowd characterization for crowd management using social media data in city events

Gong, V. X., Daamen, W., Bozzon, A. & Hoogendoorn, S. P., 2020, In : Travel Behaviour and Society. 20, p. 192 - 212 21 p.

Research output: Contribution to journalArticleScientificpeer-review

CrowdCO-OP: Sharing Risks and Rewards in Crowdsourcing

Fan, S., Gadiraju, U., Checco, A. & Demartini, G., 2020, In : Proceedings of ACM Human-Computer Interaction (CSCW). 4, 24 p., 132.

Research output: Contribution to journalArticleScientificpeer-review

Decentralized plug-and-play protection scheme for low voltage DC grids

van der Blij, N. H., Purgat, P., Soeiro, T. B., Ramirez Elizondo, L. M., Spaan, M. T. J. & Bauer, P., 2020, In : Energies. 13, 12, p. 1-21 21 p., 3167.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
2 Downloads (Pure)

Distributed coordination of deferrable loads: A real-time market with self-fulfilling forecasts

Abdelghany, H., Tindemans, S., de Weerdt, M. & la Poutré, H., 11 Jun 2020, In : Sustainable Energy, Grids and Networks. 23, 11 p., 100364.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
11 Downloads (Pure)

Dynamic task-based intermittent execution for energy-harvesting devices

Majid, A. Y., Delle Donne, C., Maeng, K., Colin, A., Yildirim, K. S., Lucia, B. & Pawełczak, P., 2020, In : ACM Transactions on Sensor Networks. 16, 1, 24 p., 5.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
3 Citations (Scopus)
19 Downloads (Pure)
Open Access
File
45 Downloads (Pure)

Elaborating dependent (co)pattern matching: No pattern left behind

Cockx, J. & Abel, A., 2020, In : Journal of Functional Programming. 30, e2.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
37 Downloads (Pure)

Estimating Conversational Styles in Conversational Microtask Crowdsourcing

Qiu, S., Gadiraju, U. & Bozzon, A., 2020, In : Proceedings of ACM Human-Computer Interaction (CSCW). 4, CSCW1, 23 p., 32.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
74 Downloads (Pure)

Exploring solutions to the privacy paradox in the context of e-assessment: informed consent revisited

Muravyeva, E., Janssen, J., Specht, M. & Custers, B., 2020, In : Ethics and Information Technology. 22, 3, p. 223-238 16 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
23 Downloads (Pure)

FlowSpec: A declarative specification language for intra-procedural flow-Sensitive data-flow analysis

Smits, J., Wachsmuth, G. & Visser, E., 2020, In : Journal of Computer Languages. 57, p. 1-39 39 p., 100924.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
24 Downloads (Pure)

From students with love: An empirical study on learner goals, self-regulated learning and sense-making of learning analytics in higher education

Jivet, I., Scheffel, M., Schmitz, M., Robbers, S., Specht, M. & Drachsler, H., 2020, In : Internet and Higher Education. 47, 15 p., 100758.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
1 Citation (Scopus)
7 Downloads (Pure)
Open Access
File
53 Downloads (Pure)

Holistic Technologies for Managing Internet of Things Services

Ranjan, R., Hsu, C-H., Chen, L. Y. & Georgakopoulos, D., 2020, In : IEEE Transactions on Services Computing. 13, 4, p. 597-601 5 p., 9159958.

Research output: Contribution to journalArticleScientificpeer-review

How bugs are born: a model to identify how bugs are introduced in software components

Rodríguez-Pérez, G., Robles, G., Serebrenik, A., Zaidman, A., Germán, D. M. & Gonzalez-Barahona, J. M., 2020, In : Empirical Software Engineering. 25, 2, p. 1294-1340 47 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
108 Downloads (Pure)
Open Access
File
65 Downloads (Pure)

Know when to listen: SDN-based protocols for directed IoT networks

Alves, R., Borges Margi, C. & Kuipers, F. A., 2020, In : Computer Communications. 150, p. 672-686 15 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
20 Downloads (Pure)

Leibniz equality is isomorphic to Martin-Löf identity, parametrically

Abel, A., Cockx, J., Devriese, D., Timany, A. & Wadler, P., 2020, In : Journal of Functional Programming. 30, p. 1-14 14 p., e17.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
1 Downloads (Pure)

Machine Learning Against Terrorism: How Big Data Collection and Analysis Influences the Privacy-Security Dilemma

Verhelst, H. M., Stannat, A. W. & Mecacci, G., 2020, In : Science and Engineering Ethics. 10 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
3 Downloads (Pure)

Machine learning for the prediction of pseudorealistic pediatric abdominal phantoms for radiation dose reconstruction

Virgolin, M., Wang, Z., Alderliesten, T. & Bosman, P. A. N., 1 Jul 2020, In : Journal of Medical Imaging. 7, 4, 25 p., 046501.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
1 Downloads (Pure)

MALTESQUE 2019 Workshop Summary

Arcelli Fontana, F., Perrouin, G., Ampatzoglou, A., Archer, M., Walter, B., Cordy, M., Palomba, F. & Devroey, X., 1 Jan 2020, In : Software Engineering Notes. 45, 1, p. 34–35

Research output: Contribution to journalArticleScientific

File
33 Downloads (Pure)

Mathematical formulation of quantum circuit design problems in networks of quantum computers

van Houte, R., Mulderij, J., Attema, T., Chiscop, I. & Phillipson, F., 2020, In : Quantum Information Processing. 19, 5, 22 p., 141.

Research output: Contribution to journalArticleScientificpeer-review

On explaining machine learning models by evolving crucial and compact features

Virgolin, M., Alderliesten, T. & Bosman, P. A. N., 2020, In : Swarm and Evolutionary Computation. 53, p. 1-13 13 p., 100640.

Research output: Contribution to journalArticleScientificpeer-review

1 Citation (Scopus)

On the performance of method-level bug prediction: A negative result

Pascarella, L., Palomba, F. & Bacchelli, A., 2020, In : Journal of Systems and Software. 161, p. 1-15 15 p., 110493.

Research output: Contribution to journalArticleScientificpeer-review

Pandemic programming: How COVID-19 affects software developers and how their organizations can help

Ralph, P., Baltes, S., Adisaputri, G., Torkar, R., Kovalenko, V., Kalinowski, M., Novielli, N., Yoo, S., Devroey, X., Tan, X., Zhou, M., Turhan, B., Hoda, R., Hata, H., Robles, G., Milani Fard, A. & Alkadhi, R., 14 Sep 2020, In : Empirical Software Engineering. p. 1-35 35 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
1 Downloads (Pure)

Practical detection of CMS plugin conflicts in large plugin sets

Lima, I., Cândido, J. & d'Amorim, M., 1 Feb 2020, In : Information and Software Technology. 118, p. 1-13 13 p., 106212.

Research output: Contribution to journalArticleScientificpeer-review

Report from the 1st Int. Workshop on Education through Advanced Software Engineering and Artificial Intelligence (EASEAI ’19)

Vanderose, B., Frenay, B., Henry, J. & Devroey, X., 1 Jan 2020, In : Software Engineering Notes. 45, 1, p. 25–27

Research output: Contribution to journalArticleScientific

File
38 Downloads (Pure)

SANOM-HOBBIT: Simulated annealing-based ontology matching on HOBBIT platform

Mohammadi, M., Hofman, W. & Tan, Y. H., 2020, In : Knowledge Engineering Review. 35, e13.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
9 Downloads (Pure)

Scala step-by-step: Soundness for DOT with step-indexed logical relations in Iris

Giarrusso, P. G., Stefanesco, L., Timany, A., Birkedal, L. & Krebbers, R., 2020, In : Proceedings of the ACM on Programming Languages. 4, ICFP, p. 114:1 - 114:29 29 p., 114.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
1 Downloads (Pure)

Science Communication as a design challenge in transdisciplinary collaborations

Kalmár, É. & Stenfert, H. H., 2020, In : Journal of Science Communication. 19, 4, 12 p., C01.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
3 Downloads (Pure)

Search-based crash reproduction using behavioural model seeding

Derakhshanfar, P., Devroey, X., Perrouin, G., Zaidman, A. & van Deursen, A., 12 Apr 2020, In : Software Testing, Verification and Reliability. 30, 3, 28 p., e1733.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
24 Downloads (Pure)

Serverless Testing: Tool Vendors’ and Experts’ Point of View

Lenarduzzi, V. & Panichella, A., 2020, (Accepted/In press) In : IEEE Software.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File

SmartVLC: Co-Designing Smart Lighting and Communication for Visible Light Networks

Wu, H., Wang, Q., Xiong, J. & Zuniga, M., 2020, In : IEEE Transactions on Mobile Computing. 19, 8, p. 1956-1970 15 p., 8708935.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
4 Downloads (Pure)

Testing with Fewer Resources: An Adaptive Approach to Performance-Aware Test Case Generation

Grano, G., Laaber, C., Panichella, A. & Panichella, S., 2020, In : IEEE Transactions on Software Engineering. p. 1-16 16 p.

Research output: Contribution to journalArticleScientificpeer-review

1 Citation (Scopus)

The Offshoring Elephant in the Room: Turnover

Smite, D., Solingen, R. V. & Chatzipetrou, P., 2020, In : IEEE Software. 37, 3, p. 54-62 9 p., 8664169.

Research output: Contribution to journalArticleScientificpeer-review

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

TrustChain: A Sybil-resistant scalable blockchain

Otte, P., de Vos, M. & Pouwelse, J., 1 Jun 2020, In : Future Generation Computer Systems. 107, p. 770-780 11 p.

Research output: Contribution to journalArticleScientificpeer-review

20 Citations (Scopus)

User Scheduling and Antenna Topology in Dense Massive MIMO Networks: An Experimental Study

Wang, C. M., Wang, Q., Gaber, A., Guevara, A. P. & Pollin, S., 2020, In : IEEE Transactions on Wireless Communications. 19, 9, p. 6210-6223 14 p., 9119873.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
1 Downloads (Pure)