Daniel Ratiu

Publikationen

Liste als BibTeX-Datei exportieren

  • April 2021 FASTEN: An Extensible Platform to Experiment with Rigorous Modeling of Safety-Critical Systems Daniel Ratiu, Arne Nordmann, Peter Munk, Carmen Cârlan und 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 und Daniel Ratiu In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Band 12234 von LNCS, Seiten 298–306, Springer. Details DOI BIB
  • 2016 On Using Results of Code-level Bounded Model Checking in Assurance Carmen 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. Details DOI BIB
  • April 2013 Seamless Model-based Development of Embedded Systems with AF3 Phoenix Sebastian 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, Details DOI BIB
  • 2013 MIRA: A Tooling-Framework to Experiment with Model-Based Requirements Engineering Sabine Teufl, Dongyue Mou und 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 und Daniel Ratiu In 2012 First IEEE International Workshop on the Twin Peaks of Requirements and Architecture (TwinPeaks), Seiten 27–30, Details DOI BIB
  • März 2012 Reusing Test-Cases on Different Levels of Abstraction in a Model Based Development Tool Jan Olaf Blech, Dongyue Mou und Daniel Ratiu In Proceedings 7th Workshop on Model-Based Testing (MBT), Seiten 13–27, Tallinn, Estonia, Details DOI BIB
  • 2012 Implementing Modular Domain Specific Language and Analyses Daniel Ratiu, Markus Voelter, Zaur Molotnikov und 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 und 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 und Bernhard Schätz In Gourab Sen Gupta, Donald Bailey, Serge Demidenko und 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 und Eike Thaden In Software Engineering 2010 - Workshopband (inkl. Doktorandensymposium), Band P-160, Seiten 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 und Daniel Ratiu Proceedings of the IEEE, 98():526 - 545, 2010. Details DOI BIB