Search results for "Liveness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Kevin X. He, Michael D. Lemmon	On the transformation of maximally permissive marking-based liveness enforcing supervisors into monitor supervisors.	CDC	2000	DBLP DOI BibTeX RDF
14	Ulrich Ultes-Nitsche	Satisfaction up to Liveness.	FORTE	2000	DBLP BibTeX RDF
14	Felice Balarin	Concurrent Symbolic Verification of Liveness Properties for Interleaved Models.	SMC@FLoC	1999	DBLP DOI BibTeX RDF
14	Ekkart Kindler, Wil M. P. van der Aalst	Liveness, Fairness, and Recurrence in Petri Nets.	Inf. Process. Lett.	1999	DBLP DOI BibTeX RDF
14		Corrections to "A Method for the Synthesis of Controllers to Handle Safety, Liveness, and Real-Time Constraints" and "Tracking in Clutter with Strongest Neighbor Measurements - Part I: Theoretical Analysis".	IEEE Trans. Autom. Control.	1999	DBLP DOI BibTeX RDF
14	Ramavarapu S. Sreenivas	On supervisory policies that enforce liveness in a class of completely controlled Petri nets obtained via refinement.	IEEE Trans. Autom. Control.	1999	DBLP DOI BibTeX RDF
14	Ramavarapu S. Sreenivas	On supervisory policies that enforce liveness in completely controlled Petri nets with directed cut-places and cut-transitions.	IEEE Trans. Autom. Control.	1999	DBLP DOI BibTeX RDF
14	Harri Klapuri, Jarmo Takala, Jukka Saarinen	Safety, liveness and real-time in embedded system design.	J. Netw. Comput. Appl.	1999	DBLP DOI BibTeX RDF
14	Kevin X. He, Michael D. Lemmon	Validation of liveness for 1-safe hybrid Petri nets using network unfolding.	ECC	1999	DBLP DOI BibTeX RDF
14	Paul C. Attie	Liveness-Preserving Simulation Relations.	PODC	1999	DBLP DOI BibTeX RDF
14	Elie Najm, Abdelkrim Nimour, Jean-Bernard Stefani	Guaranteeing liveness in an object calculus through behavioural typing.	FORTE	1999	DBLP BibTeX RDF
14	Yonit Kesten, Amir Pnueli	Verifying Liveness by Augmented Abstraction.	CSL	1999	DBLP DOI BibTeX RDF
14	Radu Negulescu, Janusz A. Brzozowski	Relative Liveness: From Intuition to Automated Verification.	Formal Methods Syst. Des.	1998	DBLP DOI BibTeX RDF
14	Michel Barbeau, Froduald Kabanza, Richard St.-Denis	A method for the synthesis of controllers to handle safety, liveness, and real-time constraints.	IEEE Trans. Autom. Control.	1998	DBLP DOI BibTeX RDF
14	Ramavarapu S. Sreenivas	An Application of Independent, Increasing, Free-Choice Petri Nets to the Synthesis of Policies that Enforce Liveness in Arbitrary Petri Nets.	Autom.	1998	DBLP DOI BibTeX RDF
14	Laura Recalde, Enrique Teruel, Manuel Silva Suárez	On Linear Algebraic Techniques for Liveness Analysis of P/T Systems.	J. Circuits Syst. Comput.	1998	DBLP DOI BibTeX RDF
14	Roberto Segala, Rainer Gawlick, Jørgen F. Søgaard-Andersen, Nancy A. Lynch	Liveness in Timed and Untimed Systems.	Inf. Comput.	1998	DBLP DOI BibTeX RDF
14	Margaret M. Burnett, John W. Atwood Jr., Zachary T. Welch	Implementing Level 4 Liveness in Declarative Visual Programming Languages.	VL	1998	DBLP DOI BibTeX RDF
14	Jun-Cheol Park, Raymond E. Miller	A Proof Technique for Liveness Properties of Multifunction Composite Protocols.	ICNP	1998	DBLP DOI BibTeX RDF
14	Ramavarapu S. Sreenivas	On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets.	IEEE Trans. Autom. Control.	1997	DBLP DOI BibTeX RDF
14	A. Prasad Sistla, L. Miliades, Viktor Gyuris	SMC: A Symmetry Based Model Checker for Verification of Liveness Properties.	CAV	1997	DBLP DOI BibTeX RDF
14	Albert John Camilleri	A Hybrid Approach to Verifying Liveness in a Symmetric Multi-Processor.	TPHOLs	1997	DBLP DOI BibTeX RDF
14	Amir Pnueli	Verifying Liveness Properties of Reactive Systems (Tutorial Abstract).	HART	1997	DBLP DOI BibTeX RDF
14	Frank Nießner, Ulrich Nitsche, Peter Ochsenschläger	Deterministic omega-regular liveness properties.	Developments in Language Theory	1997	DBLP BibTeX RDF
14	Christel Baier, Marta Z. Kwiatkowska	Automatic Verification of Liveness Properties of Randomized Systems.	PODC	1997	DBLP DOI BibTeX RDF
14	Ulrich Nitsche, Pierre Wolper	Relative Liveness and Behavior Abstraction (Extended Abstract).	PODC	1997	DBLP DOI BibTeX RDF
14	Carlos Caleiro, Gunter Saake, Amílcar Sernadas	Deriving Liveness Goals from Temporal Logic Specifications.	J. Symb. Comput.	1996	DBLP DOI BibTeX RDF
14	George Varghese, Nancy A. Lynch	A Tradeoff Between Safety and Liveness for Randomized Coordinated Attack.	Inf. Comput.	1996	DBLP DOI BibTeX RDF
14	Holger Busch	Proving Liveness of Fair Transition Systems.	TPHOLs	1996	DBLP DOI BibTeX RDF
14	Antti Valmari, Manu Setälä	Visual Verification of Safety and Liveness.	FME	1996	DBLP DOI BibTeX RDF	verification, process algebra, reduction, labelled transition system
14	Paritosh K. Pandya	Weak Chop Inverses and Liveness in Mean-Value Calculus.	FTRTFT	1996	DBLP DOI BibTeX RDF
14	James C. Corbett, George S. Avrunin	Using Integer Programming to Verify General Safety and Liveness Properties.	Formal Methods Syst. Des.	1995	DBLP DOI BibTeX RDF
14	Piotr Chrzastowski-Wachtel, Marek Raczunas	Orbits, half-frozen tokens and the liveness of weighted circuits.	STRICT	1995	DBLP DOI BibTeX RDF
14	Dominique Bolignano	A partial-order approach to the verification of concurrent systems: checking liveness properties.	CHARME	1995	DBLP DOI BibTeX RDF
14	Alan D. Fekete	Liveness Conditions in Model-Based Service Specifications: A Case Study.	SIGSOFT FSE	1995	DBLP DOI BibTeX RDF
14	Teruo Higashino, Akio Nakata, Tatsuo Itoh, Kenichi Taniguchi	Verification of Liveness Property for Communicating FSM's with Conditional Transitions Depending on State Visiting Numbers.	FORTE	1995	DBLP BibTeX RDF
14	David M. Goldschlag	Mechanically Verifying Safety and Liveness Properties of Delay Insensitive Circuits.	Formal Methods Syst. Des.	1994	DBLP DOI BibTeX RDF
14	Luca Ferrarini, Marco Narduzzi, Massimo Tassan-Solet	A new approach to modular liveness analysis conceived for large logic controllers' design.	IEEE Trans. Robotics Autom.	1994	DBLP DOI BibTeX RDF
14	A. Prasad Sistla	Safety, Liveness and Fairness in Temporal Logic.	Formal Aspects Comput.	1994	DBLP DOI BibTeX RDF
14	Masahiro Higuchi, S. Sugawa, Mamoru Fujii	A method for verifying liveness of protocols modeled as a class of ECFSM.	PSTV	1994	DBLP BibTeX RDF
14	H. Peter Gumm	Another Glance at the Alpern-Schneider Characterization of Safety and Liveness in Concurrent Executions.	Inf. Process. Lett.	1993	DBLP DOI BibTeX RDF
14	Piotr Chrzastowski-Wachtel, Marek Raczunas	Liveness of Weighted Circuits and the Diophantine Problem of Frobenius.	FCT	1993	DBLP DOI BibTeX RDF
14	Hans-Dieter Burkhard	Liveness and Fairness Properties in Multi-Agent Systems.	IJCAI	1993	DBLP BibTeX RDF
14	Javier Esparza, Manuel Silva Suárez	A Polynomial-Time Algorithm to Decide Liveness of Bounded Free Choice Nets.	Theor. Comput. Sci.	1992	DBLP DOI BibTeX RDF
14	George Varghese, Nancy A. Lynch	A Tradeoff Between Safety and Liveness for Randomized Coordinated Attack Protocols.	PODC	1992	DBLP DOI BibTeX RDF
14	Paola Alimonti, Esteban Feuerstein, Umberto Nanni	Linear Time Algorithms for Liveness and Boundedness in Conflict-free Petri Nets.	LATIN	1992	DBLP DOI BibTeX RDF
14	Soma Chaudhuri, Richard E. Ladner	Safety and Liveness of omega-Context-Free Languages.	Inf. Process. Lett.	1991	DBLP DOI BibTeX RDF
14	Frank Dederichs, Rainer Weber	Safety and Liveness From a Methodological Point of View.	Inf. Process. Lett.	1990	DBLP DOI BibTeX RDF
14	Ugo A. Buy, Robert Moll	A Proof Lattice-Based Technique for Analyzing Liveness of Resource Controllers.	CAV	1990	DBLP DOI BibTeX RDF
14	Doron A. Peled, Amir Pnueli	Proving Partial Order Liveness Properties.	ICALP	1990	DBLP DOI BibTeX RDF
14	Jerry R. Burch	Verifying Liveness Properties by Verifying Safety Properties.	CAV (DIMACS/AMS volume)	1990	DBLP DOI BibTeX RDF
14	Ugo A. Buy, Robert Moll	Liveness Analysis and the Automatic Generation of Concurrent Programs.	CAV (DIMACS/AMS volume)	1990	DBLP DOI BibTeX RDF
14	Colin Stirling, David Walker 0002	CCS, Liveness, and Local Model Checking in the Linear Time Mu-Calculus.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
14	Jonathan Ruby	A Liveness Property of a Parallel Algorithm.	Inf. Process. Lett.	1987	DBLP DOI BibTeX RDF
14	Bowen Alpern, Fred B. Schneider	Recognizing Safety and Liveness.	Distributed Comput.	1987	DBLP DOI BibTeX RDF
14	A. Udaya Shankar, Simon S. Lam	Time-Dependent Distributed Systems: Proving Safety, Liveness and Real-Time Properties.	Distributed Comput.	1987	DBLP DOI BibTeX RDF
14	Tomohiro Murata, Norihisa Komoda	Liveness analysis of sequence control specifications described in capacity designated Petri net using reduction.	ICRA	1987	DBLP DOI BibTeX RDF
14	Krzysztof R. Apt, Carole Delporte-Gallet	Syntax Directed Analysis of Liveness Properties	Inf. Control.	1986	DBLP DOI BibTeX RDF
14	Bowen Alpern, Fred B. Schneider	Defining Liveness.	Inf. Process. Lett.	1985	DBLP DOI BibTeX RDF
14	Mohamed G. Gouda, Hui-Seng Lee	Proving Liveness and Termination of Systolic Arrays Using Communication Finite State Machines.	IEEE Trans. Software Eng.	1985	DBLP DOI BibTeX RDF
14	A. Prasad Sistla	On Characterization of Safety and Liveness Properties in Temporal Logic.	PODC	1985	DBLP DOI BibTeX RDF
14	Zohar Manna, Amir Pnueli	Adequate Proof Principles for Invariance and Liveness Properties of Concurrent Programs.	Sci. Comput. Program.	1984	DBLP DOI BibTeX RDF
14	Kurt Lautenbach, Anastasia Pagnoni	Liveness and duality in marked-graph-like predicate/transition nets.	European Workshop on Applications and Theory in Petri Nets	1984	DBLP DOI BibTeX RDF
14	Mohamed G. Gouda, Chung-Kuo Chang	A Technique for Proving Liveness of Communicating Finite State Machines with Examples.	PODC	1984	DBLP DOI BibTeX RDF
14	Pierpaolo Degano, Ugo Montanari	Liveness Properties as Convergence in Metric Spaces	STOC	1984	DBLP DOI BibTeX RDF
14	S. Ramesh 0001, S. L. Mehndiratta	The Liveness Property of On-the-Fly Garbage Collector - A Proof.	Inf. Process. Lett.	1983	DBLP DOI BibTeX RDF
14	Susan S. Owicki, Leslie Lamport	Proving Liveness Properties of Concurrent Programs.	ACM Trans. Program. Lang. Syst.	1982	DBLP DOI BibTeX RDF
14	Jayadev Misra, K. Mani Chandy, Todd Smith	Proving Safety and Liveness of Communicating Processes with Examples.	PODC	1982	DBLP DOI BibTeX RDF
14	Barry K. Rosen	Stickiness and liveness.	ACM SIGPLAN Notices	1979	DBLP DOI BibTeX RDF
14	Michel Hack	The Recursive Equivalence of the Reachability Problem and the Liveness Problem for Petri Nets and Vector Addition Systems	SWAT	1974	DBLP DOI BibTeX RDF
8	Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa	Parametric inference of memory requirements for garbage collected languages.	ISMM	2010	DBLP DOI BibTeX RDF	live heap space analysis, peak memory consumption, garbage collection, java bytecode, low-level languages
8	Woongki Baek, Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun	Making nested parallel transactions practical using lightweight hardware support.	ICS	2010	DBLP DOI BibTeX RDF	parallel programming, transactional memory, nested parallelism
8	Stavros Tripakis	Checking timed Büchi automata emptiness on simulation graphs.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	property-preserving abstractions, timed Büchi automata, model checking, Formal methods, specification languages
8	Jocelyn Simmonds, Yuan Gan, Marsha Chechik, Shiva Nejati, Bill O'Farrell, Elena Litani, Julie Waterhouse	Runtime Monitoring of Web Service Conversations.	IEEE Trans. Serv. Comput.	2009	DBLP DOI BibTeX RDF
8	José Enrique Armendáriz-Iñigo, José Ramón González de Mendívil, José Ramón Garitagoitia, Francesc D. Muñoz-Escoí	Correctness proof of a database replication protocol under the perspective of the I/O automaton model.	Acta Informatica	2009	DBLP DOI BibTeX RDF
8	Xiangrong Zhou, Peter Petrov	Cross-layer customization for rapid and low-cost task preemption in multitasked embedded systems.	ACM Trans. Embed. Comput. Syst.	2009	DBLP DOI BibTeX RDF
8	Karsten Wolf	Does My Service Have Partners?.	Trans. Petri Nets Other Model. Concurr.	2009	DBLP DOI BibTeX RDF
8	Abhishek Dubey, Derek Riley, Sherif Abdelwahed, Ted Bapty	Modeling and Analysis of Probabilistic Timed Systems.	ECBS	2009	DBLP DOI BibTeX RDF
8	Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann	Better Quality in Synthesis through Quantitative Objectives.	CAV	2009	DBLP DOI BibTeX RDF
8	Péter Bokor, Marco Serafini, Neeraj Suri, Helmut Veith	Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support.	ICFEM	2009	DBLP DOI BibTeX RDF
8	Alessandro Ferrante, Margherita Napoli, Mimmo Parente	Graded-CTL: Satisfiability and Symbolic Model Checking.	ICFEM	2009	DBLP DOI BibTeX RDF
8	André Platzer, Jan-David Quesel	European Train Control System: A Case Study in Formal Verification.	ICFEM	2009	DBLP DOI BibTeX RDF	formal verification of hybrid systems, train control, parameter constraint identification, theorem proving, disturbances
8	Vishnu Desaraju, Hyun Chul Ro, Zhiwei Mark Yang, Xu Qiang Edwin Tay, Stephanie Roth, Domitilla Del Vecchio	Partial order techniques for vehicle collision avoidance: Application to an autonomous roundabout test-bed.	ICRA	2009	DBLP DOI BibTeX RDF
8	Apollo S. Oikonomopoulos, Savvas G. Loizou, Kostas J. Kyriakopoulos	Coordination of multiple non-holonomic agents with input constraints.	ICRA	2009	DBLP DOI BibTeX RDF
8	Monika Heiner, Martin Schwarick, Alexej Tovchigrechko	DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets.	Petri Nets	2009	DBLP DOI BibTeX RDF
8	Zbigniew Jerzak, Christof Fetzer, Robert Wojcicki	Soft state in the XSiena publish/subscribe system.	DEBS	2009	DBLP DOI BibTeX RDF
8	Jon Rafkind, Adam Wick, John Regehr, Matthew Flatt	Precise garbage collection for C.	ISMM	2009	DBLP DOI BibTeX RDF	garbage collection, precise, conservative, c programming language, accurate
8	Raymond T. Boute	Making Temporal Logic Calculational: A Tool for Unification and Discovery.	FM	2009	DBLP DOI BibTeX RDF
8	Jaco van de Pol, Mark Timmer	State Space Reduction of Linear Processes Using Control Flow Reconstruction.	ATVA	2009	DBLP DOI BibTeX RDF
8	Krishnendu Chatterjee, Thomas A. Henzinger, Florian Horn 0001	Stochastic Games with Finitary Objectives.	MFCS	2009	DBLP DOI BibTeX RDF
8	Samrat Mondal, Shamik Sural, Vijayalakshmi Atluri	Towards formal security analysis of GTRBAC using timed automata.	SACMAT	2009	DBLP DOI BibTeX RDF	GTRBAC, model checking, timed automata, security analysis, ctl
8	Borzoo Bonakdarpour, Sandeep S. Kulkarni	Compositional verification of fault-tolerant real-time programs.	EMSOFT	2009	DBLP DOI BibTeX RDF	interference-freedom, fault-tolerance, real-time, formal methods, compositional verification
8	Silvian Calman, Jianwen Zhu	Increasing the Scope and Resolution of Interprocedural Static Single Assignment.	SAS	2009	DBLP DOI BibTeX RDF	dataflow, constant propagation, SSA, interprocedural
8	Thai Son Hoang, Hironobu Kuruma, David A. Basin, Jean-Raymond Abrial	Developing Topology Discovery in Event-B.	IFM	2009	DBLP DOI BibTeX RDF
8	Alexis Petrounias, Susan Eisenbach	Fairness for Chorded Languages.	COORDINATION	2009	DBLP DOI BibTeX RDF
8	Pavithra Prabhakar, Sayan Mitra, Mahesh Viswanathan 0001	On Convergence of Concurrent Systems under Regular Interactions.	CONCUR	2009	DBLP DOI BibTeX RDF
8	Haifen Chen, Guangming Lu, Rui Wang	A new palm vein matching method based on ICP algorithm.	ICIS	2009	DBLP DOI BibTeX RDF	palm vein recognition, biometric, matching, image alignment
8	Johannes Borgström, Karthikeyan Bhargavan, Andrew D. Gordon 0001	A compositional theory for STM Haskell.	Haskell	2009	DBLP DOI BibTeX RDF	transactional memory, compositional reasoning, ambient calculus
8	Michael R. Hines, Kartik Gopalan	Post-copy based live virtual machine migration using adaptive pre-paging and dynamic self-ballooning.	VEE	2009	DBLP DOI BibTeX RDF	post-copy, virtual machines, operating systems, xen, process migration
8	Shu Chen, Yingying Chen 0001, Wade Trappe	Exploiting environmental properties for wireless localization.	ACM SIGMOBILE Mob. Comput. Commun. Rev.	2008	DBLP DOI BibTeX RDF