Daniel Ratiu

According to our database, Daniel Ratiu authored at least 55 papers between 2004 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2021

FASTEN: An Extensible Platform to Experiment with Rigorous Modeling of Safety-Critical Systems.

Daniel Ratiu, Arne Nordmann, Peter Munk, Carmen Cârlan, Markus Voelter

Proceedings of the Domain-Specific Languages in Practice: with JetBrains MPS, 2021

Use MPS to Unleash the Creativity of Domain Experts: Language Engineering Is a Key Enabler for Bringing Innovation in Industry.

Daniel Ratiu, Holger Nehls, Andreas Joanni, Stefan Rothbauer

Proceedings of the Domain-Specific Languages in Practice: with JetBrains MPS, 2021

Integration and Orchestration of Analysis Tools.

Robert Heinrich, Erwan Bousse, Sandro Koch, Arend Rensink, Elvinia Riccobene, Daniel Ratiu, Marjan Sirjani

Proceedings of the Composing Model-Based Analysis Tools, 2021

2020

FASTEN.Safe: A Model-Driven Engineering Tool to Experiment with Checkable Assurance Cases.

Carmen Cârlan, Daniel Ratiu

Proceedings of the Computer Safety, Reliability, and Security, 2020

2019

An integrated environment for Spin-based C code checking - Towards bringing model-driven code checking closer to practitioners.

Daniel Ratiu, Andreas Ulrich

Int. J. Softw. Tools Technol. Transf., 2019

Lessons learned from developing mbeddr: a case study in language engineering with MPS.

Markus Voelter, Bernd Kolb, Tamás Szabó, Daniel Ratiu, Arie van Deursen

Softw. Syst. Model., 2019

Towards Continuous Delivery for Domain Experts: Using MDE to Integrate Non-Programmers into a Software Delivery Pipeline.

Holger Nehls, Daniel Ratiu

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

FASTEN: an open extensible framework to experiment with formal specification approaches: using language engineering to develop a multi-paradigm specification environment for NuSMV.

Daniel Ratiu, Marco Gario, Hannes Schoenhaar

Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, 2019

2018

Automated testing of DSL implementations - experiences from building mbeddr.

Daniel Ratiu, Markus Voelter, Domenik Pavletic

Softw. Qual. J., 2018

Taming the Software Development Complexity with Domain Specific Languages.

Daniel Ratiu, Holger Nehls, Jochen Michel

Proceedings of the Modellierung 2018, 21.-23. Februar 2018, Braunschweig, Germany, 2018

2017

Increasing usability of spin-based C code verification using a harness definition language: leveraging model-driven code checking to practitioners.

Daniel Ratiu, Andreas Ulrich

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

Experiences with Teaching MPS in Industry: Towards Bringing Domain Specific Languages Closer to Practitioners.

Daniel Ratiu, Vaclav Pech, Kolja Dummann

Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

2016

Towards the Adoption of Model-Based Engineering for the Development of Safety-Critical Systems in Industrial Practice.

Marc Zeller, Daniel Ratiu, Kai Höfig

Proceedings of the Computer Safety, Reliability, and Security, 2016

On Using Results of Code-Level Bounded Model Checking in Assurance Cases.

Carmen Cârlan, Daniel Ratiu, Bernhard Schätz

Proceedings of the Computer Safety, Reliability, and Security, 2016

Automated testing of DSL implementations: experiences from building mbeddr.

Daniel Ratiu, Markus Voelter

Proceedings of the 11th International Workshop on Automation of Software Test, 2016

2015

Safety.Lab: Model-Based Domain Specific Tooling for Safety Argumentation.

Daniel Ratiu, Marc Zeller, Lennart Killian

Proceedings of the Computer Safety, Reliability, and Security, 2015

Modern model-based development approach for embedded systems practical experience.

Sergey Vinogradov, Artem Ozhigin, Daniel Ratiu

Proceedings of the IEEE International Symposium on Systems Engineering, 2015

2014

mbeddr: extensible languages for embedded software development.

Tamás Szabó, Markus Voelter, Bernd Kolb, Daniel Ratiu, Bernhard Schätz

Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, 2014

Structured multi-view modeling by tabular notation.

Xiuna Zhu, Dongyue Mou, Daniel Ratiu

Proceedings of the IEEE 22nd International Requirements Engineering Conference, 2014

Automated domain-specific C verification with mbeddr.

Zaur Molotnikov, Markus Völter, Daniel Ratiu

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

2013

mbeddr: instantiating a language workbench in the embedded software domain.

Markus Voelter, Daniel Ratiu, Bernd Kolb, Bernhard Schätz

Autom. Softw. Eng., 2013

MIRA: A tooling-framework to experiment with model-based requirements engineering.

Sabine Teufl, Dongyue Mou, Daniel Ratiu

Proceedings of the 21st IEEE International Requirements Engineering Conference, 2013

Using Language Engineering to Lift Languages and Analyses at the Domain Level.

Daniel Ratiu, Markus Voelter, Bernd Kolb, Bernhard Schätz

Proceedings of the NASA Formal Methods, 2013

Requirements as First-Class Citizens: Integrating Requirements closely with Implementation Artifacts.

Markus Voelter, Daniel Ratiu, Federico Tomassetti

Proceedings of the 6th International Workshop on Model Based Architecting and Construction of Embedded Systems co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), 2013

Seamless Model-Based Development of Embedded Systems with AF3 Phoenix.

Antoaneta Kondeva, Daniel Ratiu, Bernhard Schätz, Sebastian Voss

Proceedings of the 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems, 2013

2012

Reusing Test-Cases on Different Levels of Abstraction in a Model Based Development Tool

Jan Olaf Blech, Dongyue Mou, Daniel Ratiu

Proceedings of the Proceedings 7th Workshop on Model-Based Testing, 2012

Binding requirements and component architecture by using model-based test-driven development.

Dongyue Mou, Daniel Ratiu

Proceedings of the First IEEEInternational Workshop on the Twin Peaks of Requirements and Architecture, 2012

mbeddr: an extensible C-based programming language and IDE for embedded systems.

Markus Voelter, Daniel Ratiu, Bernhard Schätz, Bernd Kolb

Proceedings of the SPLASH'12, 2012

Towards an Extensible C for Embedded Programming.

Markus Voelter, Bernhard Schätz, Daniel Ratiu, Bernd Kolb

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, 2012

Language engineering as an enabler for incrementally defined formal analyses.

Daniel Ratiu, Bernhard Schätz, Markus Völter, Bernd Kolb

Proceedings of the First International Workshop on Formal Methods in Software Engineering, 2012

Functional Viewpoint.

Andreas Vogelsang, Sebastian Eder, Martin Feilkas, Daniel Ratiu

Proceedings of the Model-Based Engineering of Embedded Systems, The SPES 2020 Methodology, 2012

2010

Seamless Model-Based Development: From Isolated Tools to Integrated Model Engineering Environments.

Manfred Broy, Martin Feilkas, Markus Herrmannsdoerfer, Stefano Merenda, Daniel Ratiu

Proc. IEEE, 2010

Metamodel Usage Analysis for Identifying Metamodel Improvements.

Markus Herrmannsdoerfer, Daniel Ratiu, Maximilian Koegel

Proceedings of the Software Language Engineering - Third International Conference, 2010

A System for Seamless Abstraction Layers for Model-based Development of Embedded Software.

Judith Thyssen, Daniel Ratiu, Wolfgang Schwitzer, Alexander Harhurin, Martin Feilkas, Eike Thaden

Proceedings of the Software Engineering 2010, 2010

Model-based Development Tools for Embedded Systems in the Industry - Results from an Empirical Investigation.

Markus Herrmannsdoerfer, Thomas Kofler, Stefano Merenda, Daniel Ratiu, Judith Thyssen

Proceedings of the Software Engineering 2010, 2010

Utilizing Web Search Engines for Program Analysis.

Daniel Ratiu, Lars Heinemann

