export record
dblp key:
journals/corr/abs-2106-01030 share record
persistent URL:
Kalev Alpernas , Aurojit Panda , Alexander Rabinovich , Mooly Sagiv , Scott Shenker , Sharon Shoham , Yaron Velner : Some Complexity Results for Stateful Network Verification. CoRR abs/2106.01030 (2021 )export record
dblp key:
journals/corr/abs-2108-06376 share record
persistent URL:
Arut Prakash Kaleeswaran , Arne Nordmann , Thomas Vogel , Lars Grunske : A User-Study Protocol for Evaluation of Formal Verification Results and their Explanation. CoRR abs/2108.06376 (2021 )export record
dblp key:
journals/corr/abs-2109-00498 share record
persistent URL:
Stanley Bak , Changliu Liu , Taylor T. Johnson : The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results. CoRR abs/2109.00498 (2021 )export record
dblp key:
journals/corr/abs-2110-11090 share record
persistent URL:
Benjamin Körbel , Marten Sigwart , Philipp Frauenthaler , Michael Sober , Stefan Schulte : Blockchain-based Result Verification for Computation Offloading. CoRR abs/2110.11090 (2021 )2020 export record
dblp key:
journals/remotesensing/BialekGWBSKAVLM20 share record
persistent URL:
Agnieszka Bialek , Teresa Goodman , Emma Woolliams , Johannes F. S. Brachmann , Thomas Schwarzmaier , Joel Kuusk , Ilmar Ansko , Viktor Vabson , Ian C. Lau , Christopher MacLellan , Sabine Marty , Michael Ondrusek , William Servantes , Sarah Taylor , Ronnie Van Dommelen , Andrew Barnard , Vincenzo Vellucci , Andrew Clive Banks , Nigel Fox , Riho Vendt , Craig Donlon , Tânia Casal : Results from Verification of Reference Irradiance and Radiance Sources Laboratory Calibration Experiment Campaign. Remote. Sens. 12 (14 ) : 2220 (2020 )export record
dblp key:
conf/ivs/KrajewskiHMTBE20 share record
persistent URL:
Robert Krajewski , Michael Hoss , Adrian Meister , Fabian Thomsen , Julian Bock , Lutz Eckstein : Using Drones as Reference Sensors for Neural-Networks-Based Modeling of Automotive Perception Errors**The research leading to these results is funded by the Federal Ministry for Economic Affairs and Energy within the project "VVM - Verification and Validation Methods for Automated Vehicles Level 4 and 5". The authors would like to thank the consortium for the successful cooperation. IV 2020 : 708-715 export record
dblp key:
conf/odyssey/NandwanaLRMCFL20 share record
persistent URL:
Mahesh Kumar Nandwana , Michael Lomnitz , Colleen Richey , Mitchell McLaren , Diego Castán , Luciana Ferrer , Aaron Lawson : The VOiCES from a Distance Challenge 2019: Analysis of Speaker Verification Results and Remaining Challenges. Odyssey 2020 : 165-170 2019 share record
persistent URL:
Souymodip Chakraborty : New results on probabilistic verification: automata, logic and satisfiability. RWTH Aachen University, Germany, 2019 export record
dblp key:
journals/fmsd/AlpernasPRSSSV19 share record
persistent URL:
Kalev Alpernas , Aurojit Panda , Alexander Rabinovich , Mooly Sagiv , Scott Shenker , Sharon Shoham , Yaron Velner : Some complexity results for stateful network verification. Formal Methods Syst. Des. 54 (2 ) : 191-231 (2019 )export record
dblp key:
journals/iet-bmt/CzyzewskiHSKLS19 share record
persistent URL:
Andrzej Czyzewski , Piotr Hoffmann , Piotr Szczuko , Adam Kurowski , Michal Lech , Maciej Szczodrak : Analysis of results of large-scale multimodal biometric identity verification experiment. IET Biom. 8 (1 ) : 92-100 (2019 )share record
persistent URL:
Ziao Liu , Tao Jiang , Xiaoling Tao : A result correctness verification mechanism for cloud computing based on MapReduce. Int. J. Embed. Syst. 11 (4 ) : 526-539 (2019 )share record
persistent URL:
Wenhui Wang , Changyong Cao : NOAA-20 VIIRS DNB Aggregation Mode Change: Prelaunch Efforts and On-Orbit Verification/Validation Results. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 12 (7 ) : 2015-2023 (2019 )export record
dblp key:
journals/sttt/BartocciFBCDHJK19 share record
persistent URL:
Ezio Bartocci , Yliès Falcone , Borzoo Bonakdarpour , Christian Colombo , Normann Decker , Klaus Havelund , Yogi Joshi , Felix Klaedtke , Reed Milewicz , Giles Reger , Grigore Rosu , Julien Signoles , Daniel Thoma , Eugen Zalinescu , Yi Zhang : First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. Int. J. Softw. Tools Technol. Transf. 21 (1 ) : 31-70 (2019 )share record
persistent URL:
Saksiri Meesawad , Bundit Thanasopon , Olarn Wongwirat : A Result Verification of Decision Tree Model for Industrial Wireless Sensors Selection using Analytic Hierarchy Process. JCSSE 2019 : 43-48 export record
dblp key:
conf/safecomp/CeccarelliBBFFF19 share record
persistent URL:
Andrea Ceccarelli , Davide Basile , Andrea Bondavalli , Lorenzo Falai , Alessandro Fantechi , Sandro Ferrari , Gianluca Mandò , Nicola Nostro , Luigi Rucher : The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results. SAFECOMP Workshops 2019 : 185-197 share record
persistent URL:
Isela Mendoza , Marcos Kalinowski , Uéverton S. Souza , Michael Felderer : Relating Verification and Validation Methods to Software Product Quality Characteristics: Results of an Expert Survey. SWQD 2019 : 33-44 share record
persistent URL:
Tobias Isenberg , Marie-Christine Jakobs , Felix Pauck , Heike Wehrheim : When Are Software Verification Results Valid for Approximate Hardware? TAP@FM 2019 : 3-20 export record
dblp key:
journals/corr/abs-1903-10420 share record
persistent URL:
Achim Gerstenberg , Martin Steinert : Development and verification of a simulation for leveraging results of a human subjects programming experiment. CoRR abs/1903.10420 (2019 )2018 share record
persistent URL:
Pierrick Couderc : Vérification des résultats de l'inférence de types du langage OCaml. (Checking type inference results of the OCaml language). University of Paris-Saclay, France, 2018 export record
dblp key:
journals/esl/IsenbergJPW18 share record
persistent URL:
Tobias Isenberg , Marie-Christine Jakobs , Felix Pauck , Heike Wehrheim : Validity of Software Verification Results on Approximate Hardware. IEEE Embed. Syst. Lett. 10 (1 ) : 22-25 (2018 )share record
persistent URL:
Wei Zhang , Yaping Lin , Qi Gu : Catch You if You Misbehave: Ranked Keyword Search Results Verification in Cloud Computing. IEEE Trans. Cloud Comput. 6 (1 ) : 74-86 (2018 )export record
dblp key:
journals/tkde/ArshadKBGK18 share record
persistent URL:
Muhammad Umer Arshad , Ashish Kundu , Elisa Bertino , Arif Ghafoor , Chinmay Kundu : Efficient and Scalable Integrity Verification of Data and Query Results for Graph Databases. IEEE Trans. Knowl. Data Eng. 30 (5 ) : 866-879 (2018 )share record
persistent URL:
Maurice H. ter Beek : Replicated Computations Results (RCR) Report for "Design and Verification of Trusted Collective Adaptive Systems". ACM Trans. Model. Comput. Simul. 28 (2 ) : 10:1-10:3 (2018 )share record
persistent URL:
Ekaterina Politsyna , Sergey Politsyn , Alexander Porechny : The Framework for Hypothesis Verification and Analysis of Natural Language Processing Results for the Russian Language. AIST (Supplement) 2018 : 25-33 share record
persistent URL:
Patrick Juola : Large-Scale Accuracy Benchmark Results for Juola's Authorship Verification Protocols. DH 2018 : 411 share record
persistent URL:
Lukasz Was , Piotr Milczarski , Zofia Stawska , Slawomir Wiak , Pawel Maslanka , Marek Kot : Verification of Results in the Acquiring Knowledge Process Based on IBL Methodology. ICAISC (1) 2018 : 750-760 share record
persistent URL:
Jee-weon Jung , Hee-Soo Heo , Il-Ho Yang , Hye-jin Shim , Ha-Jin Yu : A Complete End-to-End Speaker Verification System Using Deep Neural Networks: From Raw Signals to Verification Result. ICASSP 2018 : 5349-5353 share record
persistent URL:
Muhammad Umer Arshad , Ashish Kundu , Elisa Bertino , Arif Ghafoor , Chinmay Kundu : Efficient and Scalable Integrity Verification of Data and Query Results for Graph Databases. ICDE 2018 : 1821-1822 share record
persistent URL:
Dirk Beyer , Matthias Dangl , Thomas Lemberger , Michael Tautschnig : Tests from Witnesses - Execution-Based Validation of Verification Results. TAP@STAF 2018 : 3-23