Home

Projects

Misc

Software

Online Publications

Oneline Publications: DBLP

  1. Lunjin Lu: Required Behavior of Sequence Diagrams: Semantics and Conformance, ACM TOSEM, 23 (2), Article 15, 2014. DOI: 10.1145/2523108.
  2. Lunjin Lu: Towards Parametrizing Logic Program Analysis: Two Examples. TPLP 13(4-5-Online-Supplement) (2013)
  3. Lunjin Lu and Dae-Kyoo Kim, Refinement Inference for Sequence Diagrams, 39th SOFSEM - the International Conference on Current Trends in Theory and Practice of Computer Science. Lecture Notes in Computer Science, 7741: 432--444, Springer 2013. For a copy, e-mail the authors.
  4. Lunjin Lu and Dae-Kyoo Kim, Required Behavior of UML Sequence Diagrams: Semantics and Refinement, Proceedings of 16th IEEE ICECCS, 2011, pages 127--136. For a copy, e-mail the authors.
  5. Lunjin Lu, A Polymorphic Type Dependency Analysis for Logic Programs, Journal of New Generation Computing, 29 (4) 409--444. For a copy, e-mail the authors.
  6. Lunjin Lu and John G. Cleary, Simplying Negative Goals Using Typed Existence Properties, To appear in International Journal of Computers and Applications, Acta Press. For a copy, e-mail the authors.
  7. Dae-Kyoo Kim, Sangsig Kim, Lunjin Lu, Suntae Kim, and Sooyong Park, A Feature-Based Approach for Modeling Role-Based Access Control Systems, Journal of Systems and Software 84(12): 2035-2052. For a copy, e-mail the authors.
  8. 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, The 23rd International Conference on Software Engineering and Knowledge Engineering, Miami Beach, USA, July 7-9, 2011. Pages 666-671. For a copy, e-mail the authors.
  9. Suntae Kim, Dae-Kyoo Kim, Lunjin Lu, Sooyong Park: Quality-driven architecture development using architectural tactics. Journal of Systems and Software 82(8): 1211-1231. For a copy, e-mail the authors.
  10. Suntae Kim, Dae-Kyoo Kim, Lunjin Lu, Sooyong Park: A Tactic-Based Approach to Embodying Non-functional Requirements into Software Architectures. EDOC 2008.
  11. Fausto Spoto, Lunjin Lu and Fred Mesnard; Using CLP Simplifications to Improve Java Bytecode Termination Analysis, Bytecode 2009.
  12. Lunjin Lu, Inferring Precise Polymorphic Type Dependencies in Logic Programs, ACM SIGPLAN PPDP 2008.
  13. Lunjin Lu, Checking Emptiness of Non-Deterministic Regular Types with Set Operators, FICS 2008.
  14. Dae-Kyoo Kim and Lunjin Lu, Pattern-Based Transformation Rules for Developing Interaction Models of Access Control Systems, ICSR 2008.
  15. Lunjin Lu, Improving Precision of Type Analysis Using Non-Discriminative Union, TPLP 8(1): 33--79. 2008.
  16. Lunjin Lu, Implementing Type Based Constructive Negation, ACM SAC 2007.
  17. Xuan Li, Andy King and Lunjin Lu, Collapsing Closures, ICLP 2006. Lecture Notes in Computer Science, 4079:148--162.
  18. Andy King, Lunjin Lu and Samir Genaim, Detecting Determinacy in Logic Programs, ICLP 2006. Lecture Notes in Computer Science, 4079:132--147.
  19. Xuan Li, Andy King and Lunjin Lu, Lazy Sharing Analysis, FLOP 2006. Lecture Notes in Computer Science, 3945: 177-191, 2006.
  20. Dae-Kyoo Kim and Lunjin Lu, Inference of Design Pattern Instances in UML models via Logic Programming, IEEE ICECCS 2006.
  21. Lunjin Lu, Incremental Refinement of Success Patterns of Logic Programs, CSI'05.
  22. Lunjin Lu and Andy King, Determinacy Inference for Logic Programs, ESOP'05.
  23. Xuan Li and Lunjin Lu, Inverting Abstract Unification for SetSharing, PPDP'05.
  24. Lunjin Lu, Use of Correctness Assertions in Declarative Diagnosis, ACM SAC'05.
  25. Lunjin Lu and Andy King, Backward Pair Sharing Analysis, FLOPS'04.
  26. Jacob M.Howe1,Andy King and Lunjin Lu, Analysing Logic Programs by Reasoning Backwards, In K-K Lau and M. Bruynooghe editors, Program Development in Logic. Springer, 2004.
  27. Lunjin Lu and Xuan Li,Boolean Functions for Pair Sharing Analysis, WLP'04.
  28. Lunjin Lu, Path Dependent Analysis of Logic Programs, HOSC'03.
  29. Andy King and Lunjin Lu, Forward versus Backward Verification of Logic Programs, ICLP'03
  30. Lunjin Lu and Andy King Backward Type Inference Generalises Type Checking, SAS’02
  31. Andy King and Lunjin Lu A Backward Analysis for Constraint Logic Programs TPLP 2(4&5): 517-547, 2002.
  32. Lunjin Lu Path Dependent Analysis of Logic Programs. PEPM'02.
  33. Lunjin Lu, Efficient Computation of the Reduced Product of Groundness and Sharing Analyses PDPTA’91
  34. Lunjin Lu, On Dart-Zobel Algorithm for Testing Regular Type Inclusion SIGPLAN NOTICES 36(9):81-85
  35. Lunjin Lu, Parameterizing a Groundness Analysis of Logic Programs, SAS’01, LNCS 2126
  36. Lunjin Lu, A Precise Type Analysis of Logic Programs. PPDP’00
  37. Lunjin Lu and John G. Cleary, A Regular Type Analysis of Logic Programs. ICLP’99
  38. Lunjin Lu and John G. Cleary, An Operational Semantics of Starlog. PPDP'99
  39. John Cleary and Lunjin Lu, Constructive Negation Using Typed Existence Properties, PLILP’98
  40. Lunjin Lu, Polymorphic Type Analysis in Logic Programs by Abstract Interpretation, JLP 36(1):1-54, 1998
  41. Lunjin Lu, A Mode Analysis of Logic Programs by Abstract Interpretation, Andrei Ershov Memorial Conference’96
  42. Lunjin Lu, Type Analysis of Logic Programs in the Presence of Type Definitions, PEPM’95
  43. Lunjin Lu, A Generic Declarative Diagnoser for Normal Logic Programs. LPAR’94
  44. Lunjin Lu and Peter Greenfield, Logic Program Testing Based on Abstract Interpretation. FMPA’93
  45. Lunjin Lu and Peter Greenfield, Abstract Fixpoint Semantics and Abstract Procedural Semantics of Definite Logic Programs. ICCL'92
  46. Lunjin Lu and Peter Greenfield. An Algorithm for Finite Approximations of Definite Programs and its Implementation in Prolog. ALPUK’92