default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID22nd ICTAC 2025: Marrakech, Morocco
- Zhiming Liu
, Adnane Saoud, Heike Wehrheim:
Theoretical Aspects of Computing - ICTAC 2025 - 22nd International Colloquium, Marrakech, Morocco, November 24-28, 2025, Proceedings. Lecture Notes in Computer Science 16237, Springer 2026, ISBN 978-3-032-11175-3
Invited Papers
- Klaus Havelund, Tracy Clark, Vivek Reddy:
Fuzz Testing with Temporal Constraints. 3-26 - Joost-Pieter Katoen:
Facing Uncertainty in AI: From Formal Verification To Synthesis. 27-30 - Kim Guldstrand Larsen:
Timed Monitoring and Timed Monitorability. 31-32 - Antoine Girard:
Set Invariance for Assume-Guarantee Contracts in Cyber-Physical Systems Design - - Extended Abstract -. 33-36
Tutorial
- Dines Bjørner:
Domain Analysis and Description: A Tutorial. 39-66
Verification and Synthesis
- Eduard Kamburjan, Dilian Gurov:
Multi-perspective Correctness of Programs. 69-86 - Kevin Tran, Johannes Åman Pohjola, Rob Sison, Gerwin Klein:
A Rely-Guarantee-Based Simulation for Cooperative Semantics. 87-105 - Parosh Aziz Abdulla, Elli Anastasiadi, Mohamed Faouzi Atig, Samuel Grahn:
Verification of the Release-Acquire Semantics. 106-123 - Yi Luo, Xin Chen, Jin Dai, Enyi Tang, Xuandong Li:
Iteratively Synthesizing ε-Robust Barrier Certificates for Neural Network Controlled Systems. 124-141
Session Types
- Paula Blechschmidt, Kirstin Peters, Uwe Nestmann:
Compositional Interface Refinement Through Subtyping in Probabilistic Session Types. 145-163 - Ivan Prokic, Simona Prokic, Silvia Ghilezan, Alceste Scalas, Nobuko Yoshida:
On Asynchronous Multiparty Session Types for Federated Learning. 164-182
Logic and Theorem Provers
- Simon Corbard, Anela Lolic:
Efficient Interpolation Beyond Cut-Free Proofs: Admissible Cuts and Optimized Extraction. 185-201 - Rishikesh Vaishnav:
Lean4Less: Eliminating Definitional Equalities from Lean via an Extensional-to-Intensional Translation. 202-219 - Matteo Cimini:
From Program Logics Towards Language Logics. 220-238 - Daichi Aiba, Masaki Waga, Hiroya Fujinami, Koko Muroya, Shutaro Ouchi, Naoki Ueda, Yosuke Yokoyama, Yuta Wada, Ichiro Hasuo:
A Variety of Request-Response Specifications. 239-257
Probabilistic Systems
- Dominik Geißler, Tobias Winkler:
Weighted Automata for Exact Inference in Discrete Probabilistic Programs. 261-278 - Chris Chen, Annabelle McIver, Carroll Morgan:
Forward and Backward Simulations for Partially Observable Probability. 279-297 - Dario Stein, Fabio Zanasi, Robin Piedeleu, Richard Samuelson:
Graphical Quadratic Algebra. 298-316
Automata
- Kengo Irie, Masaki Waga, Kohei Suenaga:
Active Learning of Symbolic Mealy Automata. 319-337 - Sasinee Pruekprasert, Clovis Eberhart:
AP-Observation Automata for Abstraction-Based Verification of Continuous-Time Systems. 338-356
Cryptography and Choreography
- Koichi Koizumi, Minato Abe, Eikoh Chida, Takaaki Mizuki:
Efficient AND Protocols Resistant to Maliciously Revealing a Single Card. 359-377 - Sourabh Pal, Roberto Guanciale, Ivan Lanese, Emilio Tuosto, Massimo Clo:
Pomsets for Process Management: A Healthcare Case Study. 378-395
Algorithms and Complexity
- Sebastian Bala, Andrzej Kozik:
Ulam's Metric in Higher Dimensions. 399-416 - Jesús Aranda, Juan Francisco Díaz, David Gaona, Frank Valencia:
The Spiral of Silence in Multi-agent Models for Opinion Formation. 417-434
Tool and Short Papers
- Emil Normann Brandt, Jens Emil Fink Højriis, Kira Stæhr Pedersen, Jirí Srba:
Explicit Model Checking Engine for Reachability Analysis of Colored Petri Nets. 437-447 - Ben Wooding, Viacheslav Horbanov, Abolfazl Lavaei:
PRoTECT: Parallelized ConstRuction of SafeTy BarriEr Certificates for Nonlinear Polynomial SysTems. 448-458 - Michal Certík, Andreas Emil Feldmann, Jaroslav Nesetril, Pawel Rzazewski:
On Computational Aspects of Ordered Matching Problems. 459-467 - Vedanta Mohapatra, Ayush Anand, Srinivas Pinisetty:
Safe Multi-agent Reinforcement Learning Using Formal Runtime Enforcement: A Case Study. 468-478
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-08-11 22:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
