Daniel Ratiu - RankMe

66 papers A* 1A 9B 3C 2Journal 9Unranked 32

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