|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1164 occurrences of 581 keywords
|
|
|
Results
Found 1756 publication records. Showing 1756 according to the selection in the facets
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 |
|
Displaying result #101 - #200 of 1756 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|