![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Daniel Ratiu
Person information
- affiliation: Siemens Corporate Technology, Munich, Germany
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
- [p4]Daniel Ratiu, Holger Nehls, Andreas Joanni, Stefan Rothbauer:
Use MPS to Unleash the Creativity of Domain Experts: Language Engineering Is a Key Enabler for Bringing Innovation in Industry. Domain-Specific Languages in Practice 2021: 25-52 - [p3]Robert Heinrich, Erwan Bousse, Sandro Koch
, Arend Rensink, Elvinia Riccobene, Daniel Ratiu, Marjan Sirjani:
Integration and Orchestration of Analysis Tools. Composing Model-Based Analysis Tools 2021: 71-95 - [p2]Daniel Ratiu, Arne Nordmann, Peter Munk, Carmen Cârlan, Markus Voelter:
FASTEN: An Extensible Platform to Experiment with Rigorous Modeling of Safety-Critical Systems. Domain-Specific Languages in Practice 2021: 131-164 - [i1]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 abs/2106.02273 (2021) - 2020
- [c46]Carmen Cârlan, Daniel Ratiu:
FASTEN.Safe: A Model-Driven Engineering Tool to Experiment with Checkable Assurance Cases. SAFECOMP 2020: 298-306 - [e6]Emil Sekerinski
, Nelma Moreira
, José N. Oliveira
, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Creissac Campos
, Troy Astarte, Laure Gonnord, Antonio Cerone
, Luis Couto, Brijesh Dongol
, Martin Kutrib
, Pedro Monteiro, David Delmas:
Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I. Lecture Notes in Computer Science 12232, Springer 2020, ISBN 978-3-030-54993-0 [contents] - [e5]Emil Sekerinski
, Nelma Moreira
, José N. Oliveira
, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Creissac Campos
, Troy Astarte
, Laure Gonnord, Antonio Cerone
, Luis Couto, Brijesh Dongol, Martin Kutrib
, Pedro Monteiro, David Delmas:
Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II. Lecture Notes in Computer Science 12233, Springer 2020, ISBN 978-3-030-54996-1 [contents]
2010 – 2019
- 2019
- [j6]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): 585-630 (2019) - [j5]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): 267-286 (2019) - [c45]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: 41-50 - [c44]Holger Nehls, Daniel Ratiu:
Towards Continuous Delivery for Domain Experts: Using MDE to Integrate Non-Programmers into a Software Delivery Pipeline. MoDELS (Companion) 2019: 598-604 - 2018
- [j4]Daniel Ratiu, Markus Voelter, Domenik Pavletic:
Automated testing of DSL implementations - experiences from building mbeddr. Softw. Qual. J. 26(4): 1483-1518 (2018) - [c43]Daniel Ratiu, Holger Nehls, Jochen Michel:
Taming the Software Development Complexity with Domain Specific Languages. Modellierung 2018: 281-292 - 2017
- [c42]Daniel Ratiu, Vaclav Pech, Kolja Dummann:
Experiences with Teaching MPS in Industry: Towards Bringing Domain Specific Languages Closer to Practitioners. MoDELS 2017: 83-92 - [c41]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: 60-69 - 2016
- [c40]Daniel Ratiu, Markus Voelter:
Automated testing of DSL implementations: experiences from building mbeddr. AST@ICSE 2016: 15-21 - [c39]Carmen Cârlan, Daniel Ratiu, Bernhard Schätz:
On Using Results of Code-Level Bounded Model Checking in Assurance Cases. SAFECOMP Workshops 2016: 30-42 - [c38]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: 322-333 - [e4]Michalis Famelis, Daniel Ratiu, Gehan M. K. Selim:
Proceedings of the 13th Workshop on Model-Driven Engineering, Verification and Validation co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint-Malo, France, October 3, 2016. CEUR Workshop Proceedings 1713, CEUR-WS.org 2016 [contents] - 2015
- [c37]Sergey Vinogradov, Artem Ozhigin, Daniel Ratiu:
Modern model-based development approach for embedded systems practical experience. ISSE 2015: 56-59 - [c36]Daniel Ratiu, Marc Zeller, Lennart Killian:
Safety.Lab: Model-Based Domain Specific Tooling for Safety Argumentation. SAFECOMP Workshops 2015: 72-82 - [e3]Michalis Famelis, Daniel Ratiu, Martina Seidl, Gehan M. K. Selim:
Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, MoDeVVa@MoDELS 2015, Ottawa, Canada, September 29, 2015. CEUR Workshop Proceedings 1514, CEUR-WS.org 2015 [contents] - 2014
- [c35]Tamás Szabó, Markus Voelter, Bernd Kolb, Daniel Ratiu, Bernhard Schätz:
mbeddr - Extensible Languages for Embedded Software Development. ETX 2014: 21-22 - [c34]Zaur Molotnikov, Markus Völter, Daniel Ratiu:
Automated domain-specific C verification with mbeddr. ASE 2014: 539-550 - [c33]Xiuna Zhu, Dongyue Mou, Daniel Ratiu:
Structured multi-view modeling by tabular notation. RE 2014: 327-328 - [c32]Tamás Szabó, Markus Voelter, Bernd Kolb, Daniel Ratiu, Bernhard Schätz:
mbeddr: extensible languages for embedded software development. HILT 2014: 13-16 - [e2]Frédéric Boulanger, Michalis Famelis, Daniel Ratiu:
Proceedings of the 11th Workshop on Model-Driven Engineering, Verification and Validation co-located with 17th International Conference on Model Driven Engineering Languages and Systems, MoDeVVa@MODELS 2014, Valencia, Spain, September 30, 2014. CEUR Workshop Proceedings 1235, CEUR-WS.org 2014 [contents] - 2013
- [j3]Markus Voelter, Daniel Ratiu, Bernd Kolb, Bernhard Schätz:
mbeddr: instantiating a language workbench in the embedded software domain. Autom. Softw. Eng. 20(3): 339-390 (2013) - [c31]Antoaneta Kondeva, Daniel Ratiu, Bernhard Schätz, Sebastian Voss:
Seamless Model-Based Development of Embedded Systems with AF3 Phoenix. ECBS 2013: 212 - [c30]Markus Voelter, Daniel Ratiu, Federico Tomassetti:
Requirements as First-Class Citizens: Integrating Requirements closely with Implementation Artifacts. ACES-MB@MoDELS 2013 - [c29]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: 465-471 - [c28]Sabine Teufl, Dongyue Mou, Daniel Ratiu:
MIRA: A tooling-framework to experiment with model-based requirements engineering. RE 2013: 330-331 - [e1]Frédéric Boulanger, Michalis Famelis, Daniel Ratiu:
Proceedings of the 10th International Workshop on Model Driven Engineering, Verification and Validation MoDeVVa 2013, co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), Miami, Florida, USA, October 1st, 2013. CEUR Workshop Proceedings 1069, CEUR-WS.org 2013 [contents] - 2012
- [c27]Daniel Ratiu, Bernhard Schätz, Markus Völter, Bernd Kolb:
Language engineering as an enabler for incrementally defined formal analyses. FormSERA@ICSE 2012: 9-15 - [c26]Markus Voelter, Bernhard Schätz, Daniel Ratiu, Bernd Kolb:
Towards an Extensible C for Embedded Programming. MBEES 2012: 107-112 - [c25]Markus Voelter, Daniel Ratiu, Bernhard Schätz, Bernd Kolb:
mbeddr: an extensible C-based programming language and IDE for embedded systems. SPLASH 2012: 121-140 - [c24]Dongyue Mou, Daniel Ratiu:
Binding requirements and component architecture by using model-based test-driven development. TwinPeaks@RE 2012: 27-30 - [c23]Jan Olaf Blech
, Dongyue Mou, Daniel Ratiu:
Reusing Test-Cases on Different Levels of Abstraction in a Model Based Development Tool. MBT 2012: 13-27 - [p1]Andreas Vogelsang, Sebastian Eder, Martin Feilkas, Daniel Ratiu:
Functional Viewpoint. Model-Based Engineering of Embedded Systems 2012: 69-83 - 2010
- [j2]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): 526-545 (2010) - [c22]Thomas Kofler, Daniel Ratiu:
Towards a Reusable Unified Basis for Representing Business Domain Knowledge and Development Artifacts in Systems Engineering. ER Workshops 2010: 222-231 - [c21]Daniel Ratiu, Lars Heinemann:
Utilizing Web Search Engines for Program Analysis. ICPC 2010: 94-103 - [c20]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: 93-102 - [c19]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: 137-148 - [c18]Markus Herrmannsdoerfer, Daniel Ratiu, Maximilian Koegel:
Metamodel Usage Analysis for Identifying Metamodel Improvements. SLE 2010: 62-81
2000 – 2009
- 2009
- [j1]Daniel Ratiu:
Domain Knowledge Driven Program Analysis. Softwaretechnik-Trends 29(2) (2009) - [c17]Daniel Ratiu:
Challenges for Domain Knowledge Driven Program Analysis. FAMOOSr@WCRE 2009: 16-19 - [c16]Martin Feilkas, Daniel Ratiu, Elmar Jürgens:
The loss of architectural knowledge during system evolution: An industrial case study. ICPC 2009: 188-197 - [c15]Markus Herrmannsdoerfer, Daniel Ratiu:
Limitations of Automating Model Migration in Response to Metamodel Adaptation. MoDELS (Workshops) 2009: 205-219 - [c14]Markus Herrmannsdoerfer, Daniel Ratiu, Guido Wachsmuth:
Language Evolution in Practice: The History of GMF. SLE 2009: 3-22 - [c13]Daniel Ratiu, Radu Marinescu, Jan Jürjens:
The Logical Modularity of Programs. WCRE 2009: 123-127 - 2008
- [c12]Daniel Ratiu, Martin Feilkas, Jan Jürjens:
Extracting Domain Ontologies from Domain Specific APIs. CSMR 2008: 203-212 - [c11]Daniel Ratiu, Jan Jürjens:
Evaluating the Reference and Representation of Domain Concepts in APIs. ICPC 2008: 242-247 - [c10]Martin Feilkas, Daniel Ratiu:
Ensuring Well-Behaved Usage of APIs through Syntactic Constraints. ICPC 2008: 248-253 - 2007
- [c9]Daniel Ratiu, Jan Jürjens:
The Reality of Libraries. CSMR 2007: 307-318 - [c8]Mario Gleirscher
, Daniel Ratiu, Bernhard Schätz:
Incremental Integration of Heterogeneous Systems Views. ICSEM 2007: 50-59 - [c7]Daniel Ratiu, Florian Deissenboeck:
From Reality to Programs and (Not Quite) Back Again. ICPC 2007: 91-102 - [c6]Tudor Gîrba, Stéphane Ducasse, Adrian Kuhn, Radu Marinescu, Daniel Ratiu:
Using concept analysis to detect co-change patterns. IWPSE 2007: 83-89 - 2006
- [c5]Daniel Ratiu, Florian Deissenboeck:
Programs are Knowledge Bases. ICPC 2006: 79-83 - [c4]Daniel Ratiu, Florian Deissenboeck:
How Programs Represent Reality (and how they don't). WCRE 2006: 83-92 - 2005
- [c3]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: 77-80 - 2004
- [c2]Daniel Ratiu, Stéphane Ducasse, Tudor Gîrba, Radu Marinescu:
Using History Information to Improve Design Flaws Detection. CSMR 2004: 223-232 - [c1]Radu Marinescu, Daniel Ratiu:
Quantifying the Quality of Object-Oriented Design: The Factor-Strategy Model. WCRE 2004: 192-201
Coauthor Index
aka: Markus Voelter
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint