| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sangsig Kim, Dae-Kyoo Kim, Lunjin Lu, Suntae Kim, Sooyong Park |
A feature-based approach for modeling role-based access control systems.  |
Journal of Systems and Software  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lunjin Lu |
A Polymorphic Type Dependency Analysis for Logic Programs. |
New Generation Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Lunjin Lu, Dae-Kyoo Kim |
Required Behavior of Sequence Diagrams: Semantics and Refinement. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lunjin Lu |
Incremental Computation of Success Patterns of Logic Programs. |
JSEA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lunjin Lu, Dae-Kyoo Kim, Yuanlin Zhu, Sangsig Kim |
Verification of Structural Pattern Conformance Using Logic Programming. |
J. UCS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Lunjin Lu, Dae-Kyoo Kim |
Semantics-based Refinement of Mandatory Behavior of Sequence Diagrams |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Lunjin Lu |
Parametrizing Program Analysis by Lifting to Cardinal Power Domains |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Lunjin Lu, John G. Cleary |
Simplifying Negative Goals Using Typed Existence Properties |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Dae-Kyoo Kim, Lunjin Lu, Sangsig Kim |
A Verifiable Modeling Approach to Configurable Role-Based Access Control. |
FASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fausto Spoto, Lunjin Lu, Fred Mesnard |
Using CLP Simplifications to Improve Java Bytecode Termination Analysis. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Suntae Kim, Dae-Kyoo Kim, Lunjin Lu, Sooyong Park |
Quality-driven architecture development using architectural tactics. |
Journal of Systems and Software |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lunjin Lu |
Checking Emptiness of Non-Deterministic Regular Types with Set Operators. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lunjin Lu |
Improving precision of type analysis using non-discriminative union. |
TPLP |
2008 |
DBLP BibTeX RDF |
|
| 1 | Suntae Kim, Dae-Kyoo Kim, Lunjin Lu, Sooyong Park |
A Tactic-Based Approach to Embodying Non-functional Requirements into Software Architectures. |
EDOC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lunjin Lu |
Inferring precise polymorphic type dependencies in logic programs. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
type dependency, logic programs, abstract interpretation, type inference |
| 1 | Dae-Kyoo Kim, Lunjin Lu |
Pattern-Based Transformation Rules for Developing Interaction Models of Access Control Systems. |
ICSR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lunjin Lu |
Implementing type-based constructive negation. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
logic programs, types, constructive negation |
| 1 | Lunjin Lu |
Improving Precision of Type Analysis Using Non-Discriminative Union |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Andy King, Lunjin Lu, Samir Genaim |
Detecting Determinacy in Prolog Programs. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuan Li, Andy King, Lunjin Lu |
Collapsing Closures. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuan Li, Andy King, Lunjin Lu |
Lazy Set-Sharing Analysis. |
FLOPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dae-Kyoo Kim, Lunjin Lu |
Inference of Design Pattern Instances in UML models via Logic Programming. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Lunjin Lu |
Use of correctness assertions in declarative diagnosis. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
correctness assertions, declarative diagnosis, logic programs |
| 1 | Xuan Li, Lunjin Lu |
Inverting abstract unification for set-sharing. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
maximal models and Boolean formulas, set-sharing, logic programs, backward analysis |
| 1 | Lunjin Lu, Andy King |
Determinacy Inference for Logic Programs. |
ESOP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lunjin Lu, Andy King |
Backward Pair Sharing Analysis. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
Pair-Sharing, Abstract interpretation, Backward analysis |
| 1 | Jacob M. Howe, Andy King, Lunjin Lu |
Analysing Logic Programs by Reasoning Backwards. |
Program Development in Computational Logic |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Lunjin Lu |
Path Dependent Analysis of Logic Programs. |
Higher-Order and Symbolic Computation |
2003 |
DBLP DOI BibTeX RDF |
call strings, abstract interpretation, context sensitive analysis |
| 1 | Andy King, Lunjin Lu |
Forward versus Backward Verification of Logic Programs. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy King, Lunjin Lu |
A Backward Analysis for Constraint Logic Programs |
CoRR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Andy King, Lunjin Lu |
A Backward Analysis for Constraint Logic Programs. |
TPLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Lunjin Lu |
Path dependent analysis of logic programs. |
PEPM |
2002 |
DBLP DOI BibTeX RDF |
Call strings, Abstract interpretation, Context sensitive analysis |
| 1 | Lunjin Lu, Andy King |
Backward Type Inference Generalises Type Checking. |
SAS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Lunjin Lu |
On Dart-Zobel Algorithm for Testing Regular Type Inclusion. |
SIGPLAN Notices |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Lunjin Lu |
Parameterizing a Groundness Analysis of Logic Programs. |
SAS |
2001 |
DBLP DOI BibTeX RDF |
Logic programs, Abstract Interpretation, Groundness Analysis |
| 1 | Lunjin Lu |
A precise type analysis of logic programs. |
PPDP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Lunjin Lu, John G. Cleary |
A Regular Type Analysis of Logic Programs. |
ICLP |
1999 |
DBLP BibTeX RDF |
|
| 1 | Lunjin Lu, John G. Cleary |
An Operational Semantics of Starlog. |
PPDP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Lunjin Lu |
Polymorphic Type Analysis in Logic Programs by Abstract Intepretation. |
J. Log. Program. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Lunjin Lu, John G. Cleary |
An Emptiness Algorithm for Regular Types with Set Operators |
CoRR |
1998 |
DBLP BibTeX RDF |
|
| 1 | Lunjin Lu |
Deriving Abstract Semantics for Forward Analysis of Normal Logic Programs |
CoRR |
1998 |
DBLP BibTeX RDF |
|
| 1 | Lunjin Lu, John G. Cleary |
On Dart-Zobel Algorithm for Testing Regular Type Inclusion |
CoRR |
1998 |
DBLP BibTeX RDF |
|
| 1 | Lunjin Lu |
A Polymorphic Groundness Analysis of Logic Programs |
CoRR |
1998 |
DBLP BibTeX RDF |
|
| 1 | John G. Cleary, Lunjin Lu |
Constructive Negation Using Typed Existence Properties. |
PLILP/ALP |
1998 |
DBLP DOI BibTeX RDF |
existence properties, type system, constructive negation |
| 1 | Lunjin Lu |
A Mode Analysis of Logic Programs by Abstract Interpretation. |
Ershov Memorial Conference |
1996 |
DBLP DOI BibTeX RDF |
Abstract Unification, Abstract Interpretation, Sharing, Aliasing, Mode |
| 1 | Lunjin Lu |
Type Analysis of Logic Programs in the Presence of Type Definitions. |
PEPM |
1995 |
DBLP DOI BibTeX RDF |
Prolog |
| 1 | Lunjin Lu |
A Generic Declarative Diagnoser for Normal Logic Programs. |
LPAR |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Lunjin Lu, Peter Greenfield |
Logic Program Testing Based on Abstract Interpretation. |
Formal Methods in Programming and Their Applications |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Lunjin Lu, Peter Greenfield |
An Algorithm for Finite Approximations of Definite Programs and its Implementation in Prolog. |
ALPUK |
1992 |
DBLP BibTeX RDF |
|
| 1 | Lunjin Lu, Peter Greenfield |
Abstract fixpoint semantics and abstract procedural semantics of definite logic programs. |
ICCL |
1992 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")