An Algorithm for Finite Approximations of Definite Programs and its Implementation in Prolog. - Lunjin Lu; Peter Greenfield (ALPUK, 1992)

Abstract fixpoint semantics and abstract procedural semantics of definite logic programs. - Lunjin Lu; Peter Greenfield (ICCL, 1992)

Logic Program Testing Based on Abstract Interpretation. - Lunjin Lu; Peter Greenfield (Formal Methods in Programming and Their Applications, 1993)

A Generic Declarative Diagnoser for Normal Logic Programs. - Lunjin Lu (LPAR, 1994)

Type Analysis of Logic Programs in the Presence of Type Definitions. - Lunjin Lu (PEPM, 1995)

A Mode Analysis of Logic Programs by Abstract Interpretation. - Lunjin Lu (Ershov Memorial Conference, 1996)

Constructive Negation Using Typed Existence Properties. - John G. Cleary; Lunjin Lu (PLILP/ALP, 1998)

On Dart-Zobel Algorithm for Testing Regular Type Inclusion - Lunjin Lu; John G. Cleary (CoRR, 1998)

An Emptiness Algorithm for Regular Types with Set Operators - Lunjin Lu; John G. Cleary (CoRR, 1998)

A Polymorphic Groundness Analysis of Logic Programs - Lunjin Lu (CoRR, 1998)

Deriving Abstract Semantics for Forward Analysis of Normal Logic Programs - Lunjin Lu (CoRR, 1998)

Polymorphic Type Analysis in Logic Programs by Abstract Intepretation. - Lunjin Lu (J. Log. Program., 1998)

A Regular Type Analysis of Logic Programs. - Lunjin Lu; John G. Cleary (ICLP, 1999)

An Operational Semantics of Starlog. - Lunjin Lu; John G. Cleary (PPDP, 1999)

A precise type analysis of logic programs. - Lunjin Lu (PPDP, 2000)

Parameterizing a Groundness Analysis of Logic Programs. - Lunjin Lu (SAS, 2001)

On Dart-Zobel Algorithm for Testing Regular Type Inclusion. - Lunjin Lu (ACM SIGPLAN Notices, 2001)

Backward Type Inference Generalises Type Checking. - Lunjin Lu; Andy King (SAS, 2002)

A Backward Analysis for Constraint Logic Programs. - Andy King; Lunjin Lu (Theory Pract. Log. Program., 2002)

Forward versus Backward Verification of Logic Programs. - Andy King; Lunjin Lu (ICLP, 2003)

Path Dependent Analysis of Logic Programs. - Lunjin Lu (High. Order Symb. Comput., 2003)

Backward Pair Sharing Analysis. - Lunjin Lu; Andy King (FLOPS, 2004)

Analysing Logic Programs by Reasoning Backwards. - Jacob M. Howe; Andy King; Lunjin Lu (Program Development in Computational Logic, 2004)

Determinacy Inference for Logic Programs. - Lunjin Lu; Andy King (ESOP, 2005)

Inverting abstract unification for set-sharing. - Xuan Li; Lunjin Lu (PPDP, 2005)

Use of correctness assertions in declarative diagnosis. - Lunjin Lu (SAC, 2005)

Lazy Set-Sharing Analysis. - Xuan Li; Andy King; Lunjin Lu (FLOPS, 2006)

Inference of Design Pattern Instances in UML models via Logic Programming. - Dae-Kyoo Kim; Lunjin Lu (ICECCS, 2006)

Detecting Determinacy in Prolog Programs. - Andy King; Lunjin Lu; Samir Genaim (ICLP, 2006)

Collapsing Closures. - Xuan Li; Andy King; Lunjin Lu (ICLP, 2006)

Implementing type-based constructive negation. - Lunjin Lu (SAC, 2007)

A Tactic-Based Approach to Embodying Non-functional Requirements into Software Architectures. - Suntae Kim; Dae-Kyoo Kim; Lunjin Lu; Sooyong Park (EDOC, 2008)

Pattern-Based Transformation Rules for Developing Interaction Models of Access Control Systems. - Dae-Kyoo Kim; Lunjin Lu (ICSR, 2008)

Inferring precise polymorphic type dependencies in logic programs. - Lunjin Lu (PPDP, 2008)

Checking Emptiness of Non-Deterministic Regular Types with Set Operators. - Lunjin Lu (FICS, 2008)

Improving precision of type analysis using non-discriminative union. - Lunjin Lu (Theory Pract. Log. Program., 2008)

Using CLP Simplifications to Improve Java Bytecode Termination Analysis. - Fausto Spoto; Lunjin Lu; Fred Mesnard (BYTECODE@ETAPS, 2009)

Quality-driven architecture development using architectural tactics. - Suntae Kim; Dae-Kyoo Kim; Lunjin Lu; Sooyong Park (J. Syst. Softw., 2009)

A Verifiable Modeling Approach to Configurable Role-Based Access Control. - Dae-Kyoo Kim; Lunjin Lu; Sangsig Kim (FASE, 2010)

