Lunjin Lu - RankMe

73 papers A 3B 13C 8Misc 7Journal 27Unranked 14

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