144 results on '"Francesco Tiezzi"'
Search Results
2. Formal Approaches for Modeling and Analysis of Business Process Collaborations.
3. Klaim in the Making.
4. BEAR: BPMN and Environment AnimatoR.
5. On the Interplay Between BPMN Collaborations and the Physical Environment.
6. Unveiling Algorand Storage Peculiarities.
7. A Methodology for the Analysis of Robotic Systems via Process Mining.
8. Rollback Recovery in Session-Based Programming.
9. Coordinating and programming multiple ROS-based robots with X-KLAIM.
10. A Flexible Approach to Multi-party Business Process Execution on Blockchain.
11. A systematic literature review on IoT-aware business process modeling views, requirements and notations.
12. An Approach to Support Digital Process Twin.
13. Flexible execution of multi-party business processes on blockchain.
14. Programming Multi-robot Systems with X-KLAIM.
15. A Choreography-Driven Approach for Blockchain-Based IoT Applications.
16. ChorChain: A Blockchain-Based Framework for Executing and Auditing BPMN Choreographies.
17. A Purpose-Guided Log Generation Framework.
18. A Technique for Collaboration Discovery.
19. PURPLE: a PURPose-guided Log GEnerator (Extended Abstract).
20. Enhancing compatibility in QoS communication for the Internet of Robotic Things.
21. Incentivizing Customer Reviews in the Grocery Industry: The Re-Taled Project's Approach.
22. Consistent modelling of hierarchical BPMN collaborations.
23. Engineering Trustable and Auditable Choreography-based Systems Using Blockchain.
24. Checkpoint-based rollback recovery in session programming.
25. Empowering trusted data sharing for data analytics in a federated environment: A blockchain-based approach.
26. Disciplined use of BPMN for mission modeling of Multi-Robot Systems.
27. RePROSitory: a Repository platform for sharing business PROcess models and logS.
28. ChorChain: A model-driven framework for choreography-based systems using blockchain.
29. Verification of Privacy-Enhanced Collaborations.
30. Writing Robotics Applications with X-Klaim.
31. PALM: A Technique for Process ALgebraic Specification Mining.
32. Engineering trustable choreography-based systems using blockchain.
33. Modelling Notations for IoT-Aware Business Processes: A Systematic Literature Review.
34. A BPMN-driven framework for Multi-Robot System development.
35. Executable Digital Process Twins: Towards the Enhancement of Process-Driven Systems.
36. Analysis of Ethereum Smart Contracts and Opcodes.
37. UBBA: Unity Based BPMN Animator.
38. Automata-Based Behavioural Contracts with Action Correlation.
39. X-Klaim Is Back.
40. Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies.
41. RePROSitory: a Repository Platform for Sharing Business PROcess modelS.
42. Formalising BPMN Service Interaction Patterns.
43. Checking Business Process Correctness in Apromore.
44. Global vs. Local Semantics of BPMN 2.0 OR-Join.
45. Collaboration vs. Choreography Conformance in BPMN 2.0: From Theory to Practice.
46. Runtime Computation of Optimal Offloading Scheduling.
47. A Formal Approach to the Engineering of Domain-Specific Distributed Systems.
48. MIDA: Multiple Instances and Data Animator.
49. Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support.
50. A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.