Search results for "Liveness"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Yasar Abbas Ur Rehman, Lai-Man Po, Mengyang Liu	SLNet: Stereo face liveness detection via dynamic disparity-maps and convolutional neural network.	Expert Syst. Appl.	2020	DBLP DOI BibTeX RDF
14	Frédéric Herbreteau, B. Srivathsan, Thanh-Tung Tran, Igor Walukiewicz	Why Liveness for Timed Automata Is Hard, and What We Can Do About It.	ACM Trans. Comput. Log.	2020	DBLP DOI BibTeX RDF
14	Julia Gabet, Nobuko Yoshida	Static Race Detection and Mutex Safety and Liveness for Go Programs (Artifact).	Dagstuhl Artifacts Ser.	2020	DBLP DOI BibTeX RDF
14	Guanghua Tan, Qiong Zhang, Haiyang Hu, Xianyi Zhu, Xiangqiong Wu	Fingerprint liveness detection based on guided filtering and hybrid image analysis.	IET Image Process.	2020	DBLP DOI BibTeX RDF
14	Yongliang Zhang, Chenhao Gao, Shengyi Pan, Zhiwei Li, Yuanyang Xu, Haoze Qiu	A Score-Level Fusion of Fingerprint Matching With Fingerprint Liveness Detection.	IEEE Access	2020	DBLP DOI BibTeX RDF
14	Yongliang Zhang, Shengyi Pan, Xiaosi Zhan, Zhiwei Li, Minghua Gao, Chenhao Gao	FLDNet: Light Dense CNN for Fingerprint Liveness Detection.	IEEE Access	2020	DBLP DOI BibTeX RDF
14	Rohit Agarwal, Anand Singh Jalal, K. V. Arya	A multimodal liveness detection using statistical texture features and spatial analysis.	Multim. Tools Appl.	2020	DBLP DOI BibTeX RDF
14	Sanjay Garg, Sapan H. Mankad	Voice liveness detection under feature fusion and cross-environment scenario.	Multim. Tools Appl.	2020	DBLP DOI BibTeX RDF
14	Yeonjoon Lee, Yue Zhao 0018, Jiutian Zeng, Kwangwuk Lee, Nan Zhang 0018, Faysal Hossain Shezan, Yuan Tian 0001, Kai Chen 0012, XiaoFeng Wang 0001	Using Sonar for Liveness Detection to Protect Smart Speakers against Remote Attackers.	Proc. ACM Interact. Mob. Wearable Ubiquitous Technol.	2020	DBLP DOI BibTeX RDF
14	Mark Bouwman, Bas Luttik, Tim A. C. Willemse	Off-the-shelf automated analysis of liveness properties for just paths.	Acta Informatica	2020	DBLP DOI BibTeX RDF
14	Chen Chen 0009, Arun Raman, Hesuan Hu, Ramavarapu S. Sreenivas	On Liveness Enforcing Supervisory Policies for Arbitrary Petri Nets.	IEEE Trans. Autom. Control.	2020	DBLP DOI BibTeX RDF
14	Spyros A. Reveliotis, Tomás Masopust	Efficient Liveness Assessment for Traffic States in Open, Irreversible, Dynamically Routed, Zone-Controlled Guidepath-Based Transport Systems.	IEEE Trans. Autom. Control.	2020	DBLP DOI BibTeX RDF
14	Chengsheng Yuan, Xianyi Chen, Peipeng Yu, Ruohan Meng, Weijin Cheng, Q. M. Jonathan Wu, Xingming Sun	Semi-supervised stacked autoencoder-based deep hierarchical semantic feature for real-time fingerprint liveness detection.	J. Real Time Image Process.	2020	DBLP DOI BibTeX RDF
14	Spyros A. Reveliotis	On the state liveness of some classes of guidepath-based transport systems and its computational complexity.	Autom.	2020	DBLP DOI BibTeX RDF
14	Jianwei Fei, Zhihua Xia, Peipeng Yu, Fengjun Xiao	Adversarial attacks on fingerprint liveness detection.	EURASIP J. Image Video Process.	2020	DBLP DOI BibTeX RDF
14	Chengsheng Yuan, Zhihua Xia, Xingming Sun, Q. M. Jonathan Wu	Deep Residual Network With Adaptive Learning Framework for Fingerprint Liveness Detection.	IEEE Trans. Cogn. Dev. Syst.	2020	DBLP DOI BibTeX RDF
14	Zhihua Xia, Chengsheng Yuan, Rui Lv, Xingming Sun, Neal N. Xiong, Yun-Qing Shi 0001	A Novel Weber Local Binary Descriptor for Fingerprint Liveness Detection.	IEEE Trans. Syst. Man Cybern. Syst.	2020	DBLP DOI BibTeX RDF
14	Yanxiang Feng, Keyi Xing, MengChu Zhou, Huixia Liu	Liveness Analysis and Deadlock Control for Automated Manufacturing Systems With Multiple Resource Requirements.	IEEE Trans. Syst. Man Cybern. Syst.	2020	DBLP DOI BibTeX RDF
14	Rohit Agarwal, Anand Singh Jalal, K. V. Arya	Enhanced Binary Hexagonal Extrema Pattern (EBHXEP) Descriptor for Iris Liveness Detection.	Wirel. Pers. Commun.	2020	DBLP DOI BibTeX RDF
14	Manminder Singh, Ajat Shatru Arora	Computer Aided Face Liveness Detection with Facial Thermography.	Wirel. Pers. Commun.	2020	DBLP DOI BibTeX RDF
14	Pascal Baumann 0001, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche	Context-Bounded Verification of Liveness Properties for Multithreaded Shared-Memory Programs.	CoRR	2020	DBLP BibTeX RDF
14	Martin Lester 0001, Robin P. Neatherway, C.-H. Luke Ong, Steven J. Ramsay	Verifying Liveness Properties of ML Programs.	CoRR	2020	DBLP BibTeX RDF
14	Xiang Xu, Yuanjun Xiong, Wei Xia	On Improving Temporal Consistency for Online Face Liveness Detection.	CoRR	2020	DBLP BibTeX RDF
14	Yanhong A. Liu, Scott D. Stoller	Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness.	CoRR	2020	DBLP BibTeX RDF
14	Aleksandr Parkin, Oleg Grinchuk	Creating Artificial Modalities to Solve RGB Liveness.	CoRR	2020	DBLP BibTeX RDF
14	Roberto Casula, Giulia Orrù, Daniele Angioni, Xiaoyi Feng, Gian Luca Marcialis, Fabio Roli	Are spoofs from latent fingerprints a real threat for the best state-of-art liveness detectors?	CoRR	2020	DBLP BibTeX RDF
14	Michael Blondin, Javier Esparza, Martin Helfrich, Antonín Kucera 0001, Philipp J. Meyer	Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling.	CoRR	2020	DBLP BibTeX RDF
14	Karena X. Cai, Tung Phan-Minh, Soon-Jo Chung, Richard M. Murray	Rules of the Road: Towards Safety and Liveness Guarantees for Autonomous Vehicles.	CoRR	2020	DBLP BibTeX RDF
14	Yong Kiam Tan, André Platzer	An Axiomatic Approach to Existence and Liveness for Differential Equations.	CoRR	2020	DBLP BibTeX RDF
14	Patrick Bahr, Christian Uldal Graulund, Rasmus Ejlers Møgelberg	Diamonds are not forever: Liveness in reactive programming with guarded recursion.	CoRR	2020	DBLP BibTeX RDF
14	Mrdjan Jankovic, Mario A. Santillo	Collision Avoidance and Liveness of Multi-agent Systems with CBF-based Controllers.	CoRR	2020	DBLP BibTeX RDF
14	Étienne André, Didier Lime, Olivier H. Roux	Reachability and liveness in parametric timed automata.	CoRR	2020	DBLP BibTeX RDF
14	Gabriela Y. Kimura, Diego Rafael Lucio, Alceu S. Britto Jr., David Menotti	CNN Hyperparameter tuning applied to Iris Liveness Detection.	CoRR	2020	DBLP BibTeX RDF
14	Priyanka Das 0004, Joseph McGrath, Zhaoyuan Fang, Aidan Boyd, Ganghee Jang, Amir Mohammadi, Sandip Purnapatra, David Yambay, Sébastien Marcel, Mateusz Trokielewicz, Piotr Maciejewicz, Kevin W. Bowyer, Adam Czajka, Stephanie Schuckers, Juan E. Tapia, Sebastian Gonzalez, Meiling Fang, Naser Damer, Fadi Boutros, Arjan Kuijper, Renu Sharma, Cunjian Chen, Arun Ross	Iris Liveness Detection Competition (LivDet-Iris) - The 2020 Edition.	CoRR	2020	DBLP BibTeX RDF
14	Daniel Clavel, Cristian Mahulea, Manuel Silva 0001	On Liveness Enforcement of Distributed Petri Net Systems.	CoRR	2020	DBLP BibTeX RDF
14	Filipp Demenschonok, Jason Harrigan, Tamara Bonaci	An Overview of Fingerprint-Based Authentication: Liveness Detection and Beyond.	CoRR	2020	DBLP BibTeX RDF
14	Julia Gabet, Nobuko Yoshida	Static Race Detection and Mutex Safety and Liveness for Go Programs (extended version).	CoRR	2020	DBLP BibTeX RDF
14	Abdulrahman A. Alshdadi, Rubab Mehboob, Hassan Dawood, Madini O. Alassafi, Rayed AlGhamdi, Hussain Dawood	Exploiting Level 1 and Level 3 features of fingerprints for liveness detection.	Biomed. Signal Process. Control.	2020	DBLP DOI BibTeX RDF
14	Ranjana Koshy, Ausif Mahmood	Enhanced Deep Learning Architectures for Face Liveness Detection for Static and Video Sequences.	Entropy	2020	DBLP DOI BibTeX RDF
14	Peter Matthew, Susan Canning	An algorithmic approach for optimising biometric systems using liveness and coercion detection.	Comput. Secur.	2020	DBLP DOI BibTeX RDF
14	Muhammad Bashir	Optimal enforcement of liveness for decentralized systems of flexible manufacturing systems using Petri nets.	Trans. Inst. Meas. Control	2020	DBLP DOI BibTeX RDF
14	K. Mohan, P. Chandrasekhar, K. V. Ramanaiah	Object-specific face authentication system for liveness detection using combined feature descriptors with fuzzy-based SVM classifier.	Int. J. Comput. Aided Eng. Technol.	2020	DBLP DOI BibTeX RDF
14	Nils Timm, Stefan Gruner, Madoda Nxumalo, Josua Botha	Model checking safety and liveness via k-induction and witness refinement with constraint generation.	Sci. Comput. Program.	2020	DBLP DOI BibTeX RDF
14	Xindou Li, Chenqiang Gao, Fengshun Zhou, Hui Han, Lin Tang	基于图像扩散速度模型和纹理信息的人脸活体检测 (Face Liveness Detection Based on Image Diffusion Speed Model and Texture Information).	计算机科学	2020	DBLP DOI BibTeX RDF
14	Jaco van de Pol, Laure Petrucci	On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract).	WADT	2020	DBLP DOI BibTeX RDF
14	Priyanka Das 0004, Joseph McGrath, Zhaoyuan Fang, Aidan Boyd, Ganghee Jang, Amir Mohammadi, Sandip Purnapatra, David Yambay, Sébastien Marcel, Mateusz Trokielewicz, Piotr Maciejewicz, Kevin W. Bowyer, Adam Czajka, Stephanie Schuckers, Juan E. Tapia, Sebastian Gonzalez, Meiling Fang, Naser Damer, Fadi Boutros, Arjan Kuijper, Renu Sharma, Cunjian Chen, Arun Ross	Iris Liveness Detection Competition (LivDet-Iris) - The 2020 Edition.	IJCB	2020	DBLP DOI BibTeX RDF
14	Michael Blondin, Javier Esparza, Martin Helfrich, Antonín Kucera 0001, Philipp J. Meyer	Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling.	CAV (2)	2020	DBLP DOI BibTeX RDF
14	Jing Li, Dongning Guo	Liveness and Consistency of Bitcoin and Prism Blockchains: The Non-lockstep Synchronous Case.	IEEE ICBC	2020	DBLP DOI BibTeX RDF
14	Kosuke Akimoto, Seng Pei Liew, Sakiko Mishima, Ryo Mizushima, Kong Aik Lee	POCO: A Voice Spoofing and Liveness Detection Corpus Based on Pop Noise.	INTERSPEECH	2020	DBLP DOI BibTeX RDF
14	Yu Yoshitani, Nobuyuki Nishiuchi	A Study on Biometric Authentication and Liveness Detection Using Finger Elastic Deformation.	HCI (40)	2020	DBLP DOI BibTeX RDF
14	Ranjana Koshy, Ausif Mahmood	Enhanced Anisotropic Diffusion-based CNN-LSTM Architecture for Video Face Liveness Detection.	ICMLA	2020	DBLP DOI BibTeX RDF
14	Sudeep Thepade, Prasad Jagdale, Amit Bhingurde, Shwetali Erandole	Novel Face Liveness Detection Using Fusion of Features and Machine Learning Classifiers.	ICIoT	2020	DBLP DOI BibTeX RDF
14	Aman Bansal, Saksham Goel, Preey Shah, Amitabha Sanyal, Prasanna Kumar	Garbage collection using a finite liveness domain.	ISMM	2020	DBLP DOI BibTeX RDF
14	Yojiro Harie, Katsumi Wasaki	Analysis of Structural Liveness and Boundedness in Weighted Free-Choice Net Based on Circuit Flow Values.	SAI (3)	2020	DBLP DOI BibTeX RDF
14	Michael Bar-Sinai, Gera Weiss	Verification of Liveness and Safety Properties of Behavioral Programs Using BPjs.	ISoLA (4)	2020	DBLP DOI BibTeX RDF
14	Bart Jacobs 0002	Modular Verification of Liveness Properties of the I/O Behavior of Imperative Programs.	ISoLA (1)	2020	DBLP DOI BibTeX RDF
14	Habiba Farrukh, Reham Mohamed Aburas, Siyuan Cao, He Wang 0008	FaceRevelio: a face liveness detection system for smartphones with a single front camera.	MobiCom	2020	DBLP DOI BibTeX RDF
14	Thomas Herzog, Andreas Uhl	Analysing a Vein Liveness Detection Scheme.	IWBF	2020	DBLP DOI BibTeX RDF
14	Roberto Casula, Giulia Orrù, Daniele Angioni, Xiaoyi Feng, Gian Luca Marcialis, Fabio Roli	Are spoofs from latent fingerprints a real threat for the best state-of-art liveness detectors?	ICPR	2020	DBLP DOI BibTeX RDF
14	Yunbin Deng	Remote Liveness and Heart Rate Detection from Video.	ICPR Workshops (8)	2020	DBLP DOI BibTeX RDF
14	Muhammad Ejaz Ahmed, Il-Youp Kwak, Jun Ho Huh, Iljoo Kim, Taekkyung Oh, Hyoungshick Kim	Void: A fast and light voice liveness detection system.	USENIX Security Symposium	2020	DBLP BibTeX RDF
14	Cong Wu 0003, Kun He 0008, Jing Chen 0003, Ziming Zhao 0001, Ruiying Du	Liveness is Not Enough: Enhancing Fingerprint Authentication with Behavioral Biometrics to Defeat Puppet Attacks.	USENIX Security Symposium	2020	DBLP BibTeX RDF
14	Jiacheng Shang, Jie Wu 0001	Voice Liveness Detection for Voice Assistants using Ear Canal Pressure.	MASS	2020	DBLP DOI BibTeX RDF
14	Yanhong A. Liu, Scott D. Stoller	Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness.	RV	2020	DBLP DOI BibTeX RDF
14	Julia Gabet, Nobuko Yoshida	Static Race Detection and Mutex Safety and Liveness for Go Programs.	ECOOP	2020	DBLP DOI BibTeX RDF
14	Jian Li, Yongmei Liu 0001	Automatic Verification of Liveness Properties in the Situation Calculus.	AAAI	2020	DBLP DOI BibTeX RDF
14	Farnaz Yousefi, Anubhavnidhi Abhashkumar, Kausik Subramanian, Kartik Hans, Soudeh Ghorbani, Aditya Akella	Liveness Verification of Stateful Network Functions.	NSDI	2020	DBLP BibTeX RDF
14	Jean-Christophe Léchenet, Sandrine Blazy, David Pichardie	A Fast Verified Liveness Analysis in SSA Form.	IJCAR (2)	2020	DBLP DOI BibTeX RDF
14	Emanuel Moreira, Filipe F. Correia, João Bispo	Overviewing the liveness of refactoring for energy efficiency.	Programming	2020	DBLP DOI BibTeX RDF
14	Novarun Deb, Mandira Roy, Nabendu Chaki, Agostino Cortesi	Generation of Safety and Liveness Complaint Automata from Goal Model Specifications.	EDCC	2020	DBLP DOI BibTeX RDF
14	Huan Fan 0001	The Spectator Fulfilling the Concept of Liveness.	EVA	2020	DBLP DOI BibTeX RDF
14	Hongbo Liu 0002, Zhihua Li, Yucheng Xie, Ruizhe Jiang, Yan Wang 0003, Xiaonan Guo, Yingying Chen 0001	LiveScreen: Video Chat Liveness Detection Leveraging Skin Reflection.	INFOCOM	2020	DBLP DOI BibTeX RDF
14	Alexander Spiegelman, Arik Rinberg, Dahlia Malkhi	ACE: Abstract Consensus Encapsulation for Liveness Boosting of State Machine Replication.	OPODIS	2020	DBLP DOI BibTeX RDF
14	Bat-Erdene Batsukh	Liveness Detection via Facial Expressions Queue.	IntelliSys (2)	2020	DBLP DOI BibTeX RDF
14	Gabit Tolendiyev, Mohammed Abdulhakim Al-Absi, Hyotaek Lim, Byung-Gook Lee	Adaptive Margin Based Liveness Detection for Face Recognition.	IHCI (2)	2020	DBLP DOI BibTeX RDF
14	Alexander Fedotov, Jeroen J. A. Keiren, Julien Schmaltz	Effective System Level Liveness Verification.	FMCAD	2020	DBLP DOI BibTeX RDF
14	Johannes Schuiki, Andreas Uhl	Improved Liveness Detection in Dorsal Hand Vein Videos using Photoplethysmography.	BIOSIG	2020	DBLP BibTeX RDF
14	Ayaka Sugimoto, Yuya Shiomi, Akira Baba, Norihiro Okui, Tetsushi Ohki, Yutaka Miyake, Masakatsu Nishigaki	A Liveness Detection Method for Palmprint Authentication.	IHSI	2020	DBLP DOI BibTeX RDF
14	Gabriela Y. Kimura, Diego Rafael Lucio, Alceu S. Britto Jr., David Menotti	CNN Hyperparameter Tuning Applied to Iris Liveness Detection.	VISIGRAPP (5: VISAPP)	2020	DBLP DOI BibTeX RDF
14	Linghan Zhang, Sheng Tan, Zi Wang 0003, Yili Ren, Zhi Wang 0004, Jie Yang 0003	VibLive: A Continuous Liveness Detection for Secure Voice User Interface in IoT Environment.	ACSAC	2020	DBLP DOI BibTeX RDF
14	Fu-Mei Chen, Chang Wen, Kai Xie, Fangqing Wen, Guan-Qun Sheng, Xin-Gong Tang	Face liveness detection: fusing colour texture feature and deep feature.	IET Biom.	2019	DBLP DOI BibTeX RDF
14	Mengyang Liu, Hong Fu, Ying Wei, Yasar Abbas Ur Rehman, Lai Man Po, Wai Lun Lo	Light field-based face liveness detection with convolutional neural networks.	J. Electronic Imaging	2019	DBLP DOI BibTeX RDF
14	Yasar Abbas Ur Rehman, Lai-Man Po, Mengyang Liu, Zijie Zou, Weifeng Ou, Yuzhi Zhao	Face liveness detection using convolutional-features fusion of real and deep network generated face images.	J. Vis. Commun. Image Represent.	2019	DBLP DOI BibTeX RDF
14	Changyong Yu, Chengtang Yao, Mingtao Pei, Yunde Jia	Diffusion-based kernel matrix model for face liveness detection.	Image Vis. Comput.	2019	DBLP DOI BibTeX RDF
14	Hefeng Chen, Naiqi Wu, Zhiwu Li 0001, Ting Qu, Hailian Xiao	Liveness of Disjunctive and Strict Single-Type Automated Manufacturing System: An ROPN Approach.	IEEE Access	2019	DBLP DOI BibTeX RDF
14	Ho Yub Jung, Yong Seok Heo, Soochahn Lee	Fingerprint Liveness Detection by a Template-Probe Convolutional Neural Network.	IEEE Access	2019	DBLP DOI BibTeX RDF
14	Zhenxin Gao, Yanxiang Feng, Feng Tian 0002, Keyi Xing	Enforcing the Liveness of S4PR by Using the Approach of Allocating Resources.	IEEE Access	2019	DBLP DOI BibTeX RDF
14	Yongliang Zhang, Daqiong Shi, Xiaosi Zhan, Di Cao, Keyi Zhu, Zhiwei Li	Slim-ResCNN: A Deep Residual Convolutional Neural Network for Fingerprint Liveness Detection.	IEEE Access	2019	DBLP DOI BibTeX RDF
14	Woojung Kim, Woojin Hong, Taekmoo Kim, Dongwoon Kim, Myunghee Lee	RF Sensor-Based Liveness Detection Scheme With Loop Stability Compensation Circuit for a Capacitive Fingerprint System.	IEEE Access	2019	DBLP DOI BibTeX RDF
14	Chengsheng Yuan, Zhihua Xia, Leqi Jiang, Yi Cao, Q. M. Jonathan Wu, Xingming Sun	Fingerprint Liveness Detection Using an Improved CNN With Image Scale Equalization.	IEEE Access	2019	DBLP DOI BibTeX RDF
14	Asera Wayne Asera, Masayoshi Aritsugi	Weber Centralized Binary Fusion Descriptor for Fingerprint Liveness Detection.	IEICE Trans. Inf. Syst.	2019	DBLP DOI BibTeX RDF
14	Yao Wang 0005, Wandong Cai, Tao Gu, Wei Shao 0006, Yannan Li, Yong Yu 0002	Secure Your Voice: An Oral Airflow-Based Continuous Liveness Detection for Voice Assistants.	Proc. ACM Interact. Mob. Wearable Ubiquitous Technol.	2019	DBLP DOI BibTeX RDF
14	Jongwoo Seo 0001, In-Jeong Chung	Face Liveness Detection Using Thermal Face-CNN with External Knowledge.	Symmetry	2019	DBLP DOI BibTeX RDF
14	Petr Jancar, David Purser	Structural liveness of Petri nets is ExpSpace-hard and decidable.	Acta Informatica	2019	DBLP DOI BibTeX RDF
14	Patrick Rein, Stefan Ramson, Jens Lincke, Robert Hirschfeld, Tobias Pape	Exploratory and Live, Programming and Coding - A Literature Study Comparing Perspectives on Liveness.	Art Sci. Eng. Program.	2019	DBLP DOI BibTeX RDF
14	Sang Won Lee 0002	Liveness in Interactive Systems.	CoRR	2019	DBLP BibTeX RDF
14	Rob van Glabbeek	Ensuring Liveness Properties of Distributed Systems: Open Problems.	CoRR	2019	DBLP BibTeX RDF
14	Yong Kiam Tan, André Platzer	An Axiomatic Approach to Liveness for Differential Equations.	CoRR	2019	DBLP BibTeX RDF
14	Rob van Glabbeek	Justness: A Completeness Criterion for Capturing Liveness Properties.	CoRR	2019	DBLP BibTeX RDF
14	Peter Chini, Roland Meyer 0001, Prakash Saivasan	Complexity of Liveness in Parameterized Systems.	CoRR	2019	DBLP BibTeX RDF