PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Hung, Dang Van"

Author of the publication

copydeleteadd this publication to your clipboard
On Verification of Probabilistic Timed Automata against Probabilistic Duration Properties.

, and . RTCSA, page 165-172. IEEE Computer Society, (2007)

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.

Univ. -Prof. Dr. Joris van Slageren University of Stuttgart

Electrocatalytic proton reduction: Metal based fused diporphyrins with proton relays for efficient catalysis, , , , , , , , and . Dataset, (2024)Related to: Chandra, S., Singha Hazari, A., Song, Q., Hunger, D., Neuman, N. I., van Slageren, J., Klemm, E. & Sarkar, B. (2023). Remarkable Enhancement of Catalytic Activity of Cu-Complexes in the Electrochemical Hydrogen Evolution Reaction by Using Triply Fused Porphyrin. ChemSusChem 16, e202201146. doi: 10.1002/cssc.202201146.

Univ. -Prof. Klaus-Dieter Hungenberg University of Stuttgart

Katrin Hungerbühler University of Stuttgart

Nina van den Daele University of Stuttgart

Dr. phil. Leo van Waveren University of Stuttgart

 

Other publications of authors with the same name

Checking Timed Automata for Linear Duration Properties., and . J. Comput. Sci. Technol., 15 (5): 423-429 (2000)On Verification of Probabilistic Timed Automata against Probabilistic Duration Properties., and . RTCSA, page 165-172. IEEE Computer Society, (2007)Specification and Verification of Spatial Data Types with B-Toolkit., and . COMPSAC, page 711-716. IEEE Computer Society, (2002)Timing and Concurrency Specification in Component-based Real-Time Embedded Systems Development., and . TASE, page 293-304. IEEE Computer Society, (2007)On Model Finding with Constraint Patterns., , and . SoMeT, volume 286 of Frontiers in Artificial Intelligence and Applications, page 279-290. IOS Press, (2016)A noninterleaving semantics for communicating sequential processes: a fixed-point approach., and . Acta Cybern., 8 (3): 293-314 (1988)Towards Approximate Model Checking DC and PDC Specifications, , and . CoRR, (2012)Guest editorial to the special section on SEFM 2009., , and . Software and Systems Modeling, 12 (2): 227-228 (2013)Modeling and Specification of Real-Time Interfaces with UTP., and . Theories of Programming and Formal Methods, volume 8051 of Lecture Notes in Computer Science, page 136-150. Springer, (2013)A Theory of Duration Calculus with Application., and . Domain Modeling and the Duration Calculus, volume 4710 of Lecture Notes in Computer Science, page 119-176. Springer, (2007)