References of "Liu, Yang"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailA verification framework for stateful security protocols
Li, Li; Dong, Naipeng; Pang, Jun UL et al

in Proceedings of the 19th International Conference on Formal Engineering Methods (2017)

Detailed reference viewed: 97 (1 UL)
See detailProceedings 4th International Workshop on Engineering Safety and Security Systems
Pang, Jun UL; Liu, Yang; Mauw, Sjouke UL

Book published by EPTCS - 184 (2015)

Detailed reference viewed: 80 (4 UL)
Full Text
Peer Reviewed
See detailSymbolic analysis of an electric vehicle charging protocol.
Li, Li; Pang, Jun UL; Liu, Yang et al

in Proceedings of 19th IEEE Conference on Engineering of Complex Computer Systems (ICECCS) (2014)

Detailed reference viewed: 81 (0 UL)
See detailProceedings Third International Workshop on Engineering Safety and Security Systems
Pang, Jun UL; Liu, Yang

Book published by EPTCS (2014)

Detailed reference viewed: 82 (1 UL)
Full Text
Peer Reviewed
See detailPrediction of giant elastocaloric strength and stress-mediated electrocaloric effect in BaTiO3 single crystals
Liu, Yang; Wei, Jie; Janolin, Pierre-Eymeric et al

in Physical Review B (2014), 90(10),

An applied stress field σ3 can reversibly change the temperature of an elastocaloric material under adiabatic conditions, and the temperature change Tσ3 is usually maximized near phase transitions.Using a ... [more ▼]

An applied stress field σ3 can reversibly change the temperature of an elastocaloric material under adiabatic conditions, and the temperature change Tσ3 is usually maximized near phase transitions.Using a thermodynamic approach, we demonstrate that an elastocaloric strength α = | Tσ3 |/|σ3| of 0.016 K/MPa can be achieved benefiting from the full first-order phase transition in BaTiO3 single crystals, which is comparable with typical elastocaloric materials reported in the literature. The elastocaloric temperature change is found to be giant (3.2 K) under a stress of 200 MPa with a temperature span of over 50 K, which can be significantly larger than its electrocaloric counterpart (∼1 K). Moreover, it is found that the elastocaloric strength can be remarkably enhanced (2.32 K/MPa) as long as the phase transition is triggered even by a modest stress near the sharp first-order phase transition, which is two orders of magnitude larger than those accomplished by full transition. Therefore, even a low stress (<30 MPa) can induce a modest elastocaloric effect (1.3 K) comparable with the electrocaloric counterpart, which is accompanied by a reduction of the working temperature span. In addition, it is found that the electrocaloric peak under tensile stresses moves towards higher temperatures with its magnitude slightly enhanced. Hopefully, our study will stimulate further investigations on elastocaloric and stress-mediated electrocaloric effects in ferroelectrics. [less ▲]

Detailed reference viewed: 74 (3 UL)
Full Text
Peer Reviewed
See detailModel Checking with Fairness Assumptions using PAT
Si, Yuanjie; Sun, Jun; Liu, Yang et al

in Frontiers of Computer Science (2014), 8(1), 1-16

Detailed reference viewed: 94 (5 UL)
Full Text
See detailMessage from ESSS 2013 Workshop Co-chairs
Pang, Jun UL; Liu, Yang; Mauw, Sjouke UL

in 6th IEEE International Conference on Software Testing, Verification and Validation Workshops Proceedings (2013)

Detailed reference viewed: 91 (1 UL)
Full Text
Peer Reviewed
See detailVerification of functional and non-functional requirements of web service composition
Chen, Manman; Tan, Tian Huat; Sun, Jun et al

in Proceedings of 15th Conference on Formal Engineering Methods (ICFEM'13) (2013)

Detailed reference viewed: 90 (0 UL)
Full Text
Peer Reviewed
See detailOn combining state space reductions with global fairness assumptions
Zhang, Shaojie; Sun, Jun; Pang, Jun UL et al

in Proc. 17th International Symposium on Formal Methods (2011)

Detailed reference viewed: 82 (2 UL)