Projects per year
Network
Profiles
-
Towards a Unification of AI-Based Solving Paradigms for Combinatorial Optimisation
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
Research output
-
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 AccessFile5 Downloads (Pure) -
Abstraction-Guided Modular Reinforcement Learning
Ponnambalam, C. T., 2023, 106 p.Research output: Thesis › Dissertation (TU Delft)
Open AccessFile10 Downloads (Pure) -
Accelerating Programmer-Friendly Intermittent Computing
Kortbeek, V., 2023, (Submitted) 187 p.Research output: Thesis › Dissertation (TU Delft)
Datasets
-
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
Dataset/Software: Software
Prizes
-
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)
Activities
-
35th International Conference on Computer Aided Verification (CAV) 2023
Burcu Kulahcioglu Ozkan (Member of programme committee)
17 Jul 2023 → 22 Jul 2023Activity: 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 2023Activity: 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 2023Activity: Participating in or organising an event › Participation in conference
Press/Media
-
De energietransitie kan niet zonder kunstmatige intelligentie
10/01/22
1 item of Media coverage
Press/Media: Other
-
Automatisch testen betekent niet automatisch efficiëntiewinst
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