Mathematics and Computer Science

Search results

• SAIBERSOC: Synthetic Attack Injection to Benchmark and Evaluate the Performance of Security Operation Centers

  Rosso, M. (Creator), Campobasso, M. (Creator), Gankhuyag, G. (Creator) & Allodi, L. (Creator), Eindhoven University of Technology, 7 Dec 2020

  https://gitlab.tue.nl/saibersoc/acsac2020-artifacts

  Dataset

• A labeled Ecore metamodel dataset for domain clustering

  Babur, Ö. (Creator), Zenodo, 6 Mar 2019

  DOI: 10.5281/zenodo.2585431

  Dataset

• BPI Challenge 2020

  van Dongen, B. F. (Creator), 4TU.Centre for Research Data, 26 Mar 2020

  DOI: 10.4121/uuid:52fb97d4-4588-43c9-9d04-3604d4613b51

  Dataset

• BPI Challenge 2020: Request For Payment

  van Dongen, B. F. (Creator), 4TU.Centre for Research Data, 26 Mar 2020

  DOI: 10.4121/uuid:895b26fb-6f25-46eb-9e48-0dca26fcd030

  Dataset

• BPI Challenge 2020: Travel Permit Data

  van Dongen, B. F. (Creator), 4TU.Centre for Research Data, 26 Mar 2020

  DOI: 10.4121/uuid:ea03d361-a7cd-4f5e-83d8-5fbdf0362550

  Dataset

• BPI Challenge 2020: International Declarations

  van Dongen, B. F. (Creator), 4TU.Centre for Research Data, 26 Mar 2020

  DOI: 10.4121/uuid:2bbf8f6a-fc50-48eb-aa9e-c4ea5ef7e8c5

  Dataset

• Sepsis Cases - event log

  Mannhardt, F. (Creator), 4TU.Centre for Research Data, 7 Dec 2016

  DOI: 10.4121/uuid:915d2bfb-7e84-49ad-a286-dc35f063a460

  Dataset

• Lindholmen Dataset of UML Models

  Chaudron, M. R. V. (Creator), Hebig, R. (Creator), Robles, G. (Creator) & Ho-Quang, T. (Creator), Personal, 2017

  http://models-db.com

  Dataset

• BPI Challenge 2016

  van Dongen, B. F. (Creator) & Dees, M. (Creator), UWV, 22 Apr 2016

  DOI: 10.4121/uuid:360795c8-1dd6-4a5b-a443-185001076eab

  Dataset

• BPI Challenge 2018

  van Dongen, B. F. (Creator) & Borchert, F. (Creator), Eindhoven University of Technology, 13 Mar 2018

  DOI: 10.4121/uuid:3301445f-95e8-4ff0-98a4-901f1f204972

  Dataset

• Hospital Billing - Event Log

  Mannhardt, F. (Creator), 4TU.Centre for Research Data, 1 Aug 2017

  DOI: 10.4121/uuid:76c46b83-c930-4798-a1c9-4be94dfeb741

  Dataset

• Data-driven Process Discovery - artificial event log

  Mannhardt, F. (Creator), Eindhoven University of Technology, 8 Dec 2016

  DOI: 10.4121/uuid:32cad43f-8bb9-46af-8333-48aae2bea037

  Dataset

• Animation as a Dynamic Visualization Technique for Improving Process Model Comprehension

  Aysolmaz, B. (Creator) & Reijers, H. A. (Creator), Mendeley Data, 4 May 2021

  DOI: 10.17632/2mbyv29fkk.1

  Dataset

• Apache Commons Crypto 1.0.0 - Stream CbcNopad Unit Test Software Event Log

  Leemans, M. (Creator), 4TU.Centre for Research Data, 21 Apr 2017

  DOI: 10.4121/uuid:bb3286d6-dde1-4e74-9a64-fd4e32f10677

  Dataset

• JUnit 4.12 Software Event Log

  Leemans, M. (Creator), 4TU.Centre for Research Data, 15 Aug 2016

  DOI: 10.4121/uuid:cfed8007-91c8-4b12-98d8-f233e5cd25bb

  Dataset

• NASA Crew Exploration Vehicle (CEV) Software Event Log

  Leemans, M. (Creator) & Howar, F. (Contributor), 4TU.Centre for Research Data, 21 Apr 2017

  DOI: 10.4121/uuid:60383406-ffcd-441f-aa5e-4ec763426b76

  Dataset

• Road traffic fine management process

  de Leoni, M. (Creator) & Mannhardt, F. (Creator), 4TU.Centre for Research Data, 10 Feb 2015

  DOI: 10.4121/uuid:270fd440-1057-4fb9-89a9-b699b47990f5

  Dataset

• ParaFROST Proofs for Certified SAT Solving with GPU Accelerated Inprocessing

  Mahmoud, M. O. (Creator), Zenodo, 26 Jul 2021

  DOI: 10.5281/zenodo.5137887

  Dataset

• Interval predictor models matlab toolbox

  Rocchetta, R. (Creator), Zenodo, 10 Apr 2021

  DOI: 10.5281/zenodo.4678150

  Dataset

• Experimental data for "Software Data Analytics: Architectural Model Discovery and Design Pattern Detection"

  Liu, C. (Creator), 4TU.Centre for Research Data, 29 Jan 2019

  DOI: 10.4121/uuid:ca1b0690-d9c5-4626-a067-525ec9d5881b

  Dataset

• Artificial datasets for "Online Conformance Checking Using Behavioural Patterns"

  Burattin, A. (Creator) & van Zelst, S. J. (Creator), Zenodo, 8 Mar 2018

  DOI: 10.5281/zenodo.1194057

  Dataset

• BreakBot: Static Reverse Dependency Compatibility Testing for Java Libraries (Artefacts)

  Ochoa Venegas, L. (Contributor), Degueule, T. (Contributor), Falleri, J. (Contributor) & Vinju, J. (Contributor), Zenodo, 23 Dec 2022

  DOI: 10.5281/zenodo.7475823, https://zenodo.org/record/7475823

  Dataset

• Break the Code? Breaking Changes and Their Impact on Software Evolution (Artefacts)

  Ochoa Venegas, L. (Contributor), Zenodo, 23 Dec 2022

  DOI: 10.5281/zenodo.7651509, https://zenodo.org/record/7651509

  Dataset

• Statechart Workbench and Alignments Software Event Log

  Leemans, M. (Creator), Eindhoven University of Technology, 2018

  DOI: 10.4121/uuid:7f787965-da13-4bb8-a3fd-242f08aef9c4, https://data.4tu.nl/articles/_/12705863/1

  Dataset

• CellSim3D: GPU accelerated software for simulations of cellular growth and division in three dimensions

  Madhikar, P. (Contributor), Åström, J. (Contributor), Westerholm, J. (Contributor) & Karttunen, M. (Contributor), Mendeley Data, 2018

  DOI: 10.17632/9ffxhfdtzm.1, https://data.mendeley.com/datasets/9ffxhfdtzm

  Dataset