conf.researchr.org / Daniel Ratiu

Not registered as user yet

Name: Daniel Ratiu

Country: Germany

Affiliation: Siemens Corporate Technology

Contributions

MODELS 2020Committee Member in PC - Practice and Innovation Track within the Technical Track-track
FormaliSE 2019Author of FASTEN: An Open Extensible Framework to Experiment with Formal Specification Approaches - Using Language Engineering to Develop a Multi-Paradigm Specification Environment for NuSMV within the FormaliSE 2019-track
SLE 2015Committee Member in Program Committee within the SLE-track
SPLASH 2012Author of mbeddr: an extensible C-based programming language and IDE for embedded systems within the Wavefront Papers-track