Search Results for author:
Found 5 papers, 1 papers with code
Learning Finite Linear Temporal Logic Specifications with a Specialized Neural Operator
Finite linear temporal logic ($\mathsf{LTL}_f$) is a powerful formal representation for modeling temporal sequences.
Formalizing Integration Patterns with Multimedia Data (Extended Version)
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.
Suffocating Fire Sales
Fire sales are among the major drivers of market instability in modern financial systems.
Catalog of Formalized Application Integration Patterns
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
Managing Default Contagion in Inhomogeneous Financial Networks
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.
