default search action
SEFM Workshops 2019: Oslo, Norway
- Javier Cámara, Martin Steffen:
Software Engineering and Formal Methods - SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers. Lecture Notes in Computer Science 12226, Springer 2020, ISBN 978-3-030-57505-2
CoSim-CPS 2019
- Cinzia Bernardeschi, Dini Pierpaolo
, Andrea Domenici
Co-simulation and Verification of a Non-linear Control System for Cogging Torque Reduction in Brushless Motors. 3-19 - Sulayman K. Sowe, Martin Fränzle
Challenges for Integrating Humans into Vehicular Cyber-Physical Systems. 20-26 - Maurizio Palmieri
Automatic Generation of Functional Mock-Up Units from Formal Specifications. 27-33 - Cláudio Gomes
Generation of Co-simulation Algorithms Subject to Simulator Contracts. 34-49 - Casper Thule, Maurizio Palmieri
Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks. 50-66
ASYDE 2019
- Mirko D'Angelo, Lorenzo Pagliari, Mauro Caporuscio, Raffaela Mirandola
Towards a Continuous Model-Based Engineering Process for QoS-Aware Self-adaptive Systems. 69-76 - Gian Luca Scoccia
Automated Feature Identification for Android Apps. 77-84 - Tala Najem, Alexander Perucci:
Mapping BPMN2 Service Choreographies to Colored Petri Nets. 85-100
CIFMA 2019
- Antonio Cerone, Siamac Fazli, Kathy L. Malone, Ahti-Veikko Pietarinen
Interdisciplinary Aspects of Cognition. 103-118 - Mirko Tagliaferri
A Trust Logic for the Varieties of Trust. 119-136 - Antonio Cerone
Behaviour and Reasoning Description Language (BRDL). 137-153 - Anara Sandygulova, Anna CohenMiller
Cognitive Learning with a Robot: The Case of Script Acquisition. 154-162 - Samuel Allen Alexander
Measuring the Intelligence of an Idealized Mechanical Knowing Agent. 163-179 - Erkki Luuk:
Type Theory and Universal Grammar. 180-194 - Angelina Bobrova, Ahti-Veikko Pietarinen
Two Cognitive Systems, Two Implications, and Selection Tasks. 195-205
FOCLASA 2019
- Gwen Salaün:
Quantifying the Similarity of Non-bisimilar Labelled Transition Systems. 211-225 - Antonio Brogi
Identifying Failure Causalities in Multi-component Applications. 226-235 - Alejandro Pérez-Vereda
A Formal Programming Framework for Digital Avatars. 236-251 - Hamza Sahli, Thomas Ledoux, Éric Rutten:
Modeling Self-adaptive Fog Systems Using Bigraphs. 252-268 - Frank S. de Boer, Einar Broch Johnsen
From SOS to Asynchronously Communicating Actors. 269-275
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-11-18 20:33 CET 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: