Skip to content
Log in
Sponsored Design Multi-Agent AI Systems Using MCP and A2A: Engineer your own Pyt Design Multi-Agent AI Systems Using MCP and A2A: Engineer your own Pyt

Author

Viktoria Koscinski

View on Semantic Scholar

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Book Open access Oct 2026

Constrained Automated Requirements Formalization for Rigorous Analysis with Alloy

Early detection of security flaws in software requirements is crucial yet challenging due to the inherent ambiguity of natural language (NL) specifications. While manual reviews are labor-intensive and lack formal rigor, automated formal verification remains bottlenecked by the steep expertise barrier required for manu...

Viktoria Koscinski, Mehdi Tarrit Mirakhorli · 0 citations
Preprint Oct 2026

CAPE - Context-Aware Prioritization Engine for Vulnerability Scoring and Management

Vulnerability patching is critical for safeguarding an enterprise's software ecosystem from cyber attacks. However, patching requires adequate preparation for potential system downtime and for unforeseen effects of the patched software on a live system. Thus, effective risk mitigation requires prioritization strategies...

Rakesh Podder, Viktoria Koscinski, Indrajit Ray · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.