Author of the publication

Learning-Based Falsification for Model Families of Cyber-Physical Systems.

, and . PRDC, page 236-245. IEEE, (2019)

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

Framework for Hierarchical Mobile Agents: Toward Service-Oriented Agent Compound., , , and . ICEIS (4), page 275-282. (2005)Abstract rewriting Approach to solve Datalog programs., , and . DBPL, page 29-36. ACM, (2015)Automatic Generation of Potentially Pathological Instances for Validating Alloy Models., , and . ICFEM, volume 10009 of Lecture Notes in Computer Science, page 41-56. (2016)Analysis on Strategies of Superposition Refinement of Event-B Specifications., and . ICFEM, volume 11232 of Lecture Notes in Computer Science, page 357-372. Springer, (2018)Investigating Country Differences in Mobile App User Behavior and Challenges for Software Engineering., , , , and . IEEE Trans. Software Eng., 41 (1): 40-64 (2015)Domain-specific Modeling Environment Construction Tool based on View Patterns: RapidDSM., and . SERA, page 460-468. IEEE, (2023)QuraTest: Integrating Quantum Specific Features in Quantum Program Testing., , , , , , and . ASE, page 1149-1161. IEEE, (2023)Shake Those System Parameters! On the Need for Parameter Coverage for Decision Systems., , , and . ASE, page 1327-1331. IEEE, (2021)Component Trust for Web Service Compositions., , and . AAAI Spring Symposium: Intelligent Web Services Meet Social Computing, volume SS-12-04 of AAAI Technical Report, AAAI, (2012)Learning-Based Falsification for Model Families of Cyber-Physical Systems., and . PRDC, page 236-245. IEEE, (2019)