Search results for "Liveness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Dusko Pavlovic, Peter Pepper, Douglas R. Smith	Evolving Specification Engineering.	AMAST	2008	DBLP DOI BibTeX RDF
17	Paula Herber, Joachim Fellmuth, Sabine Glesner	Model checking SystemC designs using timed automata.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	model checking, timed automata, SystemC
17	Richard Torbjørn Sanders, Øystein Haugen	Milestones: Mythical Signals in UML to Analyze and Monitor Progress.	ServiceWave	2008	DBLP DOI BibTeX RDF
17	Mila E. Majster-Cederbaum, Christoph Minnameier	Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets.	SOFSEM	2008	DBLP DOI BibTeX RDF
17	Naiqi Wu, Liping Bai, Chengbin Chu	Modeling and Conflict Detection of Crude Oil Operations for Refinery Process Based on Controlled Colored Timed Petri Net.	IEEE Trans. Syst. Man Cybern. Part C	2007	DBLP DOI BibTeX RDF
17	Alessio Lomuscio, Hongyang Qu 0001, Marek J. Sergot, Monika Solanki	Verifying Temporal and Epistemic Properties of Web Service Compositions.	ICSOC	2007	DBLP DOI BibTeX RDF
17	Ping Hang Cheung, Alessandro Forin	A C-Language Binding for PSL.	ICESS	2007	DBLP DOI BibTeX RDF	C, Assertion Based Verification, Property Specification Language
17	King Sing Cheung, K. O. Chow	Property-Preserving Composition of Distributed System Components.	APPT	2007	DBLP DOI BibTeX RDF
17	Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis	An Approach to Modelling and Verification of Component Based Systems.	SOFSEM (1)	2007	DBLP DOI BibTeX RDF
17	Maria João Frade, Ando Saabas, Tarmo Uustalu	Foundational certification of data-flow analyses.	TASE	2007	DBLP DOI BibTeX RDF	data-flow analyses, certification of analyses and optimizations, applied vs. foundational, type systems, program optimizations, Hoare logics, natural semantics
17	Roma Kane, Panagiotis Manolios, Sudarshan K. Srinivasan	Monolithic verification of deep pipelines with collapsed flushing.	DATE	2006	DBLP DOI BibTeX RDF
17	Nabil Hameurlain	A Formal Framework for Component Pr otocols Behavioural Compatibility.	APSEC	2006	DBLP DOI BibTeX RDF
17	Hongbo Jiang 0001, Shudong Jin	NSYNC: network synchronization for peer-to-peer streaming overlay construction.	NOSSDAV	2006	DBLP DOI BibTeX RDF
17	Ferucio Laurentiu Tiplea, Geanina Ionela Macovei	E-timed Workflow Nets.	SYNASC	2006	DBLP DOI BibTeX RDF
17	Edmund M. Clarke, Muralidhar Talupur, Helmut Veith	Environment Abstraction for Parameterized Verification.	VMCAI	2006	DBLP DOI BibTeX RDF
17	Milos Besta, Frank A. Stomp	A Complete Mechanization of Correctness of a String-Preprocessing Algorithm.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	formal methods, pattern matching, theorem proving, PVS
17	Michael Backes 0001, Dennis Hofheinz, Jörn Müller-Quade, Dominique Unruh	On fairness in simulatability-based cryptographic systems.	FMSE	2005	DBLP DOI BibTeX RDF	scheduling, fairness, cryptographic protocols, simulatability
17	Tobias Schüle, Klaus Schneider 0001	Three-valued logic in bounded model checking.	MEMOCODE	2005	DBLP DOI BibTeX RDF
17	Roly Perera, Russ Freeman	Beyond the language workbench: a runtime platform for practical semantic computing.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	relational programming, incremental computation, dynamic aspects
17	Thomas Tuerk, Klaus Schneider 0001	From PSL to LTL: A Formal Validation in HOL.	TPHOLs	2005	DBLP DOI BibTeX RDF
17	Aditya Abhyankar, Stephanie A. C. Schuckers	Characterization, Similarity Score and Uniqueness Associated with Perspiration Pattern.	AVBPA	2005	DBLP DOI BibTeX RDF
17	Andreas Podelski, Ina Schaefer, Silke Wagner	Summaries for While Programs with Recursion.	ESOP	2005	DBLP DOI BibTeX RDF
17	Ferucio Laurentiu Tiplea, Geanina Ionela Macovei	Timed Workflow Nets.	SYNASC	2005	DBLP DOI BibTeX RDF
17	Ittai Balaban, Amir Pnueli, Lenore D. Zuck	Ranking Abstraction as Companion to Predicate Abstraction.	FORTE	2005	DBLP DOI BibTeX RDF
17	Richard Torbjørn Sanders, Rolv Bræk, Gregor von Bochmann, Daniel Amyot	Service Discovery and Component Reuse with Semantic Interfaces.	SDL Forum	2005	DBLP DOI BibTeX RDF
17	Jay Ligatti, Lujo Bauer, David Walker 0001	Enforcing Non-safety Security Policies with Program Monitors.	ESORICS	2005	DBLP DOI BibTeX RDF
17	J. G. Cederquist, Ricardo Corin, Muhammad Torabi Dashti	On the Quest for Impartiality: Design and Analysis of a Fair Non-repudiation Protocol.	ICICS	2005	DBLP DOI BibTeX RDF
17	Sandeep S. Kulkarni, Ali Ebnenasir	Automated Synthesis of Multitolerance.	DSN	2004	DBLP DOI BibTeX RDF	Fault-tolerance, Formal methods, Distributed programs, Program synthesis, Automatic addition of fault-tolerance
17	Zhiwu Li 0001, Weixian Cao, Anrong Wang	Analysis of a siphon-based deadlock prevention policy for flexible manufacturing systems.	ICARCV	2004	DBLP DOI BibTeX RDF
17	J. Christian Attiogbé	A Mechanically Proved Development Combining B Abstract Systems and Spin.	QSIC	2004	DBLP DOI BibTeX RDF
17	José Manuel Colom	The Resource Allocation Problem in Flexible Manufacturing Systems.	ICATPN	2003	DBLP DOI BibTeX RDF
17	Nick Cook, Santosh K. Shrivastava, Stuart M. Wheater	Distributed Object Middleware to Support Dependable Information Sharing between Organisations.	DSN	2002	DBLP DOI BibTeX RDF
17	Yu Chen 0017, Jennifer L. Welch	Self-stabilizing mutual exclusion using tokens in mobile ad hoc networks.	DIAL-M	2002	DBLP DOI BibTeX RDF	fault tolerance, mobile ad hoc networks, self-stabilization, mutual exclusion, token circulation
17	Klaus Kursawe	Optimistic Byzantine Agreement.	SRDS	2002	DBLP DOI BibTeX RDF
17	Serge Haddad, Patrice Moreaux, Matteo Sereno, Manuel Silva Suárez	Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets.	ICATPN	2001	DBLP DOI BibTeX RDF
17	Joseph E. Stoy, Xiaowei Shen, Arvind	Proofs of Correctness of Cache-Coherence Protocols.	FME	2001	DBLP DOI BibTeX RDF
17	Ahmed Bouajjani, Aurore Collomb-Annichini, Yassine Lakhnech, Mihaela Sighireanu	Analyzing Fair Parametric Extended Automata.	SAS	2001	DBLP DOI BibTeX RDF
17	Giorgio Delzanno, Tevfik Bultan	Constraint-Based Verification of Client-Server Protocols.	CP	2001	DBLP DOI BibTeX RDF
17	Markus Müller-Olm, Helmut Seidl	On optimal slicing of parallel programs.	STOC	2001	DBLP DOI BibTeX RDF	complexity, parallel programs, slicing, undecidability, interprocedural analysis
17	Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo	An Automatic SPIN Validation of a Safety Critical Railway Control System.	DSN	2000	DBLP DOI BibTeX RDF	dependable protocols, model checking, formal verification, safety-critical systems
17	Thomas A. Henzinger, Sriram K. Rajamani	Fair Bisimulation.	TACAS	2000	DBLP DOI BibTeX RDF
17	Sébastien Bornot, Gregor Gößler, Joseph Sifakis	On the Construction of Live Timed Systems.	TACAS	2000	DBLP DOI BibTeX RDF
17	Assia Doudou, Rachid Guerraoui, Benoît Garbinato	Abstractions for Devising Byzantine-Resilient State Machine Replication.	SRDS	2000	DBLP DOI BibTeX RDF
17	Javier Esparza, Alain Finkel, Richard Mayr	On the Verification of Broadcast Protocols.	LICS	1999	DBLP DOI BibTeX RDF
17	Dimitra Giannakopoulou, Jeff Magee, Jeff Kramer	Checking Progress with Action Priority: Is it Fair?	ESEC / SIGSOFT FSE	1999	DBLP DOI BibTeX RDF
17	Hsu-Chun Yen	Priority Conflict-Free Petri Nets.	Acta Informatica	1998	DBLP DOI BibTeX RDF
17	Satoshi Yamane	A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems.	FM-Trends	1998	DBLP DOI BibTeX RDF
17	Gilberto Matos, James M. Purtilo, Elizabeth L. White	Automated Computation of Decomposable Synchronization Conditions.	HASE	1997	DBLP DOI BibTeX RDF
17	Roope Kaivola	Using Compositional Preorders in the Verification of Sliding Window Protocal.	CAV	1997	DBLP DOI BibTeX RDF
17	Rajeev Alur, Thomas A. Henzinger	Modularity for Timed and Hybrid Systems.	CONCUR	1997	DBLP DOI BibTeX RDF
17	Andrei Kovalyov	An O(\|S\|×\|T\|)- Algorithm to Verify if a Net is Regular.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF
17	Bengt Jonsson 0001	Compositional Specification and Verification of Distributed Systems.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	specification, message passing, compositionality, stepwise refinement, modular specification, assertional reasoning
17	Nils Klarlund	The Limit View of Infinite Computations.	CONCUR	1994	DBLP DOI BibTeX RDF
17	Allan Cheng, Javier Esparza, Jens Palsberg	Complexity Results for 1-safe Nets.	FSTTCS	1993	DBLP DOI BibTeX RDF
17	Jörg Desel	A Proof of the Rank Theorem for Extended Free Choice Nets.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF	free choice nets - analysis, structure and behaviour of nets
17	Bengt Jonsson 0001	A Hierarchy of Compositional Models of I/O-Automata (Extended Abstract).	MFCS	1990	DBLP DOI BibTeX RDF
17	Javier Esparza, Manuel Silva Suárez	On the analysis and synthesis of free choice systems.	Applications and Theory of Petri Nets	1989	DBLP DOI BibTeX RDF	free choice nets, linear algebra techniques, state refinement, structure of systems, modular synthesis, top-down synthesis, Analysis, transformation, reduction
17	Eugene W. Stark	A Proof Technique for Rely/Guarantee Properties.	FSTTCS	1985	DBLP DOI BibTeX RDF
17	Zohar Manna, Amir Pnueli	Proving Precedence Properties: The Temporal Way.	ICALP	1983	DBLP DOI BibTeX RDF
17	Brent Hailpern, Susan S. Owicki	Modular Verification of Concurrent Programs.	POPL	1982	DBLP DOI BibTeX RDF
16	Ranjit Jhala, Rupak Majumdar	Software model checking.	ACM Comput. Surv.	2009	DBLP DOI BibTeX RDF	counterexample-guided refinement, enumerative and symbolic model checking, abstraction, safety, liveness, Software model checking
16	Xuejun Yang, Nathan Cooprider, John Regehr	Eliminating the call stack to save RAM.	LCTES	2009	DBLP DOI BibTeX RDF	stack liveness, sensor networks, compiler optimization, embedded software, memory allocation, memory optimizations
16	Isil Dillig, Thomas Dillig, Eran Yahav, Satish Chandra 0001	The CLOSER: automating resource management in java.	ISMM	2008	DBLP DOI BibTeX RDF	higher-level resource, interest reachability, logical liveness, resource interest graph, resource management
16	Anup Kumar Bandyopadhyay	Modeling fairness and starvation in concurrent systems.	ACM SIGSOFT Softw. Eng. Notes	2007	DBLP DOI BibTeX RDF	temporal quantifier, temporal logic, fairness, concurrent program, liveness, weakest precondition
16	Girija Chetty, Michael Wagner 0004	Audio Visual Speaker Verification Based on Hybrid Fusion of Cross Modal Features.	PReMI	2007	DBLP DOI BibTeX RDF	speaker identity verification, liveness checking, cross modal correlations, Audio-visual
16	Borzoo Bonakdarpour, Sandeep S. Kulkarni	Automated Incremental Synthesis of Timed Automata.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF	Bounded liveness, Bounded response, Real-time, Formal methods, Synthesis, Transformation, Timed automata
16	Panagiotis Manolios, Daron Vroon 0001	Integrating static analysis and general-purpose theorem proving for termination analysis.	ICSE	2006	DBLP DOI BibTeX RDF	static analysis, theorem proving, termination, liveness, ACL2
16	David M. Ungar, Adam Spitz, Alex Ausch	Constructing a metacircular Virtual machine in an exploratory programming environment.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	Klein, exploratory programming, fix-and-continue, meta-recursive, metacircularity, mirror-based reflection, remote reflection, object oriented, virtual machine, prototypes, liveness, code reuse, reactivity, debugger, lenses, self
16	Cindy Eisner, Dana Fisman, John Havlicek	A topological characterization of weakness.	PODC	2005	DBLP DOI BibTeX RDF	safety component, semantically weak and strong formulas, syntactically weak and strong formulas, temporal weakness and strength, weak and strong components, safety, liveness
16	Manoj Kumar Jain, M. Balakrishnan, Anshul Kumar	An efficient technique for exploring register file size in ASIP synthesis.	CASES	2002	DBLP DOI BibTeX RDF	ASIP Synthesis, retargetable estimation, storage exploration, design space exploration, instruction scheduling, register file, global analysis, register spill, liveness analysis
16	Yonit Kesten, Amir Pnueli	Control and Data Abstraction: The Cornerstones of Practical Formal Verification.	Int. J. Softw. Tools Technol. Transf.	2000	DBLP DOI BibTeX RDF	Control abstraction, Safety and liveness property, Weak and strong fairness, Model checking, Formal verification, Data abstraction, Linear temporal logic, Network invariant
16	Felix C. Gärtner	Fundamentals of Fault-Tolerant Distributed Computing in Asynchronous Environments.	ACM Comput. Surv.	1999	DBLP DOI BibTeX RDF	failure correction, possibility detection, fault tolerance, message passing, redundancy, safety, fault models, liveness, asynchronous system, failure detection, consensus problem, agreement problem, predicate detection
16	Peter Ochsenschläger, Jürgen Repp, Roland Rieke, Ulrich Nitsche	The SH-Verification Tool - Abstraction-Based Verification of Co-operating Systems.	Formal Aspects Comput.	1998	DBLP DOI BibTeX RDF	Simple language homomorphisms, Asynchronous product automata, Approximate satisfaction of safety and liveness properties, Model checking, Verification tools
16	Luc Bougé, Joaquim Gabarró, Xavier Messeguer, Nicolas Schabanel	Concurrent Rebalancing of ACL Trees: A Fine-Grained Approach (Extended Abstract).	Euro-Par	1997	DBLP DOI BibTeX RDF	Concurrent insertions and deletions, Concurrent generalized rotations, Safety and liveness proofs, Search trees, AVL trees, Concurrent algorithms
16	Geoffrey Weyer, William H. Winsborough	Annotated Structure Shape Graphs for Abstract Analysis of Prolog.	PLILP	1996	DBLP DOI BibTeX RDF	Abstract Analysis, Structure Shape Graph, Unify Set, Compile-Time Garbage Collection, Update-In-Place, Structure Sharing, Sharing, Liveness, Aliasing, Type Graph
16	Martín Abadi, Leslie Lamport	Conjoining Specifications.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	temporal logic, composition, decomposition, concurrent programming, safety properties, liveness properties, modular specification
16	Daniel Y. Chao, David T. Wang	A synthesis technique of general petri nets.	J. Syst. Integr.	1994	DBLP DOI BibTeX RDF	ordinary Petri nets, general Petri nets, liveness boundedness, structural relationship, synthesis, rule, deadlock, Concurrent system, reversible, flexible manufacturing system
16	Martín Abadi, Leslie Lamport	An Old-Fashined Recipe for Real-Time.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	Zeno, real time, temporal logic, composition, concurrent programming, safety properties, liveness properties
16	Leslie Lamport	The Temporal Logic of Actions.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	concurrent programming, safety properties, liveness properties
16	Zohar Manna, Amir Pnueli	The anchored version of the temporal framework.	REX Workshop	1988	DBLP DOI BibTeX RDF	Classification of Properties, Fair Transition System, Verification, Specification, Temporal Logic, Fairness, Safety, Concurrent Programs, Reactive Systems, Liveness, Responsiveness, Proof System, Progress, Recurrence
16	Younes Souissi, Nicolas Beldiceanu	Deterministic Systems of Sequential Processes: Theory and Tools.	Concurrency	1988	DBLP DOI BibTeX RDF	deterministic systems of sequential processes, Petri net, expert system, liveness
16	Rob J. van Glabbeek	Bounded Nondeterminism and the Approximation Induction Principle in Process Algebra.	STACS	1987	DBLP DOI BibTeX RDF	& Phrases Concurrency, Approximation Induction Principle, Bounded Nondeterminism, Fairness, Abstraction, Consistency, Process algebra, Recursion, Bisimulation, Liveness, ACP
16	Krishna M. Kavi, Bill P. Buckles, U. Narayan Bhat	A Formal Definition of Data Flow Graph Models.	IEEE Trans. Computers	1986	DBLP DOI BibTeX RDF	Petri nets, parallel computations, deadlocks, Bipartite graphs, liveness, data flow graphs
14	Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh	Mostly Automated Verification of Liveness Properties for Distributed Protocols with Ranking Functions.	Proc. ACM Program. Lang.	2024	DBLP DOI BibTeX RDF
14	Nico Surantha, Boy Sugijakko	Lightweight face recognition-based portable attendance system with liveness detection.	Internet Things	2024	DBLP DOI BibTeX RDF
14	Wenzhong Shen, Juan Liang	End-to-end multibranch network for palm vein recognition and liveness detection.	J. Electronic Imaging	2024	DBLP DOI BibTeX RDF
14	Murat Uzam, Zhiwu Li 0001, Mohammed A. El-Meligy, Mohamed Abdel Fattah Sharaf, Qiwei Tang	Optimality Test for Control Places of Petri Net Based Liveness Enforcing Supervisors of FMSs.	IEEE Access	2024	DBLP DOI BibTeX RDF
14	Sara Morais dos Santos Bruss	Artificial reproduction? Tabita Rezaire's Sugar Walls Teardom and AI "liveness".	AI Soc.	2024	DBLP DOI BibTeX RDF
14	Hongda Qi, Junli Wang, Chungang Yan, Changjun Jiang	The Probabilistic Liveness Decision Method of Unbounded Petri Nets Based on Machine Learning.	IEEE Trans. Syst. Man Cybern. Syst.	2024	DBLP DOI BibTeX RDF
14	Mrdjan Jankovic, Mario A. Santillo, Yan Wang 0075	Multiagent Systems With CBF-Based Controllers: Collision Avoidance and Liveness From Instability.	IEEE Trans. Control. Syst. Technol.	2024	DBLP DOI BibTeX RDF
14	Tobias Reinhard	Semi-Automated Modular Formal Verification of Critical Software: Liveness and Completeness Thresholds.	CoRR	2024	DBLP DOI BibTeX RDF
14	Xiping Sun, Jing Chen 0003, Cong Wu 0003, Kun He 0008, Haozhe Xu, Yebo Feng, Ruiying Du, Xianhao Chen	MagLive: Near-Field Magnetic Sensing-Based Voice Liveness Detection on Smartphones.	CoRR	2024	DBLP DOI BibTeX RDF
14	Tom Yaacov, Achiya Elyasaf, Gera Weiss	Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements.	CoRR	2024	DBLP DOI BibTeX RDF
14	Oleksandr Kuznetsov, Dmytro Zakharov, Emanuele Frontoni, Andrea Maranesi	AttackNet: Enhancing Biometric Security via Tailored Convolutional Neural Network Architectures for Liveness Detection.	CoRR	2024	DBLP DOI BibTeX RDF
14	Xingming Long, Shiguang Shan, Jie Zhang 0071	Generalized Face Liveness Detection via De-spoofing Face Generator.	CoRR	2024	DBLP DOI BibTeX RDF
14	Oleksandr Kuznetsov, Dmytro Zakharov, Emanuele Frontoni, Andrea Maranesi, Serhii Bohucharskyi	Cross-Database Liveness Detection: Insights from Comparative Biometric Analysis.	CoRR	2024	DBLP DOI BibTeX RDF
14	Dan You, Shouguang Wang	Non-Deterministic Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks.	IEEE CAA J. Autom. Sinica	2024	DBLP DOI BibTeX RDF
14	Yibin Xu, Jingyi Zheng, Boris Düdder, Tijs Slaats, Yongluan Zhou	A Two-Layer Blockchain Sharding Protocol Leveraging Safety and Liveness for Enhanced Performance.	IACR Cryptol. ePrint Arch.	2024	DBLP BibTeX RDF
14	Priyanka Gupta, Hemant A. Patil	Morse wavelet transform-based features for voice liveness detection.	Comput. Speech Lang.	2024	DBLP DOI BibTeX RDF
14	Xianbo Wang, Kaixuan Luo, Wing Cheong Lau	Living a Lie: Security Analysis of Facial Liveness Detection Systems in Mobile Apps.	ACNS (3)	2024	DBLP DOI BibTeX RDF