Proceedings of the 18th IEEE International Conference on Program Comprehension, 2010

Towards a Reusable Unified Basis for Representing Business Domain Knowledge and Development Artifacts in Systems Engineering.

Thomas Kofler, Daniel Ratiu

Proceedings of the Advances in Conceptual Modeling - Applications and Challenges, 2010

2009

Domain Knowledge Driven Program Analysis.

Daniel Ratiu

Softwaretechnik-Trends, 2009

The Logical Modularity of Programs.

Daniel Ratiu, Radu Marinescu, Jan Jürjens

Proceedings of the 16th Working Conference on Reverse Engineering, 2009

Language Evolution in Practice: The History of GMF.

Markus Herrmannsdoerfer, Daniel Ratiu, Guido Wachsmuth

Proceedings of the Software Language Engineering, Second International Conference, 2009

Limitations of Automating Model Migration in Response to Metamodel Adaptation.

Markus Herrmannsdoerfer, Daniel Ratiu

Proceedings of the Models in Software Engineering, 2009

The loss of architectural knowledge during system evolution: An industrial case study.

Martin Feilkas, Daniel Ratiu, Elmar Jürgens

Proceedings of the 17th IEEE International Conference on Program Comprehension, 2009

Challenges for Domain Knowledge Driven Program Analysis.

Daniel Ratiu

Proceedings of the 3rd Workshop on FAMIX and Moose in Reengineering, 2009

2008

Evaluating the Reference and Representation of Domain Concepts in APIs.

Daniel Ratiu, Jan Jürjens

Proceedings of the 16th IEEE International Conference on Program Comprehension, 2008

Ensuring Well-Behaved Usage of APIs through Syntactic Constraints.

Martin Feilkas, Daniel Ratiu

Proceedings of the 16th IEEE International Conference on Program Comprehension, 2008

Extracting Domain Ontologies from Domain Specific APIs.

Daniel Ratiu, Martin Feilkas, Jan Jürjens

Proceedings of the 12th European Conference on Software Maintenance and Reengineering, 2008

2007

Using concept analysis to detect co-change patterns.

Tudor Gîrba, Stéphane Ducasse, Adrian Kuhn, Radu Marinescu, Daniel Ratiu

Proceedings of the 9th International Workshop on Principles of Software Evolution (IWPSE 2007), 2007

From Reality to Programs and (Not Quite) Back Again.

Daniel Ratiu, Florian Deissenboeck

Proceedings of the 15th International Conference on Program Comprehension (ICPC 2007), 2007

Incremental Integration of Heterogeneous Systems Views.

Mario Gleirscher, Daniel Ratiu, Bernhard Schätz

Proceedings of the 1st International ICST Conference on Systems Engineering and Modeling, 2007

The Reality of Libraries.

Daniel Ratiu, Jan Jürjens

Proceedings of the 11th European Conference on Software Maintenance and Reengineering, 2007

2006

How Programs Represent Reality (and how they don't).

Daniel Ratiu, Florian Deissenboeck

Proceedings of the 13th Working Conference on Reverse Engineering (WCRE 2006), 2006

Programs are Knowledge Bases.

Daniel Ratiu, Florian Deissenboeck

Proceedings of the 14th International Conference on Program Comprehension (ICPC 2006), 2006

2005

iPlasma: An Integrated Platform for Quality Assessment of Object-Oriented Design.

Cristina Marinescu, Radu Marinescu, Petru Florin Mihancea, Daniel Ratiu, Richard Wettel

Proceedings of the 21st IEEE International Conference on Software Maintenance, 2005

2004

Quantifying the Quality of Object-Oriented Design: The Factor-Strategy Model.

Radu Marinescu, Daniel Ratiu

Proceedings of the 11th Working Conference on Reverse Engineering, 2004

Using History Information to Improve Design Flaws Detection.

Daniel Ratiu, Stéphane Ducasse, Tudor Gîrba, Radu Marinescu

Proceedings of the 8th European Conference on Software Maintenance and Reengineering (CSMR 2004), 2004