Daniel Ratiu

Publications

Export list as BibTeX file

  • September 2020FASTEN.Safe: A Model-Driven Engineering Tool to Experiment with Checkable Assurance CasesCarmen 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. DetailsDOIBIB
  • 2016On Using Results of Code-level Bounded Model Checking in AssuranceCarmen 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. DetailsDOIBIB
  • April 2013Seamless Model-based Development of Embedded Systems with AF3 PhoenixSebastian 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, DetailsDOIBIB
  • 2013MIRA: A Tooling-Framework to Experiment with Model-Based Requirements EngineeringSabine Teufl, Dongyue Mou and Daniel Ratiu In Proceedings of the 21st IEEE International Requirements Engineering Conference (RE), DetailsDOIBIB
  • September 2012Binding requirements and component architecture by using model-based test-driven developmentDongyue Mou and Daniel Ratiu In 2012 First IEEE International Workshop on the Twin Peaks of Requirements and Architecture (TwinPeaks), pages 27–30, DetailsDOIBIB
  • March 2012Reusing Test-Cases on Different Levels of Abstraction in a Model Based Development ToolJan Olaf Blech, Dongyue Mou and Daniel Ratiu In Proceedings 7th Workshop on Model-Based Testing (MBT), pages 13–27, Tallinn, Estonia, DetailsDOIBIB
  • 2012Implementing Modular Domain Specific Language and AnalysesDaniel Ratiu, Markus Voelter, Zaur Molotnikov and Bernhard Schätz In MoDEVVA 2012 (MODELS Workshop), DetailsBIB
  • 2012Language Engineering as an Enabler for Incrementally Defined Formal AnalysesDaniel Ratiu, Markus Voelter, Bernhard Schätz and Bernd Kolb In FormSERA 2012 (ICSE Workshop), DetailsBIB
  • 2012mbeddr - an Extensible C-based Programming Language and IDE for Embedded SystemsMarkus 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, DetailsBIB
  • 2010A System for Seamless Abstraction Layers for Model-based Development of Embedded SoftwareJudith 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. DetailsURLBIB
  • 2010Seamless Model-Based Development: From Isolated Tools to Integrated Model Engineering EnvironmentsManfred Broy, Martin Feilkas, Markus Herrmannsdörfer, Stefano Merenda and Daniel RatiuProceedings of the IEEE, 98():526 - 545, 2010. DetailsDOIBIB