Author of the publication

SPARDL: A Requirement Modeling Language for Periodic Control System.

, , , , , , and . ISoLA (1), volume 6415 of Lecture Notes in Computer Science, page 594-608. Springer, (2010)

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

Perceptual Risk-Aware Adaptive Responsibility Sensitive Safety for Autonomous Driving., , , and . CAiSE, volume 13901 of Lecture Notes in Computer Science, page 33-49. Springer, (2023)A mathematical analysis of improved EigenAnt algorithm., , , and . J. Exp. Theor. Artif. Intell., 31 (2): 291-309 (2019)Parameterized Design and Formal Verification of Multi-ported Memory., , , , and . ICECCS, page 33-41. IEEE, (2022)SPARDL: A Requirement Modeling Language for Periodic Control System., , , , , , and . ISoLA (1), volume 6415 of Lecture Notes in Computer Science, page 594-608. Springer, (2010)Formal Modeling and Security Analysis for OpenFlow-Based Networks., , , and . ICECCS, page 201-204. IEEE Computer Society, (2018)Algorithm selection for software verification based on adversarial LSTM., , , , , and . BigDataSecurity, page 87-92. IEEE, (2021)AnB2Murphi: A Translator for Converting AliceBob Specifications to Murphi., , , , and . SEKE, page 108-113. KSI Research Inc., (2021)Anaphora Ambiguity Detection Method Based on Cross-domain Pronoun Substitution (S)., , , and . SEKE, page 646-649. KSI Research Inc., (2023)Formal Verification and Analysis of Time-Sensitive Software-Defined Network Architecture., , , and . SEKE, page 369-375. KSI Research Inc., (2022)Isolation Modeling and Analysis Based on Mobility., , , , , , and . ACM Trans. Softw. Eng. Methodol., 28 (2): 10:1-10:31 (2019)