Basic Information
Name: Chenyang Zhu
Institution: University of Southampton
Registration: 2018-03-13
Score: 93
Research Interest Profile Auto-generated by system

Based on the conferences and journals browsed, this researcher appears most interested in Software Engineering, Systems & Architecture. Frequently viewed venues include TASE, ABZ, FORMATS, FMCAD, FM.

My CV
Tracked Conferences
Total 6 items.
CCFICOREQUALISShortFull NameSubmissionNotificationConference
B1FORMATSInternational Conference on Formal Modeling and Analysis of Timed Systems2026-04-132026-06-032026-09-02
ABB1FMInternational Symposium on Formal Methods2025-11-252026-02-062026-05-18
BBB1FMCADFormal Methods in Computer-Aided Design2025-04-202025-07-012025-10-06
CB3TASEInternational Symposium on Theoretical Aspects of Software Engineering2025-03-012025-04-012025-07-14
BB1iFMInternational Conference on integrated Formal Methods2022-02-112022-03-182022-06-07
B2ABZASM, Alloy, B and Z2021-02-152021-03-292021-06-07
Attend Conferences
Total 2 items.
CCFICOREQUALISShortFull NameConferenceLocation
CB3TASEInternational Symposium on Theoretical Aspects of Software Engineering2018-08-29Guangzhou, China
B2ABZASM, Alloy, B and Z2018-06-05Southampton, UK
Tracked Journals
Total 3 items.
CCFFull NameImpact FactorPublisherISSN
BFormal Methods in System Design0.8Springer0925-9856
CFuture Generation Computer Systems6.1Elsevier0167-739X
BThe Journal of Systems Architecture: Embedded Software Design4.1Elsevier1383-7621
Followed Researchers
NameInstitutionRegistrationScore
No results found.