Kung-Kiu Lau

Publication Activity (10 Years)

Years Active: 1986-2023
Publications (10 Years): 16

Top Topics

Service Compositions

Software Components

Reverse Engineering

Web Service Compositions

Top Venues

Future Gener. Comput. Syst.

Publications

Damian Arellanes, Kung-Kiu Lau, Rizos Sakellariou
Decentralized Data Flows for the Functional Scalability of Service-Oriented IoT Systems. Comput. J. 66 (6) (2023)
Damian Arellanes, Kung-Kiu Lau
Evaluating IoT service composition mechanisms for the scalability of IoT systems. Future Gener. Comput. Syst. 108 (2020)
Damian Arellanes, Kung-Kiu Lau
Workflow Variability for Autonomic IoT Systems. ICAC (2019)
Damian Arellanes, Kung-Kiu Lau
Decentralized Data Flows in Algebraic Service Compositions for the Scalability of IoT Systems. WF-IoT (2019)
Damian Arellanes, Kung-Kiu Lau
Algebraic Service Composition for User-Centric IoT Applications. ICIOT (2018)
Rehman Arshad, Kung-Kiu Lau
Reverse Engineering Encapsulated Components from Object-Oriented Legacy Code. SEKE (2018)
Elie El Hayek, Imen Grida Ben Yahia, Damian Arellanes, Kung-Kiu Lau
Analysis of component-based approaches toward componentized 5G. ICIN (2018)
Damian Arellanes, Kung-Kiu Lau
Analysis and Classification of Service Interactions for the Scalability of the Internet of Things. ICIOT (2018)
Damian Arellanes, Kung-Kiu Lau
D-XMAN: A Platform For Total Compositionality in Service-Oriented Architectures. SC² (2017)
Damian Arellanes, Kung-Kiu Lau
Exogenous Connectors for Hierarchical Service Composition. SOCA (2017)
Simone Di Cola, Cuong M. Tran, Kung-Kiu Lau, Chen Qian, Michael Schulze
A Component Model for Defining Software Product Families with Explicit Variation Points. CBSE (2016)
Kung-Kiu Lau
From Formal Methods to Software Components: Back to the Future? FACS (2016)
Simone Di Cola, Kung-Kiu Lau, Cuong M. Tran, Chen Qian
Towards Defining Families of Systems in IoT: Logical Architectures with Variation Points. IoT 360 (1) (2015)
Simone Di Cola, Cuong M. Tran, Kung-Kiu Lau, Antonio Celesti, Maria Fazio
A Heterogeneous Approach for Developing Applications with FIWARE GEs. ESOCC (2015)
Simone Di Cola, Cuong M. Tran, Kung-Kiu Lau
A Graphical Tool for Model-Driven Development Using Components and Services. EUROMICRO-SEAA (2015)
Simone Di Cola, Kung-Kiu Lau, Cuong M. Tran, Chen Qian
An MDE tool for defining software product families with explicit variation points. SPLC (2015)
Kung-Kiu Lau
Software component models: past, present and future. CBSE (2014)
Asmaa Alayed, Kung-Kiu Lau, Petr Stepan, Cuong M. Tran
Towards Component-based Domain Engineering. EUROMICRO-SEAA (2013)
Kung-Kiu Lau, Petr Stepan, Cuong M. Tran, Sébastien Saudrais, Borjan Tchakaloff
A Holistic (Component-based) Approach to AUTOSAR Designs. EUROMICRO-SEAA (2013)
Petr Stepan, Kung-Kiu Lau
Controller patterns for component-based reactive control software systems. CBSE (2012)
Kung-Kiu Lau, Cuong M. Tran
X-MAN: An MDE Tool for Component-Based System Development. EUROMICRO-SEAA (2012)
Kung-Kiu Lau, Keng-Yap Ng, Tauseef Rana, Cuong M. Tran
Incremental construction of component-based systems. CBSE (2012)
Kung-Kiu Lau, Faris M. Taweel, Cuong M. Tran
The W Model for Component-Based Software Development. EUROMICRO-SEAA (2011)
Kung-Kiu Lau, Azlin Nordin, Keng-Yap Ng
Extracting Elements of Component-Based Systems from Natural Language Requirements. EUROMICRO-SEAA (2011)
Kung-Kiu Lau, Lily Safie, Petr Stepan, Cuong M. Tran
A component model that is both control-driven and data-driven. CBSE (2011)
Kung-Kiu Lau, Ioannis Ntalamagkas, Cuong M. Tran, Tauseef Rana
(Behavioural) Design Patterns as Composition Operators. CBSE (2010)
Kung-Kiu Lau, Tauseef Rana
A Taxonomy of Software Composition Mechanisms. EUROMICRO-SEAA (2010)
Perla Velasco Elizondo, Kung-Kiu Lau
A catalogue of component connectors to support development with reuse. J. Syst. Softw. 83 (7) (2010)
Kung-Kiu Lau, Azlin Nordin, Tauseef Rana, Faris M. Taweel
Constructing Component-Based Systems Directly from Requirements Using Incremental Composition. EUROMICRO-SEAA (2010)
Kung-Kiu Lau, Mario Ornaghi
Control Encapsulation: A Calculus for Exogenous Composition of Software Components. CBSE (2009)
Kung-Kiu Lau, Faris M. Taweel
Domain-Specific Software Component Models. CBSE (2009)
Kung-Kiu Lau, Ioannis Ntalamagkas
Component-Based Construction of Concurrent Systems with Active Components. EUROMICRO-SEAA (2009)
Kung-Kiu Lau, Cuong M. Tran
Server-side Exception Handling by Composite Web Services. WEWST@ECOWS (2008)
Kung-Kiu Lau, Ioannis Ntalamagkas
A Compositional Approach to Active and Passive Components. EUROMICRO-SEAA (2008)
Kung-Kiu Lau, Zheng Wang
Software Component Models. IEEE Trans. Software Eng. 33 (10) (2007)
Kung-Kiu Lau, Cuong M. Tran
Composite Web Services. WEWST@ECOWS (Final Proceedings) (2007)
Kung-Kiu Lau, Ling Ling, Perla Velasco Elizondo
Towards Composing Software Components in Both Design and Deployment Phases. CBSE (2007)
Kung-Kiu Lau
Active learning sheets for a beginner's course on reasoning about imperative programs. SIGCSE (2007)
Kung-Kiu Lau, Cuong M. Tran
Composite Web Services. WEWST (2007)
Kung-Kiu Lau, Zheng Wang
Verified component-based software in SPARK: experimental results for a missile guidance system. SIGAda (2007)
Kung-Kiu Lau, Vladyslav Ukis
A Study of Execution Environments for Software Components. CBSE (2007)
Kung-Kiu Lau
Using SPARK for a beginner's course on reasoning about imperative programs. SIGAda (2007)
Kung-Kiu Lau, Ling Ling, Vladyslav Ukis, Perla Velasco Elizondo
Composite Connectors for Composing Software Components. SC@ETAPS (2007)
Kung-Kiu Lau, Faris M. Taweel
Data Encapsulation in Software Components. CBSE (2007)
Stuart Allen, John N. Crossley, Kung-Kiu Lau, Iman Poernomo
Preface. Electron. Notes Theor. Comput. Sci. 153 (1) (2006)
Kung-Kiu Lau, Vladyslav Ukis
Defining and Checking Deployment Contracts for Software Components. CBSE (2006)
Kung-Kiu Lau
Software component models. ICSE (2006)
Kung-Kiu Lau, Ling Ling, Zheng Wang
Composing Components in Design Phase using Exogenous Connectors. EUROMICRO-SEAA (2006)
Kung-Kiu Lau, Faris M. Taweel
Towards Encapsulating Data in Component-Based Software Systems. CBSE (2006)
Kung-Kiu Lau, Vladyslav Ukis, Perla Velasco Elizondo, Zheng Wang
A Component Model for Separation of Control Flow from Computation in Component-Based Systems. Electron. Notes Theor. Comput. Sci. 163 (1) (2006)
Kung-Kiu Lau, Vladyslav Ukis
Automatic Control Flow Generation from Software Architectures. SC@ETAPS (2006)
Kung-Kiu Lau, Zheng Wang
A Taxonomy of Software Component Models. EUROMICRO-SEAA (2005)
Kung-Kiu Lau, Perla Velasco Elizondo, Zheng Wang
Exogenous Connectors for Software Components. CBSE (2005)
Kung-Kiu Lau, Mario Ornaghi, Zheng Wang
A Software Component Model and Its Preliminary Formalisation. FMCO (2005)
Kung-Kiu Lau, Alberto Momigliano, Mario Ornaghi
Constructive Specifications for Compositional Units. LOPSTR (2004)
Kung-Kiu Lau
A Beginner's Course on Reasoning About Imperative Programs. TFM (2004)
Kung-Kiu Lau
Component-Based Software Development and Logic Programming. ICLP (2003)
Kung-Kiu Lau, Mario Ornaghi
Correct OO Systems in Computational Logic. LOPSTR (2003)
Kung-Kiu Lau, Mario Ornaghi
Towards Correct Object-Oriented Design Frameworks in Computational Logic. LOPSTR (2002)
Maurice Bruynooghe, Kung-Kiu Lau
Special Issue on Program Development, Guest Editors' Introduction. Theory Pract. Log. Program. 2 (4-5) (2002)
Kung-Kiu Lau, Michel Vanden Bossche
Logic Programming for Software Engineering: A Second Chance. ICLP (2002)
Kung-Kiu Lau, Mario Ornaghi
Logic for Component-Based Software Development. Computational Logic: Logic Programming and Beyond (2002)
Shui Ming Ho, Kung-Kiu Lau
On the Implementation of OOD Frameworks in COM. EUROMICRO (2001)
Kung-Kiu Lau, Mario Ornaghi
Correct Object-Oriented Systems in Computational Logic. LOPSTR (2001)
Shui Ming Ho, Kung-Kiu Lau
On the Implementation of Catalysis Frameworks in COM. APSEC (2001)
Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Kenji Taguchi, Hirokazu Yatsu, Alan Wills
Formal specification of Catalysis frameworks. APSEC (2000)
Pierre Flener, Kung-Kiu Lau, Wolfgang Bibel
Foreword to the Special Issue on Schemas. J. Symb. Comput. 30 (1) (2000)
Pierre Flener, Kung-Kiu Lau, Mario Ornaghi, Julian Richardson
An Abstract Formalization of Correct Schemas for Program Synthesis. J. Symb. Comput. 30 (1) (2000)
Kung-Kiu Lau, Mario Ornaghi
Isoinitial Semantics for Logic Programs. Computational Logic (2000)
Kung-Kiu Lau, Mario Ornaghi
Isoinitial Models for Logic Programs: Some Preliminary Results. ICLP (1999)
Kung-Kiu Lau, Mario Ornaghi, Sten-Åke Tärnlund
Steadfast Logic Programs. J. Log. Program. 38 (3) (1999)
Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Hirokazu Yatsu
On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic. LOPSTR (1999)
Kung-Kiu Lau, Mario Ornaghi
OOD Frameworks in Component-Based Software - Development in Computational Logic. LOPSTR (1998)
Kung-Kiu Lau, Shaoying Liu, Mario Ornaghi, Alan Wills
Interacting Frameworks in Catalysis. ICFEM (1998)
Kung-Kiu Lau, Mario Ornaghi
Isoinitial Models for Logic Programs: A Preliminary Study. APPIA-GULP-PRODE (1998)
Kung-Kiu Lau, Mario Ornaghi
The Relationship Between Logic Programs and Specifications - The Subset Example Revisited. J. Log. Program. 30 (3) (1997)
Pierre Flener, Kung-Kiu Lau, Mario Ornaghi
On Correct Program Schemas. LOPSTR (1997)
Pierre Flener, Kung-Kiu Lau, Mario Ornaghi
Correct-Schema-Guided Synthesis of Steadfast Programs. ASE (1997)
Kung-Kiu Lau, Mario Ornaghi
On the Relationship between Logic Programs and Specifications. APPIA-GULP-PRODE (1997)
Kung-Kiu Lau, Mario Ornaghi, Alan Wills
Frameworks in Catalysis: Pictorial Notation and Formal Semantics. ICFEM (1997)
Christoph Kreitz, Kung-Kiu Lau, Mario Ornaghi
Formal Reasoning about Modules, Reuse and their Correctness. FAPR (1996)
Kung-Kiu Lau, Mario Ornaghi
Forms of Logic Specifications: A Preliminary Study. LOPSTR (1996)
Kung-Kiu Lau, Mario Ornaghi
A Formal Approach to Deductive Synthesis of Constraint Logic Programs. ILPS (1995)
Kung-Kiu Lau, Mario Ornaghi, Alberto Pettorossi, Maurizio Proietti
Correctness of Logic Program Transformations Based on Existential Termination. ILPS (1995)
Kung-Kiu Lau, Mario Ornaghi
Towards an Object-Oriented Methodology for Deductive Synthesis of Logic Programs. LOPSTR (1995)
Kung-Kiu Lau, Geraint A. Wiggins
A Tutorial on Synthesis of Logic Programs from Specifications. ICLP (1994)
Kung-Kiu Lau, Mario Ornaghi, Sten-Åke Tärnlund
The Halting Problem for Deductive Synthesis of Logic Programs. ICLP (1994)
Yves Deville, Kung-Kiu Lau
Logic Program Synthesis. J. Log. Program. (1994)
Kung-Kiu Lau, Vicky J. Bush, Pete J. Jinks
Towards an introductory formal programming course. SIGCSE (1994)
Kung-Kiu Lau, Mario Ornaghi
On Specification Frameworks and Deductive Synthesis of Logic Programs. LOPSTR (1994)
Kung-Kiu Lau, Mario Ornaghi
A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs. LOPSTR (1993)
Kung-Kiu Lau, Mario Ornaghi
An Incompleteness Result for Deductive Synthesis of Logic Programs. ICLP (1993)
Kung-Kiu Lau
Top-down Synthesis of Sorting Algorithms. Comput. J. 34 (Additional-Papers) (1991)
Kung-Kiu Lau, Steven D. Prestwich
Synthesis of a Family of Recursive Sorting Procedures. ISLP (1991)
Kung-Kiu Lau, Steven D. Prestwich
Top-down Synthesis of Recursive Logic Procedures from First-order Logic Specifications. ICLP (1990)
Kung-Kiu Lau
A Note on Synthesis and Classification of Sorting Algorithms. Acta Informatica 27 (1) (1989)
Kung-Kiu Lau, Xiang-Zhen Qiao
FFT on a New Parallel Vector Processor. CONPAR (1986)