Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Benjamin Aminof, Sasha Rubin, Francesco Spegni, Florian Zuleger |
Liveness of Parameterized Timed Networks. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
14 | Claudio Antares Mezzina, Vasileios Koutavas |
A Safety and Liveness Theory for Total Reversibility (Extended Abstract). |
CoRR |
2016 |
DBLP BibTeX RDF |
|
14 | Prasanna Kumar K., Amitabha Sanyal, Amey Karkare |
Liveness-Based Garbage Collection for Lazy Languages. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
14 | Søren Debois, Thomas T. Hildebrandt, Tijs Slaats, Nobuko Yoshida |
Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. |
Log. Methods Comput. Sci. |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida |
Fencing off Go: Liveness and Safety for Channel-based Programming (extended version). |
CoRR |
2016 |
DBLP BibTeX RDF |
|
14 | Azadeh Farzan, Zachary Kincaid, Andreas Podelski |
Proving Liveness of Parameterized Programs. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
14 | Petr Jancar |
Deciding structural liveness of Petri nets. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
14 | Rodrigo Frassetto Nogueira, Roberto de Alencar Lotufo, Rubens Campos Machado |
Fingerprint Liveness Detection Using Convolutional Neural Networks. |
IEEE Trans. Inf. Forensics Secur. |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Rohit Kumar Dubey, Jonathan Goh, Vrizlynn L. L. Thing |
Fingerprint Liveness Detection From Single Image Using Low-Level Features and Shape Analysis. |
IEEE Trans. Inf. Forensics Secur. |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Yaohui Ding, Ajita Rattani, Arun Ross |
Bayesian Belief models for integrating match scores with liveness and quality measures in a fingerprint verification system. |
ICB |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Nazariy K. Shaydyuk, Timothy Cleland |
Biometric identification via retina scanning with liveness detection using speckle contrast imaging. |
ICCST |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Linghan Zhang, Sheng Tan, Jie Yang 0003, Yingying Chen 0001 |
VoiceLive: A Phoneme Localization based Liveness Detection for Voice Authentication on Smartphones. |
CCS |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Anthony W. Lin, Philipp Rümmer |
Liveness of Randomised Parameterised Systems under Arbitrary Schedulers. |
CAV (2) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Jakub Daniel, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta, Sergio Mover |
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations. |
CAV (1) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Wonjun Kim 0001 |
Towards real biometrics : An overview of fingerprint liveness detection. |
APSIPA |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Prasanna Kumar K., Amitabha Sanyal, Amey Karkare |
Liveness-based garbage collection for lazy languages. |
ISMM |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Azadeh Farzan, Zachary Kincaid, Andreas Podelski |
Proving Liveness of Parameterized Programs. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Andrew M. Webb, Chen Wang 0034, Andruid Kerne, Pablo César |
Distributed Liveness: Understanding How New Technologies Transform Performance Experiences. |
CSCW |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Özgür Kafali, Nirav Ajmeri, Munindar P. Singh |
Formal Understanding of Tradeoffs among Liveness and Safety Requirements. |
RE Workshops |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Yuming Li, Lai-Man Po, Xuyuan Xu, Litong Feng, Fang Yuan |
Face liveness detection and recognition using shearlet based feature descriptors. |
ICASSP |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud, Etienne Renault |
Heuristics for Checking Liveness Properties with Partial Order Reductions. |
ATVA |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Daniel Clavel, Cristian Mahulea, Manuel Silva Suárez |
On liveness enforcement of DSSP net systems. |
CDC |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Yi Xu 0006, True Price, Jan-Michael Frahm, Fabian Monrose |
Virtual U: Defeating Face Liveness Detection by Building Virtual Models from Your Public Photos. |
USENIX Security Symposium |
2016 |
DBLP BibTeX RDF |
|
14 | Jianzheng Liu, Jucheng Yang 0001, Chao Wu, Yarui Chen |
A Liveness Detection Method Based on Blood Volume Pulse Probing. |
CCBR |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Qin Lin, Weijun Li, Xin Ning, Xiaoli Dong, Peng Chen |
Liveness Detection Using Texture and 3D Structure Analysis. |
CCBR |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Lifang Wu, Yaowen Xu, Xiao Xu, Wei Qi, Meng Jian |
A Face Liveness Detection Scheme to Combining Static and Dynamic Features. |
CCBR |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Kamlesh Tiwari, Suresh Kumar Choudhary, Phalguni Gupta |
An Efficient Face Recognition System with Liveness and Threat Detection for Smartphones. |
ICIC (2) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Susanna Spinsante, Laura Montanini, Veronica Bartolucci, Manola Ricciuti, Ennio Gambi |
Android-Based Liveness Detection for Access Control in Smart Homes. |
GOODTECHS |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Mohamed Naoum, Outman El Hichami, Mohammed Al Achhab, Badr Eddine El Mohajir |
A probabilistic method for business process verification: Reachability, Liveness and deadlock detection. |
CIST |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Sayaka Shiota, Fernando Villavicencio, Junichi Yamagishi, Nobutaka Ono, Isao Echizen, Tomoko Matsui |
Voice Liveness Detection for Speaker Verification based on a Tandem Single/Double-channel Pop Noise Detector. |
Odyssey |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Xiaoju Dong, Yuxi Fu, Daniele Varacca |
Place Bisimulation and Liveness for Open Petri Nets. |
SETTA |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Wangyang Yu, Guanjun Liu, Leifeng He |
A Reduction Method of Analyzing Data-Liveness and Data-Boundedness for a Class of E-commerce Business Process Nets. |
SpaCCS |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Jukka Komulainen, Iryna Anina, Jukka Holappa, Elhocine Boutellaa, Abdenour Hadid |
On the robustness of audiovisual liveness detection to visual speech animation. |
BTAS |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Lingxiao He, Haiqing Li, Fei Liu 0031, Nianfeng Liu, Zhenan Sun, Zhaofeng He |
Multi-patch convolution neural network for iris liveness detection. |
BTAS |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Eunsoo Park, Weonjin Kim, Qiongxiu Li, Jungmin Kim, Hakil Kim |
Fingerprint Liveness Detection Using CNN Features of Random Sample Patches. |
BIOSIG |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Yue Wang 0026, Neil T. Dantam, Swarat Chaudhuri, Lydia E. Kavraki |
Task and Motion Policy Synthesis as Liveness Games. |
ICAPS |
2016 |
DBLP BibTeX RDF |
|
14 | Munalih Ahmad Syarif, Latifah Mat Nen, Alwyn Goh, Kay Win Lee, Kang Siong Ng, Leslie Ching Ow Tiong |
Challenge response interaction for biometric liveness establishment and template protection. |
PST |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Wonjun Kim, Sungjoo Suh, Youngsung Kim, Changkyu Choi |
Fingerprint Liveness Detection Using Ensemble of Local Image Quality Assessments. |
Visual Information Processing and Communication |
2016 |
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. |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Görkem Kilinç Soylu |
Formal notions of non-interference and liveness for distributed systems. |
|
2016 |
RDF |
|
14 | Peter Matthew |
Novel approaches to biometric security with an emphasis on liveness and coercion detection. |
|
2016 |
RDF |
|
14 | Thanh-Tung Tran |
Verification of timed automata : reachability, liveness and modelling. (Vérification d'automates temporisés : sûreté, vivacité et modélisation). |
|
2016 |
RDF |
|
14 | Andy Adler, Stephanie A. C. Schuckers |
Security and Liveness, Overview. |
Encyclopedia of Biometrics |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Diego Gragnaniello, Giovanni Poggi, Carlo Sansone, Luisa Verdoliva |
Local contrast phase descriptor for fingerprint liveness detection. |
Pattern Recognit. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Diego Gragnaniello, Carlo Sansone, Luisa Verdoliva |
Iris liveness detection for mobile devices based on local descriptors. |
Pattern Recognit. Lett. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Jörg Desel, Görkem Kilinç 0001 |
Observable liveness of Petri nets. |
Acta Informatica |
2015 |
DBLP DOI BibTeX RDF |
|
14 | GaiYun Liu, Kamel Barkaoui |
Necessary and sufficient liveness condition of GS3PR Petri nets. |
Int. J. Syst. Sci. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | V. Deverakonda, R. S. Sreenivas |
On a Sufficient Information Structure for Supervisory Policies That Enforce Liveness in a Class of General Petri Nets. |
IEEE Trans. Autom. Control. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | E. Salimi, R. S. Sreenivas |
On Invariant-Based Monitors That Enforce Liveness in a Class of Partially Controlled General Petri Nets. |
IEEE Trans. Autom. Control. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Dan You, Shouguang Wang, Mengchu Zhou |
Synthesis of Monitor-Based Liveness-Enforcing Supervisors for 3 PR With ξ-Resources. |
IEEE Trans. Syst. Man Cybern. Syst. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | S. Chandrasekaran, N. Somnath, R. S. Sreenivas |
A software tool for the automatic synthesis of minimally restrictive liveness enforcing supervisory policies for a class of general Petri net models of manufacturing- and service-systems. |
J. Intell. Manuf. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Alexander Spiegelman, Idit Keidar |
On Liveness of Dynamic Storage. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
14 | Rodrigo Frassetto Nogueira, Roberto de Alencar Lotufo, Rubens Campos Machado |
Evaluating software-based fingerprint liveness detection using Convolutional Networks and Local Binary Patterns. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
14 | Zahid Akhtar, Christian Micheloni, Gian Luca Foresti |
Biometric Liveness Detection: Challenges and Research Opportunities. |
IEEE Secur. Priv. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Oleg V. Komogortsev, Alexey Karpov 0002, Corey D. Holland |
Attack of Mechanical Replicas: Liveness Detection With Eye Movements. |
IEEE Trans. Inf. Forensics Secur. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Adam Czajka |
Pupil Dynamics for Iris Liveness Detection. |
IEEE Trans. Inf. Forensics Secur. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Sooyeon Kim, Yuseok Ban, Sangyoun Lee |
Face Liveness Detection Using Defocus. |
Sensors |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Ana Filipa Sequeira, Jaime S. Cardoso 0001 |
Fingerprint Liveness Detection in the Presence of Capable Intruders. |
Sensors |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Tom Schofield, David S. Kirk, Telmo Amaral, Marian Dörk, Mitchell Whitelaw, Guy Schofield, Thomas Ploetz |
Archival Liveness: Designing with Collections Before and During Cataloguing and Digitization. |
Digit. Humanit. Q. |
2015 |
DBLP BibTeX RDF |
|
14 | Wonjun Kim, Sungjoo Suh, Jae-Joon Han |
Face Liveness Detection From a Single Image via Diffusion Speed Model. |
IEEE Trans. Image Process. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Zahid Akhtar, Christian Micheloni, Gian Luca Foresti |
Correlation based fingerprint liveness detection. |
ICB |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Thomas Lambolais, Anne-Lise Courbis, Hong-Viet Luong, Thanh-Liem Phan |
Designing and Integrating Complex Systems: Be Agile Through Liveness Verification and Abstraction. |
CSDM |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Yan Li 0075, Yingjiu Li, Qiang Yan 0001, Hancong Kong, Robert H. Deng |
Seeing Your Face Is Not Enough: An Inertial Sensor-Based Liveness Detection for Face Authentication. |
CCS |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Sayaka Shiota, Fernando Villavicencio, Junichi Yamagishi, Nobutaka Ono, Isao Echizen, Tomoko Matsui |
Voice liveness detection algorithms based on pop noise caused by human breath for automatic speaker verification. |
INTERSPEECH |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Krzysztof Adamiak, Dominik Zurek, Krzysztof Slot |
Liveness detection in remote biometrics based on gaze direction estimation. |
FedCSIS |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Andrew Sogokon, Paul B. Jackson |
Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems. |
FM |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Søren Debois, Thomas T. Hildebrandt, Tijs Slaats |
Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes. |
FM |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Benjamin Aminof, Sasha Rubin, Florian Zuleger, Francesco Spegni |
Liveness of Parameterized Timed Networks. |
ICALP (2) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Rachel Faran, Orna Kupferman |
Spanning the Spectrum from Safety to Liveness. |
ATVA |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Mohit Kumar, Niladri B. Puhan |
Iris liveness detection using texture segmentation. |
NCVPRIPG |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Xinju Zhang, Shuzhen Yao |
The new method of liveness verification with Object-Oriented Timed Petri Nets. |
ICACI |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Maria Paola Bianchi, Juraj Hromkovic, Ivan Kovác |
On the Size of Two-Way Reasonable Automata for the Liveness Problem. |
DLT |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Mengya Lu, Zhiqiang Chen, Weiguo Sheng |
Fingerprint Liveness Detection Based on Pore Analysis. |
CCBR |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Xiaoming Li 0002, Wei Bu, Xiangqian Wu 0002 |
Palmprint Liveness Detection by Combining Binarized Statistical Image Features and Image Quality Assessment. |
CCBR |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Chengyan Lin, Yuwu Lu, Jian Wu, Yong Xu 0001 |
Low Rank Analysis of Eye Image Sequence - A Novel Basis for Face Liveness Detection. |
CCBR |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Chenggang Wang, Ke Li, Zhihong Wu, Qijun Zhao |
A DCNN Based Fingerprint Liveness Detection Algorithm with Voting Strategy. |
CCBR |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Florent Berthaut, David Coyle, James W. Moore, Hannah Limerick |
Liveness through the lens of agency and causality. |
NIME |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Aleksandr Melnikov, Rasim Akhunzyanov, Oleg Kudashev, Eugene Luckyanets |
Audiovisual Liveness Detection. |
ICIAP (2) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Victor Bushkov, Rachid Guerraoui |
Safety-Liveness Exclusion in Distributed Computing. |
PODC |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Amirhosein Toosi, Sandro Cumani, Andrea Bottino |
On Multiview Analysis for Fingerprint Liveness Detection. |
CIARP |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Jinyi Wang, Mudassar Ahmad Mughal, Oskar Juhlin |
Experiencing Liveness of a Cherished Place in the Home. |
TVX |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Ramachandra Raghavendra, Manasa Avinash, Sébastien Marcel, Christoph Busch 0001 |
Finger vein liveness detection using motion magnification. |
BTAS |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Valerio Mura, Luca Ghiani, Gian Luca Marcialis, Fabio Roli, David A. Yambay, Stephanie A. C. Schuckers |
LivDet 2015 fingerprint liveness detection competition 2015. |
BTAS |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Maximilian Krieg, Nils Rogmann |
Liveness Detection in Biometrics. |
BIOSIG |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Victor Bushkov, Rachid Guerraoui |
Liveness in Transactional Memory. |
Transactional Memory |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Mahmudur Rahman, Mozhgan Azimpourkivi, Umut Topkara, Bogdan Carbunar |
Liveness verifications for citizen journalism videos. |
WISEC |
2015 |
DBLP DOI BibTeX RDF |
|
14 | E. Salimi, N. Somnath, Ramavarapu S. Sreenivas |
On supervisory policies that enforce liveness in controlled Petri nets that are similar. |
RAM/CIS |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Victor Bushkov |
Safety, Liveness and Parallelism in Concurrent Computing. |
|
2015 |
DOI RDF |
|
14 | Asad Ali 0002 |
Biometric liveness detection using gaze information. |
|
2015 |
RDF |
|
14 | Luca Ghiani |
Textural features for fingerprint liveness detection. |
|
2015 |
RDF |
|
14 | Ana Filipa Sequeira |
Liveness Detection and Robust Recognition in Iris and Fingerprint Biometric Systems |
|
2015 |
RDF |
|
14 | David Harel, Guy Katz, Assaf Marron, Gera Weiss |
Non-intrusive Repair of Safety and Liveness Violations in Reactive Programs. |
Trans. Comput. Collect. Intell. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Avinash Kumar Singh, Piyush Joshi, Gora Chand Nandi |
Face liveness detection through face structure analysis. |
Int. J. Appl. Pattern Recognit. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | David A. Basin, Carlos Cotrini Jiménez, Felix Klaedtke, Eugen Zalinescu |
Deciding safety and liveness in TPTL. |
Inf. Process. Lett. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Cindy Eisner, Dana Fisman, John Havlicek |
Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations. |
ACM Trans. Comput. Log. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Yufeng Chen 0001, ZhiWu Li 0001, Kamel Barkaoui |
Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems. |
Inf. Sci. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Chuanliang Xia |
Liveness and boundedness analysis of Petri net synthesis. |
Math. Struct. Comput. Sci. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Yanyan Guo, Xiangdong Fei, Qijun Zhao |
Fingerprint Liveness Detection Using Multiple Static Features and Random Forests. |
Int. J. Image Graph. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Kyoung-Dae Kim, Panganamala Ramana Kumar |
An MPC-Based Approach to Provable System-Wide Safety and Liveness of Autonomous Ground Traffic. |
IEEE Trans. Autom. Control. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | ShouGuang Wang, Miao Liu |
Comments on "Liveness of an extended S3PR" [Automatica 46 (2010) 1008-1018]. |
Autom. |
2014 |
DBLP DOI BibTeX RDF |
|