default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal Aspects of Computing, Volume 35
Volume 35, Number 1, March 2023
- Simon Collart Dutilleul
, Anne E. Haxthausen, Thierry Lecomte, Jim Woodcock:
Introduction to the Special Section on Reliability, Safety, and Security of Railway Systems. 1:1-1:2 - Mark Bouwman, Djurre van der Wal, Bas Luttik, Mariëlle Stoelinga, Arend Rensink:
A Case in Point: Verification and Testing of a EULYNX Interface. 2:1-2:38 - Yamine Aït-Ameur, Sergiy Bogomolov, Guillaume Dupont, Alexei Iliasov, Alexander B. Romanovsky, Paulius Stankaitis:
A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems. 3:1 - Anne Elisabeth Haxthausen, Alessandro Fantechi:
Compositional Verification of Railway Interlocking Systems. 4:1-4:46 - Zakaryae Boudi, Abderrahim Ait Wakrime, Mohamed Toub, Mohamed Haloua:
A Deep Reinforcement Learning Framework with Formal Verification. 5:1-5:17
Volume 35, Number 2, June 2023
- Marieke Huisman, Corina S. Pasareanu, Naijun Zhan:
Introduction to the Special Section on FM 2021. 6:1-6:2 - Alexandra Bugariu, Arshavir Ter-Gabrielyan, Peter Müller:
Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers (Extended Version). 7:1-7:27 - Nicholas Coughlin, Kirsten Winter, Graeme Smith:
Compositional Reasoning for Non-multicopy Atomic Architectures. 8:1-8:30 - Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya:
From Non-punctuality to Non-adjacency: A Quest for Decidability of Timed Temporal Logics with Quantifiers. 9:1-9:50 - Daniel Wright, Sadegh Dalvandi, Mark Batty, Brijesh Dongol:
Mechanised Operational Reasoning for C11 Programs with Relaxed Dependencies. 10:1-10:27 - Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Jiri Zárevúcky, Dorde Zikelic:
On Lexicographic Proof Rules for Probabilistic Termination. 11:1-11:25 - Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Multi-objective ω-Regular Reinforcement Learning. 12:1-12:24 - Arthur Charguéraud:
Review on Functional Algorithms, Verified!: By Tobias Nipkow, Jasmin Blanchette, Manuel Eberl, Alejandro Gómez-Londoño, Peter Lammich, Christian Sternagel, Simon Wimmer, and Bohua Zhan Freely downloadable: https://functional-algorithms-verified.org. 13:1-13:2
Volume 35, Number 3, September 2023
- Heiko Klare, Joshua Gleitze:
Termination and Expressiveness of Execution Strategies for Networks of Bidirectional Model Transformations. 15:1-15:35 - Maria Maximova, Sven Schneider, Holger Giese:
Compositional Analysis of Probabilistic Timed Graph Transformation Systems. 16:1-16:79
- Martin de Boer, Stijn de Gouw, Jonas Klamroth, Christian Jung, Mattias Ulbrich, Alexander Weigl:
Formal Specification and Verification of JDK's Identity Hash Map Implementation. 18:1-18:26 - Alen Arslanagic, Pavle Subotic, Jorge A. Pérez:
Bit-Vector Typestate Analysis. 19:1-19:36 - Esther Guerra, Mariëlle Stoelinga:
Introduction to the Special Collection from FASE 2021. 14 - Rosemary Monahan, Maurice H. ter Beek:
Introduction to the Special Collection from iFM 2022. 17 - Nicklas S. Johansen, Lasse B. Kær, Andreas L. Madsen, Kristian Ø. Nielsen, Jirí Srba, Rasmus G. Tollund:
Kaki: Efficient Concurrent Update Synthesis for SDN. 20
Volume 35, Number 4, December 2023
- Yuan Fei, Huibiao Zhu, Jiaqi Yin:
FVF-AKA: A Formal Verification Framework of AKA Protocols for Multi-server IoT. 21:1-21:36 - Jan Bækgaard Pedersen, Kevin Chalmers:
Toward Verifying Cooperatively Scheduled Runtimes Using CSP. 22:1-22:45 - Bartosz Zielinski:
Explanatory Denotational Semantics for Complex Event Patterns. 23:1-23:37 - Feng Zhang, Leping Zhang, Yongwang Zhao, Yang Liu, Jun Sun:
Refinement-based Specification and Analysis of Multi-core ARINC 653 Using Event-B. 24:1-24:29 - Quan Sun, David N. Jansen, Xinxin Liu, Wei Zhang:
Rooted Divergence-Preserving Branching Bisimilarity is a Congruence for Guarded CCS. 25:1-25:21 - James Baxter, Gustavo Carvalho, Ana Cavalcanti, Francisco Rodrigues Júnior:
RoboWorld: Verification of Robotic Systems with Environment in the Loop. 26:1-26:46
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-03-28 22:22 CET 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 and maintained by:
the dblp computer science bibliography is funded and supported by:
