Andrea Callia D'Iddio

Publication Activity (10 Years)

Years Active: 2013-2018
Publications (10 Years): 7

Top Topics

Business Processes

Inter Organizational

Systems Engineering

Top Venues

Publications

Miten Mistry, Andrea Callia D'Iddio, Michael Huth, Ruth Misener
Satisfiability modulo theories for process systems engineering. Comput. Chem. Eng. 113 (2018)
Leif-Nissen Lundbæk, Andrea Callia D'Iddio, Michael Huth
Centrally Governed Blockchains: Optimizing Security, Cost, and Availability. Models, Algorithms, Logics and Tools (2017)
Andrea Callia D'Iddio, Michael Huth
Manyopt: An Extensible Tool for Mixed, Non-Linear Optimization Through SMT Solving. CoRR (2017)
Andrea Callia D'Iddio, Christian H. Schunck, Franco Arcieri, Maurizio Talamo
Online and offline conformance checking of inter-organizational business processes with incomplete process logs. ICCST (2016)
Leif-Nissen Lundbaek, Andrea Callia D'Iddio, Michael Huth
Optimizing Governed Blockchains for Financial Process Authentications. CoRR (2016)
Andrea Callia D'Iddio, Christian H. Schunck, Franco Arcieri, Maurizio Talamo
Extending abstraction-refinement methods for compliance checking of inter-organizational business processes with incomplete information. ICCST (2016)
Grigory Fedyukovich, Andrea Callia D'Iddio, Antti E. J. Hyvärinen, Natasha Sharygina
Symbolic Detection of Assertion Dependencies for Bounded Model Checking. FASE (2015)
Maurizio Talamo, Franco Arcieri, Christian H. Schunck, Andrea Callia D'Iddio
Providing context-based security for inter-organizational electronic business processes. CNS (2013)