Process Mining -Data Science in Action, 2016. ,
Engineering and Deployment of Cooperative Information Systems, First International Conference, pp.45-63, 2002. ,
A metamodel to integrate business processes time perspective in BPMN 2, Information & Software Technology, vol.77, pp.17-33, 2016. ,
Specification and proof in membership equational logic, Theoretical Computer Science, vol.236, pp.35-132, 2000. ,
URL : https://hal.archives-ouvertes.fr/inria-00099079
Performance evaluation of business processes through a formal transformation to SAN, pp.42-56, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00788798
Applying process analysis to the italian egovernment enterprise architecture, Web Services and Formal Methods -8th International Workshop, WS-FM 2011, pp.111-127, 2011. ,
Automating the transformation from BPMN models to CSP+T specifications, 35th Annual IEEE Software Engineering Workshop, SEW 2012, pp.100-109, 2012. ,
Formal semantics and implementation of BPMN 2.0 inclusive gateways, Web Services and Formal Methods -7th International Workshop, WS-FM 2010, pp.146-160, 2010. ,
All About Maude -A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, Lecture Notes in Computer Science, vol.4350, 2007. ,
Semantics and analysis of business process models in BPMN, Information & Software Technology, vol.50, pp.1281-1294, 2008. ,
A Note on Resource Allocation Analysis of BPMN Processes, 2018. ,
Computing the parallelism degree of timed BPMN processes, Software Technologies: Applications and Foundations -STAF 2018 Collocated Workshops, pp.320-335, 2018. ,
Stochastic analysis of BPMN with time in rewriting logic, Sci. Comput. Program, vol.168, pp.1-17, 2018. ,
Verifying timed BPMN processes using maude, Coordination Models and Languages -19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, pp.219-236, 2017. ,
BPMN formalization and verification using maude, Proceedings of the 2014 Workshop on Behaviour Modelling -Foundations and Applications, pp.1-8, 2014. ,
Time-bpmn, 2009 IEEE Conference on Commerce and Enterprise Computing, pp.361-367, 2009. ,
International Standard 19510, Information technology -Business Process Model and Notation, 2013. ,
VBPMN: automated verification of BPMN processes, Integrated Formal Methods -13th International Conference, pp.323-331, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01591665
Performance Modeling and Analysis of Workflow, IEEE Transactions on Systems, Man, and Cybernetics, vol.34, pp.229-242, 2004. ,
Quantifying the parallelism in BPMN processes using model checking, CBSE'14, Proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering, pp.159-168, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01016412
Conceptual framework for business processes compositional verification, Information & Software Technology, vol.54, pp.149-161, 2012. ,
Conditional Rewriting Logic as a Unified Model of Concurrency, Theoretical Computer Science, vol.96, pp.73-155, 1992. ,
A formalization proposal of timed BPMN for compositional verification of business processes, Enterprise Information Systems -12th International Conference, ICEIS 2010, pp.388-403, 2010. ,
Analysis of Resource-Constrained Processes with Colored Petri Nets, Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, pp.251-266, 2005. ,
Quantitative Analysis of Resource-Constrained Business Processes, Trans. on Syst., Man, and Cybern, vol.42, pp.669-684, 2012. ,
Modeling and analyzing resource-constrained business processes, Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, pp.2824-2830, 2009. ,
Semantics and pragmatics of real-time maude, Higher-Order and Symbolic Computation, vol.20, pp.161-196, 2007. ,
, Business process model and notation (BPMN) -v 2.0, OMG, 2011.
Checking the realizability of BPMN 2.0 choreographies, Proceedings of the ACM Symposium on Applied Computing, SAC 2012, pp.1927-1934, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00685393
Checking business process evolution, Formal Aspects of Component Software -13th International Conference, FACS 2016, pp.36-53, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01366641
Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2007, In conjunction with ICEIS, pp.126-137, 2007. ,
A Petri Net Approach for the Performance Analysis of Business Processes, 1995. ,
Resource utilization prediction in decision-intensive business processes, Proceedings of the 7th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2017), pp.128-141, 2017. ,
Hand-Book on Statistical Distributions for Experimentalists, 2007. ,
A process semantics for BPMN, Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, pp.355-374, 2008. ,
Verifying business process compatibility, Proceedings of the Eighth International Conference on Quality Software, pp.126-131, 2008. ,
A relative timed semantics for BPMN, Electronic Notes in Theoretical Computer Science, vol.229, pp.59-75, 2009. ,