Search results for "Liveness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Radu Negulescu, Janusz A. Brzozowski	Relative liveness: from intuition to automated verification.	ASYNC	1995	DBLP DOI BibTeX RDF	relative liveness, finite trace theory, safety condition, hierarchical verification theorems, program verification, safety, multiprocessing systems, automata, finite automata, liveness, equivalence, multiprocessing programs, automated verification
3	Orna Kupferman, Nir Piterman, Moshe Y. Vardi	From liveness to promptness.	Formal Methods in System Design	2009	DBLP DOI BibTeX RDF	Verification, Temporal logic, Liveness
3	Pierre Ganty, Rupak Majumdar, Andrey Rybalchenko	Verifying liveness for asynchronous programs.	POPL	2009	DBLP DOI BibTeX RDF	asynchronous (event-driven) programming, fair termination, petri nets, liveness
3	Jinshuang Wang, Huabing Yang, Xingyuan Zhang	Liveness Reasoning with Isabelle/HOL.	TPHOLs	2009	DBLP DOI BibTeX RDF	Liveness Proof, Inductive Protocol Verification, Parametric Fairness, Probabilistic Model
3	Gian Luca Marcialis, Aaron Lewicke, Bozhao Tan, Pietro Coli, Dominic Grimberg, Alberto Congiu, Alessandra Tidu, Fabio Roli, Stephanie A. C. Schuckers	First International Fingerprint Liveness Detection Competition - LivDet 2009.	ICIAP	2009	DBLP DOI BibTeX RDF	anti-spoofing protection, security, biometrics, Fingerprint, spoofing, liveness detection
3	Brian DeCann, Bozhao Tan, Stephanie A. C. Schuckers	A Novel Region Based Liveness Detection Approach for Fingerprint Scanners.	ICB	2009	DBLP DOI BibTeX RDF	neural network, Biometrics, fingerprint, liveness detection
3	Panagiotis Manolios, Sudarshan K. Srinivasan	Automatic verification of safety and liveness for pipelined machines using WEB refinement.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	flushing, pipelined machines, verification, refinement, SAT, bisimulation, commitment, liveness, Refinement maps
3	Olivier Marchetti, Alix Munier Kordon	Minimizing Place Capacities of Weighted Event Graphs for Enforcing Liveness.	Discrete Event Dynamic Systems	2008	DBLP DOI BibTeX RDF	Petri nets, Manufacturing, Liveness, Buffer requirement
3	Enrique Alba, J. Francisco Chicano	Searching for liveness property violations in concurrent systems with ACO.	GECCO	2008	DBLP DOI BibTeX RDF	HSF-SPIN, ant colony optimization, metaheuristics, SPIN, liveness properties
3	Benoit Boissinot, Sebastian Hack, Daniel Grund, Benoît Dupont de Dinechin, Fabrice Rastello	Fast liveness checking for ssa-form programs.	CGO	2008	DBLP DOI BibTeX RDF	compilers, dominance, jit-compilation, ssa form, liveness analysis
3	Changlong Jin, Hakil Kim, Stephen J. Elliott	Liveness Detection of Fingerprint Based on Band-Selective Fourier Spectrum.	ICISC	2007	DBLP DOI BibTeX RDF	Band-selective, Ridge-valley texture, Fingerprint, Liveness detection, Fourier Spectrum
3	Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck	Liveness with invisible ranking.	STTT	2006	DBLP DOI BibTeX RDF	Parametrized systems, Deductive verification, BDD techniques, Liveness, Automatic verification
3	Jan Cederquist, Muhammad Torabi Dashti	An intruder model for verifying liveness in security protocols.	FMSE	2006	DBLP DOI BibTeX RDF	Dolev-Yao intruder, intruder models, security protocols, liveness properties
3	Kamel Barkaoui, Jean-Michel Couvreur, Kais Klai	On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets.	ICATPN	2005	DBLP DOI BibTeX RDF	cs-property, liveness, structure theory, deadlock-freeness
3	Martin Hirzel, Amer Diwan, Johannes Henkel	On the usefulness of type and liveness accuracy for garbage collection and leak detection.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	liveness accuracy, type accuracy, program analysis, leak detection, Conservative garbage collection
3	Li Jiao, To-Yat Cheung, Weiming Lu	Characterizing Liveness of Petri Nets in Terms of Siphons.	ICATPN	2002	DBLP DOI BibTeX RDF	Asymmetric choice net, liveness monotonicity, siphon, Petri net, live, characterization, homogeneous
3	Ran Shaham, Elliot K. Kolodner, Shmuel Sagiv	Estimating the impact of heap liveness information on space consumption in Java.	MSP/ISMM	2002	DBLP DOI BibTeX RDF	Java, compilers, program analysis, garbage collection, memory management, liveness analysis
3	Mohamed-Lyes Benalycherif, Claude Girault	Behavioural and Structural Composition Rules Preserving Liveness by Synchronization for Colored FIFO Nets.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF	blocking relation, colored FIFO nets, equal conflict, freeing relation, synchronization medium, synchronization, state machine, liveness, compositionality
3	José Ramón González de Mendívil, Federico Fariña, Jesús E. Villadangos, José Ramón Garitagoitia	Liveness Conditions for a Safe Distributed Deadlock Resolution Algorithm.	PDP	1996	DBLP DOI BibTeX RDF	safe distributed deadlock resolution algorithm, liveness conditions, strong safety condition, distributed algorithms, concurrency control, system recovery, software fault tolerance
3	Kamel Barkaoui, Jean-Michel Couvreur, Claude Dutheillet	On Liveness in Extended non Self-Controlling Nets.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF	deadlocks and traps, liveness
3	Kurt Lautenbach, Hanno Ridder	Liveness in Bounded Petri Nets Which Are Covered by T-Invariants.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF	linear invariants, deadlocks, liveness
3	Robert E. Strom, Daniel M. Yellin	Extending Typestate Checking Using Conditional Liveness Analysis.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	typestate checking, conditional liveness analysis, uninitialized variable errors, dataflow analysis algorithm, statically tracked information, program verification, program verification, programming errors
3	Amir Pnueli	How Vital is Liveness? Verifying Timing Properties of Reactive and Hybrid Systems (Extended Abstract).	CONCUR	1992	DBLP DOI BibTeX RDF	discrete and continuous systems, Real-time, fairness, hybrid systems, Statecharts, Liveness, timed transitions system, justice
3	Younes Souissi	On liveness preservation by composition of nets via a set of places.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF	F-monotonicity, F-robust net, F-strong net, liveness preservation, Composition
2	Peng Li, John Regehr	T-check: bug finding for sensor networks.	IPSN	2010	DBLP DOI BibTeX RDF	T-Check, sensor networks, model checking, safety, random walk, liveness, TinyOS, event-driven
2	Damien Imbs, Michel Raynal, Gadi Taubenfeld	On asymmetric progress conditions.	PODC	2010	DBLP DOI BibTeX RDF	fault-freedom, progress condition, liveness, process crash, wait-freedom, obstruction-freedom, asynchronous shared memory system, consensus number
2	Flavio Corradini, Maria Rita Di Berardini, Walter Vogler	Liveness of a mutex algorithm in a fair process algebra.	Acta Inf.	2009	DBLP DOI BibTeX RDF
2	Alexander Fronk, Rudolf Berghammer	A Relation-Algebraic Approach to Liveness of Place/Transition Nets.	RelMiCS	2009	DBLP DOI BibTeX RDF
2	Byron Cook	Advances in Program Termination and Liveness.	VMCAI	2009	DBLP DOI BibTeX RDF
2	Martin Drahanský, Dana Lodrova	Experiments with Optical Liveness Testing Method.	IIH-MSP	2009	DBLP DOI BibTeX RDF	optical solution, camera, laser, fingerprint recognition, liveness detection
2	Alexey Gotsman, Byron Cook, Matthew J. Parkinson, Viktor Vafeiadis	Proving that non-blocking algorithms don't block.	POPL	2009	DBLP DOI BibTeX RDF	formal verification, concurrent programming, termination, liveness
2	Jay Ligatti, Lujo Bauer, David Walker	Run-Time Enforcement of Nonsafety Policies.	ACM Trans. Inf. Syst. Secur.	2009	DBLP DOI BibTeX RDF	monitoring, safety, Security policies, liveness, policy enforcement, security automata
2	Zhengwei Qi, Liang Liu, Alei Liang, Hao Wang, Ying Chen	An Online Model Checking Tool for Safety and Liveness Bugs.	ICPADS	2008	DBLP DOI BibTeX RDF
2	Zhiwu Li, Moshe Shpitalni	On the Existence of a Maximally Permissive Liveness-enforcing Petri Net Supervisor for Flexible Manufacturing Systems.	ICNSC	2008	DBLP DOI BibTeX RDF
2	Li Jiao	A method for verifying deadlock freedom and liveness of petri nets.	ISCAS	2008	DBLP DOI BibTeX RDF
2	Hemant Kowshik, Derek Caveney, P. R. Kumar	Safety and Liveness in Intelligent Intersections.	HSCC	2008	DBLP DOI BibTeX RDF
2	Martin Drahanský	Experiments with Skin Resistance and Temperature for Liveness Detection.	IIH-MSP	2008	DBLP DOI BibTeX RDF	fake detection, temperature, skin, resistance, finger, biometric system, liveness detection
2	Shankar Bhausaheb Nikam, Suneeta Agarwal	Fingerprint Liveness Detection Using Curvelet Energy and Co-Occurrence Signatures.	CGIV	2008	DBLP DOI BibTeX RDF
2	Madanlal Musuvathi, Shaz Qadeer	Fair stateless model checking.	PLDI	2008	DBLP DOI BibTeX RDF	model checking, concurrency, software testing, fairness, multi-threading, liveness, shared-memory programs
2	Michael R. Clarkson, Fred B. Schneider	Hyperproperties.	CSF	2008	DBLP DOI BibTeX RDF	safety, Security policies, liveness
2	Klaus Kollreider, Hartwig Fronthaler, Maycel Isaac Faraj, Josef Bigün	Real-Time Face Detection and Motion Analysis With Application in "Liveness" Assessment.	IEEE Transactions on Information Forensics and Security	2007	DBLP DOI BibTeX RDF
2	Z. W. Li, H. S. Hu, An R. Wang	Design of Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets.	IEEE Transactions on Systems, Man, and Cybernetics, Part C	2007	DBLP DOI BibTeX RDF
2	Spyros A. Reveliotis	Implicit Siphon Control and Its Role in the Liveness-Enforcing Supervision of Sequential Resource Allocation Systems.	IEEE Transactions on Systems, Man, and Cybernetics, Part A	2007	DBLP DOI BibTeX RDF
2	Grégory Batt, Calin Belta, Ron Weiss	Model Checking Liveness Properties of Genetic Regulatory Networks.	TACAS	2007	DBLP DOI BibTeX RDF
2	Orna Kupferman, Nir Piterman, Moshe Y. Vardi	From Liveness to Promptness.	CAV	2007	DBLP DOI BibTeX RDF
2	Josh Berdine, Aziem Chawdhary, Byron Cook, Dino Distefano, Peter W. O'Hearn	Variance analyses from invariance analyses.	POPL	2007	DBLP DOI BibTeX RDF	formal verification, program analysis, termination, liveness, software model checking
2	Byron Cook, Alexey Gotsman, Andreas Podelski, Andrey Rybalchenko, Moshe Y. Vardi	Proving that programs eventually do something good.	POPL	2007	DBLP DOI BibTeX RDF	formal verification, termination, liveness, software model checking
2	Uday P. Khedker, Amitabha Sanyal, Amey Karkare	Heap reference analysis using access graphs.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	heap references, data flow analysis, liveness, Aliasing
2	Andreas Podelski, Andrey Rybalchenko	Transition predicate abstraction and fair termination.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	fair termination, transition predicate abstraction, liveness, Software model checking
2	Yi-Bo Zhang, Qin Li, Jane You, Prabir Bhattacharya	Palm Vein Extraction and Matching for Personal Authentication.	VISUAL	2007	DBLP DOI BibTeX RDF	Palm vein, Infrared palm images, Multiscale filtering, Personal identification, Liveness detection
2	Wim H. Hesselink	Splitting forward simulations to copewith liveness.	Acta Inf.	2006	DBLP DOI BibTeX RDF
2	ZhiWu Li, MengChu Zhou	Two-Stage Method for Synthesizing Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets.	IEEE Trans. Industrial Informatics	2006	DBLP DOI BibTeX RDF
2	Juliana Küster Filipe, Stuart Anderson	On a time enriched OCL liveness template.	STTT	2006	DBLP DOI BibTeX RDF	Timed logics of knowledge, Timed automata, Timing constraints, OCL, Distributed real-time systems
2	Parosh Aziz Abdulla, Bengt Jonsson, Ahmed Rezine, Mayank Saksena	Proving Liveness by Backwards Reachability.	CONCUR	2006	DBLP DOI BibTeX RDF
2	Rob J. van Glabbeek, Marc Voorhoeve	Liveness, Fairness and Impossible Futures.	CONCUR	2006	DBLP DOI BibTeX RDF
2	Yi Fang, Kenneth L. McMillan, Amir Pnueli, Lenore D. Zuck	Liveness by Invisible Invariants.	FORTE	2006	DBLP DOI BibTeX RDF
2	César Sánchez, Henny B. Sipma, Zohar Manna, Christopher D. Gill	Efficient distributed deadlock avoidance with liveness guarantees.	EMSOFT	2006	DBLP DOI BibTeX RDF	scheduling, distributed algorithms, deadlock avoidance
2	Amir Hossein Ghamarian, Marc Geilen, Twan Basten, Bart D. Theelen, Mohammad Reza Mousavi, Sander Stuijk	Liveness and Boundedness of Synchronous Data Flow Graphs.	FMCAD	2006	DBLP DOI BibTeX RDF
2	Aditya Abhyankar, Stephanie A. C. Schuckers	Fingerprint Liveness Detection Using Local Ridge Frequencies and Multiresolution Texture Analysis Techniques.	ICIP	2006	DBLP DOI BibTeX RDF
2	Tadashi Araragi, Seung Mo Cho	Checking Liveness Properties of Concurrent Systems by Reinforcement Learning.	MoChArt	2006	DBLP DOI BibTeX RDF
2	Samuel Z. Guyer, Kathryn S. McKinley, Daniel Frampton	Free-Me: a static analysis for automatic individual object reclamation.	PLDI	2006	DBLP DOI BibTeX RDF	compiler-assisted, adaptive, locality, generational, liveness, pointer analysis, copying, mark-sweep
2	Chuanliang Xia	Analysis of Properties of Petri Synthesis Net.	TAMC	2006	DBLP DOI BibTeX RDF	liveness and boundedness, Petri nets, synthesis, analysis
2	Sujan T. V. Parthasaradhi, Reza Derakhshani, Larry A. Hornak, Stephanie A. C. Schuckers	Time-series detection of perspiration as a liveness test in fingerprint devices.	IEEE Transactions on Systems, Man, and Cybernetics, Part C	2005	DBLP DOI BibTeX RDF
2	Klaus Kollreider, Hartwig Fronthaler, Josef Bigün	Evaluating Liveness by Face Images and the Structure Tensor.	AutoID	2005	DBLP DOI BibTeX RDF
2	Radu Grosu, Scott A. Smolka	Safety-Liveness Semantics for UML 2.0 Sequence Diagrams.	ACSD	2005	DBLP DOI BibTeX RDF
2	Miroslav N. Velev	Automatic Formal Verification of Liveness for Pipelined Processors with Multicycle Functional Units.	CHARME	2005	DBLP DOI BibTeX RDF
2	Adam Koprowski, Hans Zantema	Proving Liveness with Fairness Using Rewriting.	FroCos	2005	DBLP DOI BibTeX RDF
2	Amir Pnueli	Abstraction for Liveness.	VMCAI	2005	DBLP DOI BibTeX RDF
2	Malay K. Ganai, Aarti Gupta, Pranav Ashar	Beyond safety: customized SAT-based model checking.	DAC	2005	DBLP DOI BibTeX RDF	circuit cofactoring, unbounded model checking, formal verification, SAT, liveness, bounded model checking, LTL
2	Andreas Podelski, Andrey Rybalchenko	Transition predicate abstraction and fair termination.	POPL	2005	DBLP DOI BibTeX RDF	fair termination, transition predicate abstraction, liveness, software model checking
2	Héctor Ruíz Barradas, Didier Bert	A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions.	IFM	2005	DBLP DOI BibTeX RDF	unity logic, weak fairness, minimal progress, set transformer, fairness, action systems, Liveness properties, fixpoints, event systems
2	Kun Wei, James Heather	Embedding the Stable Failures Model of CSP in PVS.	IFM	2005	DBLP DOI BibTeX RDF	CSP, deadlock, determinism, liveness, theorem prover
2	Elzbieta Roszkowska	Liveness Enforcing in Closed AGV Systems with Dynamic Routing.	ICRA	2004	DBLP DOI BibTeX RDF
2	Miroslav N. Velev	Using positive equality to prove liveness for pipelined microprocessors.	ASP-DAC	2004	DBLP DOI BibTeX RDF
2	Stephanie A. C. Schuckers, Sujan T. V. Parthasaradhi, Reza Derakhshani, Larry A. Hornak	Comparison of Classification Methods for Time-Series Detection of Perspiration as a Liveness Test in Fingerprint Devices.	ICBA	2004	DBLP DOI BibTeX RDF
2	Stephanie A. C. Schuckers, Aditya Abhyankar	Detecting Liveness in Fingerprint Scanners Using Wavelets: Results of the Test Dataset.	ECCV Workshop BioAW	2004	DBLP DOI BibTeX RDF
2	Panagiotis Manolios, Sudarshan K. Srinivasan	Automatic Verification of Safety and Liveness for XScale-Like Processor Models Using WEB Refinements.	DATE	2004	DBLP DOI BibTeX RDF
2	Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck	Liveness with Invisible Ranking.	VMCAI	2004	DBLP DOI BibTeX RDF
2	Patrick Maier	Intuitionistic LTL and a New Characterization of Safety and Liveness.	CSL	2004	DBLP DOI BibTeX RDF
2	Alessandra Cavarra, Juliana Küster Filipe	Formalizing Liveness-Enriched Sequence Diagrams Using ASMs.	Abstract State Machines	2004	DBLP DOI BibTeX RDF
2	Manuel Carro, Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro	Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns.	TFM	2004	DBLP DOI BibTeX RDF	Formal Specification, Ada, Code Generation, Safety, Concurrent Programming, Liveness
2	Viktor Schuppan, Armin Biere	Efficient reduction of finite state model checking to reachability analysis.	STTT	2004	DBLP DOI BibTeX RDF	Model checking, Safety, Liveness, Linear temporal logic
2	Spyros A. Reveliotis	On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems.	ICATPN	2003	DBLP DOI BibTeX RDF	sequential resource allocation systems, Petri net structural analysis, siphons, deadlock resolution
2	Hyosup Kang, Bongku Lee, Hakil Kim, Daecheol Shin, Jaesung Kim	A Study on Performance Evaluation of the Liveness Detection for Various Fingerprint Sensor Modules.	KES	2003	DBLP DOI BibTeX RDF
2	Jürgen Giesl, Hans Zantema	Liveness in Rewriting.	RTA	2003	DBLP DOI BibTeX RDF
2	Panagiotis Manolios, Richard J. Trefler	A lattice-theoretic characterization of safety and liveness.	PODC	2003	DBLP DOI BibTeX RDF
2	Olga Brukman, Shlomi Dolev, Elliot K. Kolodner	Self-Stabilizing Autonomic Recoverer for Eventual Byzantine Software.	SwSTE	2003	DBLP DOI BibTeX RDF	Heisenbugs, monitors, safety, self-stabilization, liveness, restarters, automatic recovery
2	Ellis Solaiman, Carlos Molina-Jiménez, Santosh K. Shrivastava	Model Checking Correctness Properties of Electronic Contracts.	ICSOC	2003	DBLP DOI BibTeX RDF	contract representation, contract enforcement, correctness requirements, safety and liveness properties, model-checking, validation, finite state machine, Contract, electronic contract
2	Héctor Ruíz Barradas, Didier Bert	Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems.	IFM	2002	DBLP DOI BibTeX RDF
2	Felix C. Gärtner	Revisiting Liveness Properties in the Context of Secure Systems.	FASec	2002	DBLP DOI BibTeX RDF
2	Mark Probst, Andreas Krall, Bernhard Scholz	Register Liveness Analysis for Optimizing Dynamic Binary Translation. (PDF / PS)	WCRE	2002	DBLP DOI BibTeX RDF
2	Michael Backes, Birgit Pfitzmann, Michael Steiner, Michael Waidner	Polynomial Fairness and Liveness.	CSFW	2002	DBLP DOI BibTeX RDF
2	Volker Diekert, Paul Gastin	Safety and Liveness Properties for Real Traces and a Direct Translation from LTL to Monoids.	Formal and Natural Computing	2002	DBLP DOI BibTeX RDF
2	Amir Pnueli, Jessie Xu, Lenore D. Zuck	Liveness with (0, 1, infty)-Counter Abstraction.	CAV	2002	DBLP DOI BibTeX RDF
2	Ulrich Ultes-Nitsche	Do We Need Liveness? - Approximation of Liveness Properties by Safety Properties.	SOFSEM	2002	DBLP DOI BibTeX RDF
2	Kai Baukus, Yassine Lakhnech, Karsten Stahl	Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness.	VMCAI	2002	DBLP DOI BibTeX RDF
2	Jean-François Hermant, Gérard Le Lann	Fast Asynchronous Uniform Consensus in Real-Time Distributed Systems.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	Asynchronous computational models, partially synchronous computational models, uniform consensus, real-time distributed fault-tolerant computing, safety, coverage, schedulability analysis, liveness, timeliness, unreliable failure detectors
2	Ernst-Rüdiger Olderog, Heike Wehrheim	Specification and Inheritance in CSP-OZ.	FMCO	2002	DBLP DOI BibTeX RDF	failure divergence semantics, safety and liveness properties, model-checking, CSP, inheritance, Object-Z, FDR
2	Antti Puhakka, Antti Valmari	Liveness and Fairness in Process-Algebraic Verification.	CONCUR	2001	DBLP DOI BibTeX RDF
2	Marian V. Iordache, Panos J. Antsaklis	Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets.	ICATPN	2001	DBLP DOI BibTeX RDF