Publications of Marco Franceschetti (ICS)
- Go to ICS Web Page (external)
- All Publications of Marco Franceschetti in FoDok (external)
- Show All Publications of the ICS Group
2022
[1] | Dynamic Controllability of Processes without Surprises. Applied Sciences, 12(3):1461, MDPI, 2022. |
2021
[1] | Towards Representing Time-Cost Tradeoffs for Service Compositions. In 2021 IEEE International Conference on Services Computing (SCC), pages 79-88, 2021. |
[2] | Time in Data Models. In International Conference on Future Data and Security Engineering, pages 23-35, 2021. |
[3] | Determining temporal agreements in cross-organizational business processes. Information and Computation, 281:104792, Elsevier, 2021. |
[4] | Semi-contingent Task Durations: Characterization and Controllability. In Advanced Information Systems Engineering, 12751:246-261, Springer Nature Switzerland AG, 2021. [ DOI ] |
[5] | Time and Processes:Towards Engineering Temporal Requirements. In Proceedings of the 16th International Conference on Software Technologies (ICSOFT 2021), pages 09-16, SciTePress - Science and Technology Publications, 2021. [ DOI ] |
2020
[1] | Temporal variables for business process modeling. PhD-Thesis, Universität Klagenfurt, 2020. |
[2] | Negotiating Temporal Commitments in Cross-Organizational Business Processes. In 27th International Symposium on Temporal Representation and Reasoning, 2020. [ DOI ] |
[3] | Time and Business Process Management: Problems, Achievements, Challenges. In 27th International Symposium on Temporal Representation and Reasoning, pages 25-32, 2020. [ DOI ] |
[4] | Designing Decentralized Business Processes with Temporal Constraints.. In Advanced Information Systems Engineering, pages 51-63, Springer Nature Switzerland AG, 2020. [ DOI ] |
[5] | Conditional Schedules for Processes with Temporal Constraints. . SN Computer Science , Vol. 1(4):1-18, 2020. [ DOI ] |
[6] | Computing Admissible Temporal SLAs for Web Service Compositions. In 2020 IEEE International Conference on Web Services (ICWS), pages 318-326, 2020. [ DOI ] |
[7] | Scheduling Processes Without Sudden Termination. In Enterprise, Business-Process and Information Systems Modeling, 387:117-132, Springer Nature Switzerland AG, 2020. [ DOI ] |
2019
[1] | Computing Ranges for Temporal Parameters of Composed Web Services.. In 21st International Conference on Information Integration and Web-based Applications & Services (iiWAS2019), pages 537-545, ACM Digital Library, 2019. [ DOI ] |
[2] | Optimizing data-flow implementations for inter-organizational processes. Distributed and Parallel Databases, 37:651-695, 2019. [ DOI ] |
[3] | Dynamic Service Binding for Time-Aware Service Compositions. In 2019 IEEE 23rd International Enterprise Distributed Object Computing Workshop (EDOCW), pages 146-151, IEEE, 2019. [ DOI ] |
[4] | Towards Checking Dynamic Controllability of Processes with Temporal Loops. In Joint Proceedings of the ER Forum and Poster & Demos Session 2019, 2469:1-14, CEUR Workshop Proceedings (CEUR-WS.org), 2019. |
[5] | Checking Temporal Service Level Agreements for Web Service Compositions with Temporal Parameters. In IEEE International Conference on Web Services, ICWS 2019, pages 443-445, IEEE, 2019. [ DOI ] |
[6] | Balancing Privity and Enforceability of BPM-Based Smart Contracts on Blockchains. In Business Process Management: Blockchain and Central and Eastern Europe Forum. BPM 2019, 361:87-102, Springer Verlag GmbH, 2019. [ DOI ] |
[7] | Controllability of business processes with temporal variables. In Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, pages 40-47, ACM - New York, 2019. [ DOI ] |
2018
[1] | Optimizing data-flow implementations for inter-organizational processes. Distributed and Parallel Databases, pages 1-45, 2018. [ DOI ] |
[2] | Temporal Variables for Time Modeling in Business Processes. In Proceedings of the Doctoral Consortium Papers Presented at the 30th International Conference on Advanced Information Systems Engineering (CAiSE 2018), pages 64-72, CEUR Workshop Proceedings (CEUR-WS.org), 2018. |
[3] | Controllability of Orchestrations with Temporal SLA: Encoding Temporal XOR in CSTNUD.. In 20th International Conference on Information Integration and Web-based Applications & Services (iiWAS ’18), pages 234-242, ACM New York, 2018. [ DOI ] |
[4] | Expressiveness of Temporal Constraints for Process Models. In ER 2018 Workshops, 11158:119-133, Springer Nature, 2018. |
2017
[1] | Analyzing Data-Flow Implementations for Distributed Execution of Inter-Organizational Processes. In Proceedings of the 19th International Conference on Information Integration and Web-based Applications & Services (iiWAS2017), pages 15-22, ACM - New York, 2017. |