Search results for "liveness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
31	Mohamed G. Gouda, Chung-Kuo Chang	Proving Liveness for Networks of Communicating Finite State Machines.	ACM Trans. Program. Lang. Syst.	1986	DBLP DOI BibTeX RDF
30	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
30	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
30	Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kramer	Verification of Liveness Properties Using Compositional Reachability Analysis.	ESEC / SIGSOFT FSE	1997	DBLP DOI BibTeX RDF	Bu¨chi automata, reachability analysis, labelled transition systems, distributed computing systems, compositional verification, liveness properties
30	John H. Maloney, Randall B. Smith	Directness and Liveness in the Morphic User Interface Construction Environment.	ACM Symposium on User Interface Software and Technology	1995	DBLP DOI BibTeX RDF	live editing, structural reification, user interface construction, user interface frameworks, animation, direct manipulation, liveness, directness, automatic layout
28	Antonio Galli, Michela Gravina, Stefano Marrone 0002, Domenico Mattiello, Carlo Sansone	Adversarial liveness detector: Leveraging adversarial perturbations in fingerprint liveness detection.	IET Biom.	2023	DBLP DOI BibTeX RDF
28	Manminder Singh, A. S. Arora	A Novel Face Liveness Detection Algorithm with Multiple Liveness Indicators.	Wirel. Pers. Commun.	2018	DBLP DOI BibTeX RDF
28	Alexander Ivrii, Ziv Nevo, Jason Baumgartner	k-FAIR = k-LIVENESS + FAIR Revisiting SAT-based Liveness Algorithms.	FMCAD	2018	DBLP DOI BibTeX RDF
28	ShouGuang Wang, Mengdi Gan, MengChu Zhou	Macro liveness graph and liveness of ω-independent unbounded nets.	Sci. China Inf. Sci.	2015	DBLP DOI BibTeX RDF
28	Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen	Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness.	FORMATS	2005	DBLP DOI BibTeX RDF
28	Ulrich Ultes-Nitsche, Simon St. James	Testing Liveness Properties: Approximating Liveness Properties by Safety Properties.	FORTE	2001	DBLP BibTeX RDF
28	Martín Abadi, Bowen Alpern, Krzysztof R. Apt, Nissim Francez, Shmuel Katz, Leslie Lamport, Fred B. Schneider	Preserving Liveness: Comments on "Safety and Liveness from a Methodological Point of View".	Inf. Process. Lett.	1991	DBLP DOI BibTeX RDF
25	Flavio Corradini, Maria Rita Di Berardini, Walter Vogler	Time and Fairness in a Process Algebra with Non-blocking Reading.	SOFSEM	2009	DBLP DOI BibTeX RDF
25	Amir Pnueli	Using Abstraction to Verify Arbitrary Temporal Properties.	APSEC	2008	DBLP DOI BibTeX RDF
25	Sara NavidPour, Mohammad Izadi, Ali Movaghar 0001	Live and Fair Constraint Automata and Their Linear Temporal Logic of Steps.	COMPSAC	2008	DBLP DOI BibTeX RDF
25	Rachid Guerraoui, Thomas A. Henzinger, Barbara Jobstmann, Vasu Singh	Model checking transactional memories.	PLDI	2008	DBLP DOI BibTeX RDF	model checking, transactional memories
25	Martin Biely, Josef Widder, Bernadette Charron-Bost, Antoine Gaillard, Martin Hutle, André Schiper	Tolerating corrupted communication.	PODC	2007	DBLP DOI BibTeX RDF	consensus, transient faults, byzantine fault tolerance, dynamic faults
25	Florian Horn 0001	Faster Algorithms for Finitary Games.	TACAS	2007	DBLP DOI BibTeX RDF
25	Rodolfo Gómez 0001, Howard Bowman	Efficient Detection of Zeno Runs in Timed Automata.	FORMATS	2007	DBLP DOI BibTeX RDF	Zeno Runs, Model-checking, Timed Automata, Uppaal
25	Borzoo Bonakdarpour, Sandeep S. Kulkarni	Incremental Synthesis of Fault-Tolerant Real-Time Programs.	SSS	2006	DBLP DOI BibTeX RDF	Bounded-time recovery, Fault-tolerance, Real-time, Formal methods, Program transformation, Program synthesis
25	Milos Besta, Frank A. Stomp	An Assertional Correctness Proof of a Self-Stabilizing - Exclusion Algorithm.	ICECCS	2006	DBLP DOI BibTeX RDF
25	Amir Pnueli	Ranking Abstraction as a Companion to Predicate Abstraction, .	ATVA	2005	DBLP DOI BibTeX RDF
25	Hagen Völzer, Daniele Varacca, Ekkart Kindler	Defining Fairness.	CONCUR	2005	DBLP DOI BibTeX RDF
25	Nima Kaveh, Wolfgang Emmerich	Validating Distributed Object and Component Designs.	SFM	2003	DBLP DOI BibTeX RDF
25	Milos Besta, Frank A. Stomp	Mechanization of a Proof of String-Preprocessing in Boyer-Moore's Pattern Matching Algorithm.	ICECCS	2002	DBLP DOI BibTeX RDF
25	Ekaterina Sedletsky, Amir Pnueli, Mordechai Ben-Ari	Formal Verification of the Ricart-Agrawala Algorithm.	FSTTCS	2000	DBLP DOI BibTeX RDF
25	Yanhong A. Liu, Scott D. Stoller	Eliminating Dead Code on Recursive Data.	SAS	1999	DBLP DOI BibTeX RDF
25	Abdelillah Mokkedem, Michael J. Ferguson, Robert de B. Johnston	A TLA Solution to the Specification and Verification of the RLP1 Retransmission Protocol.	FME	1997	DBLP DOI BibTeX RDF
25	Enrique Teruel, Piotr Chrzastowski-Wachtel, José Manuel Colom, Manuel Silva Suárez	On Weighted T-Systems.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF	weighted T-graphs, Structure theory, Marked Graphs
25	Edward Y. Chang, Zohar Manna, Amir Pnueli	Characterization of Temporal Property Classes.	ICALP	1992	DBLP DOI BibTeX RDF
25	Joseph Sifakis	Structural Properties of Petri Nets.	MFCS	1978	DBLP DOI BibTeX RDF
24	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
24	Jay Ligatti, Lujo Bauer, David Walker 0001	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
24	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
24	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
24	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
24	Chuanliang Xia	Analysis of Properties of Petri Synthesis Net.	TAMC	2006	DBLP DOI BibTeX RDF	liveness and boundedness, Petri nets, synthesis, analysis
24	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
24	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
24	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
24	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
24	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
24	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
24	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
24	Hiromi Hiraishi	Verification of deadlock free property of high level robot control.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	deadlock free property, high level robot control, verification algorithm, task control architecture, concurrent robot control processes, symbolic model verifier, symbolic model checking algorithm, robots, formal verification, logic testing, concurrency control, message passing, symbol manipulation, safety properties, liveness properties
24	Christos T. Karamanolis, Dimitra Giannakopoulou, Jeff Magee, Stuart M. Wheater	Model Checking of Workflow Schemas.	EDOC	2000	DBLP DOI BibTeX RDF	workflow schemas, error-prone process, primitive syntactic verification, automata-based method, compositional reachability analysis, model checking, formal methods, formal verification, robustness, correctness, reachability analysis, liveness properties
24	Gurdip Singh	Constraint-based Structuring of Network Protocols.	Distributed Comput.	1999	DBLP DOI BibTeX RDF	Multifunction protocols, Safety and liveness properties, Distributed protocols, Protocol composition
24	A. Prasad Sistla, Viktor Gyuris	Parameterized Verification of Linear Networks using Automata as Invariants.	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	Safety, Invariants, Automata, Induction, Liveness, Linear networks
24	Thomas Marthedal Rasmussen	Signed Interval Logic.	CSL	1999	DBLP DOI BibTeX RDF	temporal intervals, arrow logic, real-time systems, liveness, interval logic
24	Marita Dücker, Georg Lehrenfeld, Wolfgang Müller 0003, Christoph Tahedl	A generic system for interactive real-time animation.	ECBS	1997	DBLP DOI BibTeX RDF	interactive real-time animation, interactive design environment, interactive analysis environment, editor animator, editor interpreter, interpreter-animator interaction, logical level executions, animator triggering, Pictorial Janus visual programming language, architecture, interface, automation, visual languages, visual languages, liveness, interactive animation, generic system, debugging environment
24	Charles Pecheur	Specification and Verification of the Co4 Distributed Knowledge System using LOTOS.	ASE	1997	DBLP DOI BibTeX RDF	Co/sub 4/ distributed knowledge system, consensual decision protocol, distributed knowledge base, ISO formal description technique, knowledge consistency, verification, formal specification, formal specification, safety, LOTOS, liveness properties
24	Xudong He	A method for analyzing properties of hierarchical predicate transition nets.	COMPSAC	1995	DBLP DOI BibTeX RDF	hierarchical predicate transition nets, hierarchical high level Petri nets, distributed systems modelling, hierarchical predicate transition Petri nets, temporal induction techniques, hybrid reasoning technique, net structural reasoning, behavioral reasoning, first order logic reasoning, formal method, Petri nets, distributed processing, inference mechanisms, formal logic, safety properties, liveness properties
24	Yatin Vasant Hoskote, Jacob A. Abraham, Donald S. Fussell	Automated verification of temporal properties specified as state machines in VHDL.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	automated verification methodology, correctness specifications, Viper microprocessor, Mealy FSM, compatible states, formal specification, formal verification, high level synthesis, finite state machines, VHDL, sequential circuits, state machines, hardware description languages, microprocessor chips, synchronous sequential circuit, temporal properties, liveness properties
24	Alvin S. Lim	Automatic analytical tools for reliability and dynamic adaptation of complex distributed systems.	ICECCS	1995	DBLP DOI BibTeX RDF	automatic analytical tools, complex distributed systems, runtime facilities, complex application behavior, reliability, formal specification, distributed processing, software tools, software reliability, software fault tolerance, reachability analysis, liveness, reachability, dynamic adaptation, failure recovery, development environment, behavior specification, group behavior
24	Anne Mulkers, William H. Winsborough, Maurice Bruynooghe	Live-Structure Dataflow Analysis for Prolog.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	compile-time garbage collection, Prolog, Prolog, program analysis, abstract interpretation, liveness
24	Yigang Chen, Wei-Tek Tsai, Daniel Y. Chao	Dependency Analysis - A Petri-Net-Based Technique for Synthesizing Large Concurrent Systems.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	computational complexity, computational complexity, parallel processing, Petri nets, liveness, concurrent systems, reachability, boundedness, dependency relations, Petrinets
24	Andrew Kay, Joy N. Reed	A Rely and Guarantee Method for Timed CSP: A Specification and Design of a Telephone Exchange.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	rely method, telephone exchange, guarantee method, timed communicating sequential processes, telephone service, troublesome race conditions, telephone exchanges, formal specification, specification, safety, liveness, communicating sequential processes, telecommunications computing
24	Martín Abadi, Leslie Lamport	Composing Specifications.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF	concurrent programming, compositionality, safety properties, liveness properties, modular specification
24	Gianfranco Balbo, Giovanni Chiola, Steven C. Bruell, Pozung Chen	An Example of Modeling and Evaluation of a Concurrent Program Using Colored Stochastic Petri Nets: Lamport's Fast Mutual Exclusion Algorithm.	IEEE Trans. Parallel Distributed Syst.	1992	DBLP DOI BibTeX RDF	colored stochastic Petri nets, Lamport concurrentalgorithm, parametric formal proof of liveness, Markovian analysis, distributedprocessing, performance evaluation, distributed systems, Petri nets, concurrency control, Markov processes, concurrent program, correctness, stochastic processes, performanceevaluation, mutual exclusion problem
24	Marta Z. Kwiatkowska	Infinite Behaviour and Fairness in Concurrent Constraint Programming.	REX Workshop	1992	DBLP DOI BibTeX RDF	fairness, liveness, semantic properties, concurrent constraint programming
24	Javier Esparza, Manuel Silva Suárez	Compositional Synthesis of Live and Bounded Free Choice Petri Nets.	CONCUR	1991	DBLP DOI BibTeX RDF	Free Choice nets, compositional synthesis, Petri nets, liveness, boundedness
24	Gerald M. Karam, Raymond J. A. Buhr	Starvation and Critical Race Analyzers for Ada.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	race analyzers, critical race analysis tools, Ada designs, temporal analysis toolset, operational specification language, language interpreter, deadlock analyzer, starvation analyzer, set-theoretic model, deadlock analyzer, computation space, preprocessing phase, starvation tool, semiautomatic proof, nondeterministic rendezvous, human operator, design examples, Ada, software tools, programming, specification languages, system recovery, liveness, program interpreters
24	David M. Goldschlag	Mechanically Verifying Concurrent Programs with the Boyer-Moore Prover.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	mechanically verifying concurrent programs, Boyer-Moore prover, transition system model, parallel programming, distributed algorithm, concurrency, theorem proving, program verification, safety, encoding, encoding, operational semantics, inference mechanisms, liveness, inference rules, proof system, Unity
24	Ryszard Janicki, Maciej Koutny	Optimal simulations, nets and reachability graphs.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF	verification, Petri nets, traces, liveness, partial order semantics, reachability graphs, step sequences, state-space generation, deadlock-freeness
24	Younes Souissi, Gérard Memmi	Composition of nets via a communication medium.	Applications and Theory of Petri Nets	1989	DBLP DOI BibTeX RDF	Composition via shared places, separation line, composition via a sequential process, composition by rendez-vous, composition via a well-formed block, liveness, boundedness
24	Wilfried Brauer, Robert Gold, Walter Vogler	A survey of behaviour and equivalence preserving refinements of Petri nets.	Applications and Theory of Petri Nets	1989	DBLP DOI BibTeX RDF	place/transition net, history preserving bisimulation, Petri net, refinement, deadlocking, liveness, Concurrent system, interval order, partial order semantics, safeness, top-down design, failures semantics
24	Paritosh K. Pandya	Some Comments on the Assumption-Commitment Framework for Compositional Verification of Distributed Programs.	REX Workshop	1989	DBLP DOI BibTeX RDF	Assumption Commitment Framework, Compositional Verification, Inductive Inference, Liveness properties
24	Ana R. Cavalli	A method of automatic proof for the specification and verification of protocols.	Comput. Commun. Rev.	1984	DBLP DOI BibTeX RDF	Automatic proofs, Protocols, Specifications, Temporal logic, Safety, Queue, Resolution, Liveness
23	Flavio Corradini, Maria Rita Di Berardini, Walter Vogler	Liveness of a mutex algorithm in a fair process algebra.	Acta Informatica	2009	DBLP DOI BibTeX RDF
23	Alexander Fronk, Rudolf Berghammer	A Relation-Algebraic Approach to Liveness of Place/Transition Nets.	RelMiCS	2009	DBLP DOI BibTeX RDF
23	Byron Cook	Advances in Program Termination and Liveness.	VMCAI	2009	DBLP DOI BibTeX RDF
23	Shankar Bhausaheb Nikam, Suneeta Agarwal	Fingerprint Liveness Detection Using Curvelet Energy and Co-Occurrence Signatures.	CGIV	2008	DBLP DOI BibTeX RDF
23	Z. W. Li, H. S. Hu, An R. Wang	Design of Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets.	IEEE Trans. Syst. Man Cybern. Part C	2007	DBLP DOI BibTeX RDF
23	Grégory Batt, Calin Belta, Ron Weiss	Model Checking Liveness Properties of Genetic Regulatory Networks.	TACAS	2007	DBLP DOI BibTeX RDF
23	Wim H. Hesselink	Splitting forward simulations to copewith liveness.	Acta Informatica	2006	DBLP DOI BibTeX RDF
23	Juliana Küster Filipe, Stuart Anderson	On a time enriched OCL liveness template.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Timed logics of knowledge, Timed automata, Timing constraints, OCL, Distributed real-time systems
23	César Sánchez 0001, 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
23	Rob J. van Glabbeek, Marc Voorhoeve	Liveness, Fairness and Impossible Futures.	CONCUR	2006	DBLP DOI BibTeX RDF
23	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 Trans. Syst. Man Cybern. Part C	2005	DBLP DOI BibTeX RDF
23	Radu Grosu, Scott A. Smolka	Safety-Liveness Semantics for UML 2.0 Sequence Diagrams.	ACSD	2005	DBLP DOI BibTeX RDF
23	Amir Pnueli	Abstraction for Liveness.	VMCAI	2005	DBLP DOI BibTeX RDF
23	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
23	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
23	Patrick Maier 0001	Intuitionistic LTL and a New Characterization of Safety and Liveness.	CSL	2004	DBLP DOI BibTeX RDF
23	Kenneth L. McMillan	Circular Compositional Reasoning about Liveness.	CHARME	1999	DBLP DOI BibTeX RDF
23	Amir Pnueli, Natarajan Shankar, Eli Singerman	Fair Synchronous Transition Systems and Their Liveness Proofs.	FTRTFT	1998	DBLP DOI BibTeX RDF
23	I. S. W. B. Prasetya	Formalization of Variables Access Constraints to Support Compositionality of Liveness Properties.	HUG	1993	DBLP DOI BibTeX RDF
23	Enrique Teruel, Manuel Silva Suárez	Liveness and Home States in Equal Conflict Systems.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF	Place/Transition Net Systems, Equal Conflict Systems, Structure Theory
23	Dominik Gomm, Ekkart Kindler, Barbara Paech, Rolf Walter	Compositional Liveness Properties of EN-Systems.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
23	James C. Corbett	Verifying General Safety and Liveness Propterties with Integer Programming.	CAV	1992	DBLP DOI BibTeX RDF
23	Peter Kemper, Falko Bause	An Efficient Polynomial-Time Algorithm to Decide Liveness and Boundedness of Free-Choice Nets.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF
23	Linda Christoff, Ivan Christoff	Reasonong about Safety and Liveness Properties for Probabilistic Processes.	FSTTCS	1992	DBLP DOI BibTeX RDF
23	David M. Goldschlag	Mechanically Verifying Safety and Liveness Properties of Delay Insensitive Circuits.	CAV	1991	DBLP DOI BibTeX RDF
23	Chi-Hung Chi, Henry G. Dietz	Unified Management of Registers and Cache Using Liveness and Cache Bypass.	PLDI	1989	DBLP DOI BibTeX RDF
17	Enrique Argones-Rúa, Hervé Bredin, Carmen García-Mateo, Gérard Chollet, Daniel González-Jiménez	Audio-visual speech asynchrony detection using co-inertia analysis and coupled hidden markov models.	Pattern Anal. Appl.	2009	DBLP DOI BibTeX RDF	Coinertia analysis, Biometrics, Statistics, Video analysis, Video tracking, Coupled hidden Markov models
17	Christel Baier, Marcus Größer, Frank Ciesinski	Quantitative Analysis under Fairness Constraints.	ATVA	2009	DBLP DOI BibTeX RDF
17	Claudia Szabo, Yong Meng Teo	An Approach for Validation of Semantic Composability in Simulation Models.	PADS	2009	DBLP DOI BibTeX RDF	semantic composability, simulation, component, validation
17	Sylvie Delaët, Shlomi Dolev, Olivier Peres	Safe and Eventually Safe: Comparing Self-stabilizing and Non-stabilizing Algorithms on a Common Ground.	OPODIS	2009	DBLP DOI BibTeX RDF	safety, self-stabilization
17	Alessandro Giua, Carla Seatzu	Modeling and Supervisory Control of Railway Networks Using Petri Nets.	IEEE Trans Autom. Sci. Eng.	2008	DBLP DOI BibTeX RDF
17	Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Hai H. Wang	Specifying and Verifying Event-Based Fairness Enhanced Systems.	ICFEM	2008	DBLP DOI BibTeX RDF