default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID70th Birthday: Jifeng He 0001 2013
- Zhiming Liu, Jim Woodcock
, Huibiao Zhu:
Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Lecture Notes in Computer Science 8051, Springer 2013, ISBN 978-3-642-39697-7 - Jean-Raymond Abrial:
Set-Theoretic Models of Computations. 1-22 - Bernhard K. Aichernig:
Model-Based Mutation Testing of Reactive Systems - From Semantics to Automated Test-Case Generation. 23-36 - Richard Banach:
Pliant Modalities in Hybrid Event-B. 37-53 - Jonathan P. Bowen:
A Relational Approach to an Algebraic Community: From Paul Erdős to He Jifeng. 54-66 - Michael J. Butler, Issam Maamria:
Practical Theory Extension in Event-B. 67-81 - Ana Cavalcanti, Alexandre Mota, Jim Woodcock:
Simulink Timed Models for Program Verification. 82-99 - Chao Chen, Huaikou Miao, Yihai Chen:
Concept Analysis Based Approach to Statistical Web Testing. 100-117 - Yifeng Chen:
Algebraic Program Semantics for Supercomputing. 118-135 - Dang Van Hung, Hoang Truong:
Modeling and Specification of Real-Time Interfaces with UTP. 136-150 - Zhenhua Duan, Qian Ma, Cong Tian, Nan Zhang:
Some Fixed-Point Issues in PPTL. 151-165 - Yuxi Fu:
The Value-Passing Calculus. 166-195 - Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog:
Proving Safety of Traffic Manoeuvres on Country Roads. 196-212 - Tony Hoare:
Generic Models of the Laws of Programming. 213-226 - Cliff B. Jones, Leo Freitas, Andrius Velykis:
Ours Is to Reason Why. 227-243 - Line Juhl, Kim Guldstrand Larsen, Jean-François Raskin:
Optimal Bounds for Multiweighted and Parametrised Energy Games. 244-255 - Jianwen Li, Geguang Pu, Lijun Zhang, Zheng Wang, Jifeng He, Kim Guldstrand Larsen:
On the Relationship between LTL Normal Forms and Büchi Automata. 256-270 - Jian Lü, Yu Huang, Chang Xu, Xiaoxing Ma:
Managing Environment and Adaptation Risks for the Internetware Paradigm. 271-284 - Hanne Riis Nielson, Flemming Nielson:
Safety versus Security in the Quality Calculus. 285-303 - Shengchao Qin, Guanhua He, Wei-Ngan Chin, Hongli Yang:
Invariants Synthesis over a Combined Domain for Automated Program Verification. 304-325 - A. W. Roscoe, Philippa J. Hopcroft:
Slow Abstraction via Priority. 326-345 - Jian Zhang:
Performance Estimation Using Symbolic Data. 346-353 - Hengjun Zhao, Naijun Zhan, Deepak Kapur:
Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants. 354-373 - Liang Zhao, Shuling Wang, Zhiming Liu:
Graph-Based Object-Oriented Hoare Logic. 374-393 - Longfei Zhu, Yongxin Zhao, Huibiao Zhu, Qiwen Xu:
Towards a Modeling Language for Cyber-Physical Systems. 394-411
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-29 00:04 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
