Systematic Usage of Embedded Modelling Languages in Automated Model Transformation Chains
No abstract available.
DOI 10.1007/978-3-642-00434-6_9
Related papers
- Offline compression for on-chip ram PLDI 2007
- SecureMind: A Framework for Benchmarking Large Language Models in Memory Bug Detection and Repair ISMM 2025
- Comparative Analysis of Pre-trained Code Language Models for Automated Program Repair via Code Infill Generation GPCE 2025
- Using modern mathematics as an FOSD modeling language GPCE 2008
- Highly Automated Formal Proofs over Memory Usage of Assembly Code TACAS 2020
- Low-cost deterministic C++ exceptions for embedded systems CC 2019
- Compiling Markov chain Monte Carlo algorithms for probabilistic modeling PLDI 2017
- Model Checking Matrix Product States Against Linear Chain Logic CAV 2026