Search results for "Liveness"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Manuel Bravo, Gregory V. Chockler, Alexey Gotsman	Liveness and Latency of Byzantine State-Machine Replication.	CoRR	2022	DBLP BibTeX RDF
14	Michal Kalewski, Jerzy Brzezinski	Uniform and regular reliable broadcast protocols facilitating concurrent message dissemination for mobile ad hoc networks with the network liveness property.	J. Netw. Comput. Appl.	2022	DBLP DOI BibTeX RDF
14	Gaiyun Liu, Yuting Liu, Zhiwu Li 0001	Robust liveness-enforcing supervisor for Petri nets with unreliable resources based on mixed integer programming.	Soft Comput.	2022	DBLP DOI BibTeX RDF
14	Étienne André, Didier Lime, Olivier H. Roux	Reachability and liveness in parametric timed automata.	Log. Methods Comput. Sci.	2022	DBLP DOI BibTeX RDF
14	Luca Ciccone, Luca Padovani	Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types.	Log. Methods Comput. Sci.	2022	DBLP DOI BibTeX RDF
14	Juan E. Tapia, Sebastian Gonzalez, Christoph Busch 0001	Iris Liveness Detection Using a Cascade of Dedicated Deep Learning Networks.	IEEE Trans. Inf. Forensics Secur.	2022	DBLP DOI BibTeX RDF
14	Yinbo Yu, Jiajia Liu 0001	TAPInspector: Safety and Liveness Verification of Concurrent Trigger-Action IoT Systems.	IEEE Trans. Inf. Forensics Secur.	2022	DBLP DOI BibTeX RDF
14	Dmitry V. Polevoy, Irina V. Sigareva, Daria M. Ershova, Vladimir V. Arlazarov, Dmitry P. Nikolaev, Zuheng Ming, Muhammad Muzzamil Luqman, Jean-Christophe Burie	Document Liveness Challenge Dataset (DLC-2021).	J. Imaging	2022	DBLP DOI BibTeX RDF
14	Jing Li 0007, Yajun Chen, Erhu Zhang	Comprehensive edge direction descriptor for fingerprint liveness detection.	Signal Process. Image Commun.	2022	DBLP DOI BibTeX RDF
14	Divine Senanu Ametefe, Suzi Seroja Sarnin, Darmawaty Mohd Ali, M. Z. Zaheer	Fingerprint Liveness Detection Schemes: A Review on Presentation Attack.	Comput. methods Biomech. Biomed. Eng. Imaging Vis.	2022	DBLP DOI BibTeX RDF
14	Zäzilia Seibold, Kai Furmans, Kevin R. Gue	Using Logical Time to Ensure Liveness in Material Handling Systems With Decentralized Control.	IEEE Trans Autom. Sci. Eng.	2022	DBLP DOI BibTeX RDF
14	Yen-Lin Lee, Deron Liang, Wei-Jen Wang	Optimal Online Liveness Fault Detection for Multilayer Cloud Computing Systems.	IEEE Trans. Dependable Secur. Comput.	2022	DBLP DOI BibTeX RDF
14	Peter Chini, Roland Meyer 0001, Prakash Saivasan	Liveness in broadcast networks.	Computing	2022	DBLP DOI BibTeX RDF
14	Benoit Boissinot, Fabrice Rastello	Liveness.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
14	Yunlong Wang 0003, Mupei Li, Zhengquan Luo, Zhenan Sun	PDVN: A Patch-based Dual-view Network for Face Liveness Detection using Light Field Focal Stack.	IJCB	2022	DBLP DOI BibTeX RDF
14	Bernardo David, Bernardo Magri, Christian Matt 0002, Jesper Buus Nielsen, Daniel Tschudi	GearBox: Optimal-size Shard Committees by Leveraging the Safety-Liveness Dichotomy.	CCS	2022	DBLP DOI BibTeX RDF
14	Junjie Wei, Qin Li	NKind: a model checker for liveness property verification on Lustre programs.	SEKE	2022	DBLP DOI BibTeX RDF
14	Ruslan Padnevych, David Carmo, David Semedo, João Magalhães	Temporal Convolutional Networks for Robust Face Liveness Detection.	IbPRIA	2022	DBLP DOI BibTeX RDF
14	Emilien Fournier, Ciprian Teodorov, Loïc Lagadec	Dolmen: FPGA Swarm for Safety and Liveness Verification.	DATE	2022	DBLP DOI BibTeX RDF
14	Leandro Batista Ribeiro, Drona Nagarajan, Vignesh Manjunath, Muhammad Tanveer Ali Ahmad, Marcel Baunach	Verifying Liveness and Real-Time of OS-Based Embedded Software.	DSD	2022	DBLP DOI BibTeX RDF
14	Bader Abu Radi, Orna Kupferman	Minimization of Automata for Liveness Languages.	ATVA	2022	DBLP DOI BibTeX RDF
14	Hao Li, Ruofeng Liu, Shuai Wang 0008, Wenchao Jiang, Chris Xiaoxuan Lu	Pedestrian Liveness Detection Based on mmWave Radar and Camera Fusion.	SECON	2022	DBLP DOI BibTeX RDF
14	Yan Meng 0001, Jiachun Li, Matthew Pillari, Arjun Deopujari, Liam Brennan, Hafsah Shamsie, Haojin Zhu, Yuan Tian 0001	Your Microphone Array Retains Your Identity: A Robust Voice Liveness Detection System for Smart Speakers.	USENIX Security Symposium	2022	DBLP BibTeX RDF
14	Changjiang Li, Li Wang, Shouling Ji, Xuhong Zhang 0002, Zhaohan Xi, Shanqing Guo, Ting Wang 0006	Seeing is Living? Rethinking the Security of Facial Liveness Verification in the Deepfake Era.	USENIX Security Symposium	2022	DBLP BibTeX RDF
14	Manuel Bravo, Gregory V. Chockler, Alexey Gotsman	Liveness and Latency of Byzantine State-Machine Replication.	DISC	2022	DBLP DOI BibTeX RDF
14	Ittai Abraham, Natacha Crooks, Neil Giridharan, Heidi Howard, Florian Suri-Payer	Brief Announcement: It's not easy to relax: liveness in chained BFT protocols.	DISC	2022	DBLP DOI BibTeX RDF
14	James Simpson, Rory Foster	Liveness for Contemporary Audiences: Developing online-togetherness in metaverse-theatre audiences.	EVA	2022	DBLP DOI BibTeX RDF
14	Marcin Wojnakowski, Mateusz Poplawski, Remigiusz Wisniewski, Grzegorz Bazydlo	Hippo-CPS: Verification of Boundedness, Safeness and Liveness of Petri Net-Based Cyber-Physical Systems.	DoCEIS	2022	DBLP DOI BibTeX RDF
14	Min Young Lim, Tae Yong Kim, Joung Eun Park, Pyo Min Hong, Youn Kyu Lee	A Central Point-based Analysis for Fingerprint Liveness Detection.	ICTC	2022	DBLP DOI BibTeX RDF
14	Soo-Hyun Lee, Min Young Lim, Seong-Hee Park, Hwajung Yoo, Youn Kyu Lee	Towards Cross-materials: Fingerprint Liveness Detection based on Style Transfer.	ICTC	2022	DBLP DOI BibTeX RDF
14	Zih-Ching Chen, Lin-Hsi Tsao, Chin-Lun Fu, Shang-Fu Chen, Yu-Chiang Frank Wang	Learning Facial Liveness Representation for Domain Generalized Face Anti-Spoofing.	ICME	2022	DBLP DOI BibTeX RDF
14	Tao Qin 0005, Yifan Dong, Li Yin, Naiqi Wu, Zhiwu Li 0001	Liveness Enforcement for Time Petri Nets.	CoDIT	2022	DBLP DOI BibTeX RDF
14	Chao Wang, Gustavo Petri, Yi Lv, Teng Long, Zhiming Liu 0001	Decidability of Liveness for Concurrent Objects on the TSO Memory Model.	SETTA	2022	DBLP DOI BibTeX RDF
14	Philippa Gardner	Concurrent Separation Logics: Logical Abstraction, Logical Atomicity and Environment Liveness Conditions (Invited Talk).	CONCUR	2022	DBLP DOI BibTeX RDF
14	Priyanka Gupta, Hemant A. Patil	Significance of Distance on Pop Noise for Voice Liveness Detection.	SPECOM	2022	DBLP DOI BibTeX RDF
14	Viet-Trung Tran, Van-Sang Tran, Xuan-Bang Nguyen, The-Trung Tran	A liveness detection protocol based on deep visual-linguistic alignment.	KSE	2022	DBLP DOI BibTeX RDF
14	Wei Yuen Teh, Ian K. T. Tan, Heng Kiat Tan	Liveness Detection for Images and Audio.	ISPACS	2022	DBLP DOI BibTeX RDF
14	Mingyu Chen 0007, Chengsheng Yuan, Xinting Li, Zhili Zhou	Broad Learning with Uniform Local Binary Pattern for Fingerprint Liveness Detection.	NCAA (1)	2022	DBLP DOI BibTeX RDF
14	Bernd Finkbeiner, Noemi Passing	Synthesizing Dominant Strategies for Liveness.	FSTTCS	2022	DBLP DOI BibTeX RDF
14	Zhi-Sheng Chen, Reza Pulungan, Yung-Hui Li, Farchan Hakim Raswa, Agus Harjoko, Jia-Ching Wang, Indra Yusuf Kinarta, Chung-Ting Lee	Fingerprint Liveness Detection Using Handcrafted Feature Descriptors and Neural Network.	GCCE	2022	DBLP DOI BibTeX RDF
14	Ruslan Padnevych, David Semedo, David Carmo, João Magalhães	Improving Face Liveness Detection Robustness with Deep Convolutional Generative Adversarial Networks.	EUSIPCO	2022	DBLP BibTeX RDF
14	Ankur T. Patil, Kuldeep Khoria, Hemant A. Patil	Voice Liveness Detection using Constant-Q Transform-Based Features.	EUSIPCO	2022	DBLP BibTeX RDF
14	Priyanka Gupta, Piyushkumar K. Chodingala, Hemant A. Patil	Morlet Wavelet-Based Voice Liveness Detection using Convolutional Neural Network.	EUSIPCO	2022	DBLP BibTeX RDF
14	Alperen Enes Bayar, Cihan Topal	Face Liveness Detection Based on Stereo Imaging.	SIU	2022	DBLP DOI BibTeX RDF
14	Farchan Hakim Raswa, Indra Yusuf Kinarta, Reza Pulungan, Agus Harjoko, Chung-Ting Lee, Yung-Hui Li, Jia-Ching Wang	Fingerprint Liveness Detection Using Denoised-Bayes Shrink Wavelet and Aggregated Local Spatial and Frequency Features.	ICMLC	2022	DBLP DOI BibTeX RDF
14	Zeynep Inel Özkiper, Zeynep Turgut, Tülin Atmaca, Muhammed Ali Aydin	Fingerprint Liveness Detection Using Deep Learning.	FiCloud	2022	DBLP DOI BibTeX RDF
14	Emilien Fournier	Accélération matérielle de la vérification de sûreté et vivacité sur des architectures reconfigurables. (Hardware acceleration of safety and liveness verification on reconfigurable architectures).		2022	RDF
14	Pascal Baumann 0001, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche	Context-bounded verification of liveness properties for multithreaded shared-memory programs.	Proc. ACM Program. Lang.	2021	DBLP DOI BibTeX RDF
14	Patrick Bahr, Christian Uldal Graulund, Rasmus Ejlers Møgelberg	Diamonds are not forever: liveness in reactive programming with guarded recursion.	Proc. ACM Program. Lang.	2021	DBLP DOI BibTeX RDF
14	Manar Ramzy Dronky, Wael Khalifa, Mohamed Roushdy 0001	Using residual images with BSIF for iris liveness detection.	Expert Syst. Appl.	2021	DBLP DOI BibTeX RDF
14	Chengsheng Yuan, Qi Cui, Xingming Sun, Q. M. Jonathan Wu, Sheng Wu	Chapter Five - Fingerprint liveness detection using an improved CNN with the spatial pyramid pooling structure.	Adv. Comput.	2021	DBLP DOI BibTeX RDF
14	Jesse Lowe, Reza Derakhshani	Optokinetic response for mobile device biometric liveness assessment.	Image Vis. Comput.	2021	DBLP DOI BibTeX RDF
14	Akhilesh Verma, Vijay Kumar Gupta, Savita Goel, Akbar 0001, Arun Kumar Yadav 0001, Divakar Yadav	Modeling Fingerprint Presentation Attack Detection Through Transient Liveness Factor-A Person Specific Approach.	Traitement du Signal	2021	DBLP DOI BibTeX RDF
14	Wen Jian, Yujie Zhou, Hongming Liu	Densely Connected Convolutional Network Optimized by Genetic Algorithm for Fingerprint Liveness Detection.	IEEE Access	2021	DBLP DOI BibTeX RDF
14	Shivang Agarwal, Ajita Rattani, C. Ravindranath Chowdary	A comparative study on handcrafted features v/s deep features for open-set fingerprint liveness detection.	Pattern Recognit. Lett.	2021	DBLP DOI BibTeX RDF
14	Ram Prakash Sharma, Somnath Dey	A comparative study of handcrafted local texture descriptors for fingerprint liveness detection under real world scenarios.	Multim. Tools Appl.	2021	DBLP DOI BibTeX RDF
14	Ashutosh Satapathy, L. M. Jenila Livingston	A lite convolutional neural network built on permuted Xceptio-inception and Xceptio-reduction modules for texture based facial liveness recognition.	Multim. Tools Appl.	2021	DBLP DOI BibTeX RDF
14	Arun Raman, Ramavarapu S. Sreenivas	Liveness enforcing supervisory policies tolerant to controllability failures for discrete-event systems modeled by Petri Nets.	Autom.	2021	DBLP DOI BibTeX RDF
14	Linghan Zhang, Jie Yang 0003	A Continuous Liveness Detection System for Text-independent Speaker Verification.	CoRR	2021	DBLP BibTeX RDF
14	Arian Sabaghi, Marzieh Oghbaie, Kooshan Hashemifard, Mohammad Akbari	Deep Learning meets Liveness Detection: Recent Advancements and Challenges.	CoRR	2021	DBLP BibTeX RDF
14	Jiri Valusek, Petr Jancar	Structural Liveness of Immediate Observation Petri Nets.	CoRR	2021	DBLP BibTeX RDF
14	Chao Wang, Gustavo Petri, Yi Lv, Teng Long, Zhiming Liu 0001	Decidability of Liveness on the TSO Memory Model.	CoRR	2021	DBLP BibTeX RDF
14	Javier Galbally, Fernando Alonso-Fernandez, Julian Fiérrez, Javier Ortega-Garcia	A high performance fingerprint liveness detection method based on quality related features.	CoRR	2021	DBLP BibTeX RDF
14	Shivang Agarwal, C. Ravindranath Chowdary, Vivek Sourabh	EaZy Learning: An Adaptive Variant of Ensemble Learning for Fingerprint Liveness Detection.	CoRR	2021	DBLP BibTeX RDF
14	Man Zhou, Qian Wang 0002, Qi Li 0002, Peipei Jiang 0002, Jingxiao Yang, Chao Shen 0001, Cong Wang 0001, Shouhong Ding	Securing Face Liveness Detection Using Unforgeable Lip Motion Patterns.	CoRR	2021	DBLP BibTeX RDF
14	Juan E. Tapia, Sebastian Gonzalez, Christoph Busch 0001	Iris Liveness Detection using a Cascade of Dedicated Deep Learning Networks.	CoRR	2021	DBLP BibTeX RDF
14	Steve Benford, Paul Mansfield, Jocelyn Spence	Producing Liveness: The Trials of Moving Folk Clubs Online During the Global Pandemic.	CoRR	2021	DBLP BibTeX RDF
14	Kai-Chieh Hsu, Vicenc Rubies-Royo, Claire J. Tomlin, Jaime F. Fisac	Safety and Liveness Guarantees through Reach-Avoid Reinforcement Learning.	CoRR	2021	DBLP BibTeX RDF
14	Linghan Zhang, Jie Yang 0003	A Continuous Liveness Detection for Voice Authentication on Smart Devices.	CoRR	2021	DBLP BibTeX RDF
14	Roberto Casula, Marco Micheletto, Giulia Orrù, Rita Delussu, Sara Concas, Andrea Panzino, Gian Luca Marcialis	LivDet 2021 Fingerprint Liveness Detection Competition - Into the unknown.	CoRR	2021	DBLP BibTeX RDF
14	Luca Ciccone, Luca Padovani	Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types.	CoRR	2021	DBLP BibTeX RDF
14	Yinbo Yu, Jiajia Liu 0001	TAPInspector: Safety and Liveness Verification of Concurrent Trigger-Action IoT Systems.	CoRR	2021	DBLP BibTeX RDF
14	Bernardo David, Bernardo Magri, Christian Matt 0002, Jesper Buus Nielsen, Daniel Tschudi	GearBox: An Efficient UC Sharded Ledger Leveraging the Safety-Liveness Dichotomy.	IACR Cryptol. ePrint Arch.	2021	DBLP BibTeX RDF
14	Soha B. Sandouka, Yakoub Bazi, Naif Alajlan	Transformers and Generative Adversarial Networks for Liveness Detection in Multitarget Fingerprint Sensors.	Sensors	2021	DBLP DOI BibTeX RDF
14	Syed Farooq Ali, Muhammad Aamir Khan 0003, Ahmed Sohail Aslam	Fingerprint matching, spoof and liveness detection: classification and literature review.	Frontiers Comput. Sci.	2021	DBLP DOI BibTeX RDF
14	Yong Kiam Tan, André Platzer	An axiomatic approach to existence and liveness for differential equations.	Formal Aspects Comput.	2021	DBLP DOI BibTeX RDF
14	Yan Meng 0001, Haojin Zhu, Jinlei Li, Jin Li 0002, Yao Liu 0007	Liveness Detection for Voice User Interface via Wireless Signals in IoT Environment.	IEEE Trans. Dependable Secur. Comput.	2021	DBLP DOI BibTeX RDF
14	Nahuel González	Dataset for Towards Liveness Detection in Keystroke Dynamics: Revealing Synthetic Forgeries.		2021	DOI RDF
14	Roberto Casula, Marco Micheletto, Giulia Orrù, Rita Delussu, Sara Concas, Andrea Panzino, Gian Luca Marcialis	LivDet 2021 Fingerprint Liveness Detection Competition - Into the unknown.	IJCB	2021	DBLP DOI BibTeX RDF
14	Sandip Purnapatra, Nic Smalt, Keivan Bahmani, Priyanka Das 0004, David Yambay, Amir Mohammadi, Anjith George, Thirimachos Bourlai, Sébastien Marcel, Stephanie Schuckers, Meiling Fang, Naser Damer, Fadi Boutros, Arjan Kuijper, Alperen Kantarci, Basar Demir, Zafer Yildiz, Zabi Ghafoory, Hasan Dertli, Hazim Kemal Ekenel, Son Vu 0002, Vassilis Christophides, Dashuang Liang, Guanghao Zhang, Zhanlong Hao, Junfu Liu, Yufeng Jin, Samo Liu, Samuel Huang, Salieri Kuei, Jag Mohan Singh, Raghavendra Ramachandra	Face Liveness Detection Competition (LivDet-Face) - 2021.	IJCB	2021	DBLP DOI BibTeX RDF
14	Siddhant Gupta, Kuldeep Khoria, Ankur T. Patil, Hemant A. Patil	Deep Convolutional Neural Network for Voice Liveness Detection.	APSIPA ASC	2021	DBLP BibTeX RDF
14	Palak Ambade, Diptiben Solanki, Novarun Deb	RV-SLC: A Tool for Regression Validation of Safety and Liveness Constraints on Goal Models in DevOps Environment.	RE	2021	DBLP DOI BibTeX RDF
14	Luca Ciccone, Luca Padovani	Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types.	ICALP	2021	DBLP DOI BibTeX RDF
14	Krishnendu Chatterjee, Monika Henzinger, Sagar Kale, Alexander Svozil	Faster Algorithms for Bounded Liveness in Graphs and Game Graphs.	ICALP	2021	DBLP DOI BibTeX RDF
14	Manfred Broy	Refining the Safety-Liveness Classification of Temporal Properties According to Realizability.	Formal Methods in Outer Space	2021	DBLP DOI BibTeX RDF
14	Mrdjan Jankovic, Mario A. Santillo	Collision Avoidance and Liveness of Multi-agent Systems with CBF-based Controllers.	CDC	2021	DBLP DOI BibTeX RDF
14	Kai-Chieh Hsu, Vicenc Rubies-Royo, Claire J. Tomlin, Jaime F. Fisac	Safety and Liveness Guarantees through Reach-Avoid Reinforcement Learning.	Robotics: Science and Systems	2021	DBLP DOI BibTeX RDF
14	Sheng Li 0006, Xun Zhu, Guorui Feng, Xinpeng Zhang 0001, Zhenxing Qian	Diffusing the Liveness Cues for Face Anti-spoofing.	ACM Multimedia	2021	DBLP DOI BibTeX RDF
14	Chengsheng Yuan, Jie Chen, Mingyu Chen 0007, Wei Gu	A Lightweight CNN Using HSIC Fine-Tuning for Fingerprint Liveness Detection.	CCBR	2021	DBLP DOI BibTeX RDF
14	Steve Benford, Paul Mansfield, Jocelyn Spence	Producing Liveness: The Trials of Moving Folk Clubs Online During the Global Pandemic.	CHI	2021	DBLP DOI BibTeX RDF
14	Muhammad Mohzary, Khalid J. Almalki, Baek-Young Choi, Sejun Song	Apple in my eyes (AIME): liveness detection for mobile security using corneal specular reflections.	MobiSys	2021	DBLP DOI BibTeX RDF
14	Xiang Xu, Yuanjun Xiong, Wei Xia	On Improving Temporal Consistency for Online Face Liveness Detection System.	ICCVW	2021	DBLP DOI BibTeX RDF
14	Nathalie Bertrand 0001, Bastien Thomas, Josef Widder	Guard Automata for the Verification of Safety and Liveness of Distributed Algorithms.	CONCUR	2021	DBLP DOI BibTeX RDF
14	Mark Bouwman, Bas Luttik, Tim A. C. Willemse	Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths - (Extended Abstract).	FORTE	2021	DBLP DOI BibTeX RDF
14	Shrishti Singh, Kuldeep Khoria, Hemant A. Patil	Modified Group Delay Function Using Different Spectral Smoothing Techniques for Voice Liveness Detection.	SPECOM	2021	DBLP DOI BibTeX RDF
14	Abdelrahamn Ashraf Mohamed, Marwan Mohamed Nagah, Mohamed Gamal Abdelmonem, Mohamed Yasser Ahmed, Mahmoud El-Sahhar, Fatma Helmy Ismail	Face Liveness Detection Using a sequential CNN technique.	CCWC	2021	DBLP DOI BibTeX RDF
14	Qunhao Sha, Qizhe Yang, Guoqiang Li 0001	A Parallel Implementation of Liveness on Knowledge Graphs under Label Constraints.	TASE	2021	DBLP DOI BibTeX RDF
14	Shrishti Singh, Kuldeep Khoria, Hemant A. Patil	Modified Group Delay Cepstral Coefficients for Voice Liveness Detection.	EUSIPCO	2021	DBLP DOI BibTeX RDF
14	Kuldeep Khoria, Ankur T. Patil, Hemant A. Patil	Significance of Constant-Q Transform for Voice Liveness Detection.	EUSIPCO	2021	DBLP DOI BibTeX RDF
14	Benjamin Dauphin	Liveness analysis techniques and run-time environment for memory management of dataflow applications. (Analyses de vivacité et environnement logiciel intelligent pour la gestion mémoire d'applications flux de données).		2021	RDF