Search results for "Liveness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
8	Hagen Völzer	On Randomization Versus Synchronization in Distributed Systems.	ICALP	2004	DBLP DOI BibTeX RDF
8	Jeff Magee, Jeff Kramer	Model-Based Design of Concurrent Programs.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
8	Stephen D. Brookes	Retracing the Semantics of CSP.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
8	Ehud Friedgut, Orna Kupferman, Moshe Y. Vardi	Büchi Complementation Made Tighter.	ATVA	2004	DBLP DOI BibTeX RDF
8	Zoe C. H. Yu, Francis C. M. Lau 0001, Cho-Li Wang	Exploiting Java Objects Behavior for Memory Management and Optimizations.	APLAS	2004	DBLP DOI BibTeX RDF
8	Gérard Le Lann	Time-Utility Scheduling and Provably Correct Critical Computer-Based Systems.	IPDPS	2004	DBLP DOI BibTeX RDF
8	Charles Lakos, Laure Petrucci	Modular Analysis of Systems Composed of Semiautonomous Subsystems.	ACSD	2004	DBLP DOI BibTeX RDF
8	ZhiWu Li 0001, XiangFeng Zhang	A deadlock prevention approach using elementary siphons for a class of Petri nets.	SMC (2)	2004	DBLP DOI BibTeX RDF
8	Elzbieta Roszkowska	Recognizing and handling the livelock problem in AGV systems.	SMC (2)	2004	DBLP DOI BibTeX RDF
8	ZhiWu Li 0001, YunAn Zhi, MengChu Zhou	A polynomial algorithm to find a set of elementary siphons in a class of Petri nets.	SMC (5)	2004	DBLP DOI BibTeX RDF
8	ZhiWu Li 0001, MengChu Zhou	Some results and open problems concerning elementary siphons of Petri nets.	SMC (2)	2004	DBLP DOI BibTeX RDF
8	Marc Bourcerie, Jean-Yves Morel	On the analysis and synthesis of coloured Petri nets.	SMC (2)	2004	DBLP DOI BibTeX RDF
8	ZhiWu Li 0001, Anrong Wang, Hua Lin	A deadlock prevention approach for FMS using siphons and the theory of regions.	SMC (6)	2004	DBLP DOI BibTeX RDF
8	Sriram Sankaranarayanan 0001, Henny B. Sipma, Zohar Manna	Constraint-Based Linear-Relations Analysis.	SAS	2004	DBLP DOI BibTeX RDF
8	Ittai Abraham, Gregory V. Chockler, Idit Keidar, Dahlia Malkhi	Byzantine disk paxos: optimal resilience with byzantine shared memory.	PODC	2004	DBLP DOI BibTeX RDF	termination conditions, consensus, Byzantine failures, shared-memory emulations
8	Paul Groth, Michael Luck, Luc Moreau 0001	A Protocol for Recording Provenance in Service-Oriented Grids.	OPODIS	2004	DBLP DOI BibTeX RDF	recording provenance, web services, grids, provenance, lineage
8	Marc Shapiro 0001, Karthikeyan Bhargavan, Nishith Krishna	A Constraint-Based Formalism for Consistency in Replicated Systems.	OPODIS	2004	DBLP DOI BibTeX RDF
8	E. V. Kouzmin, Nikolay V. Shilov 0002, Valery A. Sokolov	Model Checking mu-Calculus in Well-Structured Transition Systems.	TIME	2004	DBLP DOI BibTeX RDF
8	Alessandro Artale	Reasoning on Temporal Conceptual Schemas with Dynamic Constraints.	TIME	2004	DBLP DOI BibTeX RDF
8	Guangping Qin, Jinzhao Wu	Branching Time Equivalences for Interactive Markov Chains.	FORTE Workshops	2004	DBLP DOI BibTeX RDF
8	Samia Souissi, Xavier Défago, Takuya Katayama	Decomposition of Fundamental Problems for Cooperative Autonomous Mobile Systems.	ICDCS Workshops	2004	DBLP DOI BibTeX RDF
8	Alper Sen 0001, Vijay K. Garg, Jacob A. Abraham, Jayanta Bhadra	Formal Verification of a System-on-Chip Using Computation Slicing.	ITC	2004	DBLP DOI BibTeX RDF
8	Andreas Podelski, Andrey Rybalchenko	A Complete Method for the Synthesis of Linear Ranking Functions.	VMCAI	2004	DBLP DOI BibTeX RDF
8	Roberto Baldoni, Roberto Beraldi, Sara Tucci Piergiovanni, Antonino Virgillito	Measuring Notification Loss in Publish/Subscribe Communication Systems.	PRDC	2004	DBLP DOI BibTeX RDF
8	Vivekananda M. Vedula, Whitney J. Townsend, Jacob A. Abraham	Program Slicing for ATPG-Based Property Checking.	VLSI Design	2004	DBLP DOI BibTeX RDF
8	Sumit Kumar Basu	t-UNITY - A Formal Framework for Modeling and Reasoning About Timing Constraints in Real-Time Systems.	IWDC	2004	DBLP DOI BibTeX RDF
8	Maria Sorea	Lazy Approximation for Dense Real-Time Systems.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF
8	Dilsun Kirli Kaynar, Nancy A. Lynch	Decomposing Verification of Timed I/O Automata.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF
8	Ingo Schinz, Tobe Toben, Christian Mrugalla, Bernd Westphal	The Rhapsody UML Verification Environment.	SEFM	2004	DBLP DOI BibTeX RDF
8	Axel Wabenhorst	Stepwise development of fair distributed systems.	Acta Informatica	2003	DBLP DOI BibTeX RDF
8	Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal	Conditions on input vectors for consensus solvability in asynchronous distributed systems.	J. ACM	2003	DBLP DOI BibTeX RDF	fault-tolerance, message-passing, shared memory, Asynchronous systems, crash failures, atomic registers, consensus problem
8	Jesús E. Villadangos, Federico Fariña, José Ramón González de Mendívil, José Ramón Garitagoitia, Alberto Córdoba	A Safe Algorithm for Resolving OR Deadlocks.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Deadlock detection/resolution, OR request model, distributed systems, distributed algorithms
8	Li Ma 0001, Tieniu Tan, Yunhong Wang, Dexin Zhang	Personal Identification Based on Iris Texture Analysis.	IEEE Trans. Pattern Anal. Mach. Intell.	2003	DBLP DOI BibTeX RDF	multichannel spatial filters, biometrics, texture analysis, Iris recognition, image quality assessment
8	Dong Yang, Shen-sheng Zhang	Using p - calculus to Formalize UML Activity Diagram.	ECBS	2003	DBLP DOI BibTeX RDF
8	Dimane Mpoeleng, Paul D. Ezhilchelvan, Neil A. Speirs	From Crash Tolerance to Authenticated Byzantine Tolerance: A Structured Approach, the Cost and Benefits.	DSN	2003	DBLP DOI BibTeX RDF	Authenticated Byzantine failures, fail- signal, CORBA, group communication, self-checking, total order, State machine replication
8	Ajoy Kumar Datta, Rachid Hadid, Vincent Villain	A New Self-Stabilizing k-out-of-l Exclusion Algorithm on Rings.	Self-Stabilizing Systems	2003	DBLP DOI BibTeX RDF	k-out-of-$ell$ exclusion, $ell$-exclusion, Fault-tolerance, self-stabilization, mutual exclusion
8	Jorge Júlvez, Laura Recalde, Manuel Silva Suárez	On Reachability in Autonomous Continuous Petri Net Systems.	ICATPN	2003	DBLP DOI BibTeX RDF
8	Anne V. Ratzer, Lisa Wells, Henry Michael Lassen, Mads Laursen, Jacob Frank Qvortrup, Martin Stig Stissing, Michael Westergaard, Søren Christensen, Kurt Jensen	CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets.	ICATPN	2003	DBLP DOI BibTeX RDF
8	Marc Boyer, Mihaela Sighireanu	Synthesis and Verification of Constraints in the PGM Protocol.	FME	2003	DBLP DOI BibTeX RDF	PGM protocol, real-time multicast protocol, finite and timed model-checking, parameterized verification, constraint synthesis
8	Andreas Schäfer 0001	Combining Real-Time Model-Checking and Fault Tree Analysis.	FME	2003	DBLP DOI BibTeX RDF	Real-time systems, model-checking, fault tree analysis
8	Jie Liu 0001, Edward A. Lee	On the Causality of Mixed-Signal and Hybrid Models.	HSCC	2003	DBLP DOI BibTeX RDF
8	Gerald C. Gannod, Shilpa Murthy	Verification of Recovered Software Architectures.	IWPC	2003	DBLP DOI BibTeX RDF
8	Tamarah Arons, Amir Pnueli, Lenore D. Zuck	Parameterized Verification by Probabilistic Abstraction.	FoSSaCS	2003	DBLP DOI BibTeX RDF
8	Atsushi Ohori	Register Allocation by Proof Transformation.	ESOP	2003	DBLP DOI BibTeX RDF
8	Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm	Verifying Temporal Heap Properties Specified via Evolution Logic.	ESOP	2003	DBLP DOI BibTeX RDF
8	Satoshi Yamane	Deductive Schedulability Verification Methodology of Real-Time Software using both Refinement Verification and Hybrid Automata.	COMPSAC	2003	DBLP DOI BibTeX RDF
8	E. Allen Emerson, Vineet Kahlon	Exact and Efficient Verification of Parameterized Cache Coherence Protocols.	CHARME	2003	DBLP DOI BibTeX RDF
8	Seongyeol Kim, Okbin Lee, Yeijin Lee, Yongeun Bae, Ilyong Chung	Application of Fiat-Shamir Identification Protocol to Design of a Secure Mobile Agent System.	ISCIS	2003	DBLP DOI BibTeX RDF
8	Michele Bugliesi, Ambra Ceccato, Sabina Rossi	Context-Sensitive Equivalences for Non-interference Based Protocol Analysis.	FCT	2003	DBLP DOI BibTeX RDF
8	Helen Treharne, Steve A. Schneider, Marchia Bramble	Composing Specifications Using Communication.	ZB	2003	DBLP DOI BibTeX RDF	Composing Specifications, Concurrency, CSP, B-Method, Combining Formalisms
8	Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager	Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems.	RTSS	2003	DBLP DOI BibTeX RDF
8	Paul D. Ezhilchelvan, Doug Palmer, Michel Raynal	An Optimal Atomic Broadcast Protocol and an Implementation Framework.	WORDS	2003	DBLP DOI BibTeX RDF	Communication Step, Notifying Broadcast, Consensus, Asynchronous Distributed System, Crash Failure, Atomic Broadcast, Reliable Broadcast
8	Jinlei Jiang, Meilin Shi	CoAuto: A Formal Model for Cooperative Processes.	GCC (2)	2003	DBLP DOI BibTeX RDF
8	David Lie, John C. Mitchell, Chandramohan A. Thekkath, Mark Horowitz	Specifying and Verifying Hardware for Tamper-Resistant Software.	S&P	2003	DBLP DOI BibTeX RDF
8	Benjamin Braatz, Hartmut Ehrig, Milan Urbásek	Petri Net Transformations in the "Petri Net Baukasten".	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
8	A. Prasad Sistla	Symmetry Reductions in Model-Checking.	VMCAI	2003	DBLP DOI BibTeX RDF
8	Amir Pnueli, Lenore D. Zuck	Model-Checking and Abstraction to the Aid of Parameterized Systems.	VMCAI	2003	DBLP DOI BibTeX RDF
8	Ingolf Krüger	Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs.	FASE	2003	DBLP DOI BibTeX RDF
8	Zhengwei Qi, Jinyuan You, Hongyan Mao	P Systems and Petri Nets.	Workshop on Membrane Computing	2003	DBLP DOI BibTeX RDF
8	Mariagiovanna Sami, Donatella Sciuto, Cristina Silvano, Vittorio Zaccaria, Roberto Zafalon	Low-power data forwarding for VLIW embedded architectures.	IEEE Trans. Very Large Scale Integr. Syst.	2002	DBLP DOI BibTeX RDF
8	Michel Hurfin, Achour Mostéfaoui, Michel Raynal	A Versatile Family of Consensus Protocols Based on Chandra-Toueg's Unreliable Failure Detectors.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	fault-tolerance, quorum, asynchronous distributed system, crash failure, unreliable failure detector, consensus problem, consensus protocols
8	Jie Xu 0007, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke	Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	coordinated atomic (CA) actions, embedded fault-tolerant systems, model checking, reliability, Concurrency, object orientation, formal verification, safety, exception handling
8	Svend Frølund, Rachid Guerraoui	e-Transactions: End-to-End Reliability for Three-Tier Architectures.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	end-to-end reliability, exactly-once, three-tier applications, fault-tolerance, transactions
8	Richard Lassaigne, Sylvain Peyronnet	Approximate Verification of Probabilistic Systems.	PAPM-PROBMIV	2002	DBLP DOI BibTeX RDF
8	Sharon Barner, Orna Grumberg	Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking.	CAV	2002	DBLP DOI BibTeX RDF
8	Prasad Naldurg, Roy H. Campbell, M. Dennis Mickunas	Developing Dynamic Security Policies.	DANCE	2002	DBLP DOI BibTeX RDF
8	Dusko Pavlovic, Douglas R. Smith	Guarded Transitions in Evolving Specifications.	AMAST	2002	DBLP DOI BibTeX RDF
8	Michael Gschwind, Erik R. Altman	Precise Exception Semantics in Dynamic Compilation.	CC	2002	DBLP DOI BibTeX RDF
8	Nobuko Yoshida, Kohei Honda 0001, Martin Berger 0001	Linearity and Bisimulation.	FoSSaCS	2002	DBLP DOI BibTeX RDF
8	Hans Vandierendonck, Alex Ramírez, Koenraad De Bosschere, Mateo Valero	A Comparative Study of Redundancy in Trace Caches (Research Note).	Euro-Par	2002	DBLP DOI BibTeX RDF
8	Bart Demoen	A Different Look at Garbage Collection for the WAM.	ICLP	2002	DBLP DOI BibTeX RDF
8	Nancy A. Lynch, Dahlia Malkhi, David Ratajczak	Atomic Data Access in Distributed Hash Tables.	IPTPS	2002	DBLP DOI BibTeX RDF
8	Markus Kaltenbach, Jayadev Misra	A Theory of Hints in Model Checking.	10th Anniversary Colloquium of UNU/IIST	2002	DBLP DOI BibTeX RDF
8	Joël Ouaknine	Digitisation and Full Abstraction for Dense-Time Model Checking.	TACAS	2002	DBLP DOI BibTeX RDF
8	Sandeep S. Kulkarni, Ali Ebnenasir	The Complexity of Adding Failsafe Fault-Tolerance.	ICDCS	2002	DBLP DOI BibTeX RDF	Fault-tolerance, Formal methods, Program transformation, Distributed programs, Program synthesis
8	Moustafa A. Youssef 0001, Arunchandar Vasan 0001, Raymond E. Miller	Specification and Analysis of the DCF and PCF Protocols in the 802.11 Standard Using Systems of Communicating Machines.	ICNP	2002	DBLP DOI BibTeX RDF
8	Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Boudewijn R. Haverkort	Simulation for Continuous-Time Markov Chains.	CONCUR	2002	DBLP DOI BibTeX RDF
8	Yonit Kesten, Amir Pnueli, Elad Shahar, Lenore D. Zuck	Network Invariants in Action.	CONCUR	2002	DBLP DOI BibTeX RDF
8	Seongyeol Kim, Ilyong Chung	A Secure Mobile Agent System Applying Identity-Based Digital Signature Scheme.	EurAsia-ICT	2002	DBLP DOI BibTeX RDF
8	Eric Freudenthal, Lawrence Port, Tracy Pesin, Edward Keenan	Switchboard: Secure, Monitored Connections for Client-Server Communication.	ICDCS Workshops	2002	DBLP DOI BibTeX RDF
8	Josep Carmona 0001, Jordi Cortadella	Input/Output Compatibility of Reactive Systems.	FMCAD	2002	DBLP DOI BibTeX RDF	Input/Output compatibility, Synchronous product, Petri nets, Reactive systems, Conformation, Observational equivalence, Trace theory
8	Jacob A. Abraham, Vivekananda M. Vedula, Daniel G. Saab	Verifying Properties Using Sequential ATPG.	ITC	2002	DBLP DOI BibTeX RDF
8	Paolo Baldan, Barbara König 0001	Approximating the Behaviour of Graph Transformation Systems.	ICGT	2002	DBLP DOI BibTeX RDF
8	Pierfrancesco Bellini, Andrea Giotti, Paolo Nesi	Execution of TILCO Temporal Logic Specifications.	ICECCS	2002	DBLP DOI BibTeX RDF	real-time systems, first order logic, formal specification language, temporal operators, temporal interval logic
8	Vieri Del Bianco, Luigi Lavazza, Marco Mauri	Model Checking UML Specifications of Real Time Software.	ICECCS	2002	DBLP DOI BibTeX RDF
8	Michael Heymann, Asaf Degani	On the Construction of Human-Automation Interfaces by Formal Abstraction.	SARA	2002	DBLP DOI BibTeX RDF
8	Julian C. Bradfield, Juliana Küster Filipe, Perdita Stevens	Enriching OCL Using Observational Mu-Calculus.	FASE	2002	DBLP DOI BibTeX RDF
8	Pascal Felber, Fernando Pedone	Probabilistic Atomic Broadcast.	SRDS	2002	DBLP DOI BibTeX RDF
8	Michael Gschwind, Erik R. Altman	Optimization and precise exceptions in dynamic compilation.	SIGARCH Comput. Archit. News	2001	DBLP DOI BibTeX RDF
8	Luc Moreau 0001, Jean Duprat	A construction of distributed reference counting.	Acta Informatica	2001	DBLP DOI BibTeX RDF
8	Enric Pastor, Jordi Cortadella, Oriol Roig	Symbolic Analysis of Bounded Petri Nets.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	Binary Decition Diagrams, Petri nets, formal verification, symbolic methods
8	Giorgio Delzanno, Andreas Podelski	Constraint-based deductive model checking.	Int. J. Softw. Tools Technol. Transf.	2001	DBLP DOI BibTeX RDF	Model checking, Verification, Logic programming, Constraints
8	Rachid Guerraoui, André Schiper	The Generic Consensus Service.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	fault-tolerant agreement protocols, view synchrony, total order multicast, modularity, consensus, failure detectors, Asynchronous distributed systems, group membership, atomic commitment
8	Özalp Babaoglu, Renzo Davoli, Alberto Montresor	Group Communication in Partitionable Systems: Specification and Algorithms.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	view synchrony, partition-awareness, fault tolerance, Group communication, asynchronous systems
8	Riccardo Mattolini, Paolo Nesi	An Interval Logic for Real-Time System Specification.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	real-time systems, first order logic, verification and validation, Formal specification language, temporal interval logic
8	Walter Vogler	Partial S-Invariants for the Verification of Infinite Systems Families.	ICATPN	2001	DBLP DOI BibTeX RDF
8	Timo Latvala	Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints.	ICATPN	2001	DBLP DOI BibTeX RDF	Model checking, fairness, high-level Petri Nets, LTL
8	Xiaoshan Li, Zhiming Liu 0001, Zhensheng Guo	Formal Object-Oriented Analysis and Design of an Online Ticketing System.	APSEC	2001	DBLP DOI BibTeX RDF
8	Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue	Directed Explicit Model Checking with HSF-SPIN.	SPIN	2001	DBLP DOI BibTeX RDF
8	Luigi Lavazza, Gabriele Quaroni, Matteo Venturelli	Combining UML and formal notations for modelling real-time systems.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	UML, UML, formal methods, real-time software