Daniel Ratiu

Publication Activity (10 Years)

Years Active: 2004-2021
Publications (10 Years): 13

Top Topics

Programming Language

Domain Specific

Practical Experience

Requirements Engineering

Top Venues

SAFECOMP Workshops

Publications

Marc Zeller, Daniel Ratiu, Kai Höfig
Towards the adoption of model-based engineering for the development of safety-critical systems in industrial practice. CoRR (2021)
Carmen Cârlan, Daniel Ratiu
FASTEN.Safe: A Model-Driven Engineering Tool to Experiment with Checkable Assurance Cases. SAFECOMP (2020)
Daniel Ratiu, Marco Gario, Hannes Schoenhaar
FASTEN: an open extensible framework to experiment with formal specification approaches: using language engineering to develop a multi-paradigm specification environment for NuSMV. FormaliSE@ICSE (2019)
Daniel Ratiu, Andreas Ulrich
An integrated environment for Spin-based C code checking - Towards bringing model-driven code checking closer to practitioners. Int. J. Softw. Tools Technol. Transf. 21 (3) (2019)
Markus Voelter, Bernd Kolb, Tamás Szabó, Daniel Ratiu, Arie van Deursen
Lessons learned from developing mbeddr: a case study in language engineering with MPS. Softw. Syst. Model. 18 (1) (2019)
Holger Nehls, Daniel Ratiu
Towards Continuous Delivery for Domain Experts: Using MDE to Integrate Non-Programmers into a Software Delivery Pipeline. MoDELS (Companion) (2019)
Daniel Ratiu, Markus Voelter, Domenik Pavletic
Automated testing of DSL implementations - experiences from building mbeddr. Softw. Qual. J. 26 (4) (2018)
Daniel Ratiu, Holger Nehls, Jochen Michel
Taming the Software Development Complexity with Domain Specific Languages. Modellierung (2018)
Daniel Ratiu, Andreas Ulrich
Increasing usability of spin-based C code verification using a harness definition language: leveraging model-driven code checking to practitioners. SPIN (2017)
Daniel Ratiu, Vaclav Pech, Kolja Dummann
Experiences with Teaching MPS in Industry: Towards Bringing Domain Specific Languages Closer to Practitioners. MoDELS (2017)
Marc Zeller, Daniel Ratiu, Kai Höfig
Towards the Adoption of Model-Based Engineering for the Development of Safety-Critical Systems in Industrial Practice. SAFECOMP Workshops (2016)
Daniel Ratiu, Markus Voelter
Automated testing of DSL implementations: experiences from building mbeddr. AST@ICSE (2016)
Carmen Cârlan, Daniel Ratiu, Bernhard Schätz
On Using Results of Code-Level Bounded Model Checking in Assurance Cases. SAFECOMP Workshops (2016)
Daniel Ratiu, Marc Zeller, Lennart Killian
Safety.Lab: Model-Based Domain Specific Tooling for Safety Argumentation. SAFECOMP Workshops (2015)
Sergey Vinogradov, Artem Ozhigin, Daniel Ratiu
Modern model-based development approach for embedded systems practical experience. ISSE (2015)
Tamás Szabó, Markus Voelter, Bernd Kolb, Daniel Ratiu, Bernhard Schätz
mbeddr: extensible languages for embedded software development. HILT (2014)
Tamás Szabó, Markus Voelter, Bernd Kolb, Daniel Ratiu, Bernhard Schätz
mbeddr - Extensible Languages for Embedded Software Development. ETX (2014)
Zaur Molotnikov, Markus Völter, Daniel Ratiu
Automated domain-specific C verification with mbeddr. ASE (2014)
Xiuna Zhu, Dongyue Mou, Daniel Ratiu
Structured multi-view modeling by tabular notation. RE (2014)
Daniel Ratiu, Markus Voelter, Bernd Kolb, Bernhard Schätz
Using Language Engineering to Lift Languages and Analyses at the Domain Level. NASA Formal Methods (2013)
Sabine Teufl, Dongyue Mou, Daniel Ratiu
MIRA: A tooling-framework to experiment with model-based requirements engineering. RE (2013)
Antoaneta Kondeva, Daniel Ratiu, Bernhard Schätz, Sebastian Voss
Seamless Model-Based Development of Embedded Systems with AF3 Phoenix. ECBS (2013)
Markus Voelter, Daniel Ratiu, Federico Tomassetti
Requirements as First-Class Citizens: Integrating Requirements closely with Implementation Artifacts. ACES-MB@MoDELS (2013)
Markus Voelter, Daniel Ratiu, Bernd Kolb, Bernhard Schätz
mbeddr: instantiating a language workbench in the embedded software domain. Autom. Softw. Eng. 20 (3) (2013)
Dongyue Mou, Daniel Ratiu
Binding requirements and component architecture by using model-based test-driven development. TwinPeaks@RE (2012)
Markus Voelter, Daniel Ratiu, Bernhard Schätz, Bernd Kolb
mbeddr: an extensible C-based programming language and IDE for embedded systems. SPLASH (2012)
Jan Olaf Blech, Dongyue Mou, Daniel Ratiu
Reusing Test-Cases on Different Levels of Abstraction in a Model Based Development Tool MBT (2012)
Daniel Ratiu, Bernhard Schätz, Markus Völter, Bernd Kolb
Language engineering as an enabler for incrementally defined formal analyses. FormSERA@ICSE (2012)
Markus Voelter, Bernhard Schätz, Daniel Ratiu, Bernd Kolb
Towards an Extensible C for Embedded Programming. MBEES (2012)
Markus Herrmannsdoerfer, Daniel Ratiu, Maximilian Koegel
Metamodel Usage Analysis for Identifying Metamodel Improvements. SLE (2010)
Judith Thyssen, Daniel Ratiu, Wolfgang Schwitzer, Alexander Harhurin, Martin Feilkas, Eike Thaden
A System for Seamless Abstraction Layers for Model-based Development of Embedded Software. Software Engineering (Workshops) (2010)
Manfred Broy, Martin Feilkas, Markus Herrmannsdoerfer, Stefano Merenda, Daniel Ratiu
Seamless Model-Based Development: From Isolated Tools to Integrated Model Engineering Environments. Proc. IEEE 98 (4) (2010)
Daniel Ratiu, Lars Heinemann
Utilizing Web Search Engines for Program Analysis. ICPC (2010)
Markus Herrmannsdoerfer, Thomas Kofler, Stefano Merenda, Daniel Ratiu, Judith Thyssen
Model-based Development Tools for Embedded Systems in the Industry - Results from an Empirical Investigation. Software Engineering (Workshops) (2010)
Thomas Kofler, Daniel Ratiu
Towards a Reusable Unified Basis for Representing Business Domain Knowledge and Development Artifacts in Systems Engineering. ER Workshops (2010)
Daniel Ratiu
Challenges for Domain Knowledge Driven Program Analysis. FAMOOSr@WCRE (2009)
Daniel Ratiu, Radu Marinescu, Jan Jürjens
The Logical Modularity of Programs. WCRE (2009)
Daniel Ratiu
Domain Knowledge Driven Program Analysis. Softwaretechnik-Trends 29 (2) (2009)
Markus Herrmannsdoerfer, Daniel Ratiu
Limitations of Automating Model Migration in Response to Metamodel Adaptation. MoDELS (Workshops) (2009)
Markus Herrmannsdoerfer, Daniel Ratiu, Guido Wachsmuth
Language Evolution in Practice: The History of GMF. SLE (2009)
Martin Feilkas, Daniel Ratiu, Elmar Jürgens
The loss of architectural knowledge during system evolution: An industrial case study. ICPC (2009)
Daniel Ratiu, Jan Jürjens
Evaluating the Reference and Representation of Domain Concepts in APIs. ICPC (2008)
Daniel Ratiu, Martin Feilkas, Jan Jürjens
Extracting Domain Ontologies from Domain Specific APIs. CSMR (2008)
Martin Feilkas, Daniel Ratiu
Ensuring Well-Behaved Usage of APIs through Syntactic Constraints. ICPC (2008)
Tudor Gîrba, Stéphane Ducasse, Adrian Kuhn, Radu Marinescu, Daniel Ratiu
Using concept analysis to detect co-change patterns. IWPSE (2007)
Mario Gleirscher, Daniel Ratiu, Bernhard Schätz
Incremental Integration of Heterogeneous Systems Views. ICSEM (2007)
Daniel Ratiu, Florian Deissenboeck
From Reality to Programs and (Not Quite) Back Again. ICPC (2007)
Daniel Ratiu, Jan Jürjens
The Reality of Libraries. CSMR (2007)
Daniel Ratiu, Florian Deissenboeck
Programs are Knowledge Bases. ICPC (2006)
Daniel Ratiu, Florian Deissenboeck
How Programs Represent Reality (and how they don't). WCRE (2006)
Cristina Marinescu, Radu Marinescu, Petru Florin Mihancea, Daniel Ratiu, Richard Wettel
iPlasma: An Integrated Platform for Quality Assessment of Object-Oriented Design. ICSM (Industrial and Tool Volume) (2005)
Daniel Ratiu, Stéphane Ducasse, Tudor Gîrba, Radu Marinescu
Using History Information to Improve Design Flaws Detection. CSMR (2004)
Radu Marinescu, Daniel Ratiu
Quantifying the Quality of Object-Oriented Design: The Factor-Strategy Model. WCRE (2004)