Changes

              
    

          
          
        
        

            
f
1
{
f
1
{
            
2
  "access_rights": "",
2
  "access_rights": "",
            
3
  "author": "Matthias Cosler",
3
  "author": "Matthias Cosler",
            
4
  "author_email": "",
4
  "author_email": "",
            
5
  "citation": [],
5
  "citation": [],
            
6
  "creator_user_id": "17755db4-395a-4b3b-ac09-e8e3484ca700",
6
  "creator_user_id": "17755db4-395a-4b3b-ac09-e8e3484ca700",
            
7
  "defined_in": "",
7
  "defined_in": "",
            
8
  "doi": "10.57702/wdeavoc9",
8
  "doi": "10.57702/wdeavoc9",
            
n
9
  "doi_date_published": null,
n
9
  "doi_date_published": "2024-12-03",
            
10
  "doi_publisher": "TIB",
10
  "doi_publisher": "TIB",
            
n
11
  "doi_status": false,
n
11
  "doi_status": true,
            
12
  "domain": "https://service.tib.eu/ldmservice",
12
  "domain": "https://service.tib.eu/ldmservice",
            
13
  "extra_authors": [
13
  "extra_authors": [
            
14
    {
14
    {
            
15
      "extra_author": "Frederik Schmitt",
15
      "extra_author": "Frederik Schmitt",
            
16
      "orcid": ""
16
      "orcid": ""
            
17
    },
17
    },
            
18
    {
18
    {
            
19
      "extra_author": "Christopher Hahn",
19
      "extra_author": "Christopher Hahn",
            
20
      "orcid": ""
20
      "orcid": ""
            
21
    },
21
    },
            
22
    {
22
    {
            
23
      "extra_author": "Bernd Finkbeiner",
23
      "extra_author": "Bernd Finkbeiner",
            
24
      "orcid": ""
24
      "orcid": ""
            
25
    }
25
    }
            
26
  ],
26
  ],
            
27
  "groups": [
27
  "groups": [
            
28
    {
28
    {
            
29
      "description": "",
29
      "description": "",
            
30
      "display_name": "Circuit Repair",
30
      "display_name": "Circuit Repair",
            
31
      "id": "a2d83cbc-b6df-40b0-83fc-57871d8bba98",
31
      "id": "a2d83cbc-b6df-40b0-83fc-57871d8bba98",
            
32
      "image_display_url": "",
32
      "image_display_url": "",
            
33
      "name": "circuit-repair",
33
      "name": "circuit-repair",
            
34
      "title": "Circuit Repair"
34
      "title": "Circuit Repair"
            
35
    },
35
    },
            
36
    {
36
    {
            
37
      "description": "",
37
      "description": "",
            
38
      "display_name": "Linear-Time Temporal Logic",
38
      "display_name": "Linear-Time Temporal Logic",
            
39
      "id": "664c08a3-bc63-4f7f-a60e-724715a2a678",
39
      "id": "664c08a3-bc63-4f7f-a60e-724715a2a678",
            
40
      "image_display_url": "",
40
      "image_display_url": "",
            
41
      "name": "linear-time-temporal-logic",
41
      "name": "linear-time-temporal-logic",
            
42
      "title": "Linear-Time Temporal Logic"
42
      "title": "Linear-Time Temporal Logic"
            
43
    }
43
    }
            
44
  ],
44
  ],
            
45
  "id": "090f4b0d-79b1-47e6-b728-6af218beca5c",
45
  "id": "090f4b0d-79b1-47e6-b728-6af218beca5c",
            
46
  "isopen": false,
46
  "isopen": false,
            
47
  "landing_page": 
47
  "landing_page": 
            
48
"https://github.com/reactive-systems/circuit-repair",
48
"https://github.com/reactive-systems/circuit-repair",
            
49
  "license_title": null,
49
  "license_title": null,
            
50
  "link_orkg": "",
50
  "link_orkg": "",
            
51
  "metadata_created": "2024-12-03T09:50:40.800177",
51
  "metadata_created": "2024-12-03T09:50:40.800177",
            
n
52
  "metadata_modified": "2024-12-03T09:50:40.800183",
n
52
  "metadata_modified": "2024-12-03T09:50:41.222246",
            
53
  "name": "repair-dataset",
53
  "name": "repair-dataset",
            
54
  "notes": "The dataset is used for repairing sequential circuits 
54
  "notes": "The dataset is used for repairing sequential circuits 
            
55
against formal specifications given in linear-time temporal logic 
55
against formal specifications given in linear-time temporal logic 
            
56
(LTL). The dataset consists of three entries: a formal specification 
56
(LTL). The dataset consists of three entries: a formal specification 
            
57
in LTL, a defective circuit, and the corrected target circuit.",
57
in LTL, a defective circuit, and the corrected target circuit.",
            
n
58
  "num_resources": 0,
n
58
  "num_resources": 1,
            
59
  "num_tags": 3,
59
  "num_tags": 3,
            
60
  "organization": {
60
  "organization": {
            
61
    "approval_status": "approved",
61
    "approval_status": "approved",
            
62
    "created": "2024-11-25T12:11:38.292601",
62
    "created": "2024-11-25T12:11:38.292601",
            
63
    "description": "",
63
    "description": "",
            
64
    "id": "079d46db-32df-4b48-91f3-0a8bc8f69559",
64
    "id": "079d46db-32df-4b48-91f3-0a8bc8f69559",
            
65
    "image_url": "",
65
    "image_url": "",
            
66
    "is_organization": true,
66
    "is_organization": true,
            
67
    "name": "no-organization",
67
    "name": "no-organization",
            
68
    "state": "active",
68
    "state": "active",
            
69
    "title": "No Organization",
69
    "title": "No Organization",
            
70
    "type": "organization"
70
    "type": "organization"
            
71
  },
71
  },
            
72
  "owner_org": "079d46db-32df-4b48-91f3-0a8bc8f69559",
72
  "owner_org": "079d46db-32df-4b48-91f3-0a8bc8f69559",
            
73
  "private": false,
73
  "private": false,
            
74
  "relationships_as_object": [],
74
  "relationships_as_object": [],
            
75
  "relationships_as_subject": [],
75
  "relationships_as_subject": [],
            
t
76
  "resources": [],
t
76
  "resources": [
            
77
    {
            
78
      "cache_last_updated": null,
            
79
      "cache_url": null,
            
80
      "created": "2024-12-03T10:49:30",
            
81
      "data": [
            
82
        "dcterms:title",
            
83
        "dcterms:accessRights",
            
84
        "dcterms:creator",
            
85
        "dcterms:description",
            
86
        "dcterms:issued",
            
87
        "dcterms:language",
            
88
        "dcterms:identifier",
            
89
        "dcat:theme",
            
90
        "dcterms:type",
            
91
        "dcat:keyword",
            
92
        "dcat:landingPage",
            
93
        "dcterms:hasVersion",
            
94
        "dcterms:format",
            
95
        "mls:task"
            
96
      ],
            
97
      "description": "The json representation of the dataset with its 
            
98
distributions based on DCAT.",
            
99
      "format": "JSON",
            
100
      "hash": "",
            
101
      "id": "e43054cc-2468-4228-bf82-f4165919927c",
            
102
      "last_modified": "2024-12-03T09:50:41.215252",
            
103
      "metadata_modified": "2024-12-03T09:50:41.224986",
            
104
      "mimetype": "application/json",
            
105
      "mimetype_inner": null,
            
106
      "name": "Original Metadata",
            
107
      "package_id": "090f4b0d-79b1-47e6-b728-6af218beca5c",
            
108
      "position": 0,
            
109
      "resource_type": null,
            
110
      "size": 848,
            
111
      "state": "active",
            
112
      "url": 
            
113
resource/e43054cc-2468-4228-bf82-f4165919927c/download/metadata.json",
            
114
      "url_type": "upload"
            
115
    }
            
116
  ],
            
77
  "services_used_list": "",
117
  "services_used_list": "",
            
78
  "state": "active",
118
  "state": "active",
            
79
  "tags": [
119
  "tags": [
            
80
    {
120
    {
            
81
      "display_name": "LTL",
121
      "display_name": "LTL",
            
82
      "id": "9e692546-98c4-4da3-88ce-12633100fa9d",
122
      "id": "9e692546-98c4-4da3-88ce-12633100fa9d",
            
83
      "name": "LTL",
123
      "name": "LTL",
            
84
      "state": "active",
124
      "state": "active",
            
85
      "vocabulary_id": null
125
      "vocabulary_id": null
            
86
    },
126
    },
            
87
    {
127
    {
            
88
      "display_name": "formal specifications",
128
      "display_name": "formal specifications",
            
89
      "id": "78a258e6-e4df-47ac-addd-7ab6c9b21f1e",
129
      "id": "78a258e6-e4df-47ac-addd-7ab6c9b21f1e",
            
90
      "name": "formal specifications",
130
      "name": "formal specifications",
            
91
      "state": "active",
131
      "state": "active",
            
92
      "vocabulary_id": null
132
      "vocabulary_id": null
            
93
    },
133
    },
            
94
    {
134
    {
            
95
      "display_name": "sequential circuits",
135
      "display_name": "sequential circuits",
            
96
      "id": "1bcbb12f-8433-4ad1-82ad-159fbe43a21e",
136
      "id": "1bcbb12f-8433-4ad1-82ad-159fbe43a21e",
            
97
      "name": "sequential circuits",
137
      "name": "sequential circuits",
            
98
      "state": "active",
138
      "state": "active",
            
99
      "vocabulary_id": null
139
      "vocabulary_id": null
            
100
    }
140
    }
            
101
  ],
141
  ],
            
102
  "title": "Repair dataset",
142
  "title": "Repair dataset",
            
103
  "type": "dataset",
143
  "type": "dataset",
            
104
  "version": ""
144
  "version": ""
            
105
}
145
}