Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

The VALU3S ECSEL project: Verification and validation of automated systems safety and security., , , , , , , , , and 9 other author(s). Microprocess. Microsystems, (November 2021)The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security., , , , , , , , , and 6 other author(s). DSD, page 352-359. IEEE, (2020)ReForm: A Tool for Rapid Requirements Formalization., , , , , , and . Electron. Commun. Eur. Assoc. Softw. Sci. Technol., (2020)Learning Moore machines from input-output traces., , and . Int. J. Softw. Tools Technol. Transf., 23 (1): 1-29 (2021)Efficient Translation of Safety LTL to DFA Using Symbolic Automata Learning and Inductive Inference., , and . SAFECOMP, volume 12234 of Lecture Notes in Computer Science, page 115-129. Springer, (2020)Computer-aided verification of matrix Riccati algorithms., and . CDC, page 8073-8078. IEEE, (2019)SMT-Based Stability Verification of an Industrial Switched PI Control Systems., , , , , , , , and . DSN-W, page 243-250. IEEE, (2023)