Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 2: Engineering principles
1. Verfasser: Wirsing, Martin (VerfasserIn)
Weitere Verfasser: Nicola, Rocco De (VerfasserIn), Jähnichen, Stefan (VerfasserIn)
Pages:2
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2020
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
Formal Verification of Developer Tests: A Research Agenda Inspired by Mutation Testing 2020 Demeyer, Serge
Finding Idioms in Source Code Using Subtree Counting Techniques 2020 Orlov, Dmitry
Parametric Timed Bisimulation 2020 Lochau, Malte
Composition of Component Models - A Key to Construct Big Systems 2020 Reisig, Wolfgang
Abstractions for Collective Adaptive Systems 2020 Inverso, Omar
Capturing Dynamicity and Uncertainty in Security and Trust via Situational Patterns 2020 Bures, Tomas
Maple-Swarm: Programming Collective Behavior for Ensembles by Extending HTN-Planning 2020 Kosak, Oliver
Modular Regression Verification for Reactive Systems 2020 Weigl, Alexander
Safer Parallelization 2020 Hähnle, Reiner
Engineering Semantic Self-composition of Services Through Tuple-Based Coordination 2020 Caselli, Ashley
Adaptive Security Policies 2020 Nielson, Flemming
FScaFi : A Core Calculus for Collective Adaptive Systems Programming 2020 Casadei, Roberto
Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification 2020 Faqeh, Rasha
Synthesizing Control for a System with Black Box Environment, Based on Deep Learning 2020 Iosti, Simon
Forming Ensembles at Runtime: A Machine Learning Approach 2020 Bureš, Tomáš
A Formal Model for Reasoning About the Ideal Fitness in Evolutionary Processes 2020 Gabor, Thomas
A Case Study of Policy Synthesis for Swarm Robotics 2020 Piho, Paul
Swarm and Collective Capabilities for Multipotent Robot Ensembles 2020 Kosak, Oliver
A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations 2020 Jakobs, Marie-Christine
Degrees of Autonomy in Coordinating Collectives of Self-Driving Vehicles 2020 Mariani, Stefano
Alle Artikel auflisten