Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSEFM Workshops 2020: Amsterdam, The Netherlands
- Loek Cleophas
, Mieke Massink:
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers. Lecture Notes in Computer Science 12524, Springer 2021, ISBN 978-3-030-67219-5
ASYDE 2020
- Sneha Sahu, Ruth Schorr, Inmaculada Medina-Bulo, Matthias F. Wagner:
Model Translation from Papyrus-RT into the nuXmv Model Checker. 3-20 - Maya Souilah Benabdelhafid, Houda Boubaker, Mahmoud Boufaïda:
Modeling and Verification of Temporal Constraints for Web Service Composition. 21-29 - Karim Lounis, Samir Ouchani:
Modeling Attack-Defense Trees' Countermeasures Using Continuous Time Markov Chains. 30-42 - Tim Soethout, Tijs van der Storm, Jurgen J. Vinju:
Automated Validation of State-Based Client-Centric Isolation with TLA+. 43-57 - Krystof Sykora, Bestoun S. Ahmed, Miroslav Bures:
Code Coverage Aware Test Generation Using Constraint Solver. 58-66 - Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam:
From Requirements to Verifiable Executable Models Using Rebeca. 67-86
CIFMA 2020
- Raffaela Giovagnoli:
A Pragmatic Model of Justification for Social Epistemology. 89-99 - Danil Razeev:
Personal Identity and False Memories. 100-107 - Robert Reimer:
Against the Illusory Will Hypothesis - A Reinterpretation of the Test Results from Daniel Wegner and Thalia Wheatley's I Spy Experiment. 108-117 - Torben Braüner, Aishwarya Ghosh, Sujata Ghosh:
Understanding Responses of Individuals with ASD in Syllogistic and Decision-Making Tasks: A Formal Study. 118-128 - Yoshihiro Maruyama:
Symbolic and Statistical Theories of Cognition: Towards Integrated Artificial Intelligence. 129-146 - Giuseppe Antonio Pierro, Alexandre Bergel, Roberto Tonelli, Stéphane Ducasse:
An Interdisciplinary Model for Graphical Representation. 147-158 - Antonio Cerone, Diana Murzagaliyeva:
Information Retrieval from Semantic Memory: BRDL-Based Knowledge Representation and Maude-Based Computer Emulation. 159-175 - Giorgio Cignarale, Giuseppe Primiero:
A Multi-Agent Depth Bounded Boolean Logic. 176-191 - Reinhard Kahle:
The Intensional Structure of Epistemic Convictions. 192-200 - Samuel Allen Alexander:
Short-Circuiting the Definition of Mathematical Knowledge for an Artificial General Intelligence. 201-213 - Alessandro Aldini, Pierluigi Graziani, Mirko Tagliaferri:
Reasoning About Ignorance and Beliefs. 214-230
CoSIM-CPS 2020
- Mário Henrique Cruz Torres, Jean Pierre Giacalone, Joelle Abou Faysal:
A Case Study on Formally Validating Motion Rules for Autonomous Cars. 233-248 - Tomas Hotzel Escardo, Ken G. Pierce, David Golightly, Roberto Palacin:
Modelling Train Driver Behaviour in Railway Co-simulations. 249-262 - Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri, Sergio Saponara, Tanguy Sassolas, Arief Wicaksana, Lilia Zaourar:
Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor. 263-279 - Giovanni Liboni, Julien Deantoni:
A Semantic-Aware, Accurate and Efficient API for (Co-)Simulation of CPS. 280-294 - Simon Thrane Hansen, Casper Thule, Cláudio Gomes:
An FMI-Based Initialization Plugin for INTO-CPS Maestro 2. 295-310 - Prasad Talasila, Armine Sanjari, Kristoffer Villadsen, Casper Thule, Peter Gorm Larsen, Hugo Daniel Macedo:
Introducing Regression Tests and Upgrades to the INTO-CPS Application. 311-317 - Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot:
Cosimulation-Based Control Synthesis. 318-333
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-26 01:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
