A two-phase approach to reverse engineering using formal methods

Formal Methods in Programming and Their Applications - Lecture Notes in Computer Science ◽

10.1007/bfb0039718 ◽

2006 ◽

pp. 335-348 ◽

Cited By ~ 11

Author(s):

Gerald C. Gannod ◽

Betty H. C. Cheng

Keyword(s):

Reverse Engineering ◽

Formal Methods ◽

Two Phase ◽

Phase Approach

Download Full-text

Formal Methods for Reverse Engineering Gate-Level Netlists

10.21236/ada623698 ◽

2013 ◽

Cited By ~ 4

Author(s):

Wenchao Li

Keyword(s):

Reverse Engineering ◽

Formal Methods

Download Full-text

An efficient two phase approach for solving reliability–redundancy allocation problem using artificial bee colony technique

Computers & Operations Research ◽

10.1016/j.cor.2013.07.014 ◽

2013 ◽

Vol 40 (12) ◽

pp. 2961-2969 ◽

Cited By ~ 33

Author(s):

Harish Garg ◽

Monica Rani ◽

S.P. Sharma

Keyword(s):

Artificial Bee Colony ◽

Allocation Problem ◽

Two Phase ◽

Redundancy Allocation Problem ◽

Redundancy Allocation ◽

Phase Approach ◽

Bee Colony

Download Full-text

A two-phase approach for mining weighted partial periodic patterns

Engineering Applications of Artificial Intelligence ◽

10.1016/j.engappai.2014.01.004 ◽

2014 ◽

Vol 30 ◽

pp. 225-234 ◽

Cited By ~ 6

Author(s):

Kung-Jiuan Yang ◽

Tzung-Pei Hong ◽

Guo-Cheng Lan ◽

Yuh-Min Chen

Keyword(s):

Periodic Patterns ◽

Two Phase ◽

Phase Approach

Download Full-text

A two-phase approach for jointly determining the lot size and delivery policy in a vendor-buyer integrated system with rework

Journal of Information and Optimization Sciences ◽

10.1080/02522667.2011.10700128 ◽

2011 ◽

Vol 32 (6) ◽

pp. 1417-1423

Author(s):

Singa Wang Chiu ◽

Jyh-Chau Yang ◽

Chao-Chih Huang ◽

Kuo-Wei Chiang

Keyword(s):

Integrated System ◽

Lot Size ◽

Two Phase ◽

Phase Approach ◽

Delivery Policy

Download Full-text

Turbulent forced convection and entropy analysis of a nanofluid through a 3D 90° elbow using a two‐phase approach

Heat Transfer ◽

10.1002/htj.22272 ◽

2021 ◽

Author(s):

Zakaria Korei ◽

Smail Benissaad

Keyword(s):

Forced Convection ◽

Entropy Analysis ◽

Two Phase ◽

Phase Approach

Download Full-text

A Two-Phase Approach to Subscription Subsumption Checking for Content-Based Publish/Subscribe Systems

2010 24th IEEE International Conference on Advanced Information Networking and Applications ◽

10.1109/aina.2010.22 ◽

2010 ◽

Cited By ~ 3

Author(s):

Xiulei Qin ◽

Jun Wei ◽

Wenbo Zhang ◽

Hua Zhong ◽

Tao Huang

Keyword(s):

Two Phase ◽

Phase Approach ◽

Subsumption Checking

Download Full-text

A Novel Two-Phase Approach to Computing a Regional Social Progress Index

Advances in Efficiency and Productivity II - International Series in Operations Research & Management Science ◽

10.1007/978-3-030-41618-8_10 ◽

2020 ◽

pp. 159-172

Author(s):

Vincent Charles ◽

Tatiana Gherman ◽

Ioannis E. Tsolas

Keyword(s):

Social Progress ◽

Two Phase ◽

Phase Approach

Download Full-text

Two-Phase Approach to Optimal Weather Routing Using Real-Time Adaptive A* Algorithm and Geometric Programming

Journal of Ocean Engineering and Technology ◽

10.5574/ksoe.2015.29.3.263 ◽

2015 ◽

Vol 29 (3) ◽

pp. 263-269

Author(s):

Jinmo Park ◽

Nakwan Kim

Keyword(s):

Real Time ◽

Geometric Programming ◽

A Algorithm ◽

Two Phase ◽

Phase Approach ◽

Weather Routing

Download Full-text

Improvement of EPA method 8330: complete separation using a two-phase approach

Journal of Chromatography A ◽

10.1016/s0021-9673(99)00591-9 ◽

1999 ◽

Vol 849 (2) ◽

pp. 381-388 ◽

Cited By ~ 13

Author(s):

Michael J Lang ◽

Susan E Burns

Keyword(s):

Complete Separation ◽

Two Phase ◽

Phase Approach

Download Full-text

A two-phase approach based on sequential approximation for reliability-based design optimization

Structural and Multidisciplinary Optimization ◽

10.1007/s00158-017-1888-9 ◽

2018 ◽

Vol 57 (2) ◽

pp. 489-508 ◽

Cited By ~ 6

Author(s):

Ming Zhou ◽

Zhifan Luo ◽

Ping Yi ◽

Gengdong Cheng

Keyword(s):

Design Optimization ◽

Reliability Based Design Optimization ◽

Two Phase ◽

Phase Approach ◽

Reliability Based Design ◽

Sequential Approximation

Download Full-text