Book Chapters:
Using MPS to Unleash the Creativity of Domain Experts - Language Engineering is a Key Enabler for Bringing Innovation in Industry, by D. Ratiu, H. Nehls, A. Joanni, S. Rothbauer, in Domain-specific Languages in Practice - with Jetbrains MPS, 2021, pdf
FASTEN: an Extensible Platform to Experiment with Rigorous Modeling of Safety Critical Systems, by D. Ratiu, A. Nordman, P. Munk, C. Carlan, M. Voelter, in Domain-specific Languages in Practice - with Jetbrains MPS, 2021, pdf
Journal Papers:
An integrated environment for Spin-based C code checking -Towards bringing model-driven code checking closer to practitioners, by D. Ratiu, A. Ulrich, in Software Tools for Technology Transfer, 2019, pdf
Automated Testing of DSLs Implementations: Experiences from Building mbeddr, by D. Ratiu, M. Völter, D. Pavletic, in Software Quality Journal, 2017, pdf
Lessons Learned from Developing mbeddr - A Case Study in Language Engineering with MPS, by M. Völter, B. Kolb, T. Szabo, D. Ratiu, A. van Deursen, in Journal on Software and Systems Modeling, 2017, pdf
mbeddr -- Instantiating a Language Workbench in the Embedded Software Domain, by M. Voelter, D. Ratiu, B. Kolb, B. Schaetz. Journal of Automated Software Engineering, 2013, pdf
Seamless Model-based Development: from Isolated Tools to Integrated Model Engineering Environments by Manfred Broy, Martin Feilkas, Markus Herrmannsdoerfer, Stefano Merenda, and Daniel Ratiu, Proceedings of the IEEE, Special Issue on Aerospace and Automotive Software, 2010, pdf
Conferences and Workshops:
2024
Towards an Argument Pattern for the Use of Safety Performance Indicators, by D. Ratiu, T. Rohlinger, T. Stolte, S. Wagner, 11th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR), 2024, pdf
2020
FASTEN.Safe: A Model-driven Engineering Tool to Experiment with Checkable Assurance Cases, by C. Carlan, D. Ratiu, 39th International Conference on Computer Safety, Reliability and Security (SAFECOMP), 2020, pdf
2019
FASTEN: An Open Extensible Framework to Experiment with Formal Specification Approaches -- Using Language Engineering to Develop a Multi-Paradigm Specification Environment for NuSMV, by D. Ratiu, M. Gario, H. Schoenhaar, 7th Conference on Formal Methods in Software Engineering (FormaliSE), 2019, pdf
Towards Continuous Delivery for Domain Experts -- Using MDE to Integrate Non-programmers into a Software Delivery Pipeline, by H. Nehls and D. Ratiu, First International Workshop on DevOps@MODELS, 2019, pdf
2018
Taming the Software Development Complexity with Domain Specific Languages - Experiences from Deploying MPS-based DSLs for Computed Tomography Scanners at Siemens Healthineers, by D. Ratiu, H. Nehls, J. Michel, Modellierung 2018, pdf
Modeling and Valuation of Contractual RAM Requirements Using Domain-Specific Languages, by A. Joanni, D. Ratiu, IEEE 2017 Annual Reliability and Maintainability Symposium (RAMS), 2018, pdf
Formalization of RAM Contracts for Advanced Consistency and Completeness Checking, by A. Joanni, D. Ratiu, The 30th European Safety and Reliability Conference (ESREL), 2018, pdf
2017
Increasing Usability of Spin-Based C Code Verification using a Harness Definition Language - Leveraging Model-driven Code Checking to Practitioners, by D. Ratiu, A. Ulrich, 24th Spin Symposium, 2017, pdf
Experiences with Teaching MPS in Industry: Towards Bringing Domain Specific Languages Closer to Practitioners, by D. Ratiu, V. Pech, K. Dummann, ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS'17), 2017, pdf
2016
Automated Testing of DSL Implementations , by D. Ratiu, M. Voelter, 11th IEEE/ACM International Workshop on Automation of Software Test (AST'16), 2016, pdf
On Using Results of Code-level Bounded Model Checking in Assurance Cases, by C. Carlan, D. Ratiu, B. Schaetz, 4th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE'16), 2016, pdf
2015
Safety.Lab: Model-based Domain Specific Tooling for Safety Argumentation, by D. Ratiu, M. Zeller, L. Killian, in 3rd International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE'15), 2015, pdf
Verification-Cases: Characterizing the Completeness Degree of Incomplete Verification for C Programs(Towards Using Formal Verification for Low Criticality Functions), by D. Ratiu, V. Nimal, VeriSure: Verification and Assurance 2015, pdf
2014
Automated Domain-Specific C Verification with mbeddr, by Z. Molotnikov, M. Voelter, D. Ratiu, Proceedings of the Automated Software Engineering (ASE), 2014, pdf
Structured Multi-View Modeling by Tabular Notation, by X. Zhu, D. Mou, D. Ratiu, International Conference on Requirements Engineering (RE), Tool Demo, 2014, pdf
mbeddr - Extensible Languages for Embedded Software Development, by T. Szabo, M. Voelter, B. Kolb, D. Ratiu, B. Schaetz, High-Integrity Language Technologies (HILT), Invited Talk, 2014, pdf
2013
Using Language Engineering to Lift Languages and Analyses at Domain Level, by D. Ratiu, M. Voelter, B. Kolb, B. Schaetz, NASA Formal Methods Symposium, 2013, pdf
MIRA: A Tooling Framework to Experiment with Model-baed Requirements Engineering, S. Teufl, D. Mou, D. Ratiu, International Conference on Requirements Engineering (RE), 2013, pdf
Requirements as First-Class Citizens: Integrating Requirements Closely with Implementation Artifacts, International Workshop on Model-based Architecting and Construction of Embedded Systems @ MODELS, 2013, pdf
Seamless Model-based Development of Embedded Systems with AF3 Phoenix, by A. Kondeva, D. Ratiu, B. Schaetz, S. Voss, International Conference on Engineering of Computer Based Systems (Tutorial), 2013
2012
Towards an Extensible C for Embedded Programming, by M. Voelter, B. Schätz, D. Ratiu, B. Kolb, Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme, 2012, pdf
mbeddr: an extensible C-based programming language and IDE for embedded systems, by M. Voelter, D. Ratiu, B. Schätz, B. Kolb, International Conference on Systems, Programming, and Applications: Software for Humanity (SPLASH) 2012, pdf
Reusing Test-Cases on Different Levels of Abstraction in a Model Based Development Tool, by J. Blech, D. Mou, D. Ratiu, Workshop on Model-based Testing (MBT), 2012, pdf
Language Engineering as an Enabler for Incrementally Defined Formal Analyses, by D. Ratiu, B. Schaetz, M. Voelter, B. Kolb, in 1st International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA), 2012, pdf
Implementing Modular Domain-specific Languages and Analyses by D. Ratiu, M. Voelter, Z. Molotnikov, B. Schaetz, International Workshop on Model-driven Engineering, Verification and Validation (MoDeVVa), pdf
Functional Viewpoint, by A. Vogelsang, S. Eder, M. Feilkas, D. Ratiu, Model-Based Engineering of Embedded System
Binding requirements and component architecture by using model-based test-driven development, by D. Mou, D. Ratiu, in First IEEE International Workshop on the Twin Peaks of Requirements and Architecture (TwinPeaks), pdf
2010
Metamodel Usage Analysis for identifying Metamodel Improvements by Markus Herrmannsdoerfer, Daniel Ratiu, and Maximilian Koegel, SLE '10: Proceedings of the 3rd International Conference on Software Language Engineering, 2010, pdf
Utilizing Web Search Engines for Program Analysis by Daniel Ratiu and Lars Heinemann, ICPC '10: Proc. of the 18th IEEE International Conference on Program Comprehension, 2010, pdf
Towards a Reusable Unified Basis for Representing Business Domain Knowledge and Development Artifacts in Systems Engineering by Thomas Kofler and Daniel Ratiu, DE@ER'10, Proceedings of the Workshop on Domain Engineering, 2010
A System for Seamless Abstraction Layers for Model-based Development of Embedded Software by Judith Thyssen, Daniel Ratiu, Wolfgang Schwitzer, Alexander Harhurin, Martin Feilkas, and Eike Thaden, SE'10, Software Engineering (Workshops), 2010, pdf
2009
Intentional Meaning of Programs by Daniel Ratiu, PhD Thesis, Technische Universität München, (summa cum laude), 2009, pdf
The Logical Modularity of Programs by Daniel Ratiu, Radu Marinescu, Jan Jürjens, Proceedings of the Working Conference on Reverse Engineering (WCRE), 2009, pdf
The Loss of Architectural Knowledge during System Evolution: An Industrial Case Study by Martin Feilkas, Daniel Ratiu, Elmar Jürgens, Proceedings of the 17th International Conference on Program Comprehension, (ICPC), 2009, pdf
How do Modeling Languages Evolve? Investigating the History of GMF by Markus Herrmannsdoerfer, Daniel Ratiu, Guido Wachsmuth, Proceedings of the Software Language Engineering (SLE), 2009, pdf
Limitations of Automating Model Migration in Response to Metamodel Adaptation by Markus Herrmannsdoerfer, Daniel Ratiu, Proceedings of the Workshop on Models and Evolution (MoDSE-MCCM), 2009, pdf
Domain Knowledge Driven Program Analysis - Position Paper by Daniel Ratiu, German Workshop on Software-Reengineering (WSR), 2009, pdf
Challenges for Domain Knowledge Driven Program Analysis by Daniel Ratiu, 3rd Workshop on FAMIX and Moose in Reengineering (co-located with WCRE'09), (FAMOOSr'09), 2009, pdf
Reverse Engineering Domain Models from Source Code by Daniel Ratiu, International Workshop on Reverse Engineering Models from Software Artifacts (co-located with WCRE'09) (REM), 2009, pdf
2008
Evaluating the Reference and Representation of Domain Concepts in APIs by Daniel Ratiu, Jan Juerjens, Proceedings of the 16th International Conference on Program Comprehension (ICPC), 2008, pdf
Ensuring Well-Behaved Usage of APIs through Syntactic Constraints by Martin Feilkas, Daniel Ratiu, Proceedings of the 16th International Conference on Program Comprehension (ICPC), 2008, pdf
Extracting Domain Ontologies from Domain Specific APIs by Daniel Ratiu, Martin Feilkas, Jan Juerjens, Proceedings of the 12th European Conference on Software Maintenance and Reengineering (CSMR), 2008, pdf
Towards a Repository of Common Programming Technologies Knowledge by Daniel Ratiu, Martin Feilkas, Florian Deissenboeck, Radu Marinescu, Jan Jürjens, International Workshop on Semantic Technologies in System Maintenance (STSM '08), 2008, pdf
2007
From Reality to Programs and (Not Quite) Back Again by Daniel Ratiu, Florian Deissenboeck, Proceedings of the 15th International Conference on Program Comprehension (ICPC), 2007, pdf
The Reality of Libraries by Daniel Ratiu, Jan Juerjens, Proceedings of the 11th European Conference on Software Maintenance and Reengineering (CSMR), 2007, pdf
Incremental Integration of Heterogeneous Systems Views by Mario Gleirscher, Daniel Ratiu, Bernhard Schaetz, Proceedings of the International Conference on Systems Engineering and Modeling (ICSEM), 2007, pdf
2006
How Programs Represent Reality (and how they don't) by Daniel Ratiu, Florian Deissenboeck, Proceedings of the 13th Working Conference on Reverse Engineering (WCRE), 2006, pdf
Programs are Knowledge Bases by Daniel Ratiu, Florian Deissenboeck, Proceedings of the 14th IEEE International Conference on Program Comprehension (ICPC), 2006, pdf
A Unified Meta-Model for Concept-Based Reverse Engineering by Florian Deissenboeck, Daniel Ratiu, Proceedings of the 3rd International Workshop on Metamodels, Schemas, Grammars and Ontologies for Reverse Engineering (ATEM), 2006, pdf
2005
iPlasma: An Integrated Platform for Quality Assessment of Object-Oriented Design by Cristina Marinescu, Radu Marinescu, Petru Florin Mihancea, Daniel Ratiu, Richard Wettel, Proceedings of the 21st IEEE International Conference on Software Maintenance - Industrial and Tool volume (ICSM), 2005, pdf
2004
Using History Information to Improve Design Flaws Detection by Daniel Ratiu, Stephane Ducasse, Tudor Girba, Radu Marinescu, 8th European Conference on Software Maintenance and Reengineering (CSMR), 2004, pdf
Quantifying the Quality of Object-Oriented Design: The Factor-Strategy Model by Radu Marinescu, Daniel Ratiu, 11th Working Conference on Reverse Engineering (WCRE), 2004