 |
LNCS 5123 - FS<TEX>{\sc hell}</TEX>: Systematic Test Case Generation for Dynamic Analysis and Measurement by Andreas Holzer, Christian Schallhart, Michael Tautschnig & Helmut Veith292.4 KB - 16 Oct, 2020 Tags=[Computer Aided Verification]
|
 |
LNCS 5123 - Functional Verification of Power Gated Designs by Compositional Reasoning by Cindy Eisner, Amir Nahir & Karen Yorav358.8 KB - 16 Oct, 2020 Tags=[Computer Aided Verification]
|
 |
LNCS 5123 - Inferring Congruence Equations Using SAT by Andy King & Harald Søndergaard479.9 KB - 16 Oct, 2020 Tags=[Computer Aided Verification]
|
 |
LNCS 5123 - Local Proofs for Linear-Time Properties of Concurrent Programs by Ariel Cohen & Kedar S. Namjoshi431.9 KB - 16 Oct, 2020 Tags=[Computer Aided Verification]
|
 |
LNCS 5123 - Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses by Ariel Cohen, Amir Pnueli & Lenore D. Zuck536.2 KB - 16 Oct, 2020 Tags=[Computer Aided Verification]
|
 |
LNCS 5123 - Monitoring Atomicity in Concurrent Programs by Azadeh Farzan & P. Madhusudan453.7 KB - 16 Oct, 2020 Tags=[Computer Aided Verification]
|
 |
LNCS 5123 - Probabilistic CEGAR by Holger Hermanns, Björn Wachter & Lijun Zhang705.2 KB - 16 Oct, 2020 Tags=[Computer Aided Verification]
|
 |
LNCS 5123 - Proving Conditional Termination by Byron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko & Mooly Sagiv424.9 KB - 16 Oct, 2020 Tags=[Computer Aided Verification]
|
 |
LNCS 5123 - Scalable Shape Analysis for Systems Code by Hongseok Yang, Oukseh Lee, Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano & Peter O’Hearn500.5 KB - 16 Oct, 2020 Tags=[Computer Aided Verification]
|
 |
LNCS 5123 - Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis by Akash Lal & Thomas Reps583.8 KB - 16 Oct, 2020 Tags=[Computer Aided Verification]
|
 |
LNCS 5123 - T(O)RMC: A Tool for (<TEX>$\omega$</TEX>)-Regular Model Checking by Axel Legay238.6 KB - 16 Oct, 2020 Tags=[Computer Aided Verification]
|
 |
LNCS 5123 - Singularity: Designing Better Software (Invited Talk) by James R. Larus86.3 KB - 16 Oct, 2020 Tags=[Computer Aided Verification]
|
 |
LNCS 5123 - The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols by Cas J.F. Cremers2 MB - 16 Oct, 2020 Tags=[Computer Aided Verification]
|
 |
LNCS 5123 - Thread Quantification for Concurrent Shape Analysis by J. Berdine, T. Lev-Ami, R. Manevich, G. Ramalingam & M. Sagiv460.3 KB - 16 Oct, 2020 Tags=[Computer Aided Verification]
|
 |
LNCS 5131 - Computers and Games (Frontmatter Pages) by H. Jaap van den Herik, Xinhe Xu, Zongmin Ma & Mark H.M. Winands254.7 KB - 16 Oct, 2020 Tags=[Computers and Games]
|
 |
LNCS 5131 - Computers and Games (Backmatter Pages) by H. Jaap van den Herik, Xinhe Xu, Zongmin Ma & Mark H.M. Winands29.1 KB - 16 Oct, 2020 Tags=[Computers and Games]
|
 |
LNCS 5131 - Knowledge Inferencing on Chinese Chess Endgames by Bo-Nian Chen, Pangfeng Liu, Shun-Chin Hsu & Tsan-sheng Hsu172.8 KB - 16 Oct, 2020 Tags=[Computers and Games]
|
 |
LNCS 5131 - Parallel Monte-Carlo Tree Search by Guillaume M.J.-B. Chaslot, Mark H.M. Winands & H. Jaap van den Herik737.9 KB - 16 Oct, 2020 Tags=[Computers and Games]
|
 |
LNCS 5219 - A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems by David Navarre, Philippe Palanque & Sandra Basnyat704.7 KB - 16 Oct, 2020 Tags=[and Security, Computer Safety, Reliability]
|
 |
LNCS 5131 - The Game of Synchronized Domineering by Alessandro Cincotti & Hiroyuki Iida159.3 KB - 16 Oct, 2020 Tags=[Computers and Games]
|
 |
LNCS 5219 - Analyzing Fault Susceptibility of ABS Microcontroller by Dawid Trawczynski, Janusz Sosnowski & Piotr Gawkowski688.1 KB - 16 Oct, 2020 Tags=[and Security, Computer Safety, Reliability]
|
 |
LNCS 5219 - An Efficient e-Commerce Fair Exchange Protocol That Encourages Customer and Merchant to Be Honest by Abdullah Alaraj & Malcolm Munro291.4 KB - 16 Oct, 2020 Tags=[and Security, Computer Safety, Reliability]
|
 |
LNCS 5219 - Automating the Processes of Selecting an Appropriate Scheduling Algorithm and Configuring the Scheduler Implementation for Time-Triggered Embedded Systems by Ayman K. Gendy & Michael J. Pont2.4 MB - 16 Oct, 2020 Tags=[and Security, Computer Safety, Reliability]
|
 |
LNCS 5219 - Creating a Secure Infrastructure for Wireless Diagnostics and Software Updates in Vehicles by Dennis K. Nilsson, Ulf E. Larson & Erland Jonsson1.3 MB - 16 Oct, 2020 Tags=[and Security, Computer Safety, Reliability]
|
 |
LNCS 5219 - Early Prototyping of Wireless Sensor Network Algorithms in PVS by Cinzia Bernardeschi, Paolo Masci & Holger Pfeifer234.2 KB - 16 Oct, 2020 Tags=[and Security, Computer Safety, Reliability]
|