| Formal Methods for a Digital Industry: Industrial Day at ISoLA 2021
|
2021 |
Howar, Falk |
| From Requirements to Executable Rules: An Ensemble of Domain-Specific Languages for Programming Cyber-Physical Systems in Warehouse Logistics
|
2021 |
Mauritz, Malte |
| The Interoperability Challenge: Building a Model-Driven Digital Thread Platform for CPS
|
2021 |
Margaria, Tiziana |
| A Journey Through Software Model Checking of Interlocking Programs
|
2021 |
Chadwick, Simon |
| Formal Methods in Railway Signalling Infrastructure Standardisation Processes
|
2021 |
Bouwman, Mark |
| Pyrus: An Online Modeling Environment for No-Code Data-Analytics Service Composition
|
2021 |
Zweihoff, Philip |
| An Introduction to Graphical Modeling of CVCD Workflows with Rig
|
2021 |
Tegeler, Tim |
| Use Cases for Simulation in the Development of Automated Driving Systems
|
2021 |
Hungar, Hardi |
| Time for All Programs, Not Just Real-Time Programs
|
2021 |
Lee, Edward A. |
| Slang: The Sireum Programming Language
|
2021 |
Hatcliff, Robby |
| Fundamental Constructs in Programming Languages
|
2021 |
Mosses, Peter D. |
| The Future of Programming and Modelling: A Vision
|
2021 |
Stevens, Perdita |
| Programming vs. That Thing Subject Matter Experts Do
|
2021 |
Voelter, Markus |
| sVerify: Verifying Smart Contracts Through Lazy Annotation and Leaming
|
2021 |
Gao, Bo |
| Integrating External Services in DIME
|
2021 |
Chaudhary, Hafiz Ahmad Awais |
| Asking Why
|
2021 |
Steffen, Barbara |
| Towards Living Canvases
|
2021 |
Steffen, Towards Barbara |
| Mining Data Quality Rules for Data Migrations: A Case Study on Material Master Data
|
2021 |
Altendeitering, Marcel |
| HAMR: An AADL Multi-platform Code Generation Toolset
|
2021 |
Hatcliff, John |
| Fixing Classification: A Viewpoint-Based Approach
|
2021 |
Selic, Bran |
Tag hinzufügen