Search results for "validator"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
87	Cecilia Sik-Lányi, Sándor Forrai, Nóra Czank, Ágnes Hajgató	On Developing Validator Software XValid for Testing Home Pages of Universal Design.	HCI (5)	2007	DBLP DOI BibTeX RDF	accessibility, WEB, validator, checkpoint, usability test, web design, website, W3C
51	Sven Hartrumpf, Ingo Glöckner, Johannes Leveling	Efficient Question Answering with Question Decomposition and Multiple Answer Streams.	CLEF	2008	DBLP DOI BibTeX RDF
51	Rainer Knauf, Setsuo Tsuruta, Hirokazu Ihara, Avelino J. Gonzalez, Torsten Kurbad	Improving AI Systems? Dependability by Utilizing Historical Knowledge.	PRDC	2004	DBLP DOI BibTeX RDF
51	L. Ol'khovich, Dmitrij V. Koznov	OCL-Based Automated Validation Method for UML Specifications.	Program. Comput. Softw.	2003	DBLP DOI BibTeX RDF
46	P. Blysa	SDT a tool for complex real-time systems.	ICECCS	1995	DBLP DOI BibTeX RDF	SDT, complex real-time systems tool, object-oriented design tool, object-oriented formal specification technique SDL, C++ environments, simulator, real-time systems, real-time system, formal specification, object-oriented programming, validator, C, programming environments, editor
41	Fernando Pech-May, Ivan López-Arévalo, Víctor Jesús Sosa Sosa	Validator for Clinical Practice Guidelines.	IWANN (2)	2009	DBLP DOI BibTeX RDF	computerizing clinical practice guidelines, Clinical practice guidelines
41	Ingo Glöckner	RAVE: A Fast Logic-Based Answer Validator.	CLEF	2008	DBLP DOI BibTeX RDF
41	Yi Chen 0001, Susan B. Davidson, Yifeng Zheng	XKvalidator: a constraint validator for XML.	CIKM	2002	DBLP DOI BibTeX RDF	key validation, XML, constraints, finite state machine
34	Jean-Baptiste Tristan, Xavier Leroy	Verified validation of lazy code motion.	PLDI	2009	DBLP DOI BibTeX RDF	lazy code motion, the coq proof assistant, redundancy elimination, translation validation, verified compilers
34	Richard Atterer	Model-based automatic usability validation: a tool concept for improving web-based UIs.	NordiCHI	2008	DBLP DOI BibTeX RDF	automated validation, usability model, accessibility, web engineering, web usability
34	Geguang Pu, Jianqi Shi, Zheng Wang 0005, Lu Jin, Jing Liu 0012, Jifeng He 0001	The Validation and Verification of WSCDL.	APSEC	2007	DBLP DOI BibTeX RDF	WSCDL, Verification, Validation
34	Jirka Kosek, Petr Nálevka	Relaxed: on the way towards true validation of compound documents.	WWW	2006	DBLP DOI BibTeX RDF	RELAX NG, Schematron, XML, validation, XHTML, compound documents
34	Maria Adriana Abrão, Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Dominique Laurent 0001, Martin A. Musicante	Incremental Constraint Checking for XML Documents.	XSym	2004	DBLP DOI BibTeX RDF
34	Musa Jafar, A. Terry Bahill	Interactive Verification of Knowledge-Based Systems.	IEEE Expert	1993	DBLP DOI BibTeX RDF
29	Lingbo Kong, Rémi Gilleron, Aurélien Lemay	Retrieving valid matches for XML keyword search.	SAC	2009	DBLP DOI BibTeX RDF	MaxMatch, SLCA, XML keyword search, validator
29	Mark Grechanik	Finding errors in components that exchange xml data.	ASE	2007	DBLP DOI BibTeX RDF	schema validator, interoperability, program analysis, bisimulation, XML schema, symbolic execution
24	Sora Sawai, Kazuaki Tanaka, Katsuhisa Ozaki, Shin'ichi Oishi	Polygonal Sequence-driven Triangulation Validator: An Incremental Approach to 2D Triangulation Verification.	CoRR	2024	DBLP DOI BibTeX RDF
24	Steven D. Fraser, Peter P. Silvester	A Graphics Function Standard Specification Validator.	CoRR	2024	DBLP DOI BibTeX RDF
24	Simmo Saan, Julian Erhard, Michael Schwarz 0007, Stanimir Bozhilov, Karoliine Holter, Sarah Tilscher, Vesal Vojdani, Helmut Seidl	Goblint Validator: Correctness Witness Validation by Abstract Interpretation - (Competition Contribution).	TACAS (3)	2024	DBLP DOI BibTeX RDF
24	Corinna Krebs, Jan Fabian Ehmke	Solution validator and visualizer for (combined) vehicle routing and container loading problems.	Ann. Oper. Res.	2023	DBLP DOI BibTeX RDF
24	Hengsheng Zhang, Jingchen Li, Ziming He, Jinhui Zhu, Haobin Shi	Dyna-Validator: A Model-based Reinforcement Learning Method with Validated Simulated Experiences.	Int. J. Comput. Commun. Control	2023	DBLP DOI BibTeX RDF
24	Scott Seidenberger, Alec Sokol, Anindya Maiti	Stake Your Claim: Zero-Trust Validator Deployment Leveraging NFTs and Smart Contracts in Proof-of-Stake Networks.	CoRR	2023	DBLP DOI BibTeX RDF
24	Xiang Lisa Li, Vaishnavi Shrivastava, Siyan Li, Tatsunori Hashimoto, Percy Liang	Benchmarking and Improving Generator-Validator Consistency of Language Models.	CoRR	2023	DBLP DOI BibTeX RDF
24	Matteo Cimini	A Declarative Validator for GSOS Languages.	PLACES@ETAPS	2023	DBLP DOI BibTeX RDF
24	Haowen Zhang, Jing Li 0047, He Zhao 0011, Tong Zhou 0003, Nianzu Sheng, Hengyu Pan	BlockPilot: A Proposer-Validator Parallel Execution Framework for Blockchain.	ICPP	2023	DBLP DOI BibTeX RDF
24	Liang Liu, Qiao Wang, Stephen John Turnbull, Kazumasa Omote	The Validator's Dilemma in PoW Blockchain: An Evolutionary Game Perspective.	Blockchain	2023	DBLP DOI BibTeX RDF
24	Roberto Saltini	BigFooT: A robust optimal-latency BFT blockchain consensus protocol with dynamic validator membership.	Comput. Networks	2022	DBLP DOI BibTeX RDF
24	Takeaki Matsunaga, Yuanyu Zhang, Masahiro Sasabe, Shoji Kasahara	An Incentivization Mechanism with Validator Voting Profile in Proof-of-Stake-Based Blockchain.	IEICE Trans. Commun.	2022	DBLP DOI BibTeX RDF
24	Haoyu Fang, Yi Fang, Xiaofeng Yang 0005	Multi-organ Segmentation Network with Adversarial Performance Validator.	CoRR	2022	DBLP DOI BibTeX RDF
24	Ferhat Özgür Çatak, Tao Yue 0002, Shaukat Ali 0001	Uncertainty-aware Prediction Validator in Deep Learning Models for Cyber-physical System Data.	ACM Trans. Softw. Eng. Methodol.	2022	DBLP DOI BibTeX RDF
24	Xu Yuan 0002, Chengchuan Xu, Peng Li 0027, Zhikui Chen	Relational learning with hierarchical attention encoder and recoding validator for few-shot knowledge graph completion.	SAC	2022	DBLP DOI BibTeX RDF
24	Bhanuka Mahanama, Lyudmila Balakireva, Sampath Jayarathna, Michael L. Nelson, Martin Klein 0001	Memento validator: a toolset for memento compliance testing.	JCDL	2022	DBLP DOI BibTeX RDF
24	Paul Henry Friedemann, Nils Rodday, Gabi Dreo Rodosek	Assessing the RPKI Validator Ecosystem.	ICUFN	2022	DBLP DOI BibTeX RDF
24	Santonu Sarkar, Katharina Stark, Mario Hoernicke	Design of a Validator for Module Type Packages.	IECON	2022	DBLP DOI BibTeX RDF
24	Tong Wu, Peter Schrammel, Lucas C. Cordeiro	Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution).	TACAS (2)	2022	DBLP DOI BibTeX RDF
24	Falk Howar, Malte Mues	GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution).	TACAS (2)	2022	DBLP DOI BibTeX RDF
24	Jing Li 0006, Dusit Niyato, Choong Seon Hong, Kyung-Joon Park, Li Wang 0039, Zhu Han 0001	Cyber Insurance Design for Validator Rotation in Sharded Blockchain Networks: A Hierarchical Game-Based Approach.	IEEE Trans. Netw. Serv. Manag.	2021	DBLP DOI BibTeX RDF
24	Leonid B. Sokolinsky, Irina M. Sokolinskaya	VaLiPro: Linear Programming Validator for Cluster Computing Systems.	Supercomput. Front. Innov.	2021	DBLP DOI BibTeX RDF
24	Leonid B. Sokolinsky, Irina M. Sokolinskaya	VaLiPro: Linear Programming Validator for Cluster Computing Systems.	CoRR	2021	DBLP BibTeX RDF
24	Abhay Kumar, Sandeep K. Shukla	Topology Validator - Defense Against Topology Poisoning Attack in SDN.	QSHINE	2021	DBLP DOI BibTeX RDF
24	Anish Paranjpe, Gang Tan	Bohemia - A Validator for Parser Frameworks.	SP (Workshops)	2021	DBLP DOI BibTeX RDF
24	Guillaume Bury	Dolmen: A Validator for SMT-LIB and Much More.	SMT	2021	DBLP BibTeX RDF
24	Vladimir Perovic, Jeremy Y. Leclercq, Neven Sumonja, François D. Richard, Nevena Veljkovic, Andrey V. Kajava	Tally-2.0: upgraded validator of tandem repeat detection in protein sequences.	Bioinform.	2020	DBLP DOI BibTeX RDF
24	Alfonso Cevallos, Alistair Stewart	Validator election in nominated proof-of-stake.	CoRR	2020	DBLP BibTeX RDF
24	António A. C. Vieira, Luís M. S. Dias, Maribel Yasmina Santos, Guilherme A. B. Pereira, José António Oliveira 0001	On the use of simulation as a Big Data semantic validator for supply chain management.	Simul. Model. Pract. Theory	2020	DBLP DOI BibTeX RDF
24	Mohammed B. M. Kamel, Kevin Wallis, Péter Ligeti, Christoph Reich	Distributed data validation network in IoT: a decentralized validator selection model.	IOT	2020	DBLP DOI BibTeX RDF
24	Crystal Andrea Roma, M. Anwar Hasan	Energy Consumption Analysis of XRP Validator.	IEEE ICBC	2020	DBLP DOI BibTeX RDF
24	Bangjun He, Jie Zuo, Qiaoyan Feng, Guicai Xie, Ruiqi Qin 0001, Zihao Chen, Lei Duan	EvsJSON: An Efficient Validator for Split JSON Documents.	DASFAA (3)	2020	DBLP DOI BibTeX RDF
24	Anita E. Bandrowski, Tom Gillespie, Monique Surles-Zeigler, Gabrielle Pine, Jeffrey S. Grethe, Maryann E. Martone	How BIDs and BIDs validator has informed the data aggregation needs of the Stimulating Peripheral Activity to Relieve Conditions, SPARC, consortium.	RO	2019	DBLP DOI BibTeX RDF
24	Mohammad Abdulaziz, Peter Lammich	A Formally Verified Validator for Classical Planning Problems and Solutions.	ICTAI	2018	DBLP DOI BibTeX RDF
24	Wheyming Tina Song	The Song Rule as a Validator of Analytical Results - A Note Correcting System Reliability Results in a Review of the Literature.	IEEE Trans. Reliab.	2017	DBLP DOI BibTeX RDF
24	Carl Wilson, Rebecca McGuinness, Joachim Jung	veraPDF: building an open source, industry supported PDF/A validator for cultural heritage institutions.	Digit. Libr. Perspect.	2017	DBLP DOI BibTeX RDF
24	Lukasz Krawiec	An analysis of the use of the web-accessibility validator.	FedCSIS (Communication Papers)	2017	DBLP DOI BibTeX RDF
24	Alper Sen 0001, Etem Deniz, Brian Kahne	MINIME-validator: Validating hardware with synthetic parallel testcases.	DATE	2017	DBLP DOI BibTeX RDF
24	Mária Csernoch, Erzsebet Dani	Data-structure validator: An application of the HY-DE model.	CogInfoCom	2017	DBLP DOI BibTeX RDF
24	Moses Symeonidis, Dimitris Giouroukis, Dimitris Vrakas	A planning problem validator based on reachability analysis.	SETN	2016	DBLP DOI BibTeX RDF
24	Jesús Sánchez Cuadrado	Recursion and Iteration Support in USE Validator with AnATLyzer.	OCL@MoDELS	2015	DBLP BibTeX RDF
24	Damien Doligez, Christèle Faure, Thérèse Hardin, Manuel Maarek	Avoiding Security Pitfalls with Functional Programming: A Report on the Development of a Secure XML Validator.	ICSE (2)	2015	DBLP DOI BibTeX RDF
24	Daejin Park, Meng Di Yin, Jeonghun Cho	Secure Microcontroller with On-Chip Hierarchical Code Validator for Firmware Authentication.	ICITCS	2014	DBLP DOI BibTeX RDF
24	Martin Gogolla, Lars Hamann, Frank Hilken	Checking Transformation Model Properties with a UML and OCL Model Validator.	VOLT@STAF	2014	DBLP BibTeX RDF
24	Jindrich Mynarz	Validator and Preview for the JobPosting Data Model of Schema.org.	EC-Web	2014	DBLP DOI BibTeX RDF
24	Luc Moreau 0001, Trung Dong Huynh, Danius T. Michaelides	An Online Validator for Provenance: Algorithmic Design, Testing, and API.	FASE	2014	DBLP DOI BibTeX RDF
24	Igor V. Rodchenkov, Emek Demir, Chris Sander, Gary D. Bader	The BioPAX Validator.	Bioinform.	2013	DBLP DOI BibTeX RDF
24	Jason Vallet, Aouatef Mrad, Sylvain Hallé, Éric Beaudet	The Relational Database Engine: An Efficient Validator of Temporal Properties on Event Traces.	EDOC Workshops	2013	DBLP DOI BibTeX RDF
24	Kumar Chandan, Martijn P. van Iersel, Mirit I. Aladjem, Kurt W. Kohn, Augustin Luna	PathVisio-Validator: a rule-based validation plugin for graphical pathway notations.	Bioinform.	2012	DBLP DOI BibTeX RDF
24	Saguna, Arkady B. Zaslavsky, Cécile Paris	Context-Aware Twitter Validator (CATVal): A System to Validate Credibility and Authenticity of Twitter Content for use in Decision Support Systems.	DSS	2012	DBLP DOI BibTeX RDF
24	Rudi van Drunen	Building a Protocol Validator for Business to Business Communications.	LISA	2012	DBLP BibTeX RDF
24	Euna Jeong, Masao Nagasaki, Emi Ikeda, Yayoi Sekiya, Ayumu Saito, Satoru Miyano	CSO validator: improving manual curation workflow for biological pathways.	Bioinform.	2011	DBLP DOI BibTeX RDF
24	Michael Stepp, Ross Tate, Sorin Lerner	Equality-Based Translation Validator for LLVM.	CAV	2011	DBLP DOI BibTeX RDF
24	Michael Mehlich	CheckPointer - A C Memory Access Validator.	SCAM	2011	DBLP DOI BibTeX RDF
24	Jean-Baptiste Tristan, Xavier Leroy	A simple, verified validator for software pipelining.	POPL	2010	DBLP DOI BibTeX RDF	software pipelining, translation validation, verified compilers, symbolic evaluation
24	Lei Wang 0001, Tianbing Xia, Jennifer Seberry	Inter-Domain Routing Validator Based Spoofing Defence System.	ISI	2010	DBLP DOI BibTeX RDF
24	Hiroaki Nishikawa, Kazuhiro Aoki, Hiroshi Ishii 0002, Makoto Iwata	A Power Simulator/Validator for Ultra-Low-Power Data-Driven Networking System.	PDPTA	2010	DBLP BibTeX RDF
24	Carrie Heeter, Brian Magerko, Ben Medler, Joe Fitzgerald	Game Design and the Challenge-Avoiding, Self-Validator Player Type.	Int. J. Gaming Comput. Mediat. Simulations	2009	DBLP DOI BibTeX RDF
24	Wouter C. A. Wijngaards, Benno J. Overeinder	Securing DNS: Extending DNS Servers with a DNSSEC Validator.	IEEE Secur. Priv.	2009	DBLP DOI BibTeX RDF
24	Kamaruddin Malik Mohamad, Mustafa Mat Deris	Fragmentation Point Detection of JPEG Images at DHT Using Validator.	FGIT	2009	DBLP DOI BibTeX RDF	File Carving, Digital Forensics, Digital Evidence, Data Recovery
24	Carlos Noguera, Renaud Pawlak	AVal: an extensible attribute-oriented programming validator for Java.	J. Softw. Maintenance Res. Pract.	2007	DBLP DOI BibTeX RDF
24	Robson da Luz, Mirian Halfeld Ferrari Alves, Martin A. Musicante	Regular expression transformations to extend regular languages (with application to a Datalog XML schema validator).	J. Algorithms	2007	DBLP DOI BibTeX RDF
24	Massimo Bertozzi, Alberto Broggi, Michael S. Del Rose, Mirko Felisa	A Symmetry-based Validator and Refinement System for Pedestrian Detection in Far Infrared Images.	ITSC	2007	DBLP DOI BibTeX RDF
24	Carlos Noguera, Renaud Pawlak	AVal: an Extensible Attribute-Oriented Programming Validator for Java.	SCAM	2006	DBLP DOI BibTeX RDF
24	Clark W. Barrett, Yi Fang 0001, Benjamin Goldberg, Ying Hu 0003, Amir Pnueli, Lenore D. Zuck	TVOC: A Translation Validator for Optimizing Compilers.	CAV	2005	DBLP DOI BibTeX RDF
24	Mircea M. Ionescu, Anca L. Ralescu	Fuzzy Hamming Distance Based Banknote Validator.	FUZZ-IEEE	2005	DBLP DOI BibTeX RDF
24	Yu-Liang Chi, Ming-Hung Tsai, Chih-Wei Lee	A Petri-Net based Validator in Reliability of a Composite Service.	EEE	2005	DBLP DOI BibTeX RDF
24	Lenore D. Zuck, Amir Pnueli, Yi Fang 0001, Benjamin Goldberg	VOC: A Translation Validator for Optimizing Compilers.	COCV@ETAPS	2002	DBLP DOI BibTeX RDF
24	Marta Prim, Carles Olle	How accessible are Web pages? A comparison between Bobby and HTML Validator.	WebNet	2001	DBLP BibTeX RDF
24	Peter Braun 0003, Oscar Slotosch	Development of a Car Seat: A Case Study using DOORS, AUTOFOCUS and the Validator.	OMER	2001	DBLP BibTeX RDF
24	Richard J. Orli	Meta-data Standards, Who Cares? The Launch of KisMeta Validator - A Meta-data Standards Setting and Enforcement Tool.	MD	1999	DBLP BibTeX RDF
24	Tim Kohler	Design and Implementation of an ICC Profile Validator.	CIC	1996	DBLP DOI BibTeX RDF
24	Omar Rafiq, Jean-Pierre Ansart	VADILOC - A Protocol Validator and Its Applications.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
17	Paul E. McKenney, Maged M. Michael, Josh Triplett, Jonathan Walpole	Why the grass may not be greener on the other side: a comparison of locking vs. transactional memory.	ACM SIGOPS Oper. Syst. Rev.	2010	DBLP DOI BibTeX RDF
17	Wei Zhang 0022, Chong Sun, Shan Lu 0001	ConMem: detecting severe concurrency bugs through an effect-oriented approach.	ASPLOS	2010	DBLP DOI BibTeX RDF	software testing, concurrency bugs
17	Waraporn Viyanon, Sanjay Kumar Madria	A system for detecting xml similarity in content and structure using relational database.	CIKM	2009	DBLP DOI BibTeX RDF	taxonomy analyzer, clustering, similarity measures, xml, keys
17	Oshani Seneviratne, Lalana Kagal, Tim Berners-Lee	Policy-Aware Content Reuse on the Web.	ISWC	2009	DBLP DOI BibTeX RDF
17	Silvia Mirri, Ludovico Antonio Muratori, Marco Roccetti, Paola Salomoni	Metrics for accessibility on the Vamolà project.	W4A	2009	DBLP DOI BibTeX RDF	evaluating accessibility, monitoring accessibility, accessibility, metrics
17	Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra	A Scenario-Based Validation Language for ASMs.	ABZ	2008	DBLP DOI BibTeX RDF
17	Christine Jacquin, Laura Monceaux, Emmanuel Desmontils	The Answer Validation System ProdicosAV Dedicated to French.	CLEF	2008	DBLP DOI BibTeX RDF
17	Ole-Christoffer Granmo, B. John Oommen, Svein Arild Myrer, Morten Goodwin Olsen	Learning Automata-Based Solutions to the Nonlinear Fractional Knapsack Problem With Applications to Optimal Resource Allocation.	IEEE Trans. Syst. Man Cybern. Part B	2007	DBLP DOI BibTeX RDF
17	Xi Chen, Juejing Feng, Martin Hiller, Vera Lauer	Application of Software Watchdog as a Dependability Software Service for Automotive Safety Relevant Systems.	DSN	2007	DBLP DOI BibTeX RDF	Software Watchdog, heartbeat monitoring, program flow checking, automotive dependable software platform and software services
17	Annalisa Bossi, Ombretta Gaggi	Enriching SMIL with assertions for temporal validation.	ACM Multimedia	2007	DBLP DOI BibTeX RDF	authoring, SMIL, consistency checking
17	Massimo Franceschet, Angelo Montanari, Donatella Gubiani	Modeling and Validating Spatio-Temporal Conceptual Schemas in XML Schema.	DEXA Workshops	2007	DBLP DOI BibTeX RDF