


default search action
Formal Aspects of Computing, Volume 36
Volume 36, Number 1, March 2024
- Wolfgang Ahrendt
, Frédéric Loulergue
, Heike Wehrheim
:
Introduction to the Special Collection from the International Conference on Tests and Proofs (TAP) 2020 and 2021. 1:1-1:2 - Amirfarhad Nilizadeh
, Gary T. Leavens
, Corina S. Pasareanu
, Yannic Noller
:
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
, Martin Tappler
, Felix Wallner
:
Benchmarking Combinations of Learning and Testing Algorithms for Automata Learning. 3:1-3:37 - Dara Ly
, Nikolai Kosmatov
, Frédéric Loulergue
, Julien Signoles
:
Sound Runtime Assertion Checking for Memory Properties via Program Transformation. 4:1-4:46
- Bertrand Meyer
, Alisa Arkadova
, Alexander Kogtenkov
:
The Concept of Class Invariant in Object-oriented Programming. 5:1-5:38 - Lokanna Kadakolmath
, Umesh D. Ramu
:
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
, Jean-Michel Bruel
:
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
, Xi He
, Ugur Kayas
:
Polymorphic dynamic programming by algebraic shortcut fusion. 11 - Kaled M. Alshmrany
, Mohannad Aldughaim
, Ahmed Bhayat
, Lucas C. Cordeiro
:
FuSeBMC v4: Improving Code Coverage with Smart Seeds via BMC, Fuzzing and Static Analysis. 12 - Yuanrui Zhang
, Frédéric Mallet
, Min Zhang
, Zhiming Liu
:
Specification and Verification of Multi-Clock Systems Using a Temporal Logic with Clock Constraints. 13
Volume 36, Number 3, September 2024
- Lili Xiao
, Huibiao Zhu
, Sini Chen
, Mengda He
, Shengchao Qin
:
Trace Semantics for C++11 Memory Model. 14:1-14:24 - Devleena Ghosh
, Chittaranjan Mandal
:
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
, Blair Archibald
, Michele Sevegnani
:
Modelling and Analysing Routing Protocols Diagrammatically with Bigraphs. 17:1-17:25
Volume 36, Number 4, December 2024
- Zhe Hou
, Yun Lin
:
Introduction to the Special Collection from PRDC 2023. 18:1-18:3 - Yucheng Sun
, Ruomu Hou
, Haifeng Yu
:
Using Multi-dimensional Quorums for Optimal Resilience in Multi-resource Blockchains. 19:1-19:28 - Chenhao Shi
, Ruibang Liu
, Hao Chen
, Guoqiang Li
, Sinka Gao
:
RNA: R1CS Normalization Algorithm Based on Data Flow Graphs for Zero-Knowledge Proofs. 20:1-20:24 - Yanguo Peng
, Rongqiao Liu
, Jingjing Guo
, Xiyue Gao
, Luyuan Huang
, Yaofeng Tu
:
SecCT: Secure and Scalable Count Query Models on Encrypted Genomic Data. 21:1-21:25 - Kazuya Wakigami
, Fumio Machida
, Tuan Phung-Duc
:
Empirical Architecture Comparison of Two-input Machine Learning Systems for Vision Tasks. 22:1-22:19 - Andrzej Wardzinski
, Aleksander Jarzebowicz
:
Automated Generation of Modular Assurance Cases with the System Assurance Reference Model. 23:1-23:29 - Christian Berger
, Sadok Ben Toumia
, Hans P. Reiser
:
Exploring Scalability of BFT Blockchain Protocols through Network Simulations. 24:1-24:29 - Cláudio Correia
, Rita Prates
, Luís Fonseca
, Miguel Correia
, Luís E. T. Rodrigues:
PoTR: Accurate and Efficient Proof of Timely-Retrievability for Storage Systems. 25:1-25:26 - Célia Mahamdi
, Jonathan Lejeune
, Julien Sopena
, Pierre Sens
, Mesaac Makpangou
:
OMAHA: Opportunistic Message Aggregation for pHase-based Algorithms. 26:1-26:23 - Morten Konggaard Schou
, Ingmar Poese
, Jirí Srba
:
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.