BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
liveness
Google liveness

Tag #liveness

70 papers:

FMFM-2019-BodeveixBCF #protocol #verification
Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol (JPB, JB, DC, MF), pp. 45–63.
FMFM-2019-TanP #approach #axiom #difference #equation
An Axiomatic Approach to Liveness for Differential Equations (YKT, AP), pp. 371–388.
CoGCoG-2019-MartinC #development #game studies #towards
Towards Liveness in Game Development (ARM, SC), pp. 1–4.
SEFMSEFM-2018-Barbon0S
Counterexample Simplification for Liveness Property Violation (GB, VL0, GS), pp. 173–188.
ICPRICPR-2018-MingCLVB #detection #interactive #named #network #verification
FaceLiveNet: End-to-End Networks Combining Face Verification with Interactive Facial Expression-Based Liveness Detection (ZM, JC, MML, MV, JCB), pp. 3507–3512.
POPLPOPL-2018-PadonHLPSS #first-order #logic #safety
Reducing liveness to safety in first-order logic (OP, JH, GL, AP, MS, SS), p. 33.
CASECASE-2018-Reveliotis
Preservation of Traffic Liveness in MPC Schemes for Guidepath-based Transport Systems (SAR), pp. 520–527.
CAVCAV-2018-SchemmelBDNW #analysis
Symbolic Liveness Analysis of Real-World Software (DS, JB, OSD, TN0, KW), pp. 447–466.
OnwardOnward-2017-SorensenG
Systems level liveness with extempore (AS, HJG), pp. 214–228.
POPLPOPL-2017-KonnovLVW #algorithm #distributed #fault tolerance #safety #verification
A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms (IVK0, ML, HV, JW), pp. 719–734.
POPLPOPL-2017-LangeNTY #programming #safety
Fencing off go: liveness and safety for channel-based programming (JL, NN, BT, NY), pp. 748–761.
CAVCAV-2016-LinR #random
Liveness of Randomised Parameterised Systems under Arbitrary Schedulers (AWL, PR), pp. 112–133.
DLTDLT-2015-BianchiHK #automaton #on the #problem
On the Size of Two-Way Reasonable Automata for the Liveness Problem (MPB, JH, IK), pp. 120–131.
ICALPICALP-v2-2015-AminofRZS #network
Liveness of Parameterized Timed Networks (BA, SR, FZ, FS), pp. 375–387.
FMFM-2015-DeboisHS #composition #information management #process #refinement #runtime #safety
Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes (SD, TTH, TS), pp. 143–160.
FMFM-2015-SogokonJ #hybrid #verification
Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems (AS, PBJ), pp. 514–531.
FMFM-2014-LakshmiAK #analysis #reachability #using
Checking Liveness Properties of Presburger Counter Systems Using Reachability Analysis (KVL, AA, RK), pp. 335–350.
LOPSTRLOPSTR-2014-PreiningOF #case study #specification
Liveness Properties in CafeOBJ — A Case Study for Meta-Level Specifications (NP, KO, KF), pp. 182–198.
DATEDATE-2014-JoostenS #communication #scalability #verification
Scalable liveness verification for communication fabrics (SJCJ, JS), pp. 1–6.
ISMMISMM-2014-LiDL #modelling #using
Modeling heap data growth using average liveness (PL, CD, HL), pp. 71–82.
ICFPICFP-2013-Jeffrey #functional #programming
Functional reactive programming with liveness guarantees (AJ), pp. 233–244.
DACDAC-2013-BenazouzKHB #data flow #evaluation #graph
Liveness evaluation of a cyclo-static DataFlow graph (MB, AMK, TH, BB), p. 7.
DATEDATE-2013-AbdullaDRSZ #hybrid #memory management #safety #transaction #verification
Verifying safety and liveness for the FlexTM hybrid transactional memory (PAA, SD, AR, AS, YZ), pp. 785–790.
DATEDATE-2013-CastellanaF #analysis #independence #scheduling #synthesis
Scheduling independent liveness analysis for register binding in high level synthesis (VGC, FF), pp. 1571–1574.
ICPRICPR-2012-GhianiMR #detection
Fingerprint liveness detection by local phase quantization (LG, GLM, FR), pp. 537–540.
QAPLQAPL-2012-YasuokaT #data flow #safety
Quantitative Information Flow as Safety and Liveness Hyperproperties (HY, TT), pp. 77–91.
CADECADE-2011-Cook #proving #roadmap #termination
Advances in Proving Program Termination and Liveness (BC), p. 4.
CAVCAV-2010-BloemCGHJ #robust
Robustness in the Presence of Liveness (RB, KC, KG, TAH, BJ), pp. 410–424.
DiGRADiGRA-2009-CameronC #encoding #performance #realtime
Encoding liveness: Performance and real-time rendering in machinima (DC, JC).
POPLPOPL-2009-GantyMR #source code #verification
Verifying liveness for asynchronous programs (PG, RM, AR), pp. 102–113.
DATEDATE-2009-BaumgartnerM #scalability
Scalable liveness checking via property-preserving transformations (JB, HM), pp. 1680–1685.
VMCAIVMCAI-2009-Cook #roadmap #termination
Advances in Program Termination and Liveness (BC), p. 4.
CGOCGO-2008-BoissinotHGDR #performance #source code
Fast liveness checking for ssa-form programs (BB, SH, DG, BDdD, FR), pp. 35–44.
TACASTACAS-2007-BattBW #model checking #network #search-based
Model Checking Liveness Properties of Genetic Regulatory Networks (GB, CB, RW), pp. 323–338.
CAVCAV-2007-KupfermanPV
From Liveness to Promptness (OK, NP, MYV), pp. 406–419.
SEKESEKE-2005-OgataF #approach #proving #verification
Proof Score Approach to Verification of Liveness Properties (KO, KF), pp. 608–613.
VMCAIVMCAI-2005-Pnueli #abstraction
Abstraction for Liveness (AP), p. 146.
DATEDATE-v1-2004-ManoliosS #automation #modelling #safety #using #verification #web
Automatic Verification of Safety and Liveness for XScale-Like Processor Models Using WEB Refinements (PM, SKS), pp. 168–175.
TACASTACAS-2004-FangPPZ #ranking
Liveness with Incomprehensible Ranking (YF, NP, AP, LDZ), pp. 482–496.
CSLCSL-2004-Maier #ltl #safety
Intuitionistic LTL and a New Characterization of Safety and Liveness (PM), pp. 295–309.
VMCAIVMCAI-2004-FangPPZ #ranking
Liveness with Invisible Ranking (YF, NP, AP, LDZ), pp. 223–238.
RTARTA-2003-GieslZ
Liveness in Rewriting (JG, HZ), pp. 321–336.
WCREWCRE-2002-ProbstKS #analysis #optimisation
Register Liveness Analysis for Optimizing Dynamic Binary Translation (MP, AK, BS), pp. 35–44.
IFMIFM-2002-BarradasB #proving #specification
Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems (HRB, DB), pp. 360–379.
ISMMISMM-2002-ShahamKS #impact analysis #java
Estimating the impact of heap liveness information on space consumption in Java (RS, EKK, SS), pp. 171–182.
CAVCAV-2002-PnueliXZ #abstraction
Liveness with (0, 1, infty)-Counter Abstraction (AP, JX, LDZ), pp. 107–122.
VMCAIVMCAI-2002-BaukusLS #protocol #safety #verification
Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness (KB, YL, KS), pp. 317–330.
ECOOPECOOP-2001-HirzelDH #detection #garbage collection #on the
On the Usefulness of Liveness for Garbage Collection and Leak Detection (MH, AD, ALH), pp. 181–206.
LICSLICS-2001-ManoliosT #branch #safety
Safety and Liveness in Branching Time (PM, RJT), pp. 366–374.
TOOLSTOOLS-USA-2000-GilesS #distributed #object-oriented #testing
A Tool for Testing Liveness in Distributed Object Systems (CPG, PAGS), pp. 319–328.
CAVCAV-2000-PnueliS #verification
Liveness and Acceleration in Parameterized Verification (AP, ES), pp. 328–343.
CSLCSL-1999-KestenP #abstraction #verification
Verifying Liveness by Augmented Abstraction (YK, AP), pp. 141–156.
PLDIPLDI-1998-AgesenDM #garbage collection #java #virtual machine
Garbage Collection and Local Variable Type-Precision and Liveness in Java Virtual Machines (OA, DD, JEBM), pp. 269–279.
DLTDLT-1997-NiessnerNO
Deterministic ω-regular liveness properties (FN, UN, PO), pp. 237–248.
ESECESEC-FSE-1997-CheungGK #analysis #composition #reachability #using #verification
Verification of Liveness Properties Using Compositional Reachability Analysis (SCC, DG, JK), pp. 227–243.
CAVCAV-1997-SistlaMG #model checking #named #symmetry #verification
SMC: A Symmetry Based Model Checker for Verification of Liveness Properties (APS, LM, VG), pp. 464–467.
FMFME-1996-ValmariS #safety #verification #visual notation
Visual Verification of Safety and Liveness (AV, MS), pp. 228–247.
PDPPDP-1996-MendivilFVG #algorithm #concurrent #distributed
Liveness Conditions for a Safe Distributed Deadlock Resolution Algorithm (JRGdM, FF, JEV, JRG), pp. 139–146.
FSEFSE-1995-Fekete #case study #modelling #specification
Liveness Conditions in Model-Based Service Specifications: A Case Study (AF), pp. 62–71.
CAVCAV-1995-AlurH #composition #modelling
Local Liveness for Compositional Modeling of Fair Reactive Systems (RA, TAH), pp. 166–179.
ICALPICALP-1994-GawlickSSL
Liveness in Timed and Untimed Systems (RG, RS, JFSA, NAL), pp. 166–177.
TAPSOFTTAPSOFT-1993-PenaA #process #specification #using
A Technique for Specifying and Refining TCSP Processes by Using Guards and Liveness Conditions (RP, LMA), pp. 328–342.
CAVCAV-1992-Corbett #integer #programming #safety #verification
Verifying General Safety and Liveness Propterties with Integer Programming (JCC), pp. 357–369.
CAVCAV-1991-Goldschlag #safety #verification
Mechanically Verifying Safety and Liveness Properties of Delay Insensitive Circuits (DMG), pp. 354–364.
ICALPICALP-1990-PeledP #partial order #proving
Proving Partial Order Liveness Properties (DP, AP), pp. 553–571.
CAVCAV-1990-Burch #safety #verification
Verifying Liveness Properties by Verifying Safety Properties (JRB), pp. 224–232.
CAVCAV-1990-BuyM #proving
A Proof Lattice-Based Technique for Analyzing Liveness of Resource Controllers (UAB, RM), pp. 292–301.
PLDIPLDI-1989-ChiD #using
Unified Management of Registers and Cache Using Liveness and Cache Bypass (CHC, HGD), pp. 344–355.
ICALPICALP-1987-Josko #model checking
Modelchecking of CTL Formulae under Liveness Assumptions (BJ), pp. 280–289.
STOCSTOC-1984-DeganoM #convergence #metric
Liveness Properties as Convergence in Metric Spaces (PD, UM), pp. 31–38.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.