default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSEFM 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, Sergio Saponara:
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, Jan-Patrick Osterloh, Alexander Trende, Lars Weber, Andreas Lüdtke:
Challenges for Integrating Humans into Vehicular Cyber-Physical Systems. 20-26 - Maurizio Palmieri, Hugo Daniel Macedo:
Automatic Generation of Functional Mock-Up Units from Formal Specifications. 27-33 - Cláudio Gomes, Casper Thule, Levi Lúcio, Hans Vangheluwe, Peter Gorm Larsen:
Generation of Co-simulation Algorithms Subject to Simulator Contracts. 34-49 - Casper Thule, Maurizio Palmieri, Cláudio Gomes, Kenneth Lausdahl, Hugo Daniel Macedo, Nick Battle, Peter Gorm Larsen:
Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks. 50-66
ASYDE 2019
- Mirko D'Angelo, Lorenzo Pagliari, Mauro Caporuscio, Raffaela Mirandola, Catia Trubiani:
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, Alessandro Aldini:
A Trust Logic for the Varieties of Trust. 119-136 - Antonio Cerone:
Behaviour and Reasoning Description Language (BRDL). 137-153 - Anara Sandygulova, Anna CohenMiller, Nurziya Oralbayeva, Wafa Johal, Thibault Asselborn, Pierre Dillenbourg:
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, Jacopo Soldani:
Identifying Failure Causalities in Multi-component Applications. 226-235 - Alejandro Pérez-Vereda, Carlos Canal, Ernesto Pimentel:
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, Ka I Pun, Silvia Lizeth Tapia Tarifa:
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 2026-03-25 23:23 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:
