Search results for "liveness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
171	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
97	Bernhard Josko	Modelchecking of CTL Formulae under Liveness Assumptions.	ICALP	1987	DBLP DOI BibTeX RDF
89	Marian V. Iordache, Panos J. Antsaklis	Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets.	ICATPN	2001	DBLP DOI BibTeX RDF
83	Krishnendu Chatterjee, Thomas A. Henzinger	Finitary Winning in omega-Regular Games.	TACAS	2006	DBLP DOI BibTeX RDF
81	Jürgen Giesl, Hans Zantema	Liveness in Rewriting.	RTA	2003	DBLP DOI BibTeX RDF
80	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
80	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
72	Enrique Alba 0001, 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
72	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
72	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
64	Charles P. Giles, Paolo A. G. Sivilotti	A Tool for Testing Liveness in Distributed Object Systems.	TOOLS (34)	2000	DBLP DOI BibTeX RDF
64	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
64	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
58	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
56	Panagiotis Manolios, Richard J. Trefler	A lattice-theoretic characterization of safety and liveness.	PODC	2003	DBLP DOI BibTeX RDF
56	Michael Backes 0001, Birgit Pfitzmann, Michael Steiner 0001, Michael Waidner	Polynomial Fairness and Liveness.	CSFW	2002	DBLP DOI BibTeX RDF
56	Martin Hirzel, Amer Diwan, Antony L. Hosking	On the Usefulness of Liveness for Garbage Collection and Leak Detection.	ECOOP	2001	DBLP DOI BibTeX RDF
56	Kamel Barkaoui, Jean-François Pradat-Peyre	On Liveness and Controlled Siphons in Petri Nets.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF
55	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
55	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
55	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
55	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
55	Olivier Marchetti, Alix Munier Kordon	Minimizing Place Capacities of Weighted Event Graphs for Enforcing Liveness.	Discret. Event Dyn. Syst.	2008	DBLP DOI BibTeX RDF	Petri nets, Manufacturing, Liveness, Buffer requirement
55	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
55	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, compositionality, liveness
50	Huabing Yang, Xingyuan Zhang, Yuanyuan Wang	A correctness proof of the SRP protocol.	IPDPS	2006	DBLP DOI BibTeX RDF
49	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
49	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
47	Zhengwei Qi, Liang Liu 0010, Alei Liang, Hao Wang, Ying Chen 0004	An Online Model Checking Tool for Safety and Liveness Bugs.	ICPADS	2008	DBLP DOI BibTeX RDF
47	ZhiWu Li 0001, MengChu Zhou	Two-Stage Method for Synthesizing Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets.	IEEE Trans. Ind. Informatics	2006	DBLP DOI BibTeX RDF
47	Miroslav N. Velev	Automatic Formal Verification of Liveness for Pipelined Processors with Multicycle Functional Units.	CHARME	2005	DBLP DOI BibTeX RDF
47	Alessandra Cavarra, Juliana Küster Filipe	Formalizing Liveness-Enriched Sequence Diagrams Using ASMs.	Abstract State Machines	2004	DBLP DOI BibTeX RDF
47	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
47	Zhe Dang, Pierluigi San Pietro, Richard A. Kemmerer	On Presburger Liveness of Discrete Timed Automata.	STACS	2001	DBLP DOI BibTeX RDF
47	Ole Agesen, David Detlefs, J. Eliot B. Moss	Garbage Collection and Local Variable Type-Precision and Liveness in Java Virtual Machines.	PLDI	1998	DBLP DOI BibTeX RDF	Java
47	Rajeev Alur, Thomas A. Henzinger	Local Liveness for Compositional Modeling of Fair Reactive Systems.	CAV	1995	DBLP DOI BibTeX RDF
47	Kamel Barkaoui, Michel Minoux	A Polynomial-Time Graph Algorithm to Decide Liveness of Some Basic Classes of Bounded Petri Nets.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF
47	Orna Kupferman, Nir Piterman, Moshe Y. Vardi	From liveness to promptness.	Formal Methods Syst. Des.	2009	DBLP DOI BibTeX RDF	Verification, Temporal logic, Liveness
47	Yi Fang 0001, Nir Piterman, Amir Pnueli, Lenore D. Zuck	Liveness with invisible ranking.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Parametrized systems, Deductive verification, BDD techniques, Liveness, Automatic verification
47	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
47	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
47	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
42	Huabing Yang, Xingyuan Zhang, Yuanyuan Wang	A Correctness Proof of the DSR Protocol.	MSN	2006	DBLP DOI BibTeX RDF
41	Viktor Schuppan, Armin Biere	Efficient reduction of finite state model checking to reachability analysis.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Model checking, Safety, Liveness, Linear temporal logic
41	Younes Souissi	Deterministic Systems of Sequential Processes: a class of structured Petri nets.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	Deterministic system of sequential processes, composition, modularity, liveness, monotonicity, boundedness, properties preservation
39	Zhiwu Li 0001, Moshe Shpitalni	On the Existence of a Maximally Permissive Liveness-enforcing Petri Net Supervisor for Flexible Manufacturing Systems.	ICNSC	2008	DBLP DOI BibTeX RDF
39	Klaus Kollreider, Hartwig Fronthaler, Maycel Isaac Faraj, Josef Bigün	Real-Time Face Detection and Motion Analysis With Application in "Liveness" Assessment.	IEEE Trans. Inf. Forensics Secur.	2007	DBLP DOI BibTeX RDF
39	Aditya Abhyankar, Stephanie A. C. Schuckers	Fingerprint Liveness Detection Using Local Ridge Frequencies and Multiresolution Texture Analysis Techniques.	ICIP	2006	DBLP DOI BibTeX RDF
39	Yi Fang 0001, Nir Piterman, Amir Pnueli, Lenore D. Zuck	Liveness with Invisible Ranking.	VMCAI	2004	DBLP DOI BibTeX RDF
39	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
39	Mark Probst, Andreas Krall, Bernhard Scholz	Register Liveness Analysis for Optimizing Dynamic Binary Translation.	WCRE	2002	DBLP DOI BibTeX RDF
39	Felix C. Gärtner	Revisiting Liveness Properties in the Context of Secure Systems.	FASec	2002	DBLP DOI BibTeX RDF
39	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
39	Antti Puhakka, Antti Valmari	Liveness and Fairness in Process-Algebraic Verification.	CONCUR	2001	DBLP DOI BibTeX RDF
39	Gleb Naumovich, Lori A. Clarke	Classifying properties: an alternative to the safety-liveness classification.	SIGSOFT FSE	2000	DBLP DOI BibTeX RDF
39	Bernadette Charron-Bost, Sam Toueg, Anindya Basu	Revisiting Safety and Liveness in the Context of Failures.	CONCUR	2000	DBLP DOI BibTeX RDF
39	Paolo A. G. Sivilotti, Charles P. Giles	The specification of distributed objects: liveness and locality.	CASCON	1999	DBLP BibTeX RDF	CORBA
39	Ricardo Pena, Luis M. Alonso	A Technique for Specifying and Refining TCSP Processes by Using Guards and Liveness Conditions.	TAPSOFT	1993	DBLP DOI BibTeX RDF
39	Jerry R. Burch	Verifying Liveness Properties by Verifying Safety Properties.	CAV	1990	DBLP DOI BibTeX RDF
39	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
39	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
39	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
39	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
37	Ulrich Ultes-Nitsche	Do We Need Liveness? - Approximation of Liveness Properties by Safety Properties.	SOFSEM	2002	DBLP DOI BibTeX RDF
33	Taehoon Lee, Gihwon Kwon, Hyuksoo Han	CTL Model Checking for Boolean Program.	ICCSA (4)	2006	DBLP DOI BibTeX RDF
33	Sung-Hoon Park	A Probabilistically Correct Election Protocol in Asynchronous Distributed Systems.	APPT	2003	DBLP DOI BibTeX RDF
33	Atsushi Ohta, Kohkichi Tsuji	Insufficiently marked siphon of Petri nets - extension of token-free siphon.	ISCAS (3)	2003	DBLP DOI BibTeX RDF
33	Catherine Dufourd, Alain Finkel	Polynomial-Time Manz-One Reductions for Petri Nets.	FSTTCS	1997	DBLP DOI BibTeX RDF
33	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
33	Michael R. Clarkson, Fred B. Schneider	Hyperproperties.	CSF	2008	DBLP DOI BibTeX RDF	safety, Security policies, liveness
33	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
33	Yi-Bo Zhang, Qin Li 0001, 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
33	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
33	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
33	Sea Ling, Heinz W. Schmidt	Towards Analysing a Class of Object Petri Nets.	Australian Software Engineering Conference	1996	DBLP DOI BibTeX RDF	Petri nets, analysis, liveness, safeness, object-based
33	Ernst-Rüdiger Olderog	From Trace Specifications to Process Terms.	REX Workshop	1989	DBLP DOI BibTeX RDF	COSY, many-sorted first order logic, trace logic, process correctness, externally deterministic, modified readiness semantics, top-down construction, mixed terms, Milner's scheduling problem, communication, Petri nets, specification, transformations, safety, CSP, liveness, CCS, Concurrent processes
31	Hemant Kowshik, Derek Caveney, P. R. Kumar 0001	Safety and Liveness in Intelligent Intersections.	HSCC	2008	DBLP DOI BibTeX RDF
31	Li Jiao	A method for verifying deadlock freedom and liveness of petri nets.	ISCAS	2008	DBLP DOI BibTeX RDF
31	Spyros A. Reveliotis	Implicit Siphon Control and Its Role in the Liveness-Enforcing Supervision of Sequential Resource Allocation Systems.	IEEE Trans. Syst. Man Cybern. Part A	2007	DBLP DOI BibTeX RDF
31	Orna Kupferman, Nir Piterman, Moshe Y. Vardi	From Liveness to Promptness.	CAV	2007	DBLP DOI BibTeX RDF
31	Tadashi Araragi, Seung Mo Cho	Checking Liveness Properties of Concurrent Systems by Reinforcement Learning.	MoChArt	2006	DBLP DOI BibTeX RDF
31	Parosh Aziz Abdulla, Bengt Jonsson 0001, Ahmed Rezine, Mayank Saksena	Proving Liveness by Backwards Reachability.	CONCUR	2006	DBLP DOI BibTeX RDF
31	Yi Fang 0001, Kenneth L. McMillan, Amir Pnueli, Lenore D. Zuck	Liveness by Invisible Invariants.	FORTE	2006	DBLP DOI BibTeX RDF
31	Amir Hossein Ghamarian, Marc Geilen, Twan Basten, Bart D. Theelen, Mohammad Reza Mousavi 0001, Sander Stuijk	Liveness and Boundedness of Synchronous Data Flow Graphs.	FMCAD	2006	DBLP DOI BibTeX RDF
31	Klaus Kollreider, Hartwig Fronthaler, Josef Bigün	Evaluating Liveness by Face Images and the Structure Tensor.	AutoID	2005	DBLP DOI BibTeX RDF
31	Adam Koprowski, Hans Zantema	Proving Liveness with Fairness Using Rewriting.	FroCoS	2005	DBLP DOI BibTeX RDF
31	Elzbieta Roszkowska	Liveness Enforcing in Closed AGV Systems with Dynamic Routing.	ICRA	2004	DBLP DOI BibTeX RDF
31	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
31	Miroslav N. Velev	Using positive equality to prove liveness for pipelined microprocessors.	ASP-DAC	2004	DBLP DOI BibTeX RDF
31	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
31	Amir Pnueli, Jessie Xu, Lenore D. Zuck	Liveness with (0, 1, infty)-Counter Abstraction.	CAV	2002	DBLP DOI BibTeX RDF
31	Kai Baukus, Yassine Lakhnech, Karsten Stahl	Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness.	VMCAI	2002	DBLP DOI BibTeX RDF
31	Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro	Liveness Verification of Reversal-Bounded Multicounter Machines with a Free Counter.	FSTTCS	2001	DBLP DOI BibTeX RDF
31	A. Prasad Sistla, Viktor Gyuris, E. Allen Emerson	SMC: a symmetry-based model checker for verification of safety and liveness properties.	ACM Trans. Softw. Eng. Methodol.	2000	DBLP DOI BibTeX RDF	model checking, automata
31	Kevin X. He, Michael D. Lemmon	Liveness Verification of Discrete Event Systems Modeled by n -Safe Ordinary Petri Nets.	ICATPN	2000	DBLP DOI BibTeX RDF
31	Rainer Gawlick, Roberto Segala, Jørgen F. Søgaard-Andersen, Nancy A. Lynch	Liveness in Timed and Untimed Systems.	ICALP	1994	DBLP DOI BibTeX RDF
31	Jens U. Skakkebæk	Liveness and Fairness in Duration Calculus.	CONCUR	1994	DBLP DOI BibTeX RDF
31	Vanio M. Savi, Xiaolan Xie	Liveness and Boundedness Analysis for Petri Nets with Event Graph Modules.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF
31	Sudhir Aggarwal, Costas Courcoubetis, Pierre Wolper	Adding Liveness Properties to Coupled Finite-State Machines.	ACM Trans. Program. Lang. Syst.	1990	DBLP DOI BibTeX RDF
31	Joylyn Reed, Raymond T. Yeh	Specification and Verification of Liveness Properties of Cyclic, Concurrent Processes.	ACM Trans. Program. Lang. Syst.	1988	DBLP DOI BibTeX RDF