SEFM2020 Keynote - Multi-Purpose Syntax Definition with SDF3
SEFM2020 Keynote - Making software a first class citizen in the scholarly world
SEFM2020 Keynote - A Software Exoskeleton to Protect Ethics & Privacy of Users in the Digital World
FormaliSE2020 Keynote - On the Probabilistic Analysis of Neural Networks
Visser - Keynote - Executing Declarative Language Definitions
A Hybrid Approach Combining Control Theory and AI for Engineering Self-Adaptive Systems
On the Axiom of Software Architecture Existence
Difference Verification with Conditions (a SEFM 2020 talk)
Carina Haupt – Rocket Science and Software Engineering (Keynote) – SPS18
ASE2020: Characterization of Implied Scenarios as Families of Common Behavior
IWC 2020: Safety and Completeness of Disambiguation corresponds to Termination ... (Eelco Visser)
Robotics Software Engineering: A Perspective from the Service Robotics Domain (Video, ESEC/FSE 2020)
What is PL Research?
Andrea Bombarda: "Towards an Evaluation Framework for Autonomous Systems"
Eelco Visser: Programming Languages
Eelco Visser - Declare Your Language [1/2]
Specification Patterns for Robotic Missions
RoboMAX: Robotic Mission Adaptation eXemplars
Introduction - OCTOBUS - The SaaS IIoT Platform
![Eelco Visser - Declare Your Language [1/2]](https://img.youtube.com/vi/G8PJMxkYZ4A/0.jpg)
