Search Result
2025
|
|
|
[Wern25] M.C. Werner Model-Based Design of Program Organization Units Using Synchronous Languages PhD Thesis |
2024
|
|
|
|
[WeSc24a] M.C. Werner and K. Schneider From Imperative Sequential Structured Text Models to Synchronous Quartz and Sequentially Constructive Models Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) |
|
|
|
|
|
[WeSc24b] M.C. Werner and K. Schneider PLCreX -- Open-Source Project for Simplification, Transformation, Analysis, and Validation of Programmable Logic Controllers Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) |
2023
|
|
|
|
[WeSc23] M.C. Werner and K. Schneider Formal Methods-based Optimization of Dataflow Models with Translation to Synchronous Models Forum on Specification and Design Languages (FDL) |
2022
|
|
|
|
[WeSc22] M.C. Werner and K. Schneider From IEC 61131-3 Function Block Diagrams to Sequentially Constructive Statecharts Forum on Specification and Design Languages (FDL) |
2021
|
|
|
|
[WeSc21] M.C. Werner and K. Schneider Translation of Continuous Function Charts to Imperative Synchronous Quartz Programs Formal Methods and Models for Codesign (MEMOCODE) |
2020
|
|
|
|
[WeSc20] M.C. Werner and K. Schneider Reengineering Programmable Logic Controllers Using Synchronous Programming Languages Forum on Specification and Design Languages (FDL) |