Reliable execution of statechart-generated correct embedded software under soft errors

Ronaldo Rodrigues Ferreira, Thomas Klotz, Thilo Vörtler, Jean da Rolt, Gabriel L. Nazar, Álvaro Freitas Moreira, Luigi Carro, Karsten Einwich. Reliable execution of statechart-generated correct embedded software under soft errors. In 17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, DDECS 2014, Warsaw, Poland, 23-25 April, 2014. pages 147-152, IEEE, 2014. [doi]

@inproceedings{FerreiraKVRNMCE14,
  title = {Reliable execution of statechart-generated correct embedded software under soft errors},
  author = {Ronaldo Rodrigues Ferreira and Thomas Klotz and Thilo Vörtler and Jean da Rolt and Gabriel L. Nazar and Álvaro Freitas Moreira and Luigi Carro and Karsten Einwich},
  year = {2014},
  doi = {10.1109/DDECS.2014.6868779},
  url = {http://dx.doi.org/10.1109/DDECS.2014.6868779},
  researchr = {https://researchr.org/publication/FerreiraKVRNMCE14},
  cites = {0},
  citedby = {0},
  pages = {147-152},
  booktitle = {17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, DDECS 2014, Warsaw, Poland, 23-25 April, 2014},
  publisher = {IEEE},
  isbn = {978-1-4799-4560-3},
}