Author of the publication

Integrating Probability with Time and Shared-Variable Concurrency.

, , , and . SEW, page 179-189. IEEE Computer Society, (2006)

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

Deriving operational semantics from denotational semantics for Verilog, , and . page 177--184. (2001)FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain., , , , , , , , , and 1 other author(s). CoRR, (2023)MDM: A Mode Diagram Modeling Framework for Periodic Control Systems, , , , , , , and . CoRR, (2012)From Statecharts to Verilog: a formal approach to hardware/software co-specification., , , and . Innov. Syst. Softw. Eng., 2 (1): 17-38 (2006)AADL+: a simulation-based methodology for cyber-physical systems., , , , , and . Frontiers Comput. Sci., 13 (3): 516-538 (2019)Hybrid MARTE statecharts., , , , and . Frontiers Comput. Sci., 7 (1): 95-108 (2013)An Approach to the Specification and Verification of a Hardware Compilation Scheme., and . J. Supercomput., 19 (1): 23-39 (2001)An Algebraic Hardware/Software Partitioning Algorithm., , , and . J. Comput. Sci. Technol., 17 (3): 284-294 (2002)Intelligent Hazard-Risk Prediction Model for Train Control Systems., , , , , and . IEEE Trans. Intell. Transp. Syst., 21 (11): 4693-4704 (2020)The stochastic semantics and verification for periodic control systems., , , , , and . Sci. China Inf. Sci., 55 (12): 2675-2693 (2012)