• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 640 matches

• 2021
• 
  Eddie Jones, Steven J. Ramsay:
  Intensional datatype refinement: with application to scalable verification of pattern-match safety. Proc. ACM Program. Lang. 5(POPL): 1-29 (2021)
• 
  Victor Hugo Schulz, Gabriel Mariano Marcelino, Laio Oriel Seman, Jeferson Santos Barros, Sangkyun Kim, Mengu Cho, Gabriel Villarrubia-González, Valderi Reis Quietinho Leithardt, Eduardo Augusto Bezerra:
  Universal Verification Platform and Star Simulator for Fast Star Tracker Design. Sensors 21(3): 907 (2021)
• 
  Ana Cristina Franco da Silva, Stefan Wagner, Eddie Lazebnik, Eyal Traitel:
  Using a Cyber Digital Twin for Continuous Automotive Security Requirements Verification. CoRR abs/2102.00790 (2021)
• 
  Eduard Kamburjan, Marco Scaletta, Nils Rollshausen:
  Crowbar: Behavioral Symbolic Execution for Deductive Verification of Active Objects. CoRR abs/2102.10127 (2021)
• 
  Enka Blanchard, Ryan Robucci, Ted Selker, Alan T. Sherman:
  Phrase-Verified Voting: Verifiable Low-Tech Remote Boardroom Voting. CoRR abs/2103.07180 (2021)
• 2020
• 
  Eduard Kamburjan:
  Modular Verification of a Modular Specification: Behavioral Types as Program Logics. Darmstadt University of Technology, Germany, 2020
• 
  Victoria Mingote, Antonio Miguel, Alfonso Ortega, Eduardo Lleida:
  Optimization of the area under the ROC curve using neural network supervectors for text-dependent speaker verification. Comput. Speech Lang. 63: 101078 (2020)
• 
  Willy Kengne Kungne, Georges Edouard Kouamou, Claude Tangha:
  A Rule-Based Language and Verification Framework of Dynamic Service Composition. Future Internet 12(2): 23 (2020)
• 
  Lucas C. Cordeiro, Eddie Batista de Lima Filho, Iury Valente de Bessa:
  Survey on automated symbolic verification and its application for synthesising cyber-physical systems. IET Cyper-Phys. Syst.: Theory & Appl. 5(1): 1-24 (2020)
• 
  Matt Webster, David G. Wester, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher, Anthony G. Pipe:
  A corroborative approach to verification and validation of human-robot teams. Int. J. Robotics Res. 39(1) (2020)
• 
  Abdelhakim Chergui, Salim Ouchtati, Sébastien Mavromatis, Salah Eddine Bekhouche, Jean Sequeira, Fadi Dornaika:
  Kinship verification through facial images using multiscale and multilevel handcrafted features. J. Electronic Imaging 29(02): 023017 (2020)
• 
  D. Kwame Minde Kufoalor, Tor Arne Johansen, Edmund Førland Brekke, A. Hepsø, Keith Trnka:
  Autonomous maritime collision avoidance: Field verification of autonomous surface vehicle behavior in challenging scenarios. J. Field Robotics 37(3): 387-403 (2020)
• 
  J. Eduardo Fajardo, F. P. Lotto, F. Vericat, C. Manuel Carlevaro, Ramiro M. Irastorza:
  Microwave tomography with phaseless data on the calcaneus by means of artificial neural networks. Medical Biol. Eng. Comput. 58(2): 433-442 (2020)
• 
  Eduardo Silva, Thaís Batista, Flávio Oquendo:
  On the verification of mission-related properties in software-intensive systems-of-systems architectural design. Sci. Comput. Program. 192: 102425 (2020)
• 
  Edward Huang, Leon F. McGinnis, Steven W. Mitchell:
  Verifying SysML activity diagrams using formal transformation to Petri nets. Syst. Eng. 23(1): 118-135 (2020)
• 
  Abdelhakim Chergui, Salim Ouchtati, Sébastien Mavromatis, Salah Eddine Bekhouche, Mohamed Lashab, Jean Sequeira:
  Kinship Verification Through Facial Images Using CNN-Based Features. Traitement du Signal 37(1): 1-8 (2020)
• 
  Luiz G. Hafemann, Robert Sabourin, Luiz S. Oliveira:
  Meta-Learning for Fast Classifier Adaptation to New Users of Signature Verification Systems. IEEE Trans. Inf. Forensics Secur. 15: 1735-1745 (2020)
• 
  Greg Chance, Abanoub Ghobrial, Séverin Lemaignan, Tony Pipe, Kerstin Eder:
  An Agency-Directed Approach to Test Generation for Simulation-based Autonomous Vehicle Verification. AITest 2020: 31-38
• 
  Fan Yang, Eduard C. Dragut, Arjun Mukherjee:
  Claim Verification under Positive Unlabeled Learning. ASONAM 2020: 143-150
• 
  Alessio Lomuscio, Edoardo Pirovano:
  Parameterised Verification of Strategic Properties in Probabilistic Multi-Agent Systems. AAMAS 2020: 762-770
• 
  Edwin Thuma, Nkwebi Peace Motlogelwa, Tebo Leburu-Dingalo, Monkgogi Mudongo:
  UB_ET at CheckThat! 2020: Exploring Ad hoc Retrieval Approaches in Verified Claims Retrieval. CLEF (Working Notes) 2020
• 
  Carsten Baum, Emmanuela Orsini, Peter Scholl, Eduardo Soria-Vazquez:
  Efficient Constant-Round MPC with Identifiable Abort and Public Verifiability. CRYPTO (2) 2020: 562-592
• 
  Anas Shrinah, Kerstin Eder:
  Goal-constrained planning domain model verification of safety properties. STAIRS@ECAI 2020
• 
  Ángel Jesús Varela-Vaca, David G. Rosado, Luís Enrique Sanchez, María Teresa Gómez López, Rafael M. Gasca, Eduardo Fernández-Medina:
  Definition and Verification of Security Configurations of Cyber-Physical Systems. CyberICPS/SECPRE/ADIoT@ESORICS 2020: 135-155
• 
  Alberto Bosio, Stefano Di Carlo, Patrick Girard, Ernesto Sánchez, Alessandro Savino, Lukás Sekanina, Marcello Traiola, Zdenek Vasícek, Arnaud Virazel:
  Design, Verification, Test and In-Field Implications of Approximate Computing Systems. ETS 2020: 1-10
• 
  Simone Economo, Sara Royuela, Eduard Ayguadé, Vicenç Beltran:
  A Toolchain to Verify the Parallelization of OmpSs-2 Applications. Euro-Par 2020: 18-33
• 
  Enka Blanchard, Ted Selker:
  Origami Voting: A Non-cryptographic Approach to Transparent Ballot Verification. Financial Cryptography Workshops 2020: 273-290
• 
  Eduardo Machado Real, Edson Pinheiro Pimentel, Lucas Vieira de Oliveira, Juliana Cristina Braga, Itana Stiubiener:
  Educational Process Mining for Verifying Student Learning Paths in an Introductory Programming Course. FIE 2020: 1-9
• 
  Rong Gu, Eduard Enoiu, Cristina Seceleanu, Kristina Lundqvist:
  Verifiable and Scalable Mission-Plan Synthesis for Autonomous Agents. FMICS 2020: 73-92
• 
  Victoria Mingote, Antonio Miguel, Dayana Ribas, Alfonso Ortega Giménez, Eduardo Lleida:
  Knowledge Distillation and Random Erasing Data Augmentation for Text-Dependent Speaker Verification. ICASSP 2020: 6824-6828

skipping 610 more matches