Daniel Ratiu

Publikationen

Liste als BibTeX-Datei exportieren

  • September 2020FASTEN.Safe: A Model-Driven Engineering Tool to Experiment with Checkable Assurance CasesCarmen Cârlan und Daniel Ratiu In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Band 12234 von LNCS,Seiten 298–306, Springer. DetailsDOIBIB
  • 2016On Using Results of Code-level Bounded Model Checking in AssuranceCarmen Cârlan, Daniel Ratiu und Bernhard Schätz In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Band 9923 von LNCS,Seiten 30-42, Springer. DetailsDOIBIB
  • April 2013Seamless Model-based Development of Embedded Systems with AF3 PhoenixSebastian Voss, Antoaneta Kondeva, Daniel Ratiu und Bernhard Schätz In Tool demonstration on the 20th Annual IEEE International Conference and Workshops on the Engineering of Computer Based Systems (ECBS), Seiten 212, DetailsDOIBIB
  • 2013MIRA: A Tooling-Framework to Experiment with Model-Based Requirements EngineeringSabine Teufl, Dongyue Mou und 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 und Daniel Ratiu In 2012 First IEEE International Workshop on the Twin Peaks of Requirements and Architecture (TwinPeaks), Seiten 27–30, DetailsDOIBIB
  • März 2012Reusing Test-Cases on Different Levels of Abstraction in a Model Based Development ToolJan Olaf Blech, Dongyue Mou und Daniel Ratiu In Proceedings 7th Workshop on Model-Based Testing (MBT), Seiten 13–27, Tallinn, Estonia, DetailsDOIBIB
  • 2012Implementing Modular Domain Specific Language and AnalysesDaniel Ratiu, Markus Voelter, Zaur Molotnikov und 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 und 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 und Bernhard Schätz In Gourab Sen Gupta, Donald Bailey, Serge Demidenko und 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 und Eike Thaden In Software Engineering 2010 - Workshopband (inkl. Doktorandensymposium), Band P-160,Seiten 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 und Daniel RatiuProceedings of the IEEE, 98():526 - 545, 2010. DetailsDOIBIB