| 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 |
| 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 |
| Towards Model-Based Intent-Driven Adaptive Software
|
2021 |
Balasubramanian, Daniel |
| Verifying Temporal Properties of Stigmergic Collective Systems Using CADP
|
2021 |
Stefano, Luca Di |
| RAILS: Roadmaps for AT integration in the raiL Sector
|
2021 |
Flammini, Francesco |
| Supporting the Development of Hybrid ERTMS/ETCS Level 3 with Formal Modelling, Analysis and Simulation
|
2021 |
Bartholomeus, Maarten |
| 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 |
Tag hinzufügen