| Automated Validation of State-Based Client-Centric Isolation with TLA +
|
2021 |
Soethout, Tim |
| Code Coverage Aware Test Generation Using Constraint Solver
|
2021 |
Sykora, Krystof |
| Personal Identity and False Memories
|
2021 |
Razeev, Danil |
| Symbolic and Statistical Theories of Cognition: Towards Integrated Artificial Intelligence
|
2021 |
Maruyama, Yoshihiro |
| Short-Circuiting the Definition of Mathematical Knowledge for an Artificial General Intelligence
|
2021 |
Alexander, Samuel Allen |
| A Case Study on Formally Validating Motion Rules for Autonomous Cars
|
2021 |
Torres, Mario Henrique Cruz |
| Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor
|
2021 |
Bernardeschi, Cinzia |
| Cosimulation-Based Control Synthesis
|
2021 |
Coënt, Adrien Le |
| An FMI-Based Initialization Plugin for INTO-CPS Maestro 2
|
2021 |
Hansen, Simon Thrane |
| Modeling Attack-Defense Trees' Countermeasures Using Continuous Time Markov Chains
|
2021 |
Lounis, Karim |
| A Pragmatic Model of Justification for Social Epistemology
|
2021 |
Giovagnoli, Raffaela |
| Understanding Responses of Individuals with ASD in Syllogistic and Decision-Making Tasks: A Formal Study
|
2021 |
Braüner, Torben |
| Modelling Train Driver Behaviour in Railway Co-simulations
|
2021 |
Escardo, Tomas Hotzel |
| A Semantic-Aware, Accurate and Efficient API for (Co-)Simulation of CPS
|
2021 |
Liboni, Giovanni |
| Modeling and Verification of Temporal Constraints for Web Service Composition
|
2021 |
Benabdelhafid, Maya Souilah |
| From Requirements to Verifiable Executable Models Using Rebeca
|
2021 |
Sirjani, Marjan |
| Against the Illusory Will Hypothesis: A Reinterpretation of the Test Results from Daniel Wegner and Thalia Wheatley’s I Spy Experiment
|
2021 |
Reimer, Robert |
| Information Retrieval from Semantic Memory: BRDL-Based Knowledge Representation and Maude-Based Computer Emulation
|
2021 |
Cerone, Antonio |
| Reasoning About Ignorance and Beliefs
|
2021 |
Aldini, Alessandro |
| Model Translation from Papyrus-RT into the NuXMv Model Checker
|
2021 |
Sahu, Sneha |
Tag hinzufügen