Nome |
# |
Expressing Structural Temporal Properties of Safety Critical Hierarchical Systems, file 0d6bd7ee-2d7a-4593-9de0-f1ebd20f59f8
|
25
|
Taming Strategy Logic: Non-Recurrent Fragments, file 6dddf635-8341-4b5e-9222-b541107e9b54
|
22
|
Timeline-based planning over dense temporal domains, file c4aacbee-8425-4a85-a8c0-7f08a3405a81
|
19
|
The lecture video recording in university: A case study, file cf9f5614-89e0-4590-ae35-ffc1b01e28a2
|
18
|
Adding the relation meets to the temporal logic of prefixes and infixes makes It EXPSPACEL-complete, file 400879cd-eddb-4197-946e-3150a75d7a1d
|
16
|
SATISFIABILITY AND MODEL CHECKING FOR THE LOGIC OF SUB-INTERVALS UNDER THE HOMOGENEITY ASSUMPTION, file 4eaee2f6-28fb-4bf2-b99c-984904c86577
|
15
|
Context-free timed formalisms: Robust automata and linear temporal logics, file ca8279a8-e7ad-4adc-87bb-6fa6732cac06
|
15
|
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers, file 6a5773ad-ff0a-4475-8a3d-056df9c92f18
|
14
|
Benchmarking management techniques for massive IIoT time series in a fog architecture, file 9635339f-4b5f-4938-abf9-7128098080d8
|
14
|
Web application testing: Using tree kernels to detect near-duplicate states in automated model inference, file 963b101a-3836-43f6-825c-f6bf355b0515
|
14
|
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties, file f4c1fbe2-281b-4802-be01-5cc808eaa699
|
14
|
Taming the complexity of timeline-based planning over dense temporal domains, file be040e72-4629-499f-ae3f-1d801e670e02
|
13
|
Model Checking Timeline-based Systems over Dense Temporal Domains?, file 285866b4-da21-4ea2-aa9c-30acd8c6bdd1
|
12
|
A Quantitative Extension of Interval Temporal Logic over Infinite Words, file b586deea-0758-4977-ae1b-b96b1fbcce15
|
12
|
Industrial Internet of Things: Persistence for Time Series with NoSQL Databases, file 2915fa9f-5a56-468c-b80b-249aa97dc04f
|
11
|
Complexity analysis of a unifying algorithm for model checking interval temporal logic, file 9dcd1ac2-1669-4ae5-ac0e-9c74c8973549
|
11
|
Interval temporal logic for visibly pushdown systems, file 2f57435b-2756-4ddf-8e44-f2d44397ab81
|
10
|
Pspace-completeness of the temporal logic of sub-intervals and suffixes, file 09618f39-3b02-4843-875f-4e2b9ff20d6c
|
9
|
Taming Strategy Logic: Non-Recurrent Fragments, file 3e0e6fb7-0b81-4db9-bdb5-168d0c0fa3de
|
9
|
Asynchronous Extensions of HyperLTL, file b32799ab-5e4c-45c7-a6e5-df8c0627ecf3
|
8
|
On a temporal logic of prefixes and infixes, file f4a89257-b659-4289-a33b-eb8713727738
|
8
|
Interval vs. point temporal logic model checking: An expressiveness comparison, file 1eed2882-961f-411b-b0a8-38e3865b71c0
|
7
|
Undecidability of future timeline-based planning over dense temporal domains, file 28fa2188-d79e-4348-86d5-55bc6b1b76f2
|
7
|
Parametric Interval Temporal Logic over Infinite Words, file 9ed57068-abd4-4cd1-b727-3e6969bf1189
|
7
|
Context-free timed formalisms: Robust automata and linear temporal logics, file aee8cd5a-2b7a-4483-badc-735d7bdbf06f
|
7
|
Model checking interval temporal logics with regular expressions, file def52404-3e43-4dd9-966a-b5d671da76be
|
7
|
Complexity analysis of a unifying algorithm for model checking interval temporal logic, file 80a9b752-d337-4296-8df7-21f025e2b60b
|
6
|
Timeline-based planning over dense temporal domains, file 4f2d48b0-f99b-40e5-8e89-d9618801faf3
|
5
|
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers, file 9fac783f-b11b-42de-a086-d05e00610aca
|
5
|
Web application testing: Using tree kernels to detect near-duplicate states in automated model inference, file afad6bb5-385d-4d76-aae7-1954bc45439e
|
5
|
Complexity issues for timeline-based planning over dense time under future and minimal semantics, file b921cb61-d525-4403-8cc3-038b057143e9
|
5
|
Interval Temporal Logic for Visibly Pushdown Systems, file ec89b239-50c4-4d07-a5ea-32e23c45c4d4
|
5
|
Asynchronous Extensions of HyperLTL, file f93a0629-d0f7-49ec-affc-d37cb40c3cd7
|
5
|
Industrial Internet of Things: Persistence for Time Series with NoSQL Databases, file 2585ddac-5009-46d2-a700-1c4d116147e3
|
4
|
Quantifying over Trees in Monadic Second-Order Logic, file 4557c47d-6e50-4455-b2fa-31b71b3b1257
|
4
|
Model checking interval temporal logics with regular expressions, file 6b757146-08b3-43a4-85a7-3af39278f4e8
|
4
|
Benchmarking management techniques for massive IIoT time series in a fog architecture, file c10feba4-b999-45f0-9480-7eb437bf11a7
|
4
|
Inspecting Code Churns to Prioritize Test Cases, file c1b3f534-0399-4ddd-80b6-8e0ed056e3ae
|
4
|
Interval vs. point temporal logic model checking: An expressiveness comparison, file c32a1a1c-3032-410c-85c2-75ad5cff3412
|
4
|
Complexity issues for timeline-based planning over dense time under future and minimal semantics, file c9710de3-bfc1-4d17-868f-3a063ca5f136
|
4
|
Which fragments of the interval temporal logic HS are tractable in model checking?, file 00326f88-fb2a-4e45-8fe6-004ef64dea51
|
3
|
PSPACE-completeness of the temporal logic of sub-intervals and suffixes, file 0ae93ce5-4578-439f-9200-9e3d52c0fd8d
|
3
|
THE ADDITION OF TEMPORAL NEIGHBORHOOD MAKES THE LOGIC OF PREFIXES AND SUB-INTERVALS EXPSPACE-COMPLETE, file 2e351dfe-a541-40db-91a2-9094da0030f0
|
3
|
Inspecting Code Churns to Prioritize Test Cases, file ead7bae1-1412-4e1c-b625-1d0e57331e1a
|
3
|
Which fragments of the interval temporal logic HS are tractable in model checking?, file b8c4a9e2-41bc-41a5-9a68-0657bc7c0a3b
|
2
|
How to manage massive spatiotemporal dataset from stationary and non-stationary sensors in commercial DBMS?, file 8109f2a3-60d4-415f-b53e-83247a601053
|
1
|
Complexity analysis of a unifying algorithm for model checking interval temporal logic, file c91a2cb8-4d6c-4d37-ac45-e92b7431a842
|
1
|
Module Checking of Pushdown Multi-agent Systems, file f7988f29-a024-4958-b66a-5ac42e50551d
|
1
|
Totale |
405 |