default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal 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.
last updated on 2025-05-06 21:37 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 and maintained by:
the dblp computer science bibliography is funded and supported by:
