Papers, Reports and Talks

Component-based Software Development

Workflow Variability for Autonomic IoT Systems.
D. Arellanes and K.-K. Lau. In Proceedings of the 16th IEEE International Conference on Autonomic Computing, pages 24-30, IEEE, 2019.
[Abstract][Paper][BibTeX]

Decentralized Data Flows in Algebraic Service Compositions for the Scalability of IoT Systems.
D. Arellanes and K.-K. Lau. In Proceedings of the 5th World Forum on Internet of Things, pages 668-673, IEEE, 2019.
[Abstract][Paper][BibTeX]

Feature-Oriented Component-Based Development of Software Product Families: A Case Study.
C. Qian and K.-K. Lau. In Proceedings of the 13th International Conference on Software Engineering Advances, pages 144-149, IARIA, 2018.
[Abstract][Paper][BibTeX]

An Enumerative Variability Modelling Tool for Constructing Whole Software Product Families.
C. Qian and K.-K. Lau. In Proceedings of the 13th International Conference on Software Engineering Advances, pages 138-143, IARIA, 2018.
[Abstract][Paper][BibTeX]

ICIOT 2018 Best Paper Award
Algebraic Service Composition for User-Centric IoT Applications.
D. Arellanes and K.-K. Lau. In Proceedings of 3rd International Conference on Internet of Things, Lecture Notes in Computer Science 10972:56-69, Springer, 2018.
[Abstract][Paper][BibTeX]

Analysis and Classification of Service Interactions for the Scalability of the Internet of Things.
D. Arellanes and K.-K. Lau. In Proceedings of 2018 IEEE International Congress on Internet of Things, pages 80-87, IEEE, 2018.
[Abstract][Paper][BibTeX]

Reverse Engineering Encapsulated Components from Object-Oriented Legacy Code.
R. Arshad and K.-K. Lau. In Proceedings of 30th International Conference on Software Engineering & Knowledge Engineering, pages 572-577, KSI Research Inc., 2018.
[Abstract][Paper][BibTeX]

Analysis of Component-Based Approaches Toward Componentized 5G.
E. El Hayek, I. Grida Ben Yahia, D. Arellanes and K.-K. Lau. In Proceedings of 1st International Workshop on Network Intelligence, IEEE, 2018.
[Abstract][Paper][BibTeX]

Enumerative Variability in Software Product Families.
C. Qian and K.-K. Lau. In Proceedings of International Conference on Computational Science and Computational Intelligence, pages 957-962, IEEE, 2017.
[Abstract][Paper][BibTeX]

Exogenous Connectors for Hierarchical Service Composition.
D. Arellanes and K.-K. Lau. In Proceedings of 2017 IEEE 10th International Conference on Service-Oriented Computing and Applications, pages 125-132, IEEE, 2017.
[Abstract][Paper][BibTeX]

D-XMAN: A Platform For Total Compositionality in Service-Oriented Architectures.
D. Arellanes and K.-K. Lau. In Proceedings of 2017 IEEE 7th International Symposium on Cloud and Service Computing, pages 283-286, IEEE, 2017.
[Abstract][Paper][BibTeX]

Extracting Executable Architecture From Legacy Code Using Static Reverse Engineering.
R. Arshad and K.-K. Lau. In Proceedings of Twelfth International Conference on Software Engineering Advances, pages 55-59, IARIA, 2017.
[Abstract][Paper][BibTeX]

FACS 2016 Keynote
From Formal Methods to Software Components: Back to the Future?
K.-K. Lau. Keynote, 13th International Conference on Formal Aspects of Component Software (FACS), 19-21 October 2016, Besançon, France.
Lecture Notes in Computer Science 10231:10-14, Springer, 2017.
[Slides][Abstract][Paper][BibTeX]

MODCOMP 2016 Keynote
CBSE and MDE: Fitting the Pieces Together.
K.-K. Lau. Keynote, 3rd International Workshop on Interplay of Model-Driven and Component-Based Software Engineering (ModComp), 4 October 2016, St Malo, France.
[Slides]

A Component Model for Defining Software Product Families with Explicit Variation Points.
S. Di Cola, C. Tran, K.-K. Lau, C. Qian and M. Schulze. In Proceedings of 19th International ACM SIGSOFT Symposium on Component-Based Software Engineering, pages 79-84, ACM, 2016.
[Abstract][Paper][BibTeX]

A Concise Classification of Reverse Engineering Approaches for Software Product Lines.
R. Arshad and K.-K. Lau. In Proceedings of the Eleventh International Conference on Software Engineering Advances, pages 31-38, IARIA, 2016.
[Abstract][Paper][BibTeX]

A Heterogeneous Approach for Developing Applications with FIWARE GEs.
S. Di Cola, C. Tran, K.-K. Lau, A. Celesti and M. Fazio. In Proceedings of 4th European Conference on Service Oriented and Cloud Computing, Lecture Notes in Computer Science 9306:65-79, Springer-Verlag, 2015.
[Abstract][Paper][BibTeX]

A Graphical Tool for Model-Driven Development Using Components and Services.
S. Di Cola, K.-K. Lau and C. Tran. In Proceedings of 41st EUROMICRO Conference on Software Engineering and Advanced Applications, pages 181-182, IEEE, 2015.
[Abstract][Paper][BibTeX]

(Reference) Architecture = Components + Composition (+ Variation Points)?
K.-K. Lau and S. Di Cola. In Proceedings of 1st International Workshop on Exploring Component-based Techniques for Constructing Reference Architectures, pages 1-4, ACM, 2015.
[Abstract]{Paper][BibTeX]

An MDE Tool for Defining Software Product Families with Explicit Variation Points.
S. Di Cola, K.-K. Lau, C. Tran and C. Qian. In Proceedings of 19th International Conference on Software Product Line, pages 355-360, ACM, 2015.
[Abstract][Paper][BibTeX]

Software Component Models: Past, Present and Future.
K.-K. Lau. In Proceedings of 17th International ACM SIGSOFT Symposium on Component-based Software Engineering, pages 185-186, ACM, 2014.
[Abstract][Paper][BibTeX]

COMPARCH'14 Tutorial
Software Component Models: Past, Present and Future.
K.-K. Lau, Z. Wang, S. di Cola, C. Tran and V. Christou. Tutorial at COMPARCH 2014 Conference, 30 June 2014, Lille, France.
[Slides]

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 15th 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 15th 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 14th 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 36th 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 36th 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 13th 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 35th 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 12th 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 12th 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 3rd 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 34th 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 6th 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 10th 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 10th 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 10th 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 1st 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 32nd 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 4th 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 28th International Conference on Software Engineering, pages 1081-1082, ACM Press, 2006. Abstract of tutorial.
[Abstract][Paper][BibTeX][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 9th 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 31st 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 8th 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 8th 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 4th 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: 4th 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 7th 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 1st 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 14th 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 13th 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 19th 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 11th 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 1st 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 12th 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]

Software

X-MAN tool

• X-MAN tool (tar)
• X-MAN tool (zip)

Back to Kung-Kiu Lau's home page