Papers

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, 2017pdf 
  • 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:
 
    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
    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 2018pdf
  • 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
    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 2017 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, 2014pdf
    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