Andrea Callia D'Iddio

According to our database, Andrea Callia D'Iddio authored at least 8 papers between 2013 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Satisfiability modulo theories for process systems engineering.

Miten Mistry, Andrea Callia D'Iddio, Michael Huth, Ruth Misener

Comput. Chem. Eng., 2018

2017

Manyopt: An Extensible Tool for Mixed, Non-Linear Optimization Through SMT Solving.

Andrea Callia D'Iddio, Michael Huth

CoRR, 2017

Centrally Governed Blockchains: Optimizing Security, Cost, and Availability.

Leif-Nissen Lundbæk, Andrea Callia D'Iddio, Michael Huth

Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016

Optimizing Governed Blockchains for Financial Process Authentications.

Leif-Nissen Lundbaek, Andrea Callia D'Iddio, Michael Huth

CoRR, 2016

Online and offline conformance checking of inter-organizational business processes with incomplete process logs.

Andrea Callia D'Iddio, Christian H. Schunck, Franco Arcieri, Maurizio Talamo

Proceedings of the IEEE International Carnahan Conference on Security Technology, 2016

Extending abstraction-refinement methods for compliance checking of inter-organizational business processes with incomplete information.

Andrea Callia D'Iddio, Christian H. Schunck, Franco Arcieri, Maurizio Talamo

Proceedings of the IEEE International Carnahan Conference on Security Technology, 2016

2015

Symbolic Detection of Assertion Dependencies for Bounded Model Checking.

Grigory Fedyukovich, Andrea Callia D'Iddio, Antti E. J. Hyvärinen, Natasha Sharygina

Proceedings of the Fundamental Approaches to Software Engineering, 2015

2013

Providing context-based security for inter-organizational electronic business processes.

Maurizio Talamo, Franco Arcieri, Christian H. Schunck, Andrea Callia D'Iddio

Proceedings of the IEEE Conference on Communications and Network Security, 2013