Daniel Ratiu

Publications

Export list as BibTeX file

  • April 2021 FASTEN: An Extensible Platform to Experiment with Rigorous Modeling of Safety-Critical Systems Daniel Ratiu, Arne Nordmann, Peter Munk, Carmen Cârlan and Markus Voelter Domain-Specific Languages in Practice, ():131–164, April 2021. Details DOI BIB
  • September 2020 FASTEN.Safe: A Model-Driven Engineering Tool to Experiment with Checkable Assurance Cases Carmen Cârlan and Daniel Ratiu In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), volume 12234 of LNCS, pages 298–306, Springer. Details DOI BIB
  • 2016 On Using Results of Code-level Bounded Model Checking in Assurance Carmen Cârlan, Daniel Ratiu and Bernhard Schätz In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), volume 9923 of LNCS, pages 30-42, Springer. Details DOI BIB
  • April 2013 Seamless Model-based Development of Embedded Systems with AF3 Phoenix Sebastian Voss, Antoaneta Kondeva, Daniel Ratiu and Bernhard Schätz In Tool demonstration on the 20th Annual IEEE International Conference and Workshops on the Engineering of Computer Based Systems (ECBS), pages 212, Details DOI BIB
  • 2013 MIRA: A Tooling-Framework to Experiment with Model-Based Requirements Engineering Sabine Teufl, Dongyue Mou and Daniel Ratiu In Proceedings of the 21st IEEE International Requirements Engineering Conference (RE), Details DOI BIB
  • September 2012 Binding requirements and component architecture by using model-based test-driven development Dongyue Mou and Daniel Ratiu In 2012 First IEEE International Workshop on the Twin Peaks of Requirements and Architecture (TwinPeaks), pages 27–30, Details DOI BIB
  • March 2012 Reusing Test-Cases on Different Levels of Abstraction in a Model Based Development Tool Jan Olaf Blech, Dongyue Mou and Daniel Ratiu In Proceedings 7th Workshop on Model-Based Testing (MBT), pages 13–27, Tallinn, Estonia, Details DOI BIB
  • 2012 Implementing Modular Domain Specific Language and Analyses Daniel Ratiu, Markus Voelter, Zaur Molotnikov and Bernhard Schätz In MoDEVVA 2012 (MODELS Workshop), Details BIB
  • 2012 Language Engineering as an Enabler for Incrementally Defined Formal Analyses Daniel Ratiu, Markus Voelter, Bernhard Schätz and Bernd Kolb In FormSERA 2012 (ICSE Workshop), Details BIB
  • 2012 mbeddr - an Extensible C-based Programming Language and IDE for Embedded Systems Markus Voelter, Daniel Ratiu, Bernd Kolb and Bernhard Schätz In Gourab Sen Gupta, Donald Bailey, Serge Demidenko and Dale Carnegie, editor, Proceedings of Wavefront/SPLASH 2012, Details BIB
  • 2010 A System for Seamless Abstraction Layers for Model-based Development of Embedded Software Judith Thyssen, Daniel Ratiu, Wolfgang Schwitzer, Alexander Harhurin, Martin Feilkas and Eike Thaden In Software Engineering 2010 - Workshopband (inkl. Doktorandensymposium), volume P-160, pages 137–148, Bonn, Gesellschaft für Informatik. Details URL BIB
  • 2010 Seamless Model-Based Development: From Isolated Tools to Integrated Model Engineering Environments Manfred Broy, Martin Feilkas, Markus Herrmannsdörfer, Stefano Merenda and Daniel Ratiu Proceedings of the IEEE, 98():526 - 545, 2010. Details DOI BIB