Search results for "Checkers"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
26	Subash Chandar G., S. Vaideeswaran	Addressing verification bottlenecks of fully synthesized processor cores using equivalence checkers.	ASP-DAC	2001	DBLP DOI BibTeX RDF
26	Stanislaw J. Piestrak, Dimitris Bakalis, Xrysovalantis Kavousianos	On the Design of Self-Testing Checkers for Modified Berger Codes.	IOLTW	2001	DBLP DOI BibTeX RDF
26	Kumar Chellapilla, David B. Fogel	Evolving neural networks to play checkers without relying on expert knowledge.	IEEE Trans. Neural Networks	1999	DBLP DOI BibTeX RDF
26	Silvio Micali	Computationally-Sound Checkers.	MFCS	1998	DBLP DOI BibTeX RDF
26	Stanislaw J. Piestrak	Design of encoders and self-testing checkers for some systematic unidirectional error detecting codes.	DFT	1997	DBLP DOI BibTeX RDF	systematic unidirectional error detecting code, t-UED Bose-Lin code, burst UED code, multi-output threshold circuit, encoder, automatic testing, logic function, Berger code, hardware complexity, self-testing checker
26	Valery A. Vardanian	Exact probabilistic analysis of error detection for parity checkers.	VTS	1997	DBLP DOI BibTeX RDF	circuit under check, multi-output supergate, combinational CUC, restricted observability, restricted detectability, concurrent checker, latency, error detection, combinational circuits, probabilistic analysis, single stuck-at fault, parity checker
26	Heebyung Yoon, Abhijit Chatterjee, Joseph L. A. Hughes	Optimal Design of Checksum-Based Checkers for Fault Detection in Linear Analog Circuits.	VLSI Design	1997	DBLP DOI BibTeX RDF
25	Guru Venkataramani, Ioannis Doudalis, Yan Solihin, Milos Prvulovic	MemTracker: An accelerator for memory debugging and monitoring.	ACM Trans. Archit. Code Optim.	2009	DBLP DOI BibTeX RDF	memory access monitoring, debugging, Accelerator
25	Shuvendu K. Lahiri, Shaz Qadeer, Juan P. Galeotti, Jan W. Voung, Thomas Wies	Intra-module Inference.	CAV	2009	DBLP DOI BibTeX RDF
25	Randal E. Bryant	A View from the Engine Room: Computational Support for Symbolic Model Checking.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF
25	Tuomas Korhonen	Adaptive Spell Checker for Dyslexic Writers.	ICCHP	2008	DBLP DOI BibTeX RDF	dyslexia, spell-checking, spelling
25	Yang Liu 0003, Jun Sun 0001, Jin Song Dong	An analyzer for extended compositional process algebras.	ICSE Companion	2008	DBLP DOI BibTeX RDF	simulation, model checking, fairness, sat solvers
25	Guru Venkataramani, Brandyn Roemer, Yan Solihin, Milos Prvulovic	MemTracker: Efficient and Programmable Support for Memory Access Monitoring and Debugging.	HPCA	2007	DBLP DOI BibTeX RDF
25	George Kuan, David MacQueen	Efficient type inference using ranked type variables.	ML	2007	DBLP DOI BibTeX RDF	algorithm W, compilers, functional programming, type inference, type checking, standard ML
25	Arie Gurfinkel, Ou Wei, Marsha Chechik	Yasm: A Software Model-Checker for Verification and Refutation.	CAV	2006	DBLP DOI BibTeX RDF
25	Yoonsik Cheon, Gary T. Leavens	A contextual interpretation of undefinedness for runtime assertion checking.	AADEBUG	2005	DBLP DOI BibTeX RDF	undefinedness, formal methods, exceptions, JML language, runtime assertion checking, partial functions
25	Lan Guo, Supratik Mukhopadhyay, Bojan Cukic	Does Your Result Checker Really Check?	DSN	2004	DBLP DOI BibTeX RDF
25	Fang Yu 0001, Bow-Yaw Wang, Yao-Wen Huang	Bounded Model Checking for Region Automata.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF
25	Grégoire Hamon, Leonardo Mendonça de Moura, John M. Rushby	Generating Efficient Test Sets with a Model Checker.	SEFM	2004	DBLP DOI BibTeX RDF
25	Martin Omaña 0001, Daniele Rossi 0001, Cecilia Metra	High Speed and Highly Testable Parallel Two-Rail Code Checker.	DATE	2003	DBLP DOI BibTeX RDF
25	Joan Feigenbaum, Sampath Kannan, Martin Strauss 0001, Mahesh Viswanathan 0001	Testing and Spot-Checking of Data Streams.	Algorithmica	2002	DBLP DOI BibTeX RDF
25	Dawson R. Engler, David Yu Chen, Andy Chou	Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code.	SOSP	2001	DBLP DOI BibTeX RDF
25	Constance L. Heitmeyer	Transferring Research Results in Requirements to Practice: Obstacles and Incentives.	ICRE	2000	DBLP DOI BibTeX RDF
25	C. Han Yang, David L. Dill	Validation with Guided Search of the State Space.	DAC	1998	DBLP DOI BibTeX RDF	model checking, verification, guided search
25	Hal Wasserman, Manuel Blum 0001	Software reliability via run-time result-checking.	J. ACM	1997	DBLP DOI BibTeX RDF	self-correcting, fault tolerance, debugging, Fourier transform, concurrent error detection, built-in testing, result-checking
25	Manuel Blum 0001, Sampath Kannan	Designing Programs that Check Their Work.	J. ACM	1995	DBLP DOI BibTeX RDF	testing, program verification, probabilistic algorithms, interactive proofs, program checking
18	Luciano Baresi, Sam Guinea, Olivier Nano, George Spanoudakis	Comprehensive Monitoring of BPEL Processes.	IEEE Internet Comput.	2010	DBLP DOI BibTeX RDF	Assertion checkers, assertion languages, performance, Software Engineering, Software Engineering, Design Tools and Techniques, Software/Software Engineering, Software/Software Engineering, Software/Program Verification, Distributed/Internet based software engineering tools and techniques
18	Mohammad Mahmoody, David Xiao	On the Power of Randomized Reductions and the Checkability of SAT.	CCC	2010	DBLP DOI BibTeX RDF	Colusure, Instance Checkers, Complexity, Randomization
18	Gutierrez Soares Caixeta, Rita Maria da Silva Julia	A Draughts Learning System Based on Neural Networks and Temporal Differences: The Impact of an Efficient Tree-Search Algorithm.	SBIA	2008	DBLP DOI BibTeX RDF	Draughts, Alpha-Beta Pruning, Transposition Table, Table Hashing, Zobrist Key, Neural Network, Temporal Difference Learning, Checkers, Automatic Learning, Iterative Deepening
18	Mats Per Erik Heimdahl, George Devaraj	On the effect of test-suite reduction on automatically generated model-based tests.	Autom. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Test reduction, Fault finding, Specification-based testing, Automated test generation, Model checkers
18	Stephen H. Edwards, Murali Sitaraman, Bruce W. Weide, Joseph E. Hollingsworth	Contract-Checking Wrappers for C++ Classes.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	Assertion checkers, binary components, class invariants, specification, preconditions, design by contract, postconditions, debugging aids, coding techniques
18	Nelly Delgado, Ann Q. Gates, Steve Roach	A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	Assertion checkers, specification, survey, specification language, runtime monitors, software/program verification
18	David Hovemeyer, William W. Pugh	Finding bugs is easy.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	bug checkers, static analysis, bugs, bug patterns
18	Mats Per Erik Heimdahl, George Devaraj	Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing.	ASE	2004	DBLP DOI BibTeX RDF	test reduction, fault finding, specification-based testing, automated test generation, model checkers
18	Pankaj Chauhan, Edmund M. Clarke, Daniel Kroening	A SAT-based algorithm for reparameterization in symbolic simulation.	DAC	2004	DBLP DOI BibTeX RDF	SAT checkers, safety property checking, bounded model checking, symbolic simulation, parametric representation
18	Kazem Taghva, Eric Stofsky	OCRSpell: an interactive spelling correction system for OCR errors in text.	Int. J. Document Anal. Recognit.	2001	DBLP DOI BibTeX RDF	OCR-Spell checkers, Information retrieval, Error correction, Scanning
18	Debaleena Das, Nur A. Touba, Markus Seuring, Michael Gössel	Low Cost Concurrent Error Detection Based on Modulo Weight-Based Codes.	IOLTW	2000	DBLP DOI BibTeX RDF	error detecting codes, Concurrent error detection, self-checking checkers
18	Ravi Kumar 0001, D. Sivakumar 0001	Efficient Self-Testing/Self-Correction of Linear Recurrences.	FOCS	1996	DBLP DOI BibTeX RDF	efficient self-testing, efficient self-correction, self-tester design, self-corrector design, result-checkers, linear function testing, counting arguments, matrix twist, convolution identities, VLSI chip testing, randomness-efficient self-tester, rational domains, signal processing, finite fields, program testing, polynomials, reduction, functions, spectral analysis, matrix groups, linear recurrences, control engineering
18	Manuel Blum 0001, Hal Wasserman	Program Result-Checking: A Theory of Testing Meets a Test of Theory	FOCS	1994	DBLP DOI BibTeX RDF	real-number linear transformation, program result-checking, self-correctors, reliable functionality, real-number computer systems, stored randomness, debugging, Fourier Transform, checkers, run-time checks
18	Bella Bose, Der Jei Lin	PLA Implementation of k-out-of-n Code TSC Checker.	IEEE Trans. Computers	1984	DBLP DOI BibTeX RDF	Code disjoint, k-out-of-n codes, fault detection, self-testing, totally self-checking checkers, fault secure
17	Cristian C. Suancha, Marco J. Suarez, Felipe Besoain	Implementation of Alpha-Beta Pruning and Transposition Tables on Checkers Game.	IEEE Access	2024	DBLP DOI BibTeX RDF
17	Gionnieve Lim, Simon T. Perrault	Fact Checking Chatbot: A Misinformation Intervention for Instant Messaging Apps and an Analysis of Trust in the Fact Checkers.	CoRR	2024	DBLP DOI BibTeX RDF
17	Hangwen Zhang, Qingyi Si, Peng Fu 0008, Zheng Lin 0001, Weiping Wang	Are Large Language Models Table-based Fact-Checkers?	CoRR	2024	DBLP DOI BibTeX RDF
17	Kimia Zamiri Azar, Hadi Mardani Kamali, Farimah Farahmandi, Mark M. Tehranipoor	Improving Bounded Model Checkers Scalability for Circuit De-Obfuscation: An Exploration.	IEEE Trans. Inf. Forensics Secur.	2024	DBLP DOI BibTeX RDF
17	Giuliano Fabris, Lorenzo Scalera, Alessandro Gasparetto	Playing Checkers with an Intelligent and Collaborative Robotic System.	Robotics	2024	DBLP DOI BibTeX RDF
17	Alexandru Dura, Christoph Reichenbach	Clog: A Declarative Language for C Static Code Checkers.	CC	2024	DBLP DOI BibTeX RDF
17	Tauseef Mehrali, Fabienne Cotte, Paul Wicks, Stephen Gilbert	Response to Ben-Shabat et al.'s "Assessing data gathering of chatbot based symptom checkers - A clinical vignettes study".	Int. J. Medical Informatics	2023	DBLP DOI BibTeX RDF
17	Mario Gleirscher, Robert Sachtleben, Jan Peleska 0001	Qualification of Proof Assistants, Checkers, and Generators: Where Are We and What Next?	CoRR	2023	DBLP DOI BibTeX RDF
17	Yongchao Chen, Jacob Arkin, Yang Zhang, Nicholas Roy, Chuchu Fan	AutoTAMP: Autoregressive Task and Motion Planning with LLMs as Translators and Checkers.	CoRR	2023	DBLP DOI BibTeX RDF
17	Houjiang Liu, Anubrata Das 0001, Alexander Boltz, Didi Zhou, Daisy Pinaroc, Matthew Lease, Min Kyung Lee	Human-centered NLP Fact-checking: Co-Designing with Fact-checkers using Matchmaking for AI.	CoRR	2023	DBLP DOI BibTeX RDF
17	Julio C. S. Reis, Philipe F. Melo, Fabiano Belém, Fabricio Murai, Jussara M. Almeida, Fabrício Benevenuto	Helping Fact-Checkers Identify Fake News Stories Shared through Images on WhatsApp.	CoRR	2023	DBLP DOI BibTeX RDF
17	Han Cao, Lingwei Wei, Mengyang Chen, Wei Zhou, Songlin Hu	Are Large Language Models Good Fact Checkers: A Preliminary Study.	CoRR	2023	DBLP DOI BibTeX RDF
17	Dayananda Ubrangala, Juhi Sharma, Ravi Prasad Kondapalli, Kiran Rama, Amit Agarwala, Laurent Boué	Domain specificity and data efficiency in typo tolerant spell checkers: the case of search in online marketplaces.	CoRR	2023	DBLP DOI BibTeX RDF
17	Eun-Cheol Choi, Emilio Ferrara	Automated Claim Matching with Large Language Models: Empowering Fact-Checkers in the Fight Against Misinformation.	CoRR	2023	DBLP DOI BibTeX RDF
17	Kui Liu 0001, Jingtang Zhang, Li Li 0029, Anil Koyuncu, Dongsun Kim 0001, Chunpeng Ge, Zhe Liu 0001, Jacques Klein, Tegawendé F. Bissyandé	Reliable Fix Patterns Inferred from Static Checkers for Automated Program Repair.	ACM Trans. Softw. Eng. Methodol.	2023	DBLP DOI BibTeX RDF
17	Mario Gleirscher, Robert Sachtleben, Jan Peleska 0001	Qualification of proof assistants, checkers, and generators: Where are we and what next?	Sci. Comput. Program.	2023	DBLP DOI BibTeX RDF
17	Rajib Ranjan Maiti, Cheah Huei Yoong, Venkata Reddy Palleti, Arlindo Silva, Christopher M. Poskitt	Mitigating Adversarial Attacks on Data-Driven Invariant Checkers for Cyber-Physical Systems.	IEEE Trans. Dependable Secur. Comput.	2023	DBLP DOI BibTeX RDF
17	Karthik Swaminathan, Ramon Bertran, Doug Balazich, Alper Buyuktosunoglu, Arvind Haran, Sean M. Carey, Karl Anderson, Hans M. Jacobson, Matthias Pflanz, Pradip Bose	Characterization and Exploration of Latch Checkers for Efficient RAS Protection.	DSN-S	2023	DBLP DOI BibTeX RDF
17	Julio C. S. Reis, Philipe F. Melo, Fabiano Belém, Fabricio Murai, Jussara M. Almeida, Fabrício Benevenuto	Helping Fact-Checkers Identify Fake News Stories Shared through Images on WhatsApp.	WebMedia	2023	DBLP DOI BibTeX RDF
17	Hasini Witharana, Sahan Sanjaya, Prabhat Mishra 0001	Dynamic Refinement of Hardware Assertion Checkers.	DATE	2023	DBLP DOI BibTeX RDF
17	Wenjie Xu, Lin Chen, Chenghao Su, Yimeng Guo, Yanhui Li, Yuming Zhou, Baowen Xu	How Well Static Type Checkers Work with Gradual Typing? A Case Study on Python.	ICPC	2023	DBLP DOI BibTeX RDF
17	Casper Bach Poulsen, Aron Zwaan, Paul Hübner	A Monadic Framework for Name Resolution in Multi-phased Type Checkers.	GPCE	2023	DBLP DOI BibTeX RDF
17	Jiuqi Wang, Martin Müller 0003, Jonathan Schaeffer	Deep Dive on Checkers Endgame Data.	CoG	2023	DBLP DOI BibTeX RDF
17	Bence Graics, Vince Molnár, István Majzik	Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers.	FMICS	2023	DBLP DOI BibTeX RDF
17	Kavin Kumar K, Nandhini V. D, Kowsalya M, Ragu P. J, Raghapriya N. R, S. Maheswaran 0001	Designing and validating an MD5 Hash Algorithm using the UVM Verification Framework and Checkers.	ICCCNT	2023	DBLP DOI BibTeX RDF
17	Wenjing Deng	AIGROW: A Feedback-Driven Test Generation Framework for Hardware Model Checkers.	ICSE Companion	2023	DBLP DOI BibTeX RDF
17	Ellis Michael	Techniques for Integrating Erasure Codes and Model Checkers with Distributed Systems		2023	RDF
17	Aron Zwaan, Hendrik van Antwerpen, Eelco Visser	Incremental type-checking for free: using scope graphs to derive incremental type-checkers.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
17	Nicholas Micallef, Vivienne Armacost, Nasir D. Memon, Sameer Patil	True or False: Studying the Work Practices of Professional Fact-Checkers.	Proc. ACM Hum. Comput. Interact.	2022	DBLP DOI BibTeX RDF
17	Niv Ben Shabat, Gal Sharvit, Ben Meimis, Daniel Ben Joya, Ariel Sloma, David Kiderman, Aviv Shabat, Avishai M. Tsur, Abdulla Watad, Howard Amital	Assessing data gathering of chatbot based symptom checkers - a clinical vignettes study.	Int. J. Medical Informatics	2022	DBLP DOI BibTeX RDF
17	Piji Li	uChecker: Masked Pretrained Language Models as Unsupervised Chinese Spelling Checkers.	CoRR	2022	DBLP DOI BibTeX RDF
17	Mohammad Eslami, Tara Ghasempouri, Samuel Pagliarini	Reusing Verification Assertions as Security Checkers for Hardware Trojan Detection.	CoRR	2022	DBLP BibTeX RDF
17	Harry Coppock, George Nicholson, Ivan Kiskin, Vasiliki Koutra, Kieran Baker, Jobie Budd, Richard Payne, Emma Karoune, David Hurley, Alexander Titcomb, Sabrina Egglestone, Ana Tendero Cañadas, Lorraine Butler, Radka Jersakova, Jonathon Mellor, Selina Patel, Tracey Thornley, Peter Diggle, Sylvia Richardson, Josef Packham, Björn W. Schuller, Davide Pigoli, Steven Gilmour, Stephen J. Roberts, Chris C. Holmes	Audio-based AI classifiers show no evidence of improved COVID-19 screening over simple symptoms checkers.	CoRR	2022	DBLP DOI BibTeX RDF
17	Megha Sundriyal, Atharva Kulkarni, Vaibhav Pulastya, Md. Shad Akhtar, Tanmoy Chakraborty 0002	Empowering the Fact-checkers! Automatic Identification of Claim Spans on Twitter.	CoRR	2022	DBLP DOI BibTeX RDF
17	Yue You, Renkai Ma, Xinning Gui	User Experience of Symptom Checkers: A Systematic Review.	CoRR	2022	DBLP DOI BibTeX RDF
17	Anastasia Giachanou, Bilal Ghanem, Esteban A. Ríssola, Paolo Rosso, Fabio Crestani, Daniel L. Oberski	The impact of psycholinguistic patterns in discriminating between fake news spreaders and fact checkers.	Data Knowl. Eng.	2022	DBLP DOI BibTeX RDF
17	Ravi Mangal, Corina S. Pasareanu	A Cascade of Checkers for Run-time Certification of Local Robustness.	NSV/FoMLAS@CAV	2022	DBLP DOI BibTeX RDF
17	Nathan R. Sturtevant	An Efficient Chinese Checkers Implementation: Ranking, Bitboards, and BMI2 pext and pdep Instructions.	CG	2022	DBLP DOI BibTeX RDF
17	Yuan Sun 0014, S. Shyam Sundar	Exploring the Effects of Interactive Dialogue in Improving User Control for Explainable Online Symptom Checkers.	CHI Extended Abstracts	2022	DBLP DOI BibTeX RDF
17	Zi Hen Lin, Ziwei Wang, Minzhu Zhao, Yunya Song, Liang Lan	An AI-based System to Assist Human Fact-Checkers for Labeling Cantonese Fake News on Social Media.	IEEE Big Data	2022	DBLP DOI BibTeX RDF
17	Piji Li	uChecker: Masked Pretrained Language Models as Unsupervised Chinese Spelling Checkers.	COLING	2022	DBLP BibTeX RDF
17	Megha Sundriyal, Atharva Kulkarni, Vaibhav Pulastya, Md. Shad Akhtar, Tanmoy Chakraborty 0002	Empowering the Fact-checkers! Automatic Identification of Claim Spans on Twitter.	EMNLP	2022	DBLP DOI BibTeX RDF
17	Shaden Shaar, Nikola Georgiev, Firoj Alam, Giovanni Da San Martino, Aisha Mohamed, Preslav Nakov	Assisting the Human Fact-Checkers: Detecting All Previously Fact-Checked Claims in a Document.	EMNLP (Findings)	2022	DBLP DOI BibTeX RDF
17	Kimia Zamiri Azar, Hadi Mardani Kamali, Farimah Farahmandi, Mark M. Tehranipoor	Warm Up before Circuit De-obfuscation? An Exploration through Bounded-Model-Checkers.	HOST	2022	DBLP DOI BibTeX RDF
17	Mohammad Eslami, Tara Ghasempouri, Samuel Pagliarini	Reusing Verification Assertions as Security Checkers for Hardware Trojan Detection.	ISQED	2022	DBLP DOI BibTeX RDF
17	Xaver Fink, Philipp Berger 0002, Joost-Pieter Katoen	Configurable Benchmarks for C Model Checkers.	NFM	2022	DBLP DOI BibTeX RDF
17	Manoel Horta Ribeiro, Savvas Zannettou, Oana Goga, Fabrício Benevenuto, Robert West 0001	Can online attention signals help fact-checkers to fact-check?	ICWSM Workshops	2022	DBLP DOI BibTeX RDF
17	Yue You, Renkai Ma, Xinning Gui	User Experience of Symptom Checkers: A Systematic Review.	AMIA	2022	DBLP BibTeX RDF
17	Nahid Hossain, Salekul Islam, Mohammad Nurul Huda	Development of Bangla Spell and Grammar Checkers: Resource Creation and Evaluation.	IEEE Access	2021	DBLP DOI BibTeX RDF
17	Hubert Garavel	Proposal for Adding Useful Features to Petri-Net Model Checkers.	CoRR	2021	DBLP BibTeX RDF
17	Yue You, Xinning Gui	Self-Diagnosis through AI-enabled Chatbot-based Symptom Checkers: User Experiences and Design Considerations.	CoRR	2021	DBLP BibTeX RDF
17	Mohamed Akrout, Faouzi Bellili, Amine Mezghani, Hayet Amdouni	Optimizing Binary Symptom Checkers via Approximate Message Passing.	CoRR	2021	DBLP BibTeX RDF
17	Shaden Shaar, Firoj Alam, Giovanni Da San Martino, Preslav Nakov	Assisting the Human Fact-Checkers: Detecting All Previously Fact-Checked Claims in a Document.	CoRR	2021	DBLP BibTeX RDF
17	Preslav Nakov, David P. A. Corney, Maram Hasanain, Firoj Alam, Tamer Elsayed, Alberto Barrón-Cedeño, Paolo Papotti, Shaden Shaar, Giovanni Da San Martino	Automated Fact-Checking for Assisting Human Fact-Checkers.	CoRR	2021	DBLP BibTeX RDF
17	Manoel Horta Ribeiro, Savvas Zannettou, Oana Goga, Fabrício Benevenuto, Robert West 0001	What do fact checkers fact-check when?	CoRR	2021	DBLP BibTeX RDF
17	Casandra López-Marcos, Pilar Vicente-Fernández	Fact Checkers Facing Fake News and Disinformation in the Digital Age: A Comparative Analysis between Spain and United Kingdom.	Publ.	2021	DBLP DOI BibTeX RDF
17	Pei-Yao Hung, Drew Canada, Michelle A. Meade, Mark S. Ackerman	Data Checkers: A Grid-Based UI for Managing Patient-Generated Data Sharing to Support Collaborative Self-Care.	Frontiers Comput. Sci.	2021	DBLP DOI BibTeX RDF
17	Cheah Huei Yoong, Venkata Reddy Palleti, Rajib Ranjan Maiti, Arlindo Silva, Christopher M. Poskitt	Deriving invariant checkers for critical infrastructure using axiomatic design principles.	Cybersecur.	2021	DBLP DOI BibTeX RDF
17	Bettina Berendt, Peter Burger, Rafael Hautekiet, Jan Jagers, Alexander Pleijter, Peter Van Aelst	FactRank: Developing automated claim detection for Dutch-language fact-checkers.	Online Soc. Networks Media	2021	DBLP DOI BibTeX RDF
17	Muhammad Hannan Khan, Osman Hassan, Shahid Khan 0002	Accelerating SpMV Multiplication in Probabilistic Model Checkers Using GPUs.	ICTAC	2021	DBLP DOI BibTeX RDF