selected publications
-
academic article
- An automated approach for merging business process fragments. Computers in Industry. 82:104-118. 2016
-
book
-
chapter
- Business Process Fragments Behavioral Merge. Lecture notes in computer science. 112-129. 2014
- Negotiating Deadline Constraints in Inter-organizational Logistic Systems: A Healthcare Case Study. Lecture notes in business information processing. 108-118. 2012
- Satisfaction and Coherence of Deadline Constraints in Inter-Organizational Workflows. Lecture notes in computer science. 523-539. 2010
-
conference paper
- A Demo of IoT Healthcare Application Provisioning in Hybrid Cloud/Fog Environment. . 2016
- A demo of a PaaS for IoT applications provisioning in hybrid cloud/fog environment. . 1-2. 2016
- Traffic-Aware Virtual Machine Migration Scheduling Problem in Geographically Distributed Data Centers. . 798-801. 2016
- A Formal Approach for Verifying QoS Variability in Web Services Composition Using EVENT-B. . 519-526. 2015
- Traffic-aware virtual machine placement in geographically distributed Clouds. . 024-029. 2014
- A Behavior-Aware Systematic Approach for Merging Business Process Fragments. . 194-197. 2014
- Combining Dynamic Workflow and Transactional Semantics Using a Pattern-Based Approach. . 68-73. 2014
- Optimal Virtual Machine Placement in Large-Scale Cloud Systems. . 424-431. 2014
- Formal approach for generating privacy preserving user requirements-based business process fragments. . 2014
- Process Decomposition Based on Semantics and Privacy-Aware Requirements-Driven Approach. . 654-657. 2013
- ENGINEERING PROCESS FOR CAPACITY-DRIVEN WEB SERVICES. . 84-95. 2010
- MODELING TIME CONSTRAINTS IN INTER-ORGANIZATIONAL WORKFLOWS. . 221-229. 2010
Co-author Network