Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID26th TACAS@ETAPS 2020: Dublin, Ireland
- Armin Biere
, David Parker:
Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II. Lecture Notes in Computer Science 12079, Springer 2020, ISBN 978-3-030-45236-0
Bisimulation
- David N. Jansen, Jan Friso Groote, Jeroen J. A. Keiren, Anton Wijs:
An O(m log n) algorithm for branching bisimilarity on labelled transition systems. 3-20 - Xudong Qin, Yuxin Deng, Wenjie Du:
Verifying Quantum Communication Protocols with Ground Bisimulation. 21-38 - Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos:
Deciding the Bisimilarity of Context-Free Session Types. 39-56 - Frédéric Lang, Radu Mateescu, Franco Mazzanti:
Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities. 57-76
Verification and Efficiency
- Mirco Giacobbe, Thomas A. Henzinger, Mathias Lechner:
How Many Bits Does it Take to Quantize Your Neural Network? 79-97 - Freek Verbeek, Joshua A. Bockenek, Binoy Ravindran:
Highly Automated Formal Proofs over Memory Usage of Assembly Code. 98-117 - Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts. 118-125 - Dirk Beyer, Philipp Wendler:
CPU Energy Meter: A Tool for Energy-Aware Algorithms Engineering. 126-133
Logic and Proof
- Karl Palmskog, Ahmet Çelik, Milos Gligoric:
Practical Machine-Checked Formalization of Change Impact Analysis. 137-157 - Umang Mathur, P. Madhusudan, Mahesh Viswanathan:
What's Decidable About Program Verification Modulo Axioms? 158-177 - Alexander Lochmann, Aart Middeldorp:
Formalized Proofs of the Infinity and Normal Form Predicates in the First-Order Theory of Rewriting. 178-194 - Naoki Kobayashi, Grigory Fedyukovich, Aarti Gupta:
Fold/Unfold Transformations for Fixpoint Logic. 195-214
Tools and Case Studies
- Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Marko C. J. D. van Eekelen, Stijn de Gouw:
Verifying OpenJDK's LinkedList using KeY. 217-234 - Benedikt F. H. Becker, Nicolas Jeannerod, Claude Marché, Yann Régis-Gianas, Mihaela Sighireanu, Ralf Treinen:
Analysing installation scenarios of Debian packages. 235-253 - Roman Kápl, Pavel Parízek:
Endicheck: Dynamic Analysis for Detecting Endianness Bugs. 254-270 - Richard Bornat, Jaap Boender, Florian Kammueller, Guillaume Poly, Rajagopal Nagarajan:
Describing and Simulating Concurrent Quantum Systems. 271-277 - David Castro-Perez, Francisco Ferreira, Nobuko Yoshida:
EMTST: Engineering the Meta-theory of Session Types. 278-285
Games and Automata
- Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero:
Solving Mean-Payoff Games via Quasi Dominions. 289-306 - Thomas Neele, Tim A. C. Willemse, Wieger Wesselink:
Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems. 307-324 - Dana Angluin, Dana Fisman, Yaara Shoval:
Polynomial Identification of ømega-Automata. 325-343
SV-COMP 2020
- Dirk Beyer:
Advances in Automatic Software Verification: SV-COMP 2020. 347-367 - Viktor Malík, Peter Schrammel, Tomás Vojnar:
2LS: Heap Analysis and Memory Safety - (Competition Contribution). 368-372 - Willem Visser, Jaco Geldenhuys:
COASTAL: Combining Concolic and Fuzzing for Java (Competition Contribution). 373-377 - Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer:
Dartagnan: Bounded Model Checking for Weak Memory Models (Competition Contribution). 378-382 - Mohammad Afzal, Supratik Chakraborty, Avriti Chauhan, Bharti Chimdyalwar, Priyanka Darke, Ashutosh Gupta, Shrawan Kumar, Charles Babu M, Divyesh Unadkat, R. Venkatesh:
VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution). 383-387 - Benjamin Quiring, Panagiotis Manolios:
GACAL: Conjecture-Based Verification - (Competition Contribution). 388-392 - Vaibhav Sharma, Soha Hussein, Michael W. Whalen, Stephen McCamant, Willem Visser:
Java Ranger at SV-COMP 2020 (Competition Contribution). 393-397 - Malte Mues, Falk Howar:
JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution). 398-402 - Herbert Rocha, Rafael Menezes, Lucas C. Cordeiro, Raimundo S. Barreto:
Map2Check: Using Symbolic Execution and Fuzzing - (Competition Contribution). 403-407 - Petr Peringer, Veronika Soková, Tomás Vojnar:
PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution). 408-412 - Marek Chalupa, Tomás Jasek, Lukás Tomovic, Martin Hruska, Veronika Soková, Paulína Ayaziová, Jan Strejcek, Tomás Vojnar:
Symbiotic 7: Integration of Predator and More - (Competition Contribution). 413-417 - Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schätzle, Frank Schüssele:
Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions - (Competition Contribution). 418-422
a service of 
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 2024-04-19 19:18 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:
