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:

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