| Model Translation from Papyrus-RT into the NuXMv Model Checker
|
2021 |
Sahu, Sneha |
| An Interdisciplinary Model for Graphical Representation
|
2021 |
Pierro, G. Antonio |
| A Multi-Agent Depth Bounded Boolean Logic
|
2021 |
Cignarale, Giorgio |
| The Intensional Structure of Epistemic Convictions
|
2021 |
Kahle, Reinhard |
| Introducing Regression Tests and Upgrades to the INTO-CPS Application
|
2021 |
Talasila, Prasad |
| 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 |
| 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 |
| 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 |
Tag hinzufügen