​
Login / Signup
Sea Ling
Publication Activity (10 Years)
Years Active: 1993-2020
Publications (10 Years): 15
Top Topics
Business Processes
Java Programs
Cloud Computing
Situation Aware
Top Venues
CoRR
ISEC
Int. J. Pervasive Comput. Commun.
Sensors
</>
Publications
</>
Ayesha Sadiq
,
Yuan-Fang Li
,
Sea Ling
A survey on the use of access permission-based specifications for program verification.
J. Syst. Softw.
159 (2020)
Vrinda Yadav
,
Rushikesh K. Joshi
,
Sea Ling
Evolution Traceability Roadmap for Business Processes.
ISEC
(2019)
Ayesha Sadiq
,
Li Li
,
Yuan-Fang Li
,
Ijaz Ahmed
,
Sea Ling
Sip4J: Statically Inferring Access Permission Contracts for Parallelising Sequential Java Programs.
ASE
(2019)
Ayesha Sadiq
,
Yuan-Fang Li
,
Sea Ling
,
Li Li
,
Ijaz Ahmed
Sip4J: Statically inferring permission-based specifications for sequential Java programs.
CoRR
(2019)
Alireza Hassani
,
Alexey Medvedev
,
Arkady B. Zaslavsky
,
Pari Delir Haghighi
,
Prem Prakash Jayaraman
,
Sea Ling
Efficient Execution of Complex Context Queries to Enable Near Real-Time Smart IoT Applications.
Sensors
19 (24) (2019)
Alexey Medvedev
,
Alireza Hassani
,
Arkady B. Zaslavsky
,
Pari Delir Haghighi
,
Sea Ling
,
Prem Prakash Jayaraman
Benchmarking IoT Context Management Platforms: High-level Queries Matter.
GIoTS
(2019)
Alireza Hassani
,
Alexey Medvedev
,
Pari Delir Haghighi
,
Sea Ling
,
Arkady B. Zaslavsky
,
Prem Prakash Jayaraman
Context Definition and Query Language: Conceptual Specification, Implementation, and Evaluation.
Sensors
19 (6) (2019)
Alexey Medvedev
,
Alireza Hassani
,
Pari Delir Haghighi
,
Sea Ling
,
Maria Indrawan-Santiago
,
Arkady B. Zaslavsky
,
Ulrich Fastenrath
,
Florian Mayer
,
Prem Prakash Jayaraman
,
Niklas Kolbe
Situation Modelling, Representation, and Querying in Context-as-a-Service IoT Platform.
GIoTS
(2018)
Alireza Hassani
,
Pari Delir Haghighi
,
Sea Ling
,
Prem Prakash Jayaraman
,
Arkady B. Zaslavsky
Querying IoT services: A smart carpark recommender use case.
WF-IoT
(2018)
Vrinda Yadav
,
Rushikesh K. Joshi
,
Sea Ling
A Tool for Traceable Evolution of Process Architectures.
ICSA Companion
(2018)
Alireza Hassani
,
Alexey Medvedev
,
Pari Delir Haghighi
,
Sea Ling
,
Maria Indrawan-Santiago
,
Arkady B. Zaslavsky
,
Prem Prakash Jayaraman
Context-as-a-Service Platform: Exchange and Share Context in an IoT Ecosystem.
PerCom Workshops
(2018)
Alireza Hassani
,
Pari Delir Haghighi
,
Prem Prakash Jayaraman
,
Arkady B. Zaslavsky
,
Sea Ling
,
Alexey Medvedev
CDQL: A Generic Context Representation and Querying Approach for Internet of Things Applications.
MoMM
(2016)
Ayesha Sadiq
,
Yuan-Fang Li
,
Sea Ling
,
Ijaz Ahmed
Extracting Permission-Based Specifications from a Sequential Java Program.
ICECCS
(2016)
Alexey Medvedev
,
Alireza Hassani
,
Arkady B. Zaslavsky
,
Prem Prakash Jayaraman
,
Maria Indrawan-Santiago
,
Pari Delir Haghighi
,
Sea Ling
Data Ingestion and Storage Performance of IoT Platforms: Study of OpenIoT.
InterOSS@IoT
(2016)
Vrinda Yadav
,
Rushikesh K. Joshi
,
Sea Ling
Process Edification for Traceability in Evolving Architectures.
ISEC
(2016)
Chii Chang
,
Satish Narayana Srirama
,
Sea Ling
Service Discovery and Trust in Mobile Social Network in Proximity.
CoRR
(2015)
Chii Chang
,
Satish Narayana Srirama
,
Sea Ling
Mobile social network in proximity: taxonomy, approaches and open challenges.
Int. J. Pervasive Comput. Commun.
11 (1) (2015)
Chii Chang
,
Seng W. Loke
,
Hai Dong
,
Flora D. Salim
,
Satish Narayana Srirama
,
Mohan Liyanage
,
Sea Ling
An Energy-Efficient Inter-organizational Wireless Sensor Data Collection Framework.
ICWS
(2015)
Chii Chang
,
Satish Narayana Srirama
,
Sea Ling
SPiCa: a social private cloud computing application framework.
MUM
(2014)
Chii Chang
,
Satish Narayana Srirama
,
Sea Ling
Towards an adaptive mediation framework for Mobile Social Network in Proximity.
Pervasive Mob. Comput.
12 (2014)
Chii Chang
,
Sea Ling
,
Satish Narayana Srirama
Trustworthy service discovery for mobile social network in proximity.
PerCom Workshops
(2014)
Chii Chang
,
Sea Ling
Towards an Infrastructure-less SOA for Mobile Web Service Composition
CoRR
(2013)
Sucha Smanchat
,
Maria Indrawan
,
Sea Ling
,
Colin Enticott
,
David Abramson
Scheduling parameter sweep workflow in the Grid based on resource competition.
Future Gener. Comput. Syst.
29 (5) (2013)
Waskitho Wibisono
,
Arkady B. Zaslavsky
,
Sea Ling
Situation-Awareness and Reasoning Using Uncertain Context in Mobile Peer-To-Peer Environments.
Int. J. Pervasive Comput. Commun.
9 (1) (2013)
Chii Chang
,
Satish Narayana Srirama
,
Sea Ling
An Adaptive Mediation Framework for Mobile P2P Social Content Sharing.
ICSOC
(2012)
Chii Chang
,
Sea Ling
,
Shonali Krishnaswamy
ProMWS: Proactive mobile Web service provision using context-awareness.
PerCom Workshops
(2011)
Sucha Smanchat
,
Maria Indrawan
,
Sea Ling
,
Colin Enticott
,
David Abramson
A Scheduler based on Resource Competition for Parameter Sweep Workflow.
ICCS
(2011)
Seng Wai Loke
,
Sea Ling
,
Maria Indrawan
,
Eddie Leung
Q-Aura: A Quantitative Model for Managing Mutual Awareness of Smart Social Artifacts.
IEEE Trans. Syst. Man Cybern. Part A
41 (1) (2011)
Noor Azilah Draman
,
Campbell Wilson
,
Sea Ling
Modified Ais-based Classifier for Music Genre Classification.
ISMIR
(2010)
Waskitho Wibisono
,
Arkady B. Zaslavsky
,
Sea Ling
CoMiHoC: A Middleware Framework for Context Management in MANET Environment.
AINA
(2010)
Waskitho Wibisono
,
Sea Ling
,
Arkady B. Zaslavsky
Collaborative context management framework for mobile ad hoc network environments.
SAC
(2010)
Sucha Smanchat
,
Sea Ling
,
Maria Indrawan
Toward grid workflow scheduling based on resource competition.
EDOCW
(2009)
Waskitho Wibisono
,
Sea Ling
,
Arkady B. Zaslavsky
A Context Middleware Framework for Managing Context in Mobile Ad Hoc Network Environment.
Mobile Data Management
(2009)
Sucha Smanchat
,
Maria Indrawan
,
Sea Ling
,
Colin Enticott
,
David Abramson
Scheduling Multiple Parameter Sweep Workflow Instances on the Grid.
eScience
(2009)
Linda L. Dawson
,
Sea Ling
,
Maria Indrawan
,
Stephen Weeding
,
Juanita I. Fernando
Towards a framework for mobile information environments: a hospital-based example.
MoMM
(2008)
Waskitho Wibisono
,
Arkady B. Zaslavsky
,
Sea Ling
Towards a Service-Oriented Approach for Managing Context in Mobile Environment.
ICSOC
(2008)
Chii Chang
,
Sea Ling
Towards a context-aware solution for device failures in service-oriented workflow.
iiWAS
(2008)
Eddie Leung
,
Maria Indrawan
,
Sea Ling
Toward a model of service interaction enabler in mobile environment.
CSSSIA
(2008)
Sucha Smanchat
,
Sea Ling
,
Maria Indrawan
A survey on context-aware workflow adaptations.
MoMM
(2008)
Sea Ling
,
Seng Wai Loke
,
Maria Indrawan
Towards a Model of Interaction for Mutual Aware Devices and Everyday Artifacts.
UIC
(2007)
Maria Indrawan
,
Seng Wai Loke
,
Sea Ling
,
Frida Samara
Unobtrusive User Profiling: The Use of RFID to Create a Smart Wardrobe.
IWRT
(2007)
Seng Wai Loke
,
Sea Ling
,
Maria Indrawan
,
Suryani Kurniati
Adaptive Workflows for Smart Devices - A Concrete Approach Towards Device Failures.
ICEIS (4)
(2007)
Victor Juay
,
Maria Indrawan
,
Sea Ling
Realising aura for initiating interactions in real environments.
Mobility Conference
(2007)
Sea Ling
,
Maria Indrawan
,
Seng Wai Loke
RFID-based user profiling of fashion preferences: blueprint for a smart wardrobe.
Int. J. Internet Protoc. Technol.
2 (3/4) (2007)
Ruwini E. Kodikara
,
Sea Ling
,
Arkady B. Zaslavsky
Evaluating Cross-layer Context Exchange in Mobile Ad-hoc Networks with Colored Petri Nets.
ICPS
(2007)
Seng Wai Loke
,
Sea Ling
,
Gerry Butler
,
Brett Gillick
Levels of Abstraction in Programming Device Ecology Workflows.
ICEIS (4)
(2005)
Sucha Smanchat
,
Maria Indrawan
,
Sea Ling
,
Seng Wai Loke
Asynchronous and Synchronous Communications in Petri Nets for Run-Time Analysis of a Device Ecology.
iiWAS
(2005)
Seng Wai Loke
,
Sea Ling
Analyzing Observable Behaviours of Device Ecology Workflows.
ICEIS (4)
(2004)
Cheah Wai Shiang
,
Seng Wai Loke
,
Shonali Krishnaswamy
,
Sea Ling
Adding Flexibility to a Room Booking System Using Argumentation-Inspired Negotiations as Mediated by Mobile Agents.
IAT
(2004)
Sea Ling
,
Seng Wai Loke
Engineering Multiagent Systems Based on Interaction Protocols: A Compositional Petri Net Approach.
ICEIS (4)
(2003)
Sea Ling
,
Iman Poernomo
,
Heinz W. Schmidt
Describing Web Service Architectures through Design-by-Contract.
ISCIS
(2003)
Sea Ling
,
Seng Wai Loke
MIP-Nets: A Compositional Model of Multiagent Interaction.
CEEMAS
(2003)
Sea Ling
,
Seng Wai Loke
A formal compositional model of multiagent interaction.
AAMAS
(2003)
Sea Ling
,
Seng Wai Loke
Advanced Petri Nets for Modelling Mobile Agent Enabled Interorganizational Workflows.
ECBS
(2002)
Sea Ling
,
Seng Wai Loke
Verification of Itineraries for Mobile Agent Enabled Interorganizational Workflow.
DEXA Workshop
(2001)
Sea Ling
,
Heinz W. Schmidt
Time Petri nets for workflow modelling and analysis.
SMC
(2000)
Sea Ling
,
Heinz W. Schmidt
,
Rohan Fletcher
Constructing Interoperable Components in Distributed Systems.
TOOLS (32)
(1999)
Sea Ling
,
Heinz W. Schmidt
Towards Analysing a Class of Object Petri Nets.
Australian Software Engineering Conference
(1996)
Sea Ling
,
Bohdan Durnota
A Comparison of Techniques for Specifying Concurrent Systems Using the Object-Oriented Paradigm.
TOOLS (12/9)
(1993)