Abstract is missing.
- Co-simulation and Verification of a Non-linear Control System for Cogging Torque Reduction in Brushless MotorsCinzia Bernardeschi, Dini Pierpaolo, Andrea Domenici, Sergio Saponara. 3-19 [doi]
- Challenges for Integrating Humans into Vehicular Cyber-Physical SystemsSulayman K. Sowe, Martin Fränzle, Jan-Patrick Osterloh, Alexander Trende, Lars Weber, Andreas Lüdtke. 20-26 [doi]
- Automatic Generation of Functional Mock-Up Units from Formal SpecificationsMaurizio Palmieri, Hugo Daniel Macedo. 27-33 [doi]
- Generation of Co-simulation Algorithms Subject to Simulator ContractsCláudio Gomes, Casper Thule, Levi Lúcio, Hans Vangheluwe, Peter Gorm Larsen. 34-49 [doi]
- Towards Reuse of Synchronization Algorithms in Co-simulation FrameworksCasper Thule, Maurizio Palmieri, Cláudio Gomes, Kenneth Lausdahl, Hugo Daniel Macedo, Nick Battle, Peter Gorm Larsen. 50-66 [doi]
- Towards a Continuous Model-Based Engineering Process for QoS-Aware Self-adaptive SystemsMirko D'Angelo, Lorenzo Pagliari, Mauro Caporuscio, Raffaela Mirandola, Catia Trubiani. 69-76 [doi]
- Automated Feature Identification for Android AppsGian Luca Scoccia. 77-84 [doi]
- Mapping BPMN2 Service Choreographies to Colored Petri NetsTala Najem, Alexander Perucci. 85-100 [doi]
- Interdisciplinary Aspects of CognitionAntonio Cerone, Siamac Fazli, Kathy L. Malone, Ahti-Veikko Pietarinen. 103-118 [doi]
- A Trust Logic for the Varieties of TrustMirko Tagliaferri, Alessandro Aldini. 119-136 [doi]
- Behaviour and Reasoning Description Language (BRDL)Antonio Cerone. 137-153 [doi]
- Cognitive Learning with a Robot: The Case of Script AcquisitionAnara Sandygulova, Anna CohenMiller, Nurziya Oralbayeva, Wafa Johal, Thibault Asselborn, Pierre Dillenbourg. 154-162 [doi]
- Measuring the Intelligence of an Idealized Mechanical Knowing AgentSamuel Allen Alexander. 163-179 [doi]
- Type Theory and Universal GrammarErkki Luuk. 180-194 [doi]
- Two Cognitive Systems, Two Implications, and Selection TasksAngelina Bobrova, Ahti-Veikko Pietarinen. 195-205 [doi]
- Quantifying the Similarity of Non-bisimilar Labelled Transition SystemsGwen Salaün. 211-225 [doi]
- Identifying Failure Causalities in Multi-component ApplicationsAntonio Brogi, Jacopo Soldani. 226-235 [doi]
- A Formal Programming Framework for Digital AvatarsAlejandro Pérez-Vereda, Carlos Canal, Ernesto Pimentel. 236-251 [doi]
- Modeling Self-adaptive Fog Systems Using BigraphsHamza Sahli, Thomas Ledoux, Éric Rutten. 252-268 [doi]
- From SOS to Asynchronously Communicating ActorsFrank S. de Boer, Einar Broch Johnsen, Ka-I Pun, Silvia Lizeth Tapia Tarifa. 269-275 [doi]