default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLunjin Lu
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
[j18]Peter Sun, Dae-Kyoo Kim
, Ming Hua, Lunjin Lu:
Measuring Impact of Dependency Injection on Software Maintainability. Comput. 11(9): 141 (2022)- 2021
- [c45]Assad Maalouf, Lunjin Lu:
Precise Command Injection Analysis in Android Applications. ICMSS 2021: 1-7 - [c44]Assad Maalouf, Lunjin Lu:
Taint analysis of arrays in Android applications. SAC 2021: 893-899 - 2020
- [c43]Nabil Almashfi, Lunjin Lu:
Code Smell Detection Tool for Java Script Programs. ICCCS 2020: 172-176 - [c42]Nabil Almashfi, Lunjin Lu:
Precise String Domain for Analyzing JavaScript Arrays and Objects. ICICT 2020: 17-23 - [c41]Dae-Kyoo Kim, Ming Hua, Lunjin Lu:
Reflection on Building Hybrid Access Control by Configuring RBAC and MAC Features. SANER 2020: 522-526
2010 – 2019
- 2019
- [c40]Nabil Almashfi, Lunjin Lu:
Analyzing JavaScript Programs Using Octagon Domain. CATA 2019: 155-167 - [c39]Solmaz Salehian, Lunjin Lu:
Memory Bandwidth Prediction for HPC Applications in NUMA Architecture. HPCC/SmartCity/DSS 2019: 1115-1122 - [c38]Nabil Almashfi, Lunjin Lu, Koby Picker, Christian Maldonado:
Precise String Analysis for JavaScript Programs Using Automata. ICSCA 2019: 159-166 - 2018
- [j17]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: 8 (2018) - 2017
- [j16]Dae-Kyoo Kim, Alaa S. Alaerjan, Lunjin Lu, Hyo-Sik Yang, Hyuksoo Jang:
Toward Interoperability of Smart Grids. IEEE Commun. Mag. 55(8): 204-210 (2017) - [j15]Dae-Kyoo Kim, Lunjin Lu, Byunghun Lee:
Design pattern-based model transformation supported by QVT. J. Syst. Softw. 125: 289-308 (2017) - [c37]Dhrgam Al Kafaf, Dae-Kyoo Kim, Lunjin Lu:
B-kNN to Improve the Efficiency of kNN. DATA 2017: 126-132 - [c36]Astrid Younang, Lunjin Lu:
Conventionality analysis of array objects in JavaScript. SANER 2017: 561-562 - 2015
- [j14]Dae-Kyoo Kim, Dongwon Jeong, Lunjin Lu, Debatosh Debnath, Ming Hua:
Opinions on computing education in Korean K-12 system: higher education perspective. Comput. Sci. Educ. 25(4): 371-389 (2015) - [c35]Astrid Younang, Lunjin Lu:
Improving Precision of Java Script Program Analysis with an Extended Domain of Intervals. COMPSAC Workshops 2015: 441-446 - 2014
- [j13]Sangsig Kim, Dae-Kyoo Kim, Lunjin Lu, Eunjee Song:
Building hybrid access control by configuring RBAC and MAC features. Inf. Softw. Technol. 56(7): 763-792 (2014) - [j12]Lunjin Lu, Dae-Kyoo Kim:
Required behavior of sequence diagrams: Semantics and conformance. ACM Trans. Softw. Eng. Methodol. 23(2): 15:1-15:28 (2014) - [c34]Lunjin Lu:
Parametrizing Program Analysis. TASE 2014: 98-105 - 2013
- [j11]Lunjin Lu:
Towards Parametrizing Logic Program Analysis: Two Examples. Theory Pract. Log. Program. 13(4-5-Online-Supplement) (2013) - [c33]Lunjin Lu, Dae-Kyoo Kim:
Refinement Inference for Sequence Diagrams. SOFSEM 2013: 432-444 - 2011
- [j10]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): 2035-2052 (2011) - [j9]Lunjin Lu:
A Polymorphic Type Dependency Analysis for Logic Programs. New Gener. Comput. 29(4): 409-444 (2011) - [c32]Lunjin Lu, Dae-Kyoo Kim:
Required Behavior of Sequence Diagrams: Semantics and Refinement. ICECCS 2011: 127-136 - [c31]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: 666-671 - [c30]Sangsig Kim, Dae-Kyoo Kim, Lunjin Lu, Sooyong Park, Suntae Kim:
A Feature-Based Modeling Approach for Building Hybrid Access Control Systems. SSIRI 2011: 88-97 - 2010
- [j8]Lunjin Lu:
Incremental Computation of Success Patterns of Logic Programs. J. Softw. Eng. Appl. 3(3): 198-207 (2010) - [j7]Lunjin Lu, Dae-Kyoo Kim, Yuanlin Zhu, Sangsig Kim:
Verification of Structural Pattern Conformance Using Logic Programming. J. Univers. Comput. Sci. 16(17): 2455-2474 (2010) - [c29]Dae-Kyoo Kim, Lunjin Lu, Sangsig Kim:
A Verifiable Modeling Approach to Configurable Role-Based Access Control. FASE 2010: 188-202 - [i9]Lunjin Lu, Dae-Kyoo Kim:
Semantics-based Refinement of Mandatory Behavior of Sequence Diagrams. CoRR abs/1003.1160 (2010) - [i8]Lunjin Lu:
Parametrizing Program Analysis by Lifting to Cardinal Power Domains. CoRR abs/1005.4616 (2010) - [i7]Lunjin Lu, John G. Cleary:
Simplifying Negative Goals Using Typed Existence Properties. CoRR abs/1009.2178 (2010)
2000 – 2009
- 2009
- [j6]Suntae Kim, Dae-Kyoo Kim, Lunjin Lu, Sooyong Park:
Quality-driven architecture development using architectural tactics. J. Syst. Softw. 82(8): 1211-1231 (2009) - [c28]Fausto Spoto, Lunjin Lu, Fred Mesnard:
Using CLP Simplifications to Improve Java Bytecode Termination Analysis. BYTECODE@ETAPS 2009: 129-144 - 2008
- [j5]Lunjin Lu:
Improving precision of type analysis using non-discriminative union. Theory Pract. Log. Program. 8(1): 33-79 (2008) - [c27]Suntae Kim, Dae-Kyoo Kim, Lunjin Lu, Sooyong Park:
A Tactic-Based Approach to Embodying Non-functional Requirements into Software Architectures. EDOC 2008: 139-148 - [c26]Dae-Kyoo Kim, Lunjin Lu:
Pattern-Based Transformation Rules for Developing Interaction Models of Access Control Systems. ICSR 2008: 306-317 - [c25]Lunjin Lu:
Inferring precise polymorphic type dependencies in logic programs. PPDP 2008: 143-151 - [c24]Lunjin Lu:
Checking Emptiness of Non-Deterministic Regular Types with Set Operators. FICS 2008: 191-206 - 2007
- [c23]Lunjin Lu:
Implementing type-based constructive negation. SAC 2007: 1299-1306 - 2006
- [c22]Xuan Li, Andy King, Lunjin Lu:
Lazy Set-Sharing Analysis. FLOPS 2006: 177-191 - [c21]Dae-Kyoo Kim, Lunjin Lu:
Inference of Design Pattern Instances in UML models via Logic Programming. ICECCS 2006: 47-56 - [c20]Andy King, Lunjin Lu, Samir Genaim:
Detecting Determinacy in Prolog Programs. ICLP 2006: 132-147 - [c19]Xuan Li, Andy King, Lunjin Lu:
Collapsing Closures. ICLP 2006: 148-162 - [i6]Lunjin Lu:
Improving Precision of Type Analysis Using Non-Discriminative Union. CoRR abs/cs/0612063 (2006) - 2005
- [c18]Lunjin Lu, Andy King:
Determinacy Inference for Logic Programs. ESOP 2005: 108-123 - [c17]Xuan Li, Lunjin Lu:
Inverting abstract unification for set-sharing. PPDP 2005: 129-138 - [c16]Lunjin Lu:
Use of correctness assertions in declarative diagnosis. SAC 2005: 1404-1408 - 2004
- [c15]Lunjin Lu, Andy King:
Backward Pair Sharing Analysis. FLOPS 2004: 132-146 - [p1]Jacob M. Howe, Andy King, Lunjin Lu:
Analysing Logic Programs by Reasoning Backwards. Program Development in Computational Logic 2004: 152-188 - 2003
- [j4]Lunjin Lu:
Path Dependent Analysis of Logic Programs. High. Order Symb. Comput. 16(4): 341-377 (2003) - [c14]Andy King, Lunjin Lu:
Forward versus Backward Verification of Logic Programs. ICLP 2003: 315-330 - 2002
- [j3]Andy King, Lunjin Lu:
A Backward Analysis for Constraint Logic Programs. Theory Pract. Log. Program. 2(4-5): 517-547 (2002) - [c13]Lunjin Lu:
Path dependent analysis of logic programs. PEPM 2002: 63-74 - [c12]Lunjin Lu, Andy King:
Backward Type Inference Generalises Type Checking. SAS 2002: 85-101 - [i5]Andy King, Lunjin Lu:
A Backward Analysis for Constraint Logic Programs. CoRR cs.PL/0201011 (2002) - 2001
- [j2]Lunjin Lu:
On Dart-Zobel Algorithm for Testing Regular Type Inclusion. ACM SIGPLAN Notices 36(9): 81-85 (2001) - [c11]Lunjin Lu:
Parameterizing a Groundness Analysis of Logic Programs. SAS 2001: 146-164 - 2000
- [c10]Lunjin Lu:
A precise type analysis of logic programs. PPDP 2000: 214-225
1990 – 1999
- 1999
- [c9]Lunjin Lu, John G. Cleary:
A Regular Type Analysis of Logic Programs. ICLP 1999: 613 - [c8]Lunjin Lu, John G. Cleary:
An Operational Semantics of Starlog. PPDP 1999: 294-310 - 1998
- [j1]Lunjin Lu:
Polymorphic Type Analysis in Logic Programs by Abstract Intepretation. J. Log. Program. 36(1): 1-54 (1998) - [c7]John G. Cleary, Lunjin Lu:
Constructive Negation Using Typed Existence Properties. PLILP/ALP 1998: 411-426 - [i4]Lunjin Lu, John G. Cleary:
On Dart-Zobel Algorithm for Testing Regular Type Inclusion. CoRR cs.LO/9810001 (1998) - [i3]Lunjin Lu, John G. Cleary:
An Emptiness Algorithm for Regular Types with Set Operators. CoRR cs.LO/9811015 (1998) - [i2]Lunjin Lu:
A Polymorphic Groundness Analysis of Logic Programs. CoRR cs.PL/9811001 (1998) - [i1]Lunjin Lu:
Deriving Abstract Semantics for Forward Analysis of Normal Logic Programs. CoRR cs.PL/9811012 (1998) - 1996
- [c6]Lunjin Lu:
A Mode Analysis of Logic Programs by Abstract Interpretation. Ershov Memorial Conference 1996: 362-373 - 1995
- [c5]Lunjin Lu:
Type Analysis of Logic Programs in the Presence of Type Definitions. PEPM 1995: 241-252 - 1994
- [c4]Lunjin Lu:
A Generic Declarative Diagnoser for Normal Logic Programs. LPAR 1994: 290-304 - 1993
- [c3]Lunjin Lu, Peter Greenfield:
Logic Program Testing Based on Abstract Interpretation. Formal Methods in Programming and Their Applications 1993: 170-180 - 1992
- [c2]Lunjin Lu, Peter Greenfield:
An Algorithm for Finite Approximations of Definite Programs and its Implementation in Prolog. ALPUK 1992: 62-76 - [c1]Lunjin Lu, Peter Greenfield:
Abstract fixpoint semantics and abstract procedural semantics of definite logic programs. ICCL 1992: 147-154
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:46 CEST 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:
