Kung-Kiu Lau

Affiliations:
  • University of Manchester, UK


According to our database1, Kung-Kiu Lau authored at least 98 papers between 1986 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Decentralized Data Flows for the Functional Scalability of Service-Oriented IoT Systems.
Comput. J., June, 2023

2020
Evaluating IoT service composition mechanisms for the scalability of IoT systems.
Future Gener. Comput. Syst., 2020

2019
Decentralized Data Flows in Algebraic Service Compositions for the Scalability of IoT Systems.
Proceedings of the 5th IEEE World Forum on Internet of Things, 2019

Workflow Variability for Autonomic IoT Systems.
Proceedings of the 2019 IEEE International Conference on Autonomic Computing, 2019

2018
Reverse Engineering Encapsulated Components from Object-Oriented Legacy Code.
Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018

Algebraic Service Composition for User-Centric IoT Applications.
Proceedings of the Internet of Things - ICIOT 2018, 2018

Analysis and Classification of Service Interactions for the Scalability of the Internet of Things.
Proceedings of the 2018 IEEE International Congress on Internet of Things, 2018

Analysis of component-based approaches toward componentized 5G.
Proceedings of the 21st Conference on Innovation in Clouds, 2018

2017
Exogenous Connectors for Hierarchical Service Composition.
Proceedings of the 10th IEEE Conference on Service-Oriented Computing and Applications, 2017

D-XMAN: A Platform For Total Compositionality in Service-Oriented Architectures.
Proceedings of the 2017 IEEE 7th International Symposium on Cloud and Service Computing, 2017

An Introduction to Component-Based Software Development
Series on Component-Based Software Development 3, WorldScientific, ISBN: 9789813221895, 2017

2016
From Formal Methods to Software Components: Back to the Future?
Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016

A Component Model for Defining Software Product Families with Explicit Variation Points.
Proceedings of the 19th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2016

2015
An MDE tool for defining software product families with explicit variation points.
Proceedings of the 19th International Conference on Software Product Line, 2015

Towards Defining Families of Systems in IoT: Logical Architectures with Variation Points.
Proceedings of the Internet of Things. IoT Infrastructures, 2015

A Graphical Tool for Model-Driven Development Using Components and Services.
Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015

A Heterogeneous Approach for Developing Applications with FIWARE GEs.
Proceedings of the Service Oriented and Cloud Computing - 4th European Conference, 2015

2014
Software component models: past, present and future.
Proceedings of the CBSE'14, Proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014

2013
A Holistic (Component-based) Approach to AUTOSAR Designs.
Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications, 2013

Towards Component-based Domain Engineering.
Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications, 2013

2012
X-MAN: An MDE Tool for Component-Based System Development.
Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications, 2012

Controller patterns for component-based reactive control software systems.
Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering, 2012

Incremental construction of component-based systems.
Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering, 2012

2011
The W Model for Component-Based Software Development.
Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30, 2011

Extracting Elements of Component-Based Systems from Natural Language Requirements.
Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30, 2011

A component model that is both control-driven and data-driven.
Proceedings of the 14th International ACM Sigsoft Symposium on Component Based Software Engineering, 2011

2010
A catalogue of component connectors to support development with reuse.
J. Syst. Softw., 2010

A Taxonomy of Software Composition Mechanisms.
Proceedings of the 36th EUROMICRO Conference on Software Engineering and Advanced Applications, 2010

Constructing Component-Based Systems Directly from Requirements Using Incremental Composition.
Proceedings of the 36th EUROMICRO Conference on Software Engineering and Advanced Applications, 2010

(Behavioural) Design Patterns as Composition Operators.
Proceedings of the Component-Based Software Engineering, 13th International Symposium, 2010

2009
Component-Based Construction of Concurrent Systems with Active Components.
Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009

Domain-Specific Software Component Models.
Proceedings of the Component-Based Software Engineering, 12th International Symposium, 2009

Control Encapsulation: A Calculus for Exogenous Composition of Software Components.
Proceedings of the Component-Based Software Engineering, 12th International Symposium, 2009

2008
A Compositional Approach to Active and Passive Components.
Proceedings of the 34th Euromicro Conference on Software Engineering and Advanced Applications, 2008

Server-side Exception Handling by Composite Web Services.
Proceedings of the Emerging Web Services Technology Volume III, 2008

2007
Software Component Models.
IEEE Trans. Software Eng., 2007

Composite Connectors for Composing Software Components.
Proceedings of the Software Composition - 6th International Symposium, 2007

Active learning sheets for a beginner's course on reasoning about imperative programs.
Proceedings of the 38th SIGCSE Technical Symposium on Computer Science Education, 2007

Verified component-based software in SPARK: experimental results for a missile guidance system.
Proceedings of the 2007 Annual ACM SIGAda International Conference on Ada, 2007

Using SPARK for a beginner's course on reasoning about imperative programs.
Proceedings of the 2007 Annual ACM SIGAda International Conference on Ada, 2007

Composite Web Services.
Proceedings of the Emerging Web Services Technology, 2007

A Study of Execution Environments for Software Components.
Proceedings of the Component-Based Software Engineering, 10th International Symposium, 2007

Data Encapsulation in Software Components.
Proceedings of the Component-Based Software Engineering, 10th International Symposium, 2007

Towards Composing Software Components in Both Design and Deployment Phases.
Proceedings of the Component-Based Software Engineering, 10th International Symposium, 2007

2006
Automatic Control Flow Generation from Software Architectures.
Proceedings of the Software Composition - 5th International Symposium, 2006

Software component models.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Composing Components in Design Phase using Exogenous Connectors.
Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2006), August 29, 2006

Defining and Checking Deployment Contracts for Software Components.
Proceedings of the Component-Based Software Engineering, 9th International Symposium, 2006

Towards Encapsulating Data in Component-Based Software Systems.
Proceedings of the Component-Based Software Engineering, 9th International Symposium, 2006

2005
A Component Model for Separation of Control Flow from Computation in Component-Based Systems.
Proceedings of the First Workshop on Aspect-Based and Model-Based Separation of Concerns in Software Systems, 2005

Preface.
Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering, 2005

A Software Component Model and Its Preliminary Formalisation.
Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

A Taxonomy of Software Component Models.
Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2005), 30 August, 2005

Exogenous Connectors for Software Components.
Proceedings of the Component-Based Software Engineering, 8th International Symposium, 2005

2004
A Beginner's Course on Reasoning About Imperative Programs.
Proceedings of the Teaching Formal Methods, CoLogNET/FME Symposium, 2004

Specifying Compositional Units for Correct Program Development in Computational Logic.
Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004

Constructive Specifications for Compositional Units.
Proceedings of the Logic Based Program Synthesis and Transformation, 2004

2003
Correct OO Systems in Computational Logic.
Proceedings of the Logic Based Program Synthesis and Transformation, 2003

Component-Based Software Development and Logic Programming.
Proceedings of the Logic Programming, 19th International Conference, 2003

2002
Special Issue on Program Development, Guest Editors' Introduction.
Theory Pract. Log. Program., 2002

Towards Correct Object-Oriented Design Frameworks in Computational Logic.
Proceedings of the Logic Based Program Synthesis and Tranformation, 2002

Logic Programming for Software Engineering: A Second Chance.
Proceedings of the Logic Programming, 18th International Conference, 2002

Logic for Component-Based Software Development.
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

2001
Correct Object-Oriented Systems in Computational Logic.
Proceedings of the Logic Based Program Synthesis and Transformation, 2001

On the Implementation of OOD Frameworks in COM.
Proceedings of the 27th EUROMICRO Conference 2001: A Net Odyssey, 2001

On the Implementation of Catalysis Frameworks in COM.
Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

2000
An Abstract Formalization of Correct Schemas for Program Synthesis.
J. Symb. Comput., 2000

Foreword to the Special Issue on Schemas.
J. Symb. Comput., 2000

Isoinitial Semantics for Logic Programs.
Proceedings of the Computational Logic, 2000

Formal specification of Catalysis frameworks.
Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000

1999
Steadfast Logic Programs.
J. Log. Program., 1999

On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic.
Proceedings of the Logic Programming Synthesis and Transformation, 1999

Isoinitial Models for Logic Programs: Some Preliminary Results.
Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

1998
OOD Frameworks in Component-Based Software - Development in Computational Logic.
Proceedings of the Logic Programming Synthesis and Transformation, 1998

Interacting Frameworks in Catalysis.
Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998

Isoinitial Models for Logic Programs: A Preliminary Study.
Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1997
The Relationship Between Logic Programs and Specifications - The Subset Example Revisited.
J. Log. Program., 1997

On Correct Program Schemas.
Proceedings of the Logic Programming Synthesis and Transformation, 1997

Correct-Schema-Guided Synthesis of Steadfast Programs.
Proceedings of the 1997 International Conference on Automated Software Engineering, 1997

Frameworks in Catalysis: Pictorial Notation and Formal Semantics.
Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

On the Relationship between Logic Programs and Specifications.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996
Forms of Logic Specifications: A Preliminary Study.
Proceedings of the Logic Programming Synthesis and Transformation, 1996

Formal Reasoning about Modules, Reuse and their Correctness.
Proceedings of the Practical Reasoning, 1996

1995
Correctness of Logic Program Transformations Based on Existential Termination.
Proceedings of the Logic Programming, 1995

A Formal Approach to Deductive Synthesis of Constraint Logic Programs.
Proceedings of the Logic Programming, 1995

Towards an Object-Oriented Methodology for Deductive Synthesis of Logic Programs.
Proceedings of the Logic Programming Synthesis and Transformation, 1995

1994
Logic Program Synthesis.
J. Log. Program., 1994

Towards an introductory formal programming course.
Proceedings of the 25th SIGCSE Technical Symposium on Computer Science Education, 1994

On Specification Frameworks and Deductive Synthesis of Logic Programs.
Proceedings of the Logic Programming Synthesis and Transformation, 1994

A Tutorial on Synthesis of Logic Programs from Specifications.
Proceedings of the Logic Programming, 1994

The Halting Problem for Deductive Synthesis of Logic Programs.
Proceedings of the Logic Programming, 1994

1993
A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs.
Proceedings of the Logic Program Synthesis and Transformation, 1993

An Incompleteness Result for Deductive Synthesis of Logic Programs.
Proceedings of the Logic Programming, 1993

1991
Top-down Synthesis of Sorting Algorithms.
Comput. J., 1991

Synthesis of a Family of Recursive Sorting Procedures.
Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

1990
Top-down Synthesis of Recursive Logic Procedures from First-order Logic Specifications.
Proceedings of the Logic Programming, 1990

1989
A Note on Synthesis and Classification of Sorting Algorithms.
Acta Informatica, 1989

1986
FFT on a New Parallel Vector Processor.
Proceedings of the CONPAR 86: Conference on Algorithms and Hardware for Parallel Processing, 1986


  Loading...