Kais Klai

According to our database1, Kais Klai authored at least 58 papers between 2004 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
Formal Modelling and Verification of Cloud Resource Allocation in Business Processes.
Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018

A Formal Model for Business Process Configuration Verification Supporting OR-Join Semantics.
Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018

2017
On the Verification of Opacity in Web Services and Their Composition.
IEEE Trans. Services Computing, 2017

Track Report for Formal Verification of Service Based Systems: FVSBS 2017.
Proceedings of the 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2017

A Parallel Construction of the Symbolic Observation Graph: the Basis for Efficient Model Checking of Concurrent Systems.
Proceedings of the SCSS 2017, 2017

Formal Model and Method to Decompose Process-Aware IoT Applications.
Proceedings of the On the Move to Meaningful Internet Systems. OTM 2017 Conferences, 2017

First international workshop on verification of business and software processes.
Proceedings of the 2017 International Conference on Software and System Process, 2017

Parallel Symbolic Observation Graph.
Proceedings of the 2017 IEEE International Symposium on Parallel and Distributed Processing with Applications and 2017 IEEE International Conference on Ubiquitous Computing and Communications (ISPA/IUCC), 2017

Measuring opacity in web services.
Proceedings of the 19th International Conference on Information Integration and Web-based Applications & Services, 2017

Deadlock-Freeness Verification of Business Process Configuration Using SOG.
Proceedings of the Service-Oriented Computing - 15th International Conference, 2017

Computing Quantified Opacity for SOG-Abstracted Web Services.
Proceedings of the 2017 IEEE International Conference on Services Computing, 2017

2016
Track Report for Formal Verification of Service Based Systems: FVSBS 2016.
Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2016

Formal Verification of Time-Aware Cloud Resource Allocation in Business Process.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2016 Conferences, 2016

Model Checking of Composite Cloud Services.
Proceedings of the IEEE International Conference on Web Services, 2016

A Formal Approach for Service Composition in a Cloud Resources Sharing Context.
Proceedings of the IEEE/ACM 16th International Symposium on Cluster, 2016

2015
Timed Aggregate Graph: A Finite Graph Preserving Event- and State-Based Quantitative Properties of Time Petri Nets.
Trans. Petri Nets and Other Models of Concurrency, 2015

Checking Opacity of Vulnerable Critical Systems On-The-Fly.
IJITWE, 2015

Time Petri Net Models for a New Queuless and Uncentralized Resource Discovery System.
CoRR, 2015

FVSBS 2015 Track Report: Formal Verification of Service Based Systems.
Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015

Combining Enumerative and Symbolic - Techniques for Diagnosis of Discrete-Event Systems.
Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, 2015

A Bottom-Up Approach to Check the Correctness of Interorganisational Workflows.
Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

Opacity Preserving Abstraction for Web Services and Their Composition Using SOGs.
Proceedings of the 2015 IEEE International Conference on Web Services, 2015

LTL Model Cheking of Service-Based Business Processes in the Cloud.
Proceedings of the 39th Annual Computer Software and Applications Conference, 2015

Queue-less, Uncentralized Resource Discovery: Formal Specification and Verification.
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), 2015

2014
An On-the-Fly Approach for the Verification of Opacity in Critical Systems.
Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

Track Report of Formal Verification of Service Based Systems (FVSBS 2014).
Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

Deployment of Service-Based Processes in the Cloud Using Petri Net Decomposition.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2014 Conferences, 2014

On-The-Fly Model Checking of Times Properties on Time Petri Nets.
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

2013
A New Approach to Abstract Reachability State Space of Time Petri Nets.
Proceedings of the 2013 20th International Symposium on Temporal Representation and Reasoning, 2013

Verification of Reachability Properties for Time Petri Nets.
Proceedings of the Reachability Problems - 7th International Workshop, 2013

Formal Abstraction and Compatibility Checking of Web Services.
Proceedings of the 2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28, 2013

Checking Compatibility of Web Services Behaviorally.
Proceedings of the Fundamentals of Software Engineering - 5th International Conference, 2013

Time-Based Evaluation of Service-Based Business Process Elasticity in the Cloud.
Proceedings of the IEEE 5th International Conference on Cloud Computing Technology and Science, 2013

Formal Modeling of Elastic Service-Based Business Processes.
Proceedings of the 2013 IEEE International Conference on Services Computing, Santa Clara, CA, USA, June 28, 2013

2012
Modelling and Formal Verification of the NEO Protocol.
Trans. Petri Nets and Other Models of Concurrency, 2012

Formalizing non-concurrent UML state machines using colored petri nets.
ACM SIGSOFT Software Engineering Notes, 2012

Generic and Specific Compatibility Criteria for Web Service Composition: Formal Abstraction and Modular Verification Approach1.
Int. J. Web Service Res., 2012

A Counterexample-Based Incremental and Modular Verification Approach.
Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

Checking Compatibility of Web Services Using SOGs.
Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012

Design, Verification and Prototyping the Next Generation of Desktop Grid Middleware.
Proceedings of the Advances in Grid and Pervasive Computing - 7th International Conference, 2012

Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs.
Proceedings of the Formal Techniques for Distributed Systems, 2012

2011
Formal verification of UML state diagrams: a petri net based approach.
ACM SIGSOFT Software Engineering Notes, 2011

Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes.
Data Knowl. Eng., 2011

Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking
CoRR, 2011

Petri Net Modeling and Verification of Transactional Workflows.
Proceedings of the 20th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2011

Self-Loop Aggregation Product - A New Hybrid Approach to On-the-Fly LTL Model Checking.
Proceedings of the Automated Technology for Verification and Analysis, 2011

2010
The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification.
Proceedings of the Applications and Theory of Petri Nets, 2010

2009
Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes.
Proceedings of the Business Process Management, 7th International Conference, 2009

2008
CoopFlow: A Bottom-Up Approach to Workflow Cooperation for Short-Term Virtual Enterprises.
IEEE Trans. Services Computing, 2008

MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs.
Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

Modular construction of the symbolic observation graph.
Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008

2007
An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

2006
An Observation-based Algorithm for Workflow Matching.
Proceedings of the Modelling, 2006

Behavioral Technique for Workflow Abstraction and Matching.
Proceedings of the Business Process Management, 4th International Conference, 2006

2005
Abstraction-basedWorkflow Cooperation Using Petri Net Theory.
Proceedings of the 14th IEEE International Workshops on Enabling Technologies (WETICE 2005), 2005

Modular Verification of Petri Nets Properties: A Structure-Based Approach.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets.
Proceedings of the Applications and Theory of Petri Nets 2005, 2005

2004
Design and Evaluation of a Symbolic and Abstraction-Based Model Checker.
Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004


  Loading...