no code implementations • 7 Nov 2021 • Homer Walke, Daniel Ritter, Carl Trimbach, Michael Littman
Finite linear temporal logic ($\mathsf{LTL}_f$) is a powerful formal representation for modeling temporal sequences.
no code implementations • 9 Sep 2020 • Marco Montali, Andrey Rivkin, Daniel Ritter
The previous works on formalizing enterprise application integration (EAI) scenarios showed an emerging need for setting up formal foundations for integration patterns, the EAI building blocks, in order to facilitate the model-driven development and ensure its correctness.
no code implementations • 15 Jun 2020 • Nils Detering, Thilo Meyer-Brandis, Konstantinos Panagiotou, Daniel Ritter
Fire sales are among the major drivers of market instability in modern financial systems.
1 code implementation • 6 Jul 2018 • Daniel Ritter, Stefanie Rinderle-Ma, Marco Montali, Andrey Rivkin, Aman Sinha
Enterprise application integration (EAI) solutions are the centrepiece of current enterprise IT architectures (e. g., cloud and mobile computing, business networks), however, require the formalization of their building blocks, represented by integration patterns, verification and optimization.
Software Engineering Logic in Computer Science
no code implementations • 29 Oct 2016 • Nils Detering, Thilo Meyer-Brandis, Konstantinos Panagiotou, Daniel Ritter
As a second main contribution, paralleling regulatory discussions, we determine minimal capital requirements for financial institutions sufficient to make the network resilient to small shocks.