| Nome |
# |
|
How bit-vector logic can help improve the verification of LTL specifications over infinite domains, file e0c31c0a-2903-4599-e053-1705fe0aef77
|
455
|
|
Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications, file e0c31c0b-3106-4599-e053-1705fe0aef77
|
453
|
|
Efficient Scalable Verification of LTL Specifications, file e0c31c08-7357-4599-e053-1705fe0aef77
|
352
|
|
Formal Verification of Human-Robot Interaction in Healthcare Scenarios, file e0c31c10-00c3-4599-e053-1705fe0aef77
|
342
|
|
A logic-based approach for the verification of UML timed models, file e0c31c0b-d246-4599-e053-1705fe0aef77
|
318
|
|
RoboMAX: Robotic Mission Adaptation eXemplars, file e0c31c11-6f0a-4599-e053-1705fe0aef77
|
308
|
|
SAFER-HRC: Safety analysis through formal vERification in human-robot collaboration, file e0c31c0a-2c9f-4599-e053-1705fe0aef77
|
280
|
|
A tool for verification of big-data applications, file e0c31c0a-25d1-4599-e053-1705fe0aef77
|
278
|
|
Formal model of human erroneous behavior for safety analysis in collaborative robotics, file e0c31c0f-239d-4599-e053-1705fe0aef77
|
267
|
|
SPRINT: Semantics for PerfoRmant and scalable INteroperability of multimodal Transport, file e0c31c0f-805d-4599-e053-1705fe0aef77
|
250
|
|
Formal verification of storm topologies through D-VerT, file e0c31c0b-1906-4599-e053-1705fe0aef77
|
241
|
|
A Model-Driven Approach for the Formal Verification of Storm-Based Streaming Applications, file e0c31c0b-cd47-4599-e053-1705fe0aef77
|
239
|
|
Temporal pattern recognition in large scale graphs, file e0c31c0f-1dde-4599-e053-1705fe0aef77
|
225
|
|
A Formal Approach to Sensor Placement and Configuration in a Network Intrusion Detection System, file e0c31c0a-2bad-4599-e053-1705fe0aef77
|
222
|
|
Using formal verification to evaluate the execution time of Spark applications, file e0c31c0f-7ebf-4599-e053-1705fe0aef77
|
214
|
|
A Logical Characterization of Timed (non-)Regular Languages, file e0c31c08-2496-4599-e053-1705fe0aef77
|
209
|
|
Safety Assessment of Collaborative Robotics Through Automated Formal Verification, file e0c31c0f-1dda-4599-e053-1705fe0aef77
|
201
|
|
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios, file e0c31c10-4944-4599-e053-1705fe0aef77
|
199
|
|
Flexible Modular Formalization of UML Sequence Diagrams, file e0c31c08-7f54-4599-e053-1705fe0aef77
|
198
|
|
On the timed analysis of big-data applications, file e0c31c0f-07ac-4599-e053-1705fe0aef77
|
193
|
|
Formal Methods in Designing Critical Cyber-Physical Systems, file e0c31c0e-f3d4-4599-e053-1705fe0aef77
|
190
|
|
SMART: Towards automated mapping between data specifications, file e0c31c11-7e55-4599-e053-1705fe0aef77
|
177
|
|
An SMT-based approach to satisfiability checking of MITL, file e0c31c08-7356-4599-e053-1705fe0aef77
|
170
|
|
ST4RT – Semantic Transformations for Rail Transportation, file e0c31c0c-702f-4599-e053-1705fe0aef77
|
167
|
|
Towards learning travelers’ preferences in a context-aware fashion, file e0c31c10-ad6e-4599-e053-1705fe0aef77
|
166
|
|
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications, file e0c31c09-df41-4599-e053-1705fe0aef77
|
143
|
|
Automated Mapping for Semantic-based Conversion of Transportation Data Formats, file e0c31c0e-f3d2-4599-e053-1705fe0aef77
|
142
|
|
Constraint LTL Satisfiability Checking without Automata, file e0c31c08-4804-4599-e053-1705fe0aef77
|
128
|
|
Formal verification and validation of embedded systems: the UML-based MADES approach, file e0c31c0e-bdea-4599-e053-1705fe0aef77
|
127
|
|
PuRSUE -from specification of robotic environments to synthesis of controllers, file e0c31c0f-4358-4599-e053-1705fe0aef77
|
117
|
|
Context Awareness in the Travel Companion of the Shift2Rail Initiative, file e0c31c10-8dcd-4599-e053-1705fe0aef77
|
108
|
|
Towards Better Trust in Human-Machine Teaming through Explainable Dependability, file 82c6cdb9-b2c3-4955-bcc8-05d44f49340c
|
101
|
|
On the Initialization of Clocks in Timed Formalisms, file e0c31c0e-f3d1-4599-e053-1705fe0aef77
|
101
|
|
A semantic-based access control mechanism for distributed systems, file e0c31c11-bbac-4599-e053-1705fe0aef77
|
93
|
|
Towards the formal verification of data-intensive applications through metric temporal logic, file e0c31c0a-30b5-4599-e053-1705fe0aef77
|
87
|
|
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems, file 75d1e0f0-e8af-4acf-8524-ce107dc721f2
|
80
|
|
Architecting Explainable Service Robots, file 7df0c22a-8220-4e78-ab53-f47b16397fe4
|
80
|
|
Specification, stochastic modeling and analysis of interactive service robotic applications, file d44c1a4c-48b7-4f9a-9ebf-6603d239593f
|
80
|
|
DICE: Quality-Driven Development of Data-Intensive Cloud Applications, file e0c31c0a-25de-4599-e053-1705fe0aef77
|
75
|
|
Model-Driven Development of Service Robot Applications Dealing with Uncertain Human Behavior, file 0dada564-cb99-415b-a4a4-4d16a656a344
|
72
|
|
Formally-based Model-Driven Development of Collaborative Robotic Applications, file e0c31c11-4d5a-4599-e053-1705fe0aef77
|
63
|
|
Personalized Context-Aware Recommender System for Travelers, file d181a134-038e-4a63-907e-433b0c9d1e52
|
57
|
|
Improved Bounded Model Checking of Timed Automata, file e0c31c11-ac4a-4599-e053-1705fe0aef77
|
54
|
|
Green Move: A Platform for Highly Configurable, Heterogeneous Electric Vehicle Sharing, file e0c31c0d-24b9-4599-e053-1705fe0aef77
|
48
|
|
Co-simulation of human-robot collaboration: From temporal logic to 3d simulation, file e0c31c10-c433-4599-e053-1705fe0aef77
|
47
|
|
Automated formal verification for flexible manufacturing systems, file e0c31c0d-cee8-4599-e053-1705fe0aef77
|
45
|
|
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach, file 4032f53d-a77e-4142-9cc5-d00b8840fa7a
|
40
|
|
A tool for deciding the satisfiability of continuous-time metric temporal logic, file 564172b1-2dcb-456d-b996-507466978e2d
|
38
|
|
THOR: A Hybrid Recommender System for the Personalized Travel Experience, file 31aaa7e2-9841-4d61-8036-7d3221d6c516
|
27
|
|
Automated Creation of Mappings between Data Specifications through Linguistic and Structural Techniques, file d13f4392-6ae1-4eab-a843-ee87e9584a47
|
26
|
|
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification, file f7d6472d-77c3-4a43-8399-df13fa2b28b8
|
25
|
|
Preference Mining in the Travel Domain, file e0c31c11-e881-4599-e053-1705fe0aef77
|
20
|
|
On How Bit-Vector Logic Can Help Verify LTL-based Specifications, file 4e180d37-77d0-45ca-9282-9353458d57f3
|
17
|
|
A Deployment Framework for Formally Verified Human-Robot Interactions, file e0c31c12-60de-4599-e053-1705fe0aef77
|
15
|
|
Delay Estimation for Shared Rides From GPS Data, file e5cc5b37-8c61-44a1-9cbb-4d126aba53f0
|
12
|
|
3cixty: Building comprehensive knowledge bases for city exploration, file e0c31c0c-21d6-4599-e053-1705fe0aef77
|
10
|
|
3cixty: Building comprehensive knowledge bases for city exploration, file e0c31c11-703f-4599-e053-1705fe0aef77
|
10
|
|
Formal verification and validation of embedded systems: the UML-based MADES approach, file e0c31c0a-2c91-4599-e053-1705fe0aef77
|
6
|
|
Interoperability of heterogeneous Systems of Systems: from requirements to a reference architecture, file 27792bc1-214d-4784-b7b6-4e97474f6c23
|
4
|
|
Green Move: A Platform for Highly Configurable, Heterogeneous Electric Vehicle Sharing, file e0c31c08-1df0-4599-e053-1705fe0aef77
|
4
|
|
Ride2Rail: integrating ridesharing to increase the attractiveness of rail travel, file 619dafe8-a529-48eb-bb6d-557e93e8ad58
|
3
|
|
A logical characterization of timed regular languages, file e0c31c0a-2374-4599-e053-1705fe0aef77
|
3
|
|
Automated formal verification for flexible manufacturing systems, file e0c31c0a-25cd-4599-e053-1705fe0aef77
|
3
|
|
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications, file e0c31c0a-26e9-4599-e053-1705fe0aef77
|
3
|
|
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach, file e0c31c11-bcf4-4599-e053-1705fe0aef77
|
3
|
|
How bit-vector logic can help improve the verification of LTL specifications over infinite domains, file e0c31c0a-30b7-4599-e053-1705fe0aef77
|
2
|
|
A logic-based approach for the verification of UML timed models, file e0c31c0b-fc17-4599-e053-1705fe0aef77
|
2
|
|
Trace checking of streaming applications through DICE-TraCT, file e0c31c0f-e25b-4599-e053-1705fe0aef77
|
2
|
|
Using formal verification to evaluate the execution time of Spark applications, file e0c31c11-c0c0-4599-e053-1705fe0aef77
|
2
|
|
On the Expressiveness of MTL Variants over Dense Time, file e0c31c07-c476-4599-e053-1705fe0aef77
|
1
|
|
A Flexible Architecture for Managing Vehicle Sharing Systems, file e0c31c08-0bd0-4599-e053-1705fe0aef77
|
1
|
|
MADES FP7 EU Project: Effective High Level SysML/MARTE Methodology for Real-Time and Embedded Avionics Systems, file e0c31c08-7b20-4599-e053-1705fe0aef77
|
1
|
|
DICE: Quality-Driven Development of Data-Intensive Cloud Applications, file e0c31c09-6592-4599-e053-1705fe0aef77
|
1
|
|
An SMT-based approach to satisfiability checking of MITL, file e0c31c0a-2c9a-4599-e053-1705fe0aef77
|
1
|
|
Formal model of human erroneous behavior for safety analysis in collaborative robotics, file e0c31c0f-239c-4599-e053-1705fe0aef77
|
1
|
|
Formal Verification of Human-Robot Interaction in Healthcare Scenarios, file e0c31c0f-abb1-4599-e053-1705fe0aef77
|
1
|
|
Statistical Model Checking of Human-Robot Interaction Scenarios, file e0c31c0f-e412-4599-e053-1705fe0aef77
|
1
|
|
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios, file e0c31c10-75b7-4599-e053-1705fe0aef77
|
1
|
|
On How Bit-Vector Logic Can Help Verify LTL-based Specifications, file e0c31c11-bcf2-4599-e053-1705fe0aef77
|
1
|
|
A semantic-based access control approach for systems of systems, file e0c31c12-e9a0-4599-e053-1705fe0aef77
|
1
|
| Totale |
8.450 |