Publications by Kung-Kiu Lau

Books

Service-Oriented and Cloud Computing
M. Villari, W. Zimmermann, and K.-K. Lau, editors.
Lecture Notes in Computer Science 8745, Springer-Verlag, 2014.
Proceedings of the Third European Conference on Service-Oriented and Cloud Computing.
ISBN 978-3-662-44878-6.

Service-Oriented and Cloud Computing
K.-K. Lau, W. Lamersdorf, and E. Pimentel, editors.
Lecture Notes in Computer Science 8135, Springer-Verlag, 2013.
Proceedings of the Second European Conference on Service-Oriented and Cloud Computing.
ISBN 978-3-642-40650-8.

Formal Methods and Software Engineering
K.-K. Lau and R. Banach, editors.
Lecture Notes in Computer Science 3785, Springer-Verlag, 2005.
Proceedings of the Seventh International Conference on Formal Engineering Methods.
ISBN 3-540-29797-9.

Program Development in Computational Logic: A Decade of Research Advances in Logic-based Program Development
M. Bruynooghe and K.-K. Lau, editors.
Lecture Notes in Computer Science 3049, Springer-Verlag, 2004.
ISBN 3-540-22152-2.

Component-based Software Development: Case Studies
K.-K. Lau, editor.
World Scientific, 2004.
Vol. 1, Series on Component-Based Software Development.
ISBN 981-238-828-1.

Logic-based Program Synthesis and Transformation
K.-K. Lau, editor.
Lecture Notes in Computer Science 2042, Springer-Verlag, 2001.
Proceedings of the Tenth International Workshop on Logic-based Program Synthesis and Transformation.
ISBN 3-540-42127-0.

Computational Logic - CL 2000
J.W. Lloyd, V. Dahl, U. Furbach, M. Kerber, K.-K. Lau, C. Palamidessi, L.M. Pereira, Y. Sagiv, P. Stuckey, editors.
Lecture Notes in Artificial Intelligence 1861, Springer-Verlag, 2000.
Proceedings of the First International Conference on Computational Logic.
ISBN 3-540-67797-6.


Journal Editions

Theory and Practice of Logic Programming, Volume 2, Parts 4 and 5, July and September 2002. Special issue on Program Development.
M. Bruynooghe and K.-K. Lau, guest editors.

Journal of Symbolic Computation, Volume 30, Number 1, July 2000. Special issue on Schemas.
P. Flener, K.-K. Lau and W. Bibel, guest editors.


Book Chapters

Component-based Development.
K.-K. Lau, M. Pantel, D. Chen, M. Persson, M. Törngren and C. Tran. In A. Rajan and T. Wahl, editors, CESAR – Cost-efficient Methods and Processes for Safety-relevant Embedded Systems, Chapter 5, pages 179-212, Springer-Verlag Wien, 2013.
[Abstract] [Paper] [BibTeX]

Characterising Object-based Frameworks in First-order Predicate Logic.
S.M. Ho and K.-K. Lau. In Z. Liu and J. He, editors, Mathematical Frameworks for Component Software, Chapter 8, pages 221-254, World Scientific, 2006. Vol. 2, Series on Component-based Software Development.
[Abstract] [Paper] [BibTeX]

Specifying Compositional Units for Correct Program Development in Computational Logic.
K.-K. Lau and M. Ornaghi. In M. Bruynooghe and K.-K. Lau, editors, Program Development in Computational Logic, Lecture Notes in Computer Science 3049:1-29, Springer-Verlag, 2004.
[Abstract] [Paper] [BibTeX]

Specification of Software Components.
F. Lüders, K.-K. Lau, and S.M. Ho. In I. Crnkovic and M. Larsson, editors, Building Reliable Component-based Software Systems, Chapter 2, pages 23-38, Artech House, 2002.
[Paper] [BibTeX]

Logic for Component-based Software Development.
K.-K. Lau and M. Ornaghi. In A. Kakas and F. Sadri, editors, Computational Logic: Logic Programming and Beyond, Lecture Notes in Artificial Intelligence 2407, pages 347-373, Springer-Verlag, 2002.
[Abstract] [Paper] [BibTeX]


Papers and Reports

Component-based Software Development

