Abstract is missing.
- Model Translation from Papyrus-RT into the nuXmv Model CheckerSneha Sahu, Ruth Schorr, Inmaculada Medina-Bulo, Matthias F. Wagner. 3-20 [doi]
- Modeling and Verification of Temporal Constraints for Web Service CompositionMaya Souilah Benabdelhafid, Houda Boubaker, Mahmoud Boufaïda. 21-29 [doi]
- Modeling Attack-Defense Trees' Countermeasures Using Continuous Time Markov ChainsKarim Lounis, Samir Ouchani. 30-42 [doi]
- +Tim Soethout, Tijs van der Storm, Jurgen J. Vinju. 43-57 [doi]
- Code Coverage Aware Test Generation Using Constraint SolverKrystof Sykora, Bestoun S. Ahmed, Miroslav Bures. 58-66 [doi]
- From Requirements to Verifiable Executable Models Using RebecaMarjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam. 67-86 [doi]
- A Pragmatic Model of Justification for Social EpistemologyRaffaela Giovagnoli. 89-99 [doi]
- Personal Identity and False MemoriesDanil Razeev. 100-107 [doi]
- Against the Illusory Will Hypothesis - A Reinterpretation of the Test Results from Daniel Wegner and Thalia Wheatley's I Spy ExperimentRobert Reimer. 108-117 [doi]
- Understanding Responses of Individuals with ASD in Syllogistic and Decision-Making Tasks: A Formal StudyTorben Braüner, Aishwarya Ghosh, Sujata Ghosh. 118-128 [doi]
- Symbolic and Statistical Theories of Cognition: Towards Integrated Artificial IntelligenceYoshihiro Maruyama. 129-146 [doi]
- An Interdisciplinary Model for Graphical RepresentationGiuseppe Antonio Pierro, Alexandre Bergel, Roberto Tonelli, Stéphane Ducasse. 147-158 [doi]
- Information Retrieval from Semantic Memory: BRDL-Based Knowledge Representation and Maude-Based Computer EmulationAntonio Cerone, Diana Murzagaliyeva. 159-175 [doi]
- A Multi-Agent Depth Bounded Boolean LogicGiorgio Cignarale, Giuseppe Primiero. 176-191 [doi]
- The Intensional Structure of Epistemic ConvictionsReinhard Kahle. 192-200 [doi]
- Short-Circuiting the Definition of Mathematical Knowledge for an Artificial General IntelligenceSamuel Allen Alexander. 201-213 [doi]
- Reasoning About Ignorance and BeliefsAlessandro Aldini, Pierluigi Graziani, Mirko Tagliaferri. 214-230 [doi]
- A Case Study on Formally Validating Motion Rules for Autonomous CarsMário Henrique Cruz Torres, Jean Pierre Giacalone, Joelle Abou Faysal. 233-248 [doi]
- Modelling Train Driver Behaviour in Railway Co-simulationsTomas Hotzel Escardo, Ken G. Pierce, David Golightly, Roberto Palacin. 249-262 [doi]
- Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded ProcessorCinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri, Sergio Saponara, Tanguy Sassolas, Arief Wicaksana, Lilia Zaourar. 263-279 [doi]
- A Semantic-Aware, Accurate and Efficient API for (Co-)Simulation of CPSGiovanni Liboni, Julien DeAntoni. 280-294 [doi]
- An FMI-Based Initialization Plugin for INTO-CPS Maestro 2Simon Thrane Hansen, Casper Thule, Cláudio Gomes. 295-310 [doi]
- Introducing Regression Tests and Upgrades to the INTO-CPS ApplicationPrasad Talasila, Armine Sanjari, Kristoffer Villadsen, Casper Thule, Peter Gorm Larsen, Hugo Daniel Macedo. 311-317 [doi]
- Cosimulation-Based Control SynthesisAdrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot. 318-333 [doi]