Daniel Ratiu
Affiliations:- Siemens Corporate Technology, Munich, Germany
According to our database1,
Daniel Ratiu
authored at least 56 papers
between 2004 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2024
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops, 2024
2021
FASTEN: An Extensible Platform to Experiment with Rigorous Modeling of Safety-Critical Systems.
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.
Proceedings of the Domain-Specific Languages in Practice: with JetBrains MPS, 2021
Proceedings of the Composing Model-Based Analysis Tools, 2021
2020
FASTEN.Safe: A Model-Driven Engineering Tool to Experiment with Checkable Assurance Cases.
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.
Int. J. Softw. Tools Technol. Transf., 2019
Lessons learned from developing mbeddr: a case study in language engineering with MPS.
Softw. Syst. Model., 2019
Towards Continuous Delivery for Domain Experts: Using MDE to Integrate Non-Programmers into a Software Delivery Pipeline.
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.
Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, 2019
2018
Softw. Qual. J., 2018
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.
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.
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.
Proceedings of the Computer Safety, Reliability, and Security, 2016
Proceedings of the Computer Safety, Reliability, and Security, 2016
Proceedings of the 11th International Workshop on Automation of Software Test, 2016
2015
Proceedings of the Computer Safety, Reliability, and Security, 2015
Proceedings of the IEEE International Symposium on Systems Engineering, 2015
2014
Proceedings of the IEEE 22nd International Requirements Engineering Conference, 2014
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014
Proceedings of the 2014 Workshop on Eclipse Technology eXchange, 2014
2013
Autom. Softw. Eng., 2013
Proceedings of the 21st IEEE International Requirements Engineering Conference, 2013
Proceedings of the NASA Formal Methods, 2013
Requirements as First-Class Citizens: Integrating Requirements closely with Implementation Artifacts.
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
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
Proceedings of the Proceedings 7th Workshop on Model-Based Testing, 2012
Binding requirements and component architecture by using model-based test-driven development.
Proceedings of the First IEEEInternational Workshop on the Twin Peaks of Requirements and Architecture, 2012
Proceedings of the SPLASH'12, 2012
Towards an Extensible C for Embedded Programming.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, 2012
Proceedings of the First International Workshop on Formal Methods in Software Engineering, 2012
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.
Proc. IEEE, 2010
Proceedings of the Software Language Engineering - Third International Conference, 2010
A System for Seamless Abstraction Layers for Model-based Development of Embedded Software.
Proceedings of the Software Engineering 2010, 2010
Model-based Development Tools for Embedded Systems in the Industry - Results from an Empirical Investigation.
Proceedings of the Software Engineering 2010, 2010
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.
Proceedings of the Advances in Conceptual Modeling - Applications and Challenges, 2010
2009
Proceedings of the 16th Working Conference on Reverse Engineering, 2009
Proceedings of the Software Language Engineering, Second International Conference, 2009
Proceedings of the Models in Software Engineering, 2009
The loss of architectural knowledge during system evolution: An industrial case study.
Proceedings of the 17th IEEE International Conference on Program Comprehension, 2009
Challenges for Domain Knowledge Driven Program Analysis.
Proceedings of the 3rd Workshop on FAMIX and Moose in Reengineering, 2009
2008
Proceedings of the 16th IEEE International Conference on Program Comprehension, 2008
Proceedings of the 16th IEEE International Conference on Program Comprehension, 2008
Proceedings of the 12th European Conference on Software Maintenance and Reengineering, 2008
2007
Proceedings of the 9th International Workshop on Principles of Software Evolution (IWPSE 2007), 2007
Proceedings of the 15th International Conference on Program Comprehension (ICPC 2007), 2007
Proceedings of the 1st International ICST Conference on Systems Engineering and Modeling, 2007
Proceedings of the 11th European Conference on Software Maintenance and Reengineering, 2007
2006
Proceedings of the 13th Working Conference on Reverse Engineering (WCRE 2006), 2006
Proceedings of the 14th International Conference on Program Comprehension (ICPC 2006), 2006
2005
iPlasma: An Integrated Platform for Quality Assessment of Object-Oriented Design.
Proceedings of the 21st IEEE International Conference on Software Maintenance, 2005
2004
Proceedings of the 11th Working Conference on Reverse Engineering, 2004
Proceedings of the 8th European Conference on Software Maintenance and Reengineering (CSMR 2004), 2004