Quality & Analysis – PROS https://pros.unicam.it PROcesses & Services Lab Tue, 11 Nov 2025 21:51:20 +0000 en-US hourly 1 https://wordpress.org/?v=6.8.3 https://pros.unicam.it/wp-content/uploads/2020/05/logoPros-150x150.png Quality & Analysis – PROS https://pros.unicam.it 32 32 SuMo https://pros.unicam.it/sumo/ Tue, 11 Nov 2025 21:24:35 +0000 https://pros.unicam.it/?p=3556 Data Extraction Methodology for EVM-based Smart Contracts https://pros.unicam.it/data-extraction-methodology/ Mon, 24 Jun 2024 09:49:14 +0000 https://pros.unicam.it/?p=4410 Soup https://pros.unicam.it/soup/ Fri, 07 Jun 2024 08:19:26 +0000 https://pros.unicam.it/?p=4335 C-QoS https://pros.unicam.it/c-qos/ Sat, 05 Aug 2023 10:23:12 +0000 https://pros.unicam.it/?p=3486 BPMN Inspector https://pros.unicam.it/bpmn-inspector/ Sun, 05 Feb 2023 15:25:42 +0000 https://pros.unicam.it/?p=3293 C4 https://pros.unicam.it/c4/ Wed, 12 Jan 2022 10:59:06 +0000 http://pros.unicam.it/?p=2890 Global vs. Local OR-Join Semantics https://pros.unicam.it/orjoin/ Fri, 19 Nov 2021 16:26:57 +0000 https://pros.unicam.it/?p=2769 S³ https://pros.unicam.it/s%c2%b3/ Fri, 19 Nov 2021 14:02:53 +0000 http://pros.unicam.it/?p=2755 BProVe https://pros.unicam.it/bprove/ Fri, 19 Nov 2021 08:23:25 +0000 https://pros.unicam.it/?p=2726 BEBoP https://pros.unicam.it/bebop/ Fri, 19 Nov 2021 08:21:55 +0000 https://pros.unicam.it/?p=2725