Lunjin Lu

Publication Activity (10 Years)

Years Active: 1992-2022
Publications (10 Years): 14

Top Topics

Sequence Diagrams

Top Venues

Comput. Sci. Educ.

COMPSAC Workshops

ACM Trans. Softw. Eng. Methodol.

Publications

Peter Sun, Dae-Kyoo Kim, Ming Hua, Lunjin Lu
Measuring Impact of Dependency Injection on Software Maintainability. Comput. 11 (9) (2022)
Assad Maalouf, Lunjin Lu
Precise Command Injection Analysis in Android Applications. ICMSS (2021)
Assad Maalouf, Lunjin Lu
Taint analysis of arrays in Android applications. SAC (2021)
Nabil Almashfi, Lunjin Lu
Code Smell Detection Tool for Java Script Programs. ICCCS (2020)
Nabil Almashfi, Lunjin Lu
Precise String Domain for Analyzing JavaScript Arrays and Objects. ICICT (2020)
Dae-Kyoo Kim, Hua Ming, Lunjin Lu
Reflection on Building Hybrid Access Control by Configuring RBAC and MAC Features. SANER (2020)
Solmaz Salehian, Lunjin Lu
Memory Bandwidth Prediction for HPC Applications in NUMA Architecture. HPCC/SmartCity/DSS (2019)
Nabil Almashfi, Lunjin Lu, Koby Picker, Christian Maldonado
Precise String Analysis for JavaScript Programs Using Automata. ICSCA (2019)
Nabil Almashfi, Lunjin Lu
Analyzing JavaScript Programs Using Octagon Domain. CATA (2019)
Dhrgam Al Kafaf, Dae-Kyoo Kim, Lunjin Lu
A three-phase decision making approach for self-adaptive systems using web services. Complex Adapt. Syst. Model. 6 (2018)
Dae-Kyoo Kim, Alaa S. Alaerjan, Lunjin Lu, Hyo-Sik Yang, Hyuksoo Jang
Toward Interoperability of Smart Grids. IEEE Commun. Mag. 55 (8) (2017)
Dae-Kyoo Kim, Lunjin Lu, Byunghun Lee
Design pattern-based model transformation supported by QVT. J. Syst. Softw. 125 (2017)
Dhrgam Al Kafaf, Dae-Kyoo Kim, Lunjin Lu
B-kNN to Improve the Efficiency of kNN. DATA (2017)
Astrid Younang, Lunjin Lu
Conventionality analysis of array objects in JavaScript. SANER (2017)
Dae-Kyoo Kim, Dongwon Jeong, Lunjin Lu, Debatosh Debnath, Hua Ming
Opinions on computing education in Korean K-12 system: higher education perspective. Comput. Sci. Educ. 25 (4) (2015)
Astrid Younang, Lunjin Lu
Improving Precision of Java Script Program Analysis with an Extended Domain of Intervals. COMPSAC Workshops (2015)
Sangsig Kim, Dae-Kyoo Kim, Lunjin Lu, Eunjee Song
Building hybrid access control by configuring RBAC and MAC features. Inf. Softw. Technol. 56 (7) (2014)
Lunjin Lu, Dae-Kyoo Kim
Required behavior of sequence diagrams: Semantics and conformance. ACM Trans. Softw. Eng. Methodol. 23 (2) (2014)
Lunjin Lu
Parametrizing Program Analysis. TASE (2014)
Lunjin Lu, Dae-Kyoo Kim
Refinement Inference for Sequence Diagrams. SOFSEM (2013)
Lunjin Lu
Towards Parametrizing Logic Program Analysis: Two Examples. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)
Lunjin Lu, Dae-Kyoo Kim
Required Behavior of Sequence Diagrams: Semantics and Refinement. ICECCS (2011)
Sangsig Kim, Yen-Ting Lee, Yuanlin Zhu, Dae-Kyoo Kim, Lunjin Lu, Vijayan Sugumaran
A Feature-Based Modeling Approach to Configuring Privacy and Temporality in RBAC. SEKE (2011)
Lunjin Lu
A Polymorphic Type Dependency Analysis for Logic Programs. New Gener. Comput. 29 (4) (2011)
Sangsig Kim, Dae-Kyoo Kim, Lunjin Lu, Suntae Kim, Sooyong Park
A feature-based approach for modeling role-based access control systems. J. Syst. Softw. 84 (12) (2011)
Sangsig Kim, Dae-Kyoo Kim, Lunjin Lu, Sooyong Park, Suntae Kim
A Feature-Based Modeling Approach for Building Hybrid Access Control Systems. SSIRI (2011)
Lunjin Lu, Dae-Kyoo Kim, Yuanlin Zhu, Sangsig Kim
Verification of Structural Pattern Conformance Using Logic Programming. J. Univers. Comput. Sci. 16 (17) (2010)
Dae-Kyoo Kim, Lunjin Lu, Sangsig Kim
A Verifiable Modeling Approach to Configurable Role-Based Access Control. FASE (2010)
Lunjin Lu
Incremental Computation of Success Patterns of Logic Programs. J. Softw. Eng. Appl. 3 (3) (2010)
Lunjin Lu, Dae-Kyoo Kim
Semantics-based Refinement of Mandatory Behavior of Sequence Diagrams CoRR (2010)
Lunjin Lu
Parametrizing Program Analysis by Lifting to Cardinal Power Domains CoRR (2010)
Lunjin Lu, John G. Cleary
Simplifying Negative Goals Using Typed Existence Properties CoRR (2010)
Suntae Kim, Dae-Kyoo Kim, Lunjin Lu, Sooyong Park
Quality-driven architecture development using architectural tactics. J. Syst. Softw. 82 (8) (2009)
Fausto Spoto, Lunjin Lu, Fred Mesnard
Using CLP Simplifications to Improve Java Bytecode Termination Analysis. Electron. Notes Theor. Comput. Sci. 253 (5) (2009)
Lunjin Lu
Checking Emptiness of Non-Deterministic Regular Types with Set Operators. Electron. Notes Theor. Comput. Sci. 212 (2008)
Suntae Kim, Dae-Kyoo Kim, Lunjin Lu, Sooyong Park
A Tactic-Based Approach to Embodying Non-functional Requirements into Software Architectures. EDOC (2008)
Dae-Kyoo Kim, Lunjin Lu
Pattern-Based Transformation Rules for Developing Interaction Models of Access Control Systems. ICSR (2008)
Lunjin Lu
Inferring precise polymorphic type dependencies in logic programs. PPDP (2008)
Lunjin Lu
Improving precision of type analysis using non-discriminative union. Theory Pract. Log. Program. 8 (1) (2008)
Lunjin Lu
Implementing type-based constructive negation. SAC (2007)
Xuan Li, Andy King, Lunjin Lu
Collapsing Closures. ICLP (2006)
Andy King, Lunjin Lu, Samir Genaim
Detecting Determinacy in Prolog Programs. ICLP (2006)
Lunjin Lu
Improving Precision of Type Analysis Using Non-Discriminative Union CoRR (2006)
Dae-Kyoo Kim, Lunjin Lu
Inference of Design Pattern Instances in UML models via Logic Programming. ICECCS (2006)
Xuan Li, Andy King, Lunjin Lu
Lazy Set-Sharing Analysis. FLOPS (2006)
Lunjin Lu, Andy King
Determinacy Inference for Logic Programs. ESOP (2005)
Lunjin Lu
Use of correctness assertions in declarative diagnosis. SAC (2005)
Xuan Li, Lunjin Lu
Inverting abstract unification for set-sharing. PPDP (2005)
Lunjin Lu, Andy King
Backward Pair Sharing Analysis. FLOPS (2004)
Lunjin Lu
Path Dependent Analysis of Logic Programs. High. Order Symb. Comput. 16 (4) (2003)
Andy King, Lunjin Lu
Forward versus Backward Verification of Logic Programs. ICLP (2003)
Andy King, Lunjin Lu
A Backward Analysis for Constraint Logic Programs. Theory Pract. Log. Program. 2 (4-5) (2002)
Andy King, Lunjin Lu
A Backward Analysis for Constraint Logic Programs CoRR (2002)
Lunjin Lu, Andy King
Backward Type Inference Generalises Type Checking. SAS (2002)
Lunjin Lu
Path dependent analysis of logic programs. PEPM (2002)
Lunjin Lu
On Dart-Zobel Algorithm for Testing Regular Type Inclusion. ACM SIGPLAN Notices 36 (9) (2001)
Lunjin Lu
Parameterizing a Groundness Analysis of Logic Programs. SAS (2001)
Lunjin Lu
A precise type analysis of logic programs. PPDP (2000)
Lunjin Lu, John G. Cleary
An Operational Semantics of Starlog. PPDP (1999)
Lunjin Lu, John G. Cleary
A Regular Type Analysis of Logic Programs. ICLP (1999)
Lunjin Lu
Deriving Abstract Semantics for Forward Analysis of Normal Logic Programs CoRR (1998)
John G. Cleary, Lunjin Lu
Constructive Negation Using Typed Existence Properties. PLILP/ALP (1998)
Lunjin Lu
A Polymorphic Groundness Analysis of Logic Programs CoRR (1998)
Lunjin Lu
Polymorphic Type Analysis in Logic Programs by Abstract Intepretation. J. Log. Program. 36 (1) (1998)
Lunjin Lu, John G. Cleary
On Dart-Zobel Algorithm for Testing Regular Type Inclusion CoRR (1998)
Lunjin Lu, John G. Cleary
An Emptiness Algorithm for Regular Types with Set Operators CoRR (1998)
Lunjin Lu
A Mode Analysis of Logic Programs by Abstract Interpretation. Ershov Memorial Conference (1996)
Lunjin Lu
Type Analysis of Logic Programs in the Presence of Type Definitions. PEPM (1995)
Lunjin Lu
A Generic Declarative Diagnoser for Normal Logic Programs. LPAR (1994)
Lunjin Lu, Peter Greenfield
Logic Program Testing Based on Abstract Interpretation. Formal Methods in Programming and Their Applications (1993)
Lunjin Lu, Peter Greenfield
An Algorithm for Finite Approximations of Definite Programs and its Implementation in Prolog. ALPUK (1992)
Lunjin Lu, Peter Greenfield
Abstract fixpoint semantics and abstract procedural semantics of definite logic programs. ICCL (1992)