Software Technology

UN Sustainable Development Goals

In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. Our work contributes towards the following SDG(s):

A. Adjedj, MSc MRes
- Electrical Engineering, Mathematics and Computer Science, Programming Languages
Person: Academic
T.V. Aerts, MSc
- Electrical Engineering, Mathematics and Computer Science, Computer Science & Engineering-Teaching Team
Person: Academic
B.P. Ahrens
- Electrical Engineering, Mathematics and Computer Science, Programming Languages
Person: Academic

1 Active
2 Finished

Towards a Unification of AI-Based Solving Paradigms for Combinatorial Optimisation
Demirović, E. & Flippo, M. L.
1/09/22 → 1/09/26
Project: Research
FFC: Future Proof Flexible Charging: Dealing with uncertain prices and network constraints
de Weerdt, M. M., Spaan, M. T. J., Lane, N. R., Morales Espana, G. A. & van der Linden, J. G. M.
1/02/17 → 15/09/19
Project: Research
GCP: Gaming beyond the Copper Plate
de Weerdt, M. M., Spaan, M. T. J., de Vries, L. J., Witteveen, C., van der Sluis, L., Walraven, E. M. P., Philipsen, R. M., Morales Espana, G. A. & Ramirez Elizondo, L. M.
1/10/14 → 31/10/18
Project: Research

A benchmarking procedure for quantum networks
Helsen, J. & Wehner, S., 2023, In: NPJ Quantum Information. 9, 1, 8 p., 17.
Research output: Contribution to journal › Article › Scientific › peer-review

Open Access
File
5 Downloads (Pure)
Abstraction-Guided Modular Reinforcement Learning
Ponnambalam, C. T., 2023, 106 p.
Research output: Thesis › Dissertation (TU Delft)

Open Access
File
10 Downloads (Pure)
Accelerating Programmer-Friendly Intermittent Computing
Kortbeek, V., 2023, (Submitted) 187 p.
Research output: Thesis › Dissertation (TU Delft)

Source code of "An Improved Pareto Front Modeling Algorithm for Large-scale Many-Objective Optimization"
Panichella, A. (Creator), TU Delft - 4TU.ResearchData, 15 Apr 2022
https://zenodo.org/record/6462859
Dataset/Software: Software
HasBugs - Handpicked Haskell Bugs
Applis, L. H. (Creator), Panichella, A. (Creator) & Lemaire, C. (Contributor), GitHub/Zenodo, 25 Jan 2023
DOI: 10.5281/zenodo.7569299, https://ciselab.github.io/HasBugs/
Dataset/Software: Dataset
Generating Class-Level Integration Tests Using Call Site Information
Derakhshanfar, P. (Creator), Devroey, X. D. M. (Creator) & Panichella, A. (Creator), Zenodo, 2022
DOI: 10.5281/zenodo.5255904
Dataset/Software: Software

A Platform for RFID Security and Privacy Administration
Gaydadjiev, G. (Recipient), Rieback, M. (Recipient), Crispo, B. (Recipient), Hofman, R. (Recipient) & Tannenbaum, A. (Recipient), 2006
Prize: Prize (including medals and awards)
Best Emerging Results Paper Award
Rodriguez Perez, G. (Recipient), Zaidman, A.E. (Recipient), Serebrenik, A. (Recipient), Robles, G. (Recipient) & Gonzalez-Barahona, J. M. (Recipient), 2018
Prize: Prize (including medals and awards)
Best ERA paper award
Beller, M. (Recipient), Zaidman, A.E. (Recipient) & Karpov, A. (Recipient), 2015
Prize: Prize (including medals and awards)

27 Publication peer-review
23 Editorial activity
11 Participation in conference
10 Talk or presentation at a workshop, seminar, course or other meeting
More
- 6 Talk or presentation at a conference
- 1 Participation in workshop, seminar, course

35th International Conference on Computer Aided Verification (CAV) 2023
Burcu Kulahcioglu Ozkan (Member of programme committee)
17 Jul 2023 → 22 Jul 2023
Activity: Participating in or organising an event › Participation in conference
8th International Workshop on Metamorphic Testing (MET), in conjunction with ICSE 2023
Burcu Kulahcioglu Ozkan (Member of programme committee)
14 May 2023
Activity: Participating in or organising an event › Participation in conference
24th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) 2023
Burcu Kulahcioglu Ozkan (Member of programme committee)
15 Jan 2023 → 17 Jan 2023
Activity: Participating in or organising an event › Participation in conference

De energietransitie kan niet zonder kunstmatige intelligentie
M.M. de Weerdt
10/01/22
1 item of Media coverage
Press/Media: Other
Automatisch testen betekent niet automatisch efficiëntiewinst
A. van Deursen
20/09/21
1 item of Media coverage
Press/Media: Public Engagement
Tech Philosophers Explain The Bigger Issues With Digital Platforms, And Some Ways Forward
F. Santoni De Sio, M. Capasso, Rockwell Clancy, Matthew James Dennis, J.M. Duran, G. Ishmaev, O. Kudina, J.J.C. Maas, G. Pozzi, M. Sand, M.J. van den Hoven & H.M. Veluwenkamp
15/02/21
1 Media contribution
Press/Media: Other