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 |