Travelled to:1 × Canada
1 × China
1 × Cyprus
1 × Czech Republic
1 × Denmark
1 × France
1 × Hungary
1 × India
1 × Israel
1 × Spain
1 × The Netherlands
2 × Belgium
2 × United Kingdom
3 × Sweden
5 × Italy
9 × USA
Collaborated with:M.Ornaghi ∅ F.M.Taweel C.M.Tran V.Ukis S.D.Prestwich Z.Wang P.Stepan P.V.Elizondo P.Flener T.Rana M.V.Bossche G.A.Wiggins S.D.Cola L.Ling A.Momigliano S.Tärnlund C.Qian K.Ng L.Safie I.Ntalamagkas J.K.Filipe H.Yatsu A.Pettorossi M.Proietti Chen Qian 0005 M.Schulze
Talks about:logic (21) compon (19) softwar (18) program (16) synthesi (10) base (8) correct (7) system (7) specif (7) deduct (6)
Person: Kung-Kiu Lau
DBLP: Lau:Kung=Kiu
Facilitated 15 volumes:
PrCoPrCoPrCoPrCoPrCoPrCoPrCoPrCoPrCo
Ed
EdEdEdEdEdContributed to:
2015201420122011201020092007
20072006
2006200520042004
2003200320022002200120012000199919991998
199719971996199519951994199419931993199119902016Wrote 43 papers:
- SPLC-2015-ColaLTQ #product line
- An MDE tool for defining software product families with explicit variation points (SDC, KKL, CMT, CQ), pp. 355–360.
- CBSE-2014-Lau #component #modelling #past present future
- Software component models: past, present and future (KKL), pp. 185–186.
- CBSE-2012-LauNRT #component #incremental
- Incremental construction of component-based systems (KKL, KYN, TR, CMT), pp. 41–50.
- CBSE-2012-StepanL #component
- Controller patterns for component-based reactive control software systems (PS, KKL), pp. 71–76.
- CBSE-2011-LauSST #component #data-driven
- A component model that is both control-driven and data-driven (KKL, LS, PS, CMT), pp. 41–50.
- CBSE-2010-LauNTR #behaviour #composition #design pattern
- (Behavioural) Design Patterns as Composition Operators (KKL, IN, CMT, TR), pp. 232–251.
- CBSE-2009-LauO #calculus #component #composition #encapsulation
- Control Encapsulation: A Calculus for Exogenous Composition of Software Components (KKL, MO), pp. 121–139.
- CBSE-2009-LauT #component #modelling
- Domain-Specific Software Component Models (KKL, FMT), pp. 19–35.
- CBSE-2007-LauLE #component #deployment #design #towards
- Towards Composing Software Components in Both Design and Deployment Phases (KKL, LL, PVE), pp. 274–282.
- CBSE-2007-LauT #component #encapsulation
- Data Encapsulation in Software Components (KKL, FMT), pp. 1–16.
- CBSE-2007-LauU #case study #component #execution
- A Study of Execution Environments for Software Components (KKL, VU), pp. 107–123.
- SIGAda-2007-Lau #imperative #reasoning #source code #using
- Using SPARK for a beginner’s course on reasoning about imperative programs (KKL), pp. 75–78.
- SIGAda-2007-LauW #component
- Verified component-based software in SPARK: experimental results for a missile guidance system (KKL, ZW), pp. 51–58.
- CBSE-2006-LauT #component #encapsulation #towards
- Towards Encapsulating Data in Component-Based Software Systems (KKL, FMT), pp. 376–384.
- CBSE-2006-LauU #component #contract #deployment
- Defining and Checking Deployment Contracts for Software Components (KKL, VU), pp. 1–16.
- ICSE-2006-Lau #component #modelling
- Software component models (KKL), pp. 1081–1082.
- CBSE-2005-LauEW #component
- Exogenous Connectors for Software Components (KKL, PVE, ZW), pp. 90–106.
- LOPSTR-2004-LauMO #composition #specification
- Constructive Specifications for Compositional Units (KKL, AM, MO), pp. 198–214.
- PDCL-2004-LauO #composition #development #logic #specification
- Specifying Compositional Units for Correct Program Development in Computational Logic (KKL, MO), pp. 1–29.
- ICLP-2003-Lau #component #development #logic programming
- Component-Based Software Development and Logic Programming (KKL), pp. 103–108.
- LOPSTR-2003-LauO #logic #object-oriented
- Correct OO Systems in Computational Logic (KKL, MO), pp. 34–53.
- ICLP-2002-LauB #logic programming #re-engineering
- Logic Programming for Software Engineering: A Second Chance (KKL, MVB), pp. 437–451.
- LOPSTR-2002-LauO #design #framework #logic #object-oriented #towards
- Towards Correct Object-Oriented Design Frameworks in Computational Logic (KKL, MO), pp. 260–261.
- CBSE-2001-Lau #certification #component #predict
- Component Certification and System Prediction: Is There a Role for Formality (KKL), p. 16.
- LOPSTR-2001-LauO #logic #object-oriented
- Correct Object-Oriented Systems in Computational Logic (KKL, MO), pp. 168–190.
- CL-2000-LauO #logic programming #semantics #source code
- Isoinitial Semantics for Logic Programs (KKL, MO), pp. 223–238.
- ICLP-1999-LauO #logic programming #modelling #source code
- Isoinitial Models for Logic Programs: Some Preliminary Results (KKL, MO), p. 611.
- LOPSTR-1999-FilipeLOY #aspect-oriented #component #development #framework #logic #object-oriented #on the
- On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic (JKF, KKL, MO, HY), pp. 42–61.
- LOPSTR-1998-LauO #component #development #framework #logic #object-oriented
- OOD Frameworks in Component-Based Software — Development in Computational Logic (KKL, MO), pp. 101–123.
- ASE-1997-FlenerLO #source code #synthesis
- Correct-Schema-Guided Synthesis of Steadfast Programs (PF, KKL, MO), p. 153–?.
- LOPSTR-1997-FlenerLO #on the
- On Correct Program Schemas (PF, KKL, MO), pp. 128–147.
- LOPSTR-1996-LauO #case study #logic #specification
- Forms of Logic Specifications: A Preliminary Study (KKL, MO), pp. 295–312.
- ILPS-1995-LauO #approach #constraints #deduction #formal method #logic programming #source code #synthesis
- A Formal Approach to Deductive Synthesis of Constraint Logic Programs (KKL, MO), pp. 543–557.
- ILPS-1995-LauOPP #correctness #logic programming #program transformation #termination
- Correctness of Logic Program Transformations Based on Existential Termination (KKL, MO, AP, MP), pp. 480–494.
- LOPSTR-1995-LauO #deduction #logic programming #object-oriented #source code #synthesis #towards
- Towards an Object-Oriented Methodology for Deductive Synthesis of Logic Programs (KKL, MO), pp. 152–169.
- ICLP-1994-LauOT #deduction #logic programming #problem #source code #synthesis
- The Halting Problem for Deductive Synthesis of Logic Programs (KKL, MO, SÅT), pp. 665–683.
- ICLP-1994-LauW #logic programming #source code #specification #synthesis #tutorial
- A Tutorial on Synthesis of Logic Programs from Specifications (KKL, GAW), pp. 11–14.
- LOPSTR-1994-LauO #deduction #framework #logic programming #on the #source code #specification #synthesis
- On Specification Frameworks and Deductive Synthesis of Logic Programs (KKL, MO), pp. 104–121.
- ICLP-1993-LauO #deduction #logic programming #source code #synthesis
- An Incompleteness Result for Deductive Synthesis of Logic Programs (KKL, MO), pp. 456–477.
- LOPSTR-1993-LauO #deduction #logic programming #source code #specification #synthesis
- A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs (KKL, MO), pp. 10–31.
- ISLP-1991-LauP #product line #recursion #sorting #synthesis
- Synthesis of a Family of Recursive Sorting Procedures (KKL, SDP), pp. 641–658.
- CLP-1990-LauP90 #first-order #logic #recursion #specification #synthesis #top-down
- Top-down Synthesis of Recursive Logic Procedures from First-order Logic Specifications (KKL, SDP), pp. 667–684.
- CBSE-2016-ColaTLQS #component #product line
- A Component Model for Defining Software Product Families with Explicit Variation Points (SDC, CMT, KKL, CQ0, MS), pp. 79–84.