Semantics-based Refinement of Mandatory Behavior of Sequence Diagrams - Lunjin Lu; Dae-Kyoo Kim (CoRR, 2010)

Parametrizing Program Analysis by Lifting to Cardinal Power Domains - Lunjin Lu (CoRR, 2010)

Simplifying Negative Goals Using Typed Existence Properties - Lunjin Lu; John G. Cleary (CoRR, 2010)

Incremental Computation of Success Patterns of Logic Programs. - Lunjin Lu (J. Softw. Eng. Appl., 2010)

Verification of Structural Pattern Conformance Using Logic Programming. - Lunjin Lu; Dae-Kyoo Kim; Yuanlin Zhu; Sangsig Kim (J. Univers. Comput. Sci., 2010)

Required Behavior of Sequence Diagrams: Semantics and Refinement. - Lunjin Lu; Dae-Kyoo Kim (ICECCS, 2011)

A Feature-Based Modeling Approach to Configuring Privacy and Temporality in RBAC. - Sangsig Kim; Yen-Ting Lee; Yuanlin Zhu; Dae-Kyoo Kim; Lunjin Lu; Vijayan Sugumaran (SEKE, 2011)

A Feature-Based Modeling Approach for Building Hybrid Access Control Systems. - Sangsig Kim; Dae-Kyoo Kim; Lunjin Lu; Sooyong Park; Suntae Kim (SSIRI, 2011)

A feature-based approach for modeling role-based access control systems. - Sangsig Kim; Dae-Kyoo Kim; Lunjin Lu; Suntae Kim; Sooyong Park (J. Syst. Softw., 2011)

A Polymorphic Type Dependency Analysis for Logic Programs. - Lunjin Lu (New Gener. Comput., 2011)

Refinement Inference for Sequence Diagrams. - Lunjin Lu; Dae-Kyoo Kim (SOFSEM, 2013)

Towards Parametrizing Logic Program Analysis: Two Examples. - Lunjin Lu (Theory Pract. Log. Program., 2013)

Parametrizing Program Analysis. - Lunjin Lu (TASE, 2014)

Building hybrid access control by configuring RBAC and MAC features. - Sangsig Kim; Dae-Kyoo Kim; Lunjin Lu; Eunjee Song (Inf. Softw. Technol., 2014)

Required behavior of sequence diagrams: Semantics and conformance. - Lunjin Lu; Dae-Kyoo Kim (ACM Trans. Softw. Eng. Methodol., 2014)

Improving Precision of Java Script Program Analysis with an Extended Domain of Intervals. - Astrid Younang; Lunjin Lu (COMPSAC Workshops, 2015)

Opinions on computing education in Korean K-12 system: higher education perspective. - Dae-Kyoo Kim; Dongwon Jeong; Lunjin Lu; Debatosh Debnath; Ming Hua 003 (Comput. Sci. Educ., 2015)

B-kNN to Improve the Efficiency of kNN. - Dhrgam Al Kafaf; Dae-Kyoo Kim; Lunjin Lu (DATA, 2017)

Conventionality analysis of array objects in JavaScript. - Astrid Younang; Lunjin Lu (SANER, 2017)

Toward Interoperability of Smart Grids. - Dae-Kyoo Kim; Alaa S. Alaerjan; Lunjin Lu; Hyo-Sik Yang; Hyuksoo Jang (IEEE Commun. Mag., 2017)

Design pattern-based model transformation supported by QVT. - Dae-Kyoo Kim; Lunjin Lu; Byunghun Lee (J. Syst. Softw., 2017)

A three-phase decision making approach for self-adaptive systems using web services. - Dhrgam Al Kafaf; Dae-Kyoo Kim; Lunjin Lu (Complex Adapt. Syst. Model., 2018)

Analyzing JavaScript Programs Using Octagon Domain. - Nabil Almashfi; Lunjin Lu (CATA, 2019)

Memory Bandwidth Prediction for HPC Applications in NUMA Architecture. - Solmaz Salehian; Lunjin Lu (HPCC/SmartCity/DSS, 2019)

Precise String Analysis for JavaScript Programs Using Automata. - Nabil Almashfi; Lunjin Lu; Koby Picker; Christian Maldonado (ICSCA, 2019)

Code Smell Detection Tool for Java Script Programs. - Nabil Almashfi; Lunjin Lu (ICCCS, 2020)

Precise String Domain for Analyzing JavaScript Arrays and Objects. - Nabil Almashfi; Lunjin Lu (ICICT, 2020)

Reflection on Building Hybrid Access Control by Configuring RBAC and MAC Features. - Dae-Kyoo Kim; Ming Hua 003; Lunjin Lu (SANER, 2020)

Precise Command Injection Analysis in Android Applications. - Assad Maalouf; Lunjin Lu (ICMSS, 2021)

Taint analysis of arrays in Android applications. - Assad Maalouf; Lunjin Lu (SAC, 2021)

Measuring Impact of Dependency Injection on Software Maintainability. - Peter Sun; Dae-Kyoo Kim; Ming Hua 003; Lunjin Lu (Comput., 2022)