Kung-Kiu Lau - RankMe

109 papers A* 2A 4B 8C 20Misc 1Journal 12Unranked 54

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