default search action
Formal Aspects of Computing, Volume 36
Volume 36, Number 1, March 2024
- Wolfgang Ahrendt
, Frédéric Loulergue
Introduction to the Special Collection from the International Conference on Tests and Proofs (TAP) 2020 and 2021. 1:1-1:2 - Amirfarhad Nilizadeh
JMLKelinci+: Detecting Semantic Bugs and Covering Branches with Valid Inputs Using Coverage-guided Fuzzing and Runtime Assertion Checking. 2:1-2:24 - Bernhard K. Aichernig
Benchmarking Combinations of Learning and Testing Algorithms for Automata Learning. 3:1-3:37 - Dara Ly
Sound Runtime Assertion Checking for Memory Properties via Program Transformation. 4:1-4:46
- Bertrand Meyer
The Concept of Class Invariant in Object-oriented Programming. 5:1-5:38 - Lokanna Kadakolmath
iStar Goal Model to Z Formal Model Translation and Model Checking of CBTC Moving Block Interlocking System. 6:1-6:45
- Matteo Pradella
Review on Verified Functional Programming in Agda: By Aaron Stump ACM, ISBN: 978-1-97000-126-6, 246 pages, 2016. 7:1-7:2
Volume 36, Number 2, June 2024
- Victor Yodaiken
State Machines for Large Scale Computer Software and Systems. 8 - Yinling Liu
Modeling and Verification of Natural Language Requirements based on States and Modes. 9 - Raymond T. Boute
The Universality of Functions in the Sciences at Large and in Computing. 10 - Max A. Little
Polymorphic dynamic programming by algebraic shortcut fusion. 11 - Kaled M. Alshmrany
FuSeBMC v4: Improving Code Coverage with Smart Seeds via BMC, Fuzzing and Static Analysis. 12 - Yuanrui Zhang
Specification and Verification of Multi-Clock Systems Using a Temporal Logic with Clock Constraints. 13
Volume 36, Number 3, September 2024
- Lili Xiao
Trace Semantics for C++11 Memory Model. 14:1-14:24 - Devleena Ghosh
SMT based parameter identifiable combination detection for non-linear continuous and hybrid dynamics. 15:1-15:41 - Manfred Broy
A Calculus for the Specification, Design, and Verification of Distributed Concurrent Systems. 16:1-16:54 - Maram Albalwe
Modelling and Analysing Routing Protocols Diagrammatically with Bigraphs. 17:1-17:25
Volume 36, Number 4, December 2024
- Zhe Hou
Introduction to the Special Collection from PRDC 2023. 18:1-18:3 - Yucheng Sun
Using Multi-dimensional Quorums for Optimal Resilience in Multi-resource Blockchains. 19:1-19:28 - Chenhao Shi
RNA: R1CS Normalization Algorithm Based on Data Flow Graphs for Zero-Knowledge Proofs. 20:1-20:24 - Yanguo Peng
SecCT: Secure and Scalable Count Query Models on Encrypted Genomic Data. 21:1-21:25 - Kazuya Wakigami
Empirical Architecture Comparison of Two-input Machine Learning Systems for Vision Tasks. 22:1-22:19 - Andrzej Wardzinski
Automated Generation of Modular Assurance Cases with the System Assurance Reference Model. 23:1-23:29 - Christian Berger
Exploring Scalability of BFT Blockchain Protocols through Network Simulations. 24:1-24:29 - Cláudio Correia
PoTR: Accurate and Efficient Proof of Timely-Retrievability for Storage Systems. 25:1-25:26 - Célia Mahamdi
OMAHA: Opportunistic Message Aggregation for pHase-based Algorithms. 26:1-26:23 - Morten Konggaard Schou
Measurement-Noise Filtering for Automatic Discovery of Flow Splitting Ratios in ISP Networks. 27:1-27:18
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 2025-01-27 20:45 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: