Model Translation from Papyrus-RT into the nuXmv Model Checker
Modeling and Verification of Temporal Constraints for Web Service Composition
Modeling Attack-Defense Trees' Countermeasures using Continuous Time Markov Chains
Automated Validation of State-Based Client-Centric Isolation with TLA+
Code Coverage Aware Test Generation Using Constraint Solver
From Requirements to Verifiable Executable Models using Rebeca
A Pragmatic Model of Justification for Social Epistemology
Personal Identity and False Memories
Against the Illusory Will Hypothesis. A Reinterpretation of the Test Results from Daniel Wegner and Thalia Wheatley's I Spy Experiment
Understanding responses of individuals with ASD in syllogistic and decision-making tasks: A formal study
Symbolic and Statistical Theories of Cognition: Towards Integrated Artificial Intelligence
An Interdisciplinary Model for Graphical Representation
Information Retrieval from Semantic Memory: BRDL-based Knowledge Representation and Maude-based Computer Emulation
A Multi-Agent Depth Bounded Boolean Logic
The intensional structure of epistemic convictions
Short-circuiting the definition of mathematical knowledge for an Artificial General Intelligence
Reasoning about Ignorance and Beliefs
A Case Study on Formally Validating Motion Rules for Autonomous Cars
Modelling Train Driver Behaviour in Railway Co-simulations
Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor
A Semantic-Aware, accurate and efficient API for (co- )simulation of CPS
An FMI-Based initialization plugin for INTO-CPS Maestro 2
Introducing Regression Tests and Upgrades to the INTO-CPS Application
Cosimulation-based Control Synthesis.