| Challenges for Integrating Humans into Vehicular Cyber-Physical Systems
|
2020 |
Sowe, Sulayman K. |
| Towards a Continuous Model-Based Engineering Process for QoS-Aware Self-adaptive Systems
|
2020 |
'Angelo, Mirko D |
| Type Theory and Universal Grammar
|
2020 |
Luuk, Erkki |
| Quantifying the Similarity of Non-bisimilar Labelled Transition Systems
|
2020 |
Salaün, Gwen |
| From SOS to Asynchronously Communicating Actors
|
2020 |
Boer, Frank de |
| Mapping BPMN2 Service Choreographies to Colored Petri Nets
|
2020 |
Najem, Tala |
| A Trust Logic for the Varieties of Trust
|
2020 |
Tagliaferri, Mirko |
| Interdisciplinary Aspects of Cognition
|
2020 |
Cerone, Antonio |
| Two Cognitive Systems, Two Implications, and Selection Tasks
|
2020 |
Bobrova, Angelina |
| A Formal Programming Framework for Digital Avatars
|
2020 |
Pérez-Vereda, Alejandro |
| Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks
|
2020 |
Thule, Casper |
| Automated Feature Identification for Android Apps
|
2020 |
Scoccia, Gian Luca |
| Behaviour and Reasoning Description Language (BRDL)
|
2020 |
Cerone, Antonio |
| Identifying Failure Causalities in Multi-component Applications
|
2020 |
Brogi, Antonio |
| Modeling Self-adaptive Fog Systems Using Bigraphs
|
2020 |
Sahli, Hamza |
| Co-simulation and Verification of a Non-linear Control System for Cogging Torque Reduction in Brushless Motors
|
2020 |
Bernardeschi, Cinzia |
| Automatic Generation of Functional Mock-Up Units from Formal Specifications
|
2020 |
Palmieri, Maurizio |
| Generation of Co-simulation Algorithms Subject to Simulator Contracts
|
2020 |
Gomes, Cláudio |
| Measuring the Intelligence of an Idealized Mechanical Knowing Agent
|
2020 |
Alexander, Samuel Allen |
| Cognitive Learning with a Robot: The Case of Script Acquisition
|
2020 |
Sandygulova, Anara |
Tag hinzufügen