A Holistic (Component-based) Approach to AUTOSAR Designs.
K.-K. Lau, P. Štěpán, C. Tran, S. Saudrais and B. Tchakaloff. In Proceedings of 39th EUROMICRO Conference on Software Engineering and Advanced Applications, pages 203-207, IEEE, 2013.
[Abstract][Paper] [BibTeX]

Towards Component-based Domain Engineering.
A. Alayed, K.-K. Lau, P. Štěpán and C. Tran. In Proceedings of 39th EUROMICRO Conference on Software Engineering and Advanced Applications, pages 106-113, IEEE, 2013.
[Abstract][Paper] [BibTeX]

X-MAN: An MDE Tool for Component-based System Development.
K.-K. Lau and C.M. Tran. In Proceedings of 38th EUROMICRO Conference on Software Engineering and Advanced Applications, pages 158-165, IEEE, 2012.
[Abstract][Paper] [BibTeX]

Component-based Design and Verification in X-MAN.
N. He, D. Kroening, T. Wahl, K.-K. Lau, F. Taweel, P. Rümmer and S. Sharma. In Proceedings of Embedded Real Time Software and Systems, 2012.
[Abstract][Paper] [BibTeX]

Incremental Construction of Component-based Systems.
K.-K. Lau, K.-Y. Ng, T. Rana and C.M. Tran. In Proceedings of Fifteenth International ACM SIGSOFT Symposium on Component-based Software Engineering, pages 41-50, ACM, 2012.
[Abstract][Paper] [BibTeX]

Controller Patterns for Component-based Reactive Control Software Systems.
P. Štěpán and K.-K. Lau. In Proceedings of Fifteenth International ACM SIGSOFT Symposium on Component-based Software Engineering, pages 71-76, ACM, 2012.
[Abstract][Paper] [BibTeX]

Extracting Elements of Component-based Systems from Natural Language Requirements.
K.-K. Lau, A. Nordin and K.-Y. Ng. In Proceedings of 37th EUROMICRO Conference on Software Engineering and Advanced Applications, pages 39-46, IEEE, 2011.
[Abstract][Paper] [BibTeX]

The W Model for Component-based Software Development.
K.-K. Lau, F. Taweel and C. Tran. In Proceedings of 37th EUROMICRO Conference on Software Engineering and Advanced Applications, pages 47-50, IEEE, 2011.
[Abstract][Paper] [BibTeX]

A Component Model that is both Control-driven and Data-driven.
K.-K. Lau, L. Safie, P. Štěpán and C. Tran. In Proceedings of Fourteenth International ACM SIGSOFT Symposium on Component-based Software Engineering, pages 41-50, ACM, 2011.
[Abstract][Paper] [BibTeX]

Constructing Component-based Systems Directly from Requirements using Incremental Composition.
K.-K. Lau, A. Nordin, T. Rana and F. Taweel.
In Proceedings of Thirty-sixth Euromicro Conference on Software Engineering and Advanced Applications, pages 85-93, IEEE, 2010.
[Abstract][Paper] [BibTeX]

A Taxonomy of Software Composition Mechanisms.
K.-K. Lau and T. Rana.
In Proceedings of Thirty-sixth Euromicro Conference on Software Engineering and Advanced Applications, pages 102-110, IEEE, 2010.
[Abstract][Paper] [BibTeX]

A Catalogue of Component Connectors to Support Development with Reuse.
P. Velasco Elizondo and K.-K. Lau. The Journal of Systems and Software 8:1165-1178, 2010.
[Abstract][Paper] [BibTeX]

(Behavioural) Design Patterns as Composition Operators.
K.-K. Lau, I. Ntalamagkas, C. Tran and T. Rana. In L. Grunske, R. Reussner and F. Plasil, editors, Proceedings of Thirteenth International Symposium on Component-based Software Engineering, Lecture Notes in Computer Science 6092:232-251, Springer-Verlag, 2010.
[Abstract][Paper] [BibTeX]

Component-based Construction of Concurrent Systems with Active Components.
K.-K. Lau and I. Ntalamagkas. In Proceedings of Thirty-fifth Euromicro Conference on Software Engineering and Advanced Applications, pages 497-502, IEEE, 2009.
[Abstract][Paper] [BibTeX]

Domain-specific Software Component Models.
K.-K. Lau and F.M. Taweel. In G. Lewis, I. Poernomo and C. Hofmeister, editors, Proceedings of Twelfth International Symposium on Component-based Software Engineering, Lecture Notes in Computer Science 5582:19-35, Springer-Verlag, 2009.
[Abstract][Paper] [BibTeX]

Control Encapsulation: A Calculus for Exogenous Composition.
K.-K. Lau and M. Ornaghi. In G. Lewis, I. Poernomo and C. Hofmeister, editors, Proceedings of Twelfth International Symposium on Component-based Software Engineering, Lecture Notes in Computer Science 5582:121-139, Springer-Verlag, 2009.
[Abstract][Paper] [BibTeX]

Server-side Exception Handling by Composite Web Services.
K.-K. Lau and C.M. Tran. In W. Binder and S. Dustdar, editors, Proceedings of Third Workshop on Emerging Web Services Technology, pages 30-44, 2008.
[Abstract][Paper] [BibTeX]

A compositional approach to active and passive components.
K.-K. Lau and I. Ntalamagkas. In Proceedings of Thirty-fourth Euromicro Conference on Software Engineering and Advanced Applications, pages 76-83, IEEE, 2008.
[Abstract][Paper] [BibTeX]

Composite Web Services.
K.-K. Lau and C.M. Tran. In C. Pautasso and T. Gschwind, editors, Emerging Web Services Technology, Volume II, pages 77-95, Birkhauser Verlag, 2008.
[Abstract][Paper] [BibTeX]

Verified Component-based Software in SPARK: Experimental Results for a Missile Guidance System.
K.-K. Lau and Z. Wang. In Proceedings of 2007 ACM SIGAda Annual International Conference, pages 51-57, ACM, 2007.
Winner of the Outstanding Student Paper award.
[Abstract][Paper] [BibTeX]

Composite Connectors for Composing Software Components.
K.-K. Lau, L. Ling, P. Velasco Elizondo and V. Ukis. In M. Lumpe and W. Vanderperren, editors, Proceedings of the Sixth International Symposium on Software Composition, Lecture Notes in Computer Science 4829:266-280, Springer-Verlag, 2007.
[Abstract][Paper] [BibTeX]

Software Component Models.
K.-K. Lau and Z. Wang. IEEE Transactions on Software Engineering 33(10):709-724, October 2007.
[Abstract][Paper] [BibTeX]

Applying Deployment Contracts to Components from Component Repositories.
K.-K. Lau and V. Ukis. Pre-print CSPP-42, School of Computer Science, The University of Manchester, August 2007.
[Abstract][Report] [BibTeX]

Data Encapsulation in Software Components.
K.-K. Lau and F. Taweel. In H.W. Schmidt et al., editors, Proceedings of Tenth International Symposium on Component-based Software Engineering, Lecture Notes in Computer Science 4608:1-16, Springer-Verlag, 2007.
[Abstract] [Paper] [BibTeX]

A Study of Execution Environments for Software Components.
K.-K. Lau and V. Ukis. In H.W. Schmidt et al., editors, Proceedings of Tenth International Symposium on Component-based Software Engineering, Lecture Notes in Computer Science 4608:107-123, Springer-Verlag, 2007.
[Abstract] [Paper] [BibTeX]

Towards Composing Software Components in both Design and Deployment Phases.
K.-K. Lau, L. Ling and P. Velasco Elizondo. In H.W. Schmidt et al., editors, Proceedings of Tenth International Symposium on Component-based Software Engineering, Lecture Notes in Computer Science 4608:274-282, Springer-Verlag, 2007.
[Abstract] [Paper] [BibTeX]

On Characteristics and Differences of Component Execution Environments.
K.-K. Lau and V. Ukis. Pre-print CSPP-41, School of Computer Science, The University of Manchester, February 2007.
[Abstract][Report] [BibTeX]

A Component-based Approach to Verified Software: What, Why, How and What Next?
K.-K. Lau, Z. Wang, A. Wang and M. Gu. In X. Chen, Z. Liu and M. Reed, editors, Proceedings of the First Asian Working Conference on Verified Software, pages 225-229, UNU-IIST Report No. 347, 2006.
[Abstract][Paper] [BibTeX]

Data Encapsulation in Component-based Software Systems.
K.-K. Lau and F.M. Taweel. Pre-print CSPP-39, School of Computer Science, The University of Manchester, September 2006.
[Abstract][Report] [BibTeX]

Composing Components in Design Phase using Exogenous Connectors.
K.-K. Lau, L. Ling and Z. Wang. In Proceedings of Thirty-second Euromicro Conference on Software Engineering and Advanced Applications, pages 12-19, IEEE Computer Society Press, 2006.
[Abstract][Paper] [BibTeX]

Automatic Control Flow Generation from Software Architectures.
K.-K. Lau and V. Ukis. In W. Löwe and M. Südholt, editors, Proceedings of Fifth International Symposium on Software Composition, Lecture Notes in Computer Science 4089:323-338, Springer-Verlag, 2006.
[Abstract][Paper] [BibTeX]

A Software Component Model and its Preliminary Formalisation.
K.-K. Lau, M. Ornaghi and Z. Wang. In F.S. de Boer et al., editors, Proceedings of Fourth International Symposium on Formal Methods for Components and Objects, Lecture Notes in Computer Science 4111:1-21, Springer-Verlag, 2006. Invited keynote talk.
[Abstract][Paper] [BibTeX]

ICSE'06 Tutorial:
Software Component Models.
K.-K. Lau. In Proceedings of Twenty-eighth International Conference on Software Engineering, pages 1081-1082, ACM Press, 2006. Abstract of tutorial.
[Abstract][Paper] [BibTeX][Tutorial Slides]

A Survey of Software Component Models (second edition).
K.-K. Lau and Z. Wang. Pre-print CSPP-38, School of Computer Science, The University of Manchester, May 2006.
[Abstract][Report] [BibTeX]

Towards Encapsulating Data in Component-based Software Systems.
K.-K. Lau and F.M. Taweel. In I. Gorton et al., editors, Proceedings of Ninth International Symposium on Component-based Software Engineering. Lecture Notes in Computer Science 4063:1-16, Springer-Verlag, 2006.
[Abstract][Paper] [BibTeX]

Defining and Checking Deployment Contracts for Software Components.
K.-K. Lau and V. Ukis. In I. Gorton et al., editors, Proceedings of Ninth International Symposium on Component-based Software Engineering. Lecture Notes in Computer Science 4063:1-16, Springer-Verlag, 2006.
[Abstract][Paper] [BibTeX]

A Reasoning Framework for Deployment Contracts Analysis.
K.-K. Lau and V. Ukis. Pre-print CSPP-37, School of Computer Science, The University of Manchester, June 2006.
[Abstract][Report] [BibTeX]

Deployment Contracts for Software Components. .
K.-K. Lau and V. Ukis. Pre-print CSPP-36, School of Computer Science, The University of Manchester, February 2006.
[Abstract][Report] [BibTeX]

A Component Model for Separation of Control Flow from Computation in Component-Based Systems.
K.-K. Lau, V. Ukis, P. Velasco and Z. Wang. Electronic Notes in Theoretical Computer Science 163:57-69, 2006, Elsevier.
[Abstract][Paper] [BibTeX]

Component Metadata in Component-based Software Development: A Survey .
K.-K. Lau and V. Ukis. Pre-print CSPP-34, School of Computer Science, The University of Manchester, October 2005.
[Abstract][Report] [BibTeX]

A Container for Automatic System Control Flow Generation using Exogenous Connectors.
K.-K. Lau and V. Ukis. Pre-print CSPP-31, School of Computer Science, The University of Manchester, August 2005.
[Abstract][Report] [BibTeX]

A Taxonomy of Software Component Models.
K.-K. Lau and Z. Wang. In Proceedings of Thirty-first Euromicro Conference on Software Engineering and Advanced Applications, pages 88-95. IEEE Computer Society Press, 2005.
[Abstract][Paper] [BibTeX]

A Survey of Software Component Models.
K.-K. Lau and Z. Wang. Pre-print CSPP-30, School of Computer Science, The University of Manchester, April 2005.
[Abstract][Report] [BibTeX]

Exogenous Connectors for Software Components.
K.-K. Lau, P. Velasco Elizondo and Z. Wang. In G.T. Heineman et al., editors, Proceedings of Eighth International SIGSOFT Symposium on Component-based Software Engineering. Lecture Notes in Computer Science 3489:90-106, Springer-Verlag, 2005.
[Abstract][Paper] [BibTeX]

Some Ingredients of Trusted Components.
K.-K. Lau. In Proceedings of Workshop on Trusted Components, pages 1-5, January 2003, Prato, Italy.
[Abstract] [Paper] [BibTeX]

A Priori Reasoning for Component-based Software Development.
K.-K. Lau. In Proceedings of the First CoLogNET Workshop on Component-based Software Development and Implementation Technology for Computational Logic Systems, Technical Report CLIP4/02.0, School of Computer Science, Technical University of Madrid, pages 5-19, 2002.
[Abstract] [Paper] [BibTeX]

On the Implementation of Catalysis Frameworks in COM.
S.M. Ho and K.-K. Lau. In J. He, Y. Li and G. Lowe, editors, Proceedings of the Eigth Asia-Pacific Software Engineering Conference, pages 243-250, IEEE Computer Society Press, 2001.
[Abstract] [Paper] [BibTeX]

A Formal Approach to Software Component Specification.
K.-K. Lau and M. Ornaghi. In D. Giannakopoulou, G.T. Leavens and M. Sitaraman, editors, Proceedings of Specification and Verification of Component-based Systems Workshop at OOPSLA2001, pages 88-96, Tampa, USA, October 2001.
[Abstract] [Paper] [BibTeX]

On the Implementation of OOD Frameworks in COM.
S.M. Ho and K.-K. Lau. In Proceedings of EUROMICRO 2001 Workshop on Component-based Software Engineering, pages 40-47, IEEE Computer Society Press, 2001.
[Abstract] [Paper] [BibTeX]

Component Certification and System Prediction: Is there a Role for Formality?
K.-K. Lau. In I. Crnkovic, H. Schmidt, J. Stafford and K. Wallnau, editors, Proceedings of the Fourth ICSE Workshop on Component-based Software Engineering, pages 80-83, IEEE Computer Society Press, 2001.
[Abstract] [Paper] [BibTeX]

Object-Oriented Design Frameworks: Formal Specification and Some Implementation Issues.
I. Crnkovic, J. Küster Filipe, M. Larsson, and K.-K. Lau. In J. Barzdins and A. Caplinskas, editor, Databases and Information Systems: Fourth International Baltic Workshop, pages 237-252, Kluwer, 2001.
[Abstract] [Paper] [BibTeX]

Formal Specification of Catalysis Frameworks.
J. Küster Filipe, K.-K. Lau, M. Ornaghi, K. Taguchi, H. Yatsu, and A Wills. In J.S. Dong, J. He and M. Purvis, editors, Proceedings of the Seventh Asia-Pacific Software Engineering Conference, pages 180-187, IEEE Computer Society Press, 2000.
[Abstract] [Paper] [BibTeX]

The Role of Logic Programming in Next-generation Component-based Software Development.
K.-K. Lau. In G. Gupta and I.V. Ramakrishnan, editors, Proceedings of Workshop on Logic Programming and Software Enginering, London, UK, July 2000.
[Abstract] [Paper] [BibTeX]

On Dynamic Aspects of OOD Frameworks in Component-based Software Development in Computational Logic.
J. Küster Filipe, K.-K. Lau, M. Ornaghi, and H. Yatsu. In A. Bossi, editor, Proceedings of LOPSTR'99, Lecture Notes in Computer Science 1817:43-62, Springer-Verlag, 2000.
[Abstract] [Paper] [BibTeX]

Component Configuration Management for Frameworks.
I. Crnkovic, M. Larsson, and K.-K. Lau. In J. Han, S.D. Kim, and T. Kishi, editors, Proceedings of the Workshop on Software Architecture and Components, pages 83-88, Takamatsu, Japan, December 1999.
[Abstract] [Paper] [BibTeX]

Intra- and Inter-OOD-Framework Interactions in Component-based Software Development in Computational Logic.
J. Küster Filipe, K.-K. Lau, M. Ornaghi, and H. Yatsu. In A. Brogi and P. Hill, editors, Proceedings of the Second International Workshop on Component-based Software Development in Computational Logic, Paris, France, September 1999. Abstact on page 7.
[Abstract][Paper][BibTeX]

OOD Frameworks in Component-based Software Development in Computational Logic.
K.-K. Lau and M. Ornaghi. In P. Flener, editor, Proceedings of LOPSTR'98, Lecture Notes in Computer Science 1559:101-123, Springer-Verlag, 1999.
[Abstract] [Paper] [BibTeX]

Interacting Frameworks in Catalysis.
K.-K. Lau, S. Liu, M. Ornaghi, and A. Wills. In J. Staples, M. Hinchey and S. Liu, editors, Proceedings of the Second IEEE International Conference on Formal Engineering Methods, pages 110-119, IEEE Computer Society Press, 1998.
[Abstract] [Paper] [BibTeX]

On Specification and Correctness of OOD Frameworks in Computational Logic.
K.-K. Lau and M. Ornaghi. In A. Brogi and P. Hill, editors, Proceedings of the First International Workshop on Component-based Software Development in Computational Logic, pages 59-75, Pisa, Italy, September 1998.
[Abstract] [Paper] [BibTeX]

Frameworks in Catalysis: Pictorial Notation and Formal Semantics.
K.-K. Lau, M. Ornaghi, and A. Wills. In M. Hinchey and S. Liu, editors, Proceedings of the First IEEE International Conference on Formal Engineering Methods, pages 213-220, IEEE Computer Society Press, 1997.
[Abstract] [Paper] [BibTeX]

Formal Program Development in Computational Logic

Constructive Specification of Compositional Units.
K.-K. Lau. A. Momigliano and M. Ornaghi. In S. Etalle, editor, Proceedings of the Fourteenth International Workshop on Logic-based Program Synthesis and Transformation, Lecture Notes in Computer Science 3573:198-214, Springer-Verlag, 2005.
[Abstract] [Paper] [BibTeX]

Correct OO Systems in Computational Logic.
K.-K. Lau and M. Ornaghi. In M. Bruynooghe, editor, Proceedings of the Thirteenth International Workshop on Logic-based Program Synthesis and Transformation, Lecture Notes in Computer Science 3018:34-53, Springer-Verlag, 2004.
[Abstract] [Paper] [BibTeX]

ICLP'03 Tutorial:
Component-based Software Development and Logic Programming.
K.-K. Lau. In C. Palamidessi, editor, Proceedings of the Nineteenth International Conference on Logic Programming, Lecture Notes in Computer Science 2926:103-108, Springer-Verlag, 2003.
[Abstract] [Paper] [BibTeX]

Logic Programming for Software Engineering: A Second Chance.
K.-K. Lau and M. Vanden Bossche. In P.J. Stuckey, editor, Proceedings of the Eighteenth International Conference on Logic Programming, Lecture Notes in Computer Science 2401:437-451, Springer-Verlag, 2002.
[Abstract] [Paper] [BibTeX]

Correct Object-Oriented Systems in Computational Logic.
K.-K. Lau and M. Ornaghi. In A. Pettorossi, editor, Proceedings of the Eleventh International Workshop on Logic-based Program Synthesis and Transformation, Lecture Notes in Computer Science 2372:168-190, Springer-Verlag, 2002.
[Abstract] [Paper] [BibTeX]

Isoinitial Semantics for Logic Programs.
K.-K. Lau and M. Ornaghi. In J.W. Lloyd et al, editors, Proceedings of the First International Conference on Computational Logic, Lecture Notes in Artifical Intelligence 1861: 223-238, Springer-Verlag, 2000.
[Abstract] [Paper] [BibTeX]

An Abstract Formalisation of Correct Schemas for Program Synthesis.
P. Flener, K.-K. Lau, M. Ornaghi, and J. Richardson. Journal of Symbolic Computation 30(1):93-127, July 2000.
[Abstract] [Paper] [BibTeX]

ASE'99 Tutorial:
Schema-Guided Generation of Correctly Reusable Programs.
P. Flener, K.-K. Lau, M. Ornaghi, and J. Richardson. Tutorial notes for tutorial at the Twelfth IEEE International Automated Software Engineering Conference, Cocoa Beach, Florida, USA, 12-15 October 1999.
[Slides]

Steadfast Logic Programs.
K.-K. Lau, M. Ornaghi, and S.-Å Tärnlund. Journal of Logic Programming 38(3):259-294, March 1999.
[Abstract] [Paper] [BibTeX]

Isoinitial Models for Logic Programs: A Preliminary Study.
K.-K. Lau and M. Ornaghi. In J.L. Freire-Nistal, M. Falaschi, and M. Vilares-Ferro, editors, Proceedings of the 1998 Joint Conference on Declarative Programming, pages 443-455, A Coruna, Spain, July 1998.
[Abstract] [Paper] [BibTeX]

On Correct Program Schemas.
P. Flener, K.-K. Lau, and M. Ornaghi. In N.E. Fuchs, editor, Proceedings of LOPSTR'97, Lecture Notes in Computer Science 1463:124-143, Springer-Verlag, 1998.
[Abstract] [Paper] [BibTeX]

Correct-schema-guided Synthesis of Steadfast Programs.
P. Flener, K.-K. Lau, and M. Ornaghi. In Proceedings of the Twelfth IEEE International Automated Software Engineering Conference, pages 153-160, IEEE Computer Society Press, 1997.
[Abstract] [Paper] [BibTeX]

The Relationship between Logic Programs and Specifications - The Subset Example Revisited.
K.-K. Lau and M. Ornaghi. Journal of Logic Programming 30(3):239-257, March 1997.
[Abstract] [Paper] [BibTeX]

Modules, Reuse and Correctness.
K.-K. Lau and M. Ornaghi. In A. Brogi and P. Hill, editors, Proceedings of the Workshop on Logic-based Software Composition, pages 59-72, Leuven, Belgium, July 1997.
[Abstract] [Paper] [BibTeX]

On the Relationship between Logic Programs and Specifications.
K.-K. Lau and M. Ornaghi. In M. Falachi, M. Navarro, and A. Policriti, editors, Proceedings of the 1997 Joint Conference on Declarative Programming, pages 433-445, Grado, Italy, June 1997.
[Abstract] [Paper] [BibTeX]

Formal Development of Correct Classes in Computational Logic.
K.-K. Lau, C.D.M. Moss, and M. Ornaghi. In D.J. Duke and A.S. Evans, editors, Proceedings of BCS-FACS Northern Formal Methods Workshop, Springer-Verlag, Electronic Workshops in Computing Series, 1997. Abstract on page 3.
[Abstract] [Paper] [BibTeX]

Forms of Logic Specifications: A Preliminary Study.
K.-K. Lau and M. Ornaghi. In J. Gallagher, editor, Proceedings of LOPSTR'96, Lecture Notes in Computer Science 1207:295-312, Springer-Verlag, 1997.
[Abstract] [Paper] [BibTeX]

Formal Reasoning about Modules, Reuse and their Correctness.
C. Kreitz, K.-K. Lau, and M. Ornaghi. In D.M. Gabbay and H.J. Ohlbach, editors, Proceedings of the International Conference on Formal and Applied Practical Reasoning, Lecture Notes in Artificial Intelligence 1085:384-399, Springer-Verlag, 1996.
[Abstract] [Paper] [BibTeX]

Towards an Object-Oriented Methodology for Deductive Synthesis of Logic Programs.
K.-K. Lau and M. Ornaghi. In M. Proietti, editor, Proceedings of LOPSTR'95, Lecture Notes in Computer Science 1048:152-169, Springer-Verlag, 1996.
[Abstract] [Paper] [BibTeX]

Correctness of Logic Program Transformation based on Existential Termination.
K.-K. Lau, M. Ornaghi, A. Pettorossi, and M. Proietti. In J.W. Lloyd, editor, Proceedings of 1995 International Logic Programming Symposium, pages 480-494, MIT Press, 1995.
[Abstract] [Paper] [BibTeX]

A Formal Approach to Deductive Synthesis of Constraint Logic Programs.
K.-K. Lau and M. Ornaghi. In J.W. Lloyd, editor, Proceedings of 1995 International Logic Programming Symposium, pages 543-557, MIT Press, 1995.
[Abstract] [Paper] [BibTeX]

On Specification Frameworks and Deductive Synthesis of Logic Programs.
K.-K. Lau and M. Ornaghi. In L. Fribourg and F. Turini, editors, Proceedings of LOPSTR'94 and META'94, Lecture Notes in Computer Science 883:104-121, Springer-Verlag, 1994.
[Abstract] [Paper] [BibTeX]

ICLP'94 Tutorial:
Synthesis of Logic Programs.
K.-K. Lau and G. Wiggins. Tutorial notes for invited advanced tutorial at the Eleventh International Conference on Logic Programming, Santa Margherita Ligure, Italy, 13-18 June 1994.
[Slides]

A Tutorial on Synthesis of Logic Programs from Specifications.
K.-K. Lau and G. Wiggins. In P. Van Hentenryck, editor, Proceedings of the Eleventh International Conference on Logic Programming, pages 11-14, MIT Press, 1994. Abstract of invited advanced tutorial.
[Abstract] [Paper] [BibTeX]

The Halting Problem for Deductive Synthesis of Logic Programs.
K.-K. Lau, M. Ornaghi, and S.-Å Tärnlund. In P. Van Hentenryck, editor, Proceedings of the Eleventh International Conference on Logic Programming, pages 665-683, MIT Press, 1994.
[Abstract] [Paper] [BibTeX]

A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs.
K.-K. Lau and M. Ornaghi. In Y. Deville, editor, Proceedings of LOPSTR'93, pages 10-31, Springer-Verlag, 1994.
[Abstract] [Paper] [BibTeX]

Logic Program Synthesis.
Y. Deville and K.-K. Lau. Journal of Logic Programming, 19,20:321-350, 1994. Special Issue: Ten Years of Logic Programming.
[Abstract] [Paper] [BibTeX]

An Incompleteness Result for Deductive Synthesis of Logic Programs.
K.-K. Lau and M. Ornaghi. In D.S. Warren, editor, Proceedings of the Tenth International Conference on Logic Programming, pages 456-477, MIT Press, 1993.
[Abstract] [Paper] [BibTeX]

Synthesis of a Family of Recursive Sorting Procedures.
K.-K. Lau and S.D.Prestwich. In V. Saraswat and K. Ueda, editors, Proceedings of the 1991 International Logic Programming Symposium, pages 641-658, MIT Press, 1991.
[Abstract] [Paper] [BibTeX]

Top-down Synthesis of Recursive Logic Procedures from First-order Logic Specifications.
K.-K. Lau and S.D. Prestwich. In D.H.D. Warren and P. Szeredi, editors, Proceedings of the Seventh International Conference on Logic Programming, pages 667-684, MIT Press, 1990.
[Abstract] [Paper] [BibTeX]

Algorithm Synthesis

A Logical Inverted Taxonomy of Sorting Algorithms.
S.M. Merritt and K.-K. Lau. In S. Kuru, M.U. Caglayan, and H.L. Akin, editors, Proceedings of the Twelfth International Symposium on Computer and Information Sciences, pages 576-583, Bogazici University, 1997.
[Abstract] [Paper] [BibTeX]

Top-down Synthesis of Sorting Algorithms
K.-K. Lau. The Computer Journal, 35:A001-A007, 1992.
[Abstract] [Paper] [BibTeX]

A Note on Synthesis and Classification of Sorting Algorithms.
K.-K. Lau. Acta Informatica, 27:73-80, 1989.
[Abstract] [Paper] [BibTeX]

Computer Science Education

Using SPARK for a Beginner's Course on Reasoning about Imperative Programs.
K.-K. Lau. In Proceedings of 2007 ACM SIGAda Annual International Conference, pages 75-78, ACM, 2007.
[Abstract][Paper][BibTeX]

Active Learning Sheets for A Beginner's Course on Reasoning about Imperative Programs.
K.-K. Lau. In S. Haller, J.D. Dougherty, S. Rodger, G. Lewandowski, editors, Proceedings of the Thirty-Eighth SIGCSE technical symposium on Computer Science Education, pages 198-202, ACM Press, 2007. ACM SIGCSE Bulletin 39(1), March 2007.
[Abstract] [Paper] [BibTeX]

A Beginner's Course on Reasoning about Imperative Programs
K.-K. Lau. In C.N. Dean and R.T. Boute, editors, Proceedings of Symposium on Teaching Formal Methods 2004, Lecture Notes in Computer Science 3294:1-16, Springer-Verlag, 2004.
[Abstract] [Paper] [BibTeX]

Towards an Introductory Formal Programming Course.
K.-K. Lau, V.J. Bush, and P.J. Jinks. In D. Joyce, editor, The Papers of the Twenty-Fifth ACM SIGCSE Technical Symposium on Computer Science Education, pages 121-125, ACM Press, 1994. SIGCSE Bulletin 26(1), March 1994.
[Paper]


Back to Kung-Kiu Lau's home page