2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA) Emerging Technologies and Factory Automation (ETFA), 2023 IEEE 28th International Conference on. :1-8 Sep, 2023
2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER) Software Analysis, Evolution and Reengineering (SANER), 2019 IEEE 26th International Conference on. :253-263 Feb, 2019
2018 IEEE International Conference on Software Maintenance and Evolution (ICSME) ICSME Software Maintenance and Evolution (ICSME), 2018 IEEE International Conference on. :665-674 Sep, 2018
Cofer, D.; Fantechi, A. (ed.), Formal Methods for Industrial Critical Systems : 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers, 85-102. Berlin : Springer Verlag STARTPAGE=85;ENDPAGE=102;ISSN=0302-9743;TITLE=Cofer, D.; Fantechi, A. (ed.), Formal Methods for Industrial Critical Systems : 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers Cofer, D.; Fantechi, A. (ed.), Formal Methods for Industrial Critical Systems : 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers, pp. 85-102