| A Model based Toolchain for the Cosimulation of Cyber-physical Systems with FMI
|
2020 |
Oudart, David |
| Early Synthesis of Timing Models in AUTOSAR-based Automotive Embedded Software Systems
|
2020 |
Iyenghar, Padma |
| Integer Overflow Detection in Hardware Designs at the Specification Level
|
2020 |
Bornebusch, Fritjof |
| The Seamless Low-cost Development Platform LoRra for Model based Systems Engineering
|
2020 |
Jacobitz, Sven |
| Model Transformation by Example with Statistical Machine Translation
|
2020 |
Berramla, Karima |
| Towards Ontology Driven Provenance in Scientific Workflow Engine
|
2020 |
Butt, Anila Sahar |
| Towards a Model-based Fuzzy Software Quality Metrics
|
2020 |
Masmali, Omar |
| Themulus: A Timed Contract-calculus
|
2020 |
García, Alberto Aranda |
| Automated Synthesis of ATL Transformations from Metamodel Correspondences
|
2020 |
Lano, Kevin |
| Chaining Model Transformations for System Model Verification: Application to Verify Capella Model with Simulink
|
2020 |
Duhil, Christophe |
| Model-to-Model Transformations for Efficient Time-domain Verification of Concurrent Models by NuSMV Modules
|
2020 |
Carrillo, Miguel |
| A DSL-Driven Development Framework for Components to Provide Environmental Data in Simulation based Testing
|
2020 |
Wu, Liqun |
| Impact of Security Measures on Performance Aspects in SysML Models
|
2020 |
Zoor, Maysam |
| Multi-level Modeling without Classical Modeling Facilities
|
2020 |
Somogyi, Ferenc A. |
| Operator-based Viewpoint Definition
|
2020 |
Meier, Johannes |
| Assessment of EMF Model to Text Generation Strategies and Libraries in an Industrial Context
|
2020 |
Ponsard, Christophe |
| Concept-based Co-migration of Test Cases
|
2020 |
Jovanovikj, Ivan |
| The Need for Context in Software Engineering
|
2020 |
Murphy, Gail |
| Guarded Deep Learning using Scenario-based Modeling
|
2020 |
Katz, Guy |
| Development of Health Software using Behaviour Driven Development - BDD
|
2020 |
Anjum, Mohammad Z. |
Tag hinzufügen