Search results for "liveness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Hesuan Hu, Zhiwu Li 0001	Clarification on the Computation of Liveness-Enforcing Supervisor for Resource Allocation Systems With Uncontrollable Behavior.	IEEE Trans Autom. Sci. Eng.	2009	DBLP DOI BibTeX RDF
14	Jason Baumgartner, Hari Mony	Scalable liveness checking via property-preserving transformations.	DATE	2009	DBLP DOI BibTeX RDF
14	David Cameron, John Carroll 0002	Encoding liveness: Performance and real-time rendering in machinima.	DiGRA Conference	2009	DBLP BibTeX RDF
14	Girija Chetty, Roland Göcke, Michael Wagner 0004	Audio-visual mutual dependency models for biometric liveness checks.	AVSP	2009	DBLP BibTeX RDF
14	Andrey Rybalchenko	Automated Methods for Proving Program Termination and Liveness.	SYNASC	2009	DBLP DOI BibTeX RDF
14	Divakar Yadav, Michael J. Butler	Verification of Liveness Properties in Distributed Systems.	IC3	2009	DBLP DOI BibTeX RDF
14	Girija Chetty	Biometric liveness detection based on cross modal fusion.	FUSION	2009	DBLP BibTeX RDF
14	Alain Giorgetti, Julien Groslambert, Jacques Julliand, Olga Kouchnarenko	Verification of class liveness properties with java modelling language.	IET Softw.	2008	DBLP DOI BibTeX RDF
14	Bozhao Tan, Stephanie A. C. Schuckers	New approach for liveness detection in fingerprint scanners based on valley noise analysis.	J. Electronic Imaging	2008	DBLP DOI BibTeX RDF
14	Kazuhiro Ogata 0001, Kokichi Futatsugi	Proof Score Approach to Verification of Liveness Properties.	IEICE Trans. Inf. Syst.	2008	DBLP DOI BibTeX RDF
14	Elzbieta Roszkowska, Spyros A. Reveliotis	On the Liveness of Guidepath-Based, Zone-Controlled Dynamically Routed, Closed Traffic Systems.	IEEE Trans. Autom. Control.	2008	DBLP DOI BibTeX RDF
14	Paul C. Attie	On the Refinement of Liveness Properties of Distributed Systems	CoRR	2008	DBLP BibTeX RDF
14	David Boutcher, Abhishek Chandra	Practical techniques for purging deleted data using liveness information.	ACM SIGOPS Oper. Syst. Rev.	2008	DBLP DOI BibTeX RDF
14	César Andrés, Ismael Rodríguez, Fernando Rubio 0001	Formally Testing Liveness by Means of Compression Rates.	PPSN	2008	DBLP DOI BibTeX RDF	Artificial Life, Compression Algorithms, Maximum Entropy Principle
14	Francisco Chicano, Enrique Alba 0001	Finding liveness errors with ACO.	IEEE Congress on Evolutionary Computation	2008	DBLP DOI BibTeX RDF
14	Cheng-Ho Huang, Jhing-Fa Wang	SVM-based one-against-many algorithm for liveness face authentication.	SMC	2008	DBLP DOI BibTeX RDF
14	Klaus Kollreider, Hartwig Fronthaler, Josef Bigün	Verifying liveness by multiple experts in face biometrics.	CVPR Workshops	2008	DBLP DOI BibTeX RDF
14	Klaus Kollreider	Evidence for "liveness" in face biometrics.		2008	RDF
14	Saikat Mukherjee, Srinath Srinivasa, Satish Chandra D.	Validating for Liveness in Hidden Adversary Systems.	FInCo@ETAPS	2007	DBLP DOI BibTeX RDF
14	Mila E. Majster-Cederbaum, Moritz Martens, Christoph Minnameier	Liveness in Interaction Systems.	FACS	2007	DBLP DOI BibTeX RDF
14	Tim Miller 0001, Peter McBurney	A formal semantics for Gaia liveness rules and expressions.	Int. J. Agent Oriented Softw. Eng.	2007	DBLP DOI BibTeX RDF
14	Christos A. Kapoutsis	Deterministic Moles Cannot Solve Liveness.	J. Autom. Lang. Comb.	2007	DBLP DOI BibTeX RDF
14	Frank Nießner, Ulrich Ultes-Nitsche	A complete characterization of deterministic regular liveness properties.	Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
14	Amey Karkare, Uday P. Khedker, Amitabha Sanyal	Liveness of Heap Data for Functional Programs	CoRR	2007	DBLP BibTeX RDF
14	Parosh Aziz Abdulla, Pritha Mahata, Richard Mayr	Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness.	Log. Methods Comput. Sci.	2007	DBLP DOI BibTeX RDF
14	Charles Edwin Killian, James W. Anderson, Ranjit Jhala, Amin Vahdat	Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code (Awarded Best Paper).	NSDI	2007	DBLP BibTeX RDF
14	Leonid Kompanets	Facial Composites, Ophthalmic Geometry Pattern, and Based on Stated Phenomena: the Test of Person/Personality Liveness.	ISDA	2007	DBLP DOI BibTeX RDF
14	Olfa Mosbahi, Jacques Jaray	Specification and Proof of Liveness Properties in B Event Systems.	ICSOFT (SE)	2007	DBLP BibTeX RDF
14	Fuming Wu	Boundedness and Liveness Compositionality for Petri Nets on Trace Monoids.	PDPTA	2007	DBLP BibTeX RDF
14	Yi-Bo Zhang, Qin Li 0001, Jane You, Prabir Bhattacharya	Palm Vein Extraction and Matching for Personal Identification and Liveness Detection.	IPCV	2007	DBLP BibTeX RDF
14	Ramavarapu S. Sreenivas	Some observations on supervisory policies that enforce liveness in partially controlled Free-Choice Petri nets.	Math. Comput. Simul.	2006	DBLP DOI BibTeX RDF
14	Belhassen Zouari	A Structure Causality Relation for Liveness Characterisation in Petri Nets.	J. Univers. Comput. Sci.	2006	DBLP DOI BibTeX RDF
14	Parosh Aziz Abdulla, Pritha Mahata, Richard Mayr	Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness	CoRR	2006	DBLP BibTeX RDF
14	Spyros A. Reveliotis	A Necessary and Sufficient Condition for the Liveness and Reversibility of Process-Resource Nets With Acyclic, Quasi-live, Serializable, and Reversible Process Subnets.	IEEE Trans Autom. Sci. Eng.	2006	DBLP DOI BibTeX RDF
14	Bjorn De Sutter, Bruno De Bus, Koen De Bosschere	Bidirectional liveness analysis, or how less than half of the Alpha's registers are used.	J. Syst. Archit.	2006	DBLP DOI BibTeX RDF
14	Zinaida Benenson, Felix C. Freiling, Thorsten Holz, Dogan Kesdogan, Lucia Draque Penso	Safety, Liveness, and Information Flow: Dependability Revisited.	ARCS Workshops	2006	DBLP BibTeX RDF
14	Frank Nießner, Ulrich Ultes-Nitsche	A Complete Characterization of Deterministic Regular Liveness Properties.	DCFS	2006	DBLP BibTeX RDF
14	Julien Groslambert, Jacques Julliand, Olga Kouchnarenko	JML-based verification of liveness properties on a class in isolation.	SAVCBS@FSE	2006	DBLP DOI BibTeX RDF
14	Venkita Subramonian, Christopher D. Gill, César Sánchez 0001, Henny B. Sipma	Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems.	EMSOFT	2006	DBLP DOI BibTeX RDF	middleware, timed automata
14	Aditya Abhyankar, Stephanie Schuckers	Empirical Mode Decomposition Liveness Check in Fingerprint Time Series Captures.	CVPR Workshops	2006	DBLP DOI BibTeX RDF
14	Bozhao Tan, Stephanie Schuckers	Liveness Detection for Fingerprint Scanners Based on the Statistics of Wavelet Signal Processing.	CVPR Workshops	2006	DBLP DOI BibTeX RDF
14	Christel Baier, Nathalie Bertrand 0001, Philippe Schnoebelen	Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness.	FORTE	2006	DBLP DOI BibTeX RDF
14	Frank Nießner	Specification of Deterministic Regular Liveness Properties.	MSVVEIS	2006	DBLP BibTeX RDF
14	Viktor Schuppan	Liveness checking as safety checking to find shortest counterexamples to linear time properties.		2006	RDF
14	Kun Wei	Analysis of liveness through proof.		2006	RDF
14	Héctor Ruíz Barradas	Liveness Properties under Fairness Assumptions and Semantics of Systems in event B. (Propriétés de vivacité sous conditions d'équité etsémantique des systèmes d'événements avec la méthode B).		2006	RDF
14	Viktor Schuppan, Armin Biere	Liveness Checking as Safety Checking for Infinite State Spaces.	INFINITY	2005	DBLP DOI BibTeX RDF
14	Nobuko Yoshida	Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness.	APC 25	2005	DBLP DOI BibTeX RDF
14	Belhassen Zouari	A Structure Causality Relation for Liveness Characterisation in Petri Nets.	J. Univers. Comput. Sci.	2005	DBLP BibTeX RDF
14	Héctor Ruíz Barradas, Didier Bert	Proof obligations for specification and refinement of liveness properties under weak fairness	CoRR	2005	DBLP BibTeX RDF
14	Nicolas Eveno, Laurent Besacier	A speaker independent "liveness" test for audio-visual biometrics.	INTERSPEECH	2005	DBLP DOI BibTeX RDF
14	Girija Chetty, Michael Wagner 0004	Liveness detection using cross-modal correlations in face-voice person authentication.	INTERSPEECH	2005	DBLP DOI BibTeX RDF
14	Kazuhiro Ogata 0001, Kokichi Futatsugi	Proof Score Approach to Verification of Liveness Properties.	SEKE	2005	DBLP BibTeX RDF
14	Satoshi Yamane	Deductive Probabilistic Verification Methods of Safety, Liveness and Nonzenoness for Distributed Real-Time Systems.	ICESS	2005	DBLP DOI BibTeX RDF
14	Christos A. Kapoutsis	Deterministic moles cannot solve liveness.	DCFS	2005	DBLP BibTeX RDF
14	Vincent Gramoli, Peter M. Musial, Alexander A. Shvartsman	Operation Liveness and Gossip Management in a Dynamic Distributed Atomic Data Service.	PDCS	2005	DBLP BibTeX RDF
14	Pallavi Shurpali, Ravi Shankar 0001, Ellie Shuff	On Ensuring Safety and Liveness Properties of Concurrent Models in SystemC.	MSE	2005	DBLP DOI BibTeX RDF
14	Dmitry Gromov, Eckart Mayer, Jörg Raisch, Daniele Corona, Carla Seatzu, Alessandro Giua	Optimal Control of Discrete-Time Hybrid Automata under Safety and Liveness Constraints.	ISIC	2005	DBLP DOI BibTeX RDF
14	Keyi Xing, Baosheng Hu	Optimal liveness Petri net controllers with minimal structures for automated manufacturing systems.	SMC	2005	DBLP DOI BibTeX RDF
14	Dino Distefano, Joost-Pieter Katoen, Arend Rensink	Safety and Liveness in Concurrent Pointer Programs.	FMCO	2005	DBLP DOI BibTeX RDF
14	Li Jiao	Compositional analysis for regularity, liveness and boundedness.	ICINCO	2005	DBLP BibTeX RDF
14	Girija Chetty, Michael Wagner 0004	Investigating feature-level fusion for checking liveness in face-voice authentication.	ISSPA	2005	DBLP DOI BibTeX RDF
14	Nico Wallmeier	Strategien in unendlichen Spielen mit Liveness-Gewinnbedingungen: Syntheseverfahren, Optimierung und Implementierung.		2005	RDF
14	Ahmed Bouajjani, Axel Legay, Pierre Wolper	Handling Liveness Properties in (omega-)Regular Model Checking.	INFINITY	2004	DBLP DOI BibTeX RDF
14	Alessandra Cavarra, Juliana Küster Filipe	Combining Sequence Diagrams and OCL for Liveness.	SFEDL@ETAPS	2004	DBLP DOI BibTeX RDF
14	Awadhesh Kumar Singh, Anup Kumar Bandyopadhyay	Verifying Mutual Exclusion and Liveness Properties with Split Preconditions.	J. Comput. Sci. Technol.	2004	DBLP DOI BibTeX RDF
14	Xiaolan Xie, Alessandro Giua	Counterexamples to "liveness-enforcing supervision of bounded ordinary Petri nets using partial-order methods".	IEEE Trans. Autom. Control.	2004	DBLP DOI BibTeX RDF
14	Kevin X. He, Michael D. Lemmon	Author's reply [to comments on 'Liveness-enforcing supervision of bounded ordinary Petri nets using partial order methods'].	IEEE Trans. Autom. Control.	2004	DBLP DOI BibTeX RDF
14	Li Jiao, To-Yat Cheung, Weiming Lu	On liveness and boundedness of asymmetric choice nets.	Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
14	Lei Xue, Yue Hao	Autonomy-subnet based structural synthesis and liveness guarantying policy of Petri net model of flexible manufacturing system.	Sci. China Ser. F Inf. Sci.	2004	DBLP DOI BibTeX RDF
14	Michael Backes 0001, Birgit Pfitzmann, Michael Waidner	Polynomial liveness.	J. Comput. Secur.	2004	DBLP DOI BibTeX RDF
14	Michael Wagner 0004, Girija Chetty	"liveness" verification in audio-video authentication.	INTERSPEECH	2004	DBLP DOI BibTeX RDF
14	Muffy Calder	Abstraction for Safety, Induction for Liveness.	AMAST	2004	DBLP DOI BibTeX RDF
14	Maarten Bodlaender, Jarno Guidi, Lex Heerink	Enhancing discovery with liveness [network device disappearance detection protocol].	CCNC	2004	DBLP DOI BibTeX RDF
14	Yi Fang 0001, Nir Piterman, Amir Pnueli, Lenore D. Zuck	Liveness with Incomprehensible Ranking.	TACAS	2004	DBLP DOI BibTeX RDF
14	Parosh Aziz Abdulla, Pritha Mahata, Richard Mayr	Decidability of Zenoness, Syntactic Boundedness and Token-Liveness for Dense-Timed Petri Nets.	FSTTCS	2004	DBLP DOI BibTeX RDF
14	Jürgen Giesl, Hans Zantema	Simulating liveness by reduction strategies.	WRS	2003	DBLP DOI BibTeX RDF
14	Jun-Cheol Park	Verifying liveness properties of multifunction composite protocols.	Comput. Commun.	2003	DBLP DOI BibTeX RDF
14	Marian V. Iordache, Panos J. Antsaklis	Design of T-liveness enforcing supervisors in Petri nets.	IEEE Trans. Autom. Control.	2003	DBLP DOI BibTeX RDF
14	Zhe Dang, Pierluigi San Pietro, Richard A. Kemmerer	Presburger liveness verification of discrete timed automata.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
14	Li Jiao, To-Yat Cheung	Characterizing Liveness Monotonicity for Weighted Petri Nets in Terms of Siphon-Based Properties.	Int. J. Found. Comput. Sci.	2003	DBLP DOI BibTeX RDF
14	Aydin Aybar, Altug Iftar	Decentralized controller design to enforce boundedness, liveness, and reversibility in Petri nets.	ECC	2003	DBLP DOI BibTeX RDF
14	Song Foh Chew, Mark A. Lawley, Spyros A. Reveliotis	Liveness enforcing supervision for resource allocation systems with process synchronizations.	CDC	2003	DBLP DOI BibTeX RDF
14	Charles E. Phillips, Steven A. Demurjian, T. C. Ting	Safety and Liveness for an RBAC/MAC Security Model.	DBSec	2003	DBLP DOI BibTeX RDF
14	Ran Shaham	Heap-liveness-based memory management : potential, tools, and algorithms		2003	RDF
14	Armin Biere, Cyrille Artho, Viktor Schuppan	Liveness Checking as Safety Checking.	FMICS	2002	DBLP DOI BibTeX RDF
14	Atsushi Ohta, Kohkichi Tsuji	NP-Hardness of Liveness Problem of Bounded Asymmetric Choice Net.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2002	DBLP BibTeX RDF
14	Kevin X. He, Michael D. Lemmon	Liveness-enforcing supervision of bounded ordinary Petri nets using partial order methods.	IEEE Trans. Autom. Control.	2002	DBLP DOI BibTeX RDF
14	Jonghun Park, Spyros A. Reveliotis	Liveness-enforcing supervision for resource allocation systems with uncontrollable behavior and forbidden states.	IEEE Trans. Robotics Autom.	2002	DBLP DOI BibTeX RDF
14	Jonghun Park, Spyros A. Reveliotis	Liveness Enforcing Supervision for Resource Allocation Systems with Forbidden States and Uncontrollable Events.	ICRA	2002	DBLP DOI BibTeX RDF
14	Michael D. Lemmon, Kevin X. He	Liveness enforcing monitors for safe and controllable Petri nets.	CDC	2002	DBLP DOI BibTeX RDF
14	David Ruiz 0001, Rafael Corchuelo, José Antonio Pérez, Miguel Toro	An Algorithm for Ensuring Fairness and Liveness in Non-deterministic Systems Based on Multiparty Interactions.	Euro-Par	2002	DBLP DOI BibTeX RDF
14	Jiao Li, Lu Weiming	Notes on Liveness and Boundedness of Extended Strong Asymmetric Choice Nets II.	J. Comput. Sci. Technol.	2001	DBLP DOI BibTeX RDF
14	Daniel Y. Chao, Jose A. Nicdao	Liveness for Synchronized Choice Petri Nets.	Comput. J.	2001	DBLP DOI BibTeX RDF
14	Panagiotis Manolios, Richard J. Trefler	Safety and Liveness in Branching Time.	LICS	2001	DBLP DOI BibTeX RDF
14	Marian V. Iordache, John O. Moody, Panos J. Antsaklis	A method for the synthesis of liveness enforcing supervisors in Petri nets.	ACC	2001	DBLP DOI BibTeX RDF
14	Oukseh Lee	An Effect System Combining Alias and Liveness for Explicit Memory Reuse.	APLAS	2001	DBLP BibTeX RDF
14	Marian V. Iordache, Panos J. Antsaklis	-liveness enforcement in Petri nets based on structural net properties.	CDC	2001	DBLP DOI BibTeX RDF
14	Amir Pnueli, Elad Shahar	Liveness and Acceleration in Parameterized Verification.	CAV	2000	DBLP DOI BibTeX RDF
14	Ramavarapu S. Sreenivas	On a minimally restrictive supervisory policy that enforces liveness in partially controlled free choice Petri nets.	CDC	2000	DBLP DOI BibTeX RDF