Search results for "partial-order"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
58	Ugo Montanari, Marco Pistore	History dependent verification for partial order systems.	Partial Order Methods in Verification	1996	DBLP DOI BibTeX RDF
58	Albert R. Meyer, Alexander Moshe Rabinovich	A solution of an interleaving decision problem by a partial order technique.	Partial Order Methods in Verification	1996	DBLP DOI BibTeX RDF
58	Doron A. Peled	Partial order reduction: Linear and branching temporal logics and process algebras.	Partial Order Methods in Verification	1996	DBLP DOI BibTeX RDF
58	Patrice Godefroid	On the costs and benefits of using partial-order methods for the verification of concurrent systems.	Partial Order Methods in Verification	1996	DBLP DOI BibTeX RDF
58	Eike Best	Partial order verification with PEP.	Partial Order Methods in Verification	1996	DBLP DOI BibTeX RDF
47	Doron A. Peled, Vaughan R. Pratt, Gerard J. Holzmann (eds.)	Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, July 24-26, 1996	Partial Order Methods in Verification	1996	DBLP DOI BibTeX RDF
47	Christel Baier, Marta Z. Kwiatkowska	On topological hierarchies of temporal properties.	Partial Order Methods in Verification	1996	DBLP DOI BibTeX RDF
47	Antti Valmari	Stubborn set methods for process algebras.	Partial Order Methods in Verification	1996	DBLP DOI BibTeX RDF
47	Wojciech Penczek, Marian Srebrny	A complete axiomatization of a first-order temporal logic over trace systems.	Partial Order Methods in Verification	1996	DBLP DOI BibTeX RDF
47	Wolfgang Reisig	Interleaved progress, concurrent progress, and local progress.	Partial Order Methods in Verification	1996	DBLP DOI BibTeX RDF
47	Michael W. Shields	Algebraic manipulations and vector languages.	Partial Order Methods in Verification	1996	DBLP DOI BibTeX RDF
47	Glynn Winskel, Mogens Nielsen	Presheaves as transition systems.	Partial Order Methods in Verification	1996	DBLP DOI BibTeX RDF
47	Antoni W. Mazurkiewicz	Prefix function view of states and events.	Partial Order Methods in Verification	1996	DBLP DOI BibTeX RDF
47	Wolfgang Thomas	Elements of an automata theory over partial orders.	Partial Order Methods in Verification	1996	DBLP DOI BibTeX RDF
47		Preface.	Partial Order Methods in Verification	1996	DBLP BibTeX RDF
47		Debate '90: An electronic discussion on true concurrency.	Partial Order Methods in Verification	1996	DBLP DOI BibTeX RDF
47		Foreword.	Partial Order Methods in Verification	1996	DBLP BibTeX RDF
47	Shmuel Katz	Refinement with global equivalence proofs in temporal logic.	Partial Order Methods in Verification	1996	DBLP DOI BibTeX RDF
47	Madhavan Mukund, P. S. Thiagarajan	Linear time temporal logics over Mazurkiewicz traces.	Partial Order Methods in Verification	1996	DBLP DOI BibTeX RDF
47	Gordon D. Plotkin, Vaughan R. Pratt	Teams can see pomsets.	Partial Order Methods in Verification	1996	DBLP DOI BibTeX RDF
47	Thomas T. Hildebrandt, Vladimiro Sassone	Transition systems with independence and multi-arcs.	Partial Order Methods in Verification	1996	DBLP DOI BibTeX RDF
47	David C. Luckham	Rapide: A language and toolset for simulation of distributed systems by partial orderings of events.	Partial Order Methods in Verification	1996	DBLP DOI BibTeX RDF
47	Gregor von Bochmann, Stefan Haar, Claude Jard, Guy-Vincent Jourdan	Testing Systems Specified as Partial Order Input/Output Automata.	TestCom/FATES	2008	DBLP DOI BibTeX RDF	Testing distributed systems, conformance relations, partial order automata, HMSC, partial order, finite state automata
46	Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero	Partial Order Reductions for Security Protocol Verification.	TACAS	2000	DBLP DOI BibTeX RDF	partial order reductions and security, Model checking
46	Maciej Koutny	Partial Order Semantics of Box Expressions.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF	partial order theory of concurrency, net-based algebraic calculi, Causality, structured operational semantics
43	Rajeev Alur, Kenneth L. McMillan, Doron A. Peled	Deciding Global Partial-Order Properties.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	partial order logics, model checking, concurrency, temporal logics
42	Twan Basten, Dragan Bosnacki, Marc Geilen	Cluster-Based Partial-Order Reduction.	Autom. Softw. Eng.	2004	DBLP DOI BibTeX RDF	(LTL) model checking, concurrency, formal verification, SPIN, partial-order reduction, state explosion
42	Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente	Partial-order reduction and trail improvement in directed model checking.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Trail improvement, HSF-SPIN, Model checking, Heuristic search, Partial-order reduction
40	Shmuel Katz, Doron A. Peled	An efficient verification method for parallel and distributed programs.	REX Workshop	1988	DBLP DOI BibTeX RDF	Proof lattices, Verification, Temporal logic, Partial order semantics, Execution sequences
38	Andrew Ireland, Jamie Stark	Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis.	Autom. Softw. Eng.	2006	DBLP DOI BibTeX RDF	partial order planning, deductive synthesis, program synthesis, proof planning
38	Cormac Flanagan, Patrice Godefroid	Dynamic partial-order reduction for model checking software.	POPL	2005	DBLP DOI BibTeX RDF	software model checking, partial-order reduction
38	Matthew B. Dwyer, John Hatcliff, Robby, Venkatesh Prasad Ranganath	Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	software verifcation, locking discipline, software model checking, partial order reduction, escape analysis
38	Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero	Efficient verification of security protocols using partial-order reductions.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Model checking, Security protocols, Partial-order reduction
38	Patrice Godefroid, Doron A. Peled, Mark G. Staskauskas	Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	Formal methods, validation, concurrent programs, reachability analysis, automatic verification, partial-order methods
37	Julian Gutierrez 0001, Julian C. Bradfield	Model-Checking Games for Fixpoint Logics with Partial Order Models.	CONCUR	2009	DBLP DOI BibTeX RDF	Model-checking games, Hintikka game semantics, Partial order models of concurrency, Process algebras, Modal and temporal logics
37	Irina B. Virbitskaite, Natalya S. Gribovskaja	Open Maps and Trace Semantics for Timed Partial Order Models.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF	timed event structures, trace equivalence, Category theory, partial order semantics
37	David K. Probst, Hon Fung Li	Partial-Order Model Checking: A Guide for the Perplexed.	CAV	1991	DBLP DOI BibTeX RDF	delay-insensitive system, partial-order representation, recurrence structure, model checking, state explosion, state encoding
35	Robert Palmer, Ganesh Gopalakrishnan, Robert M. Kirby	Semantics driven dynamic partial-order reduction of MPI-based parallel programs.	PADTAD	2007	DBLP DOI BibTeX RDF	concurrent program semantics, transition independence, model checking, MPI, partial-order reduction
34	Zhenglu Yang, Botao Wang, Masaru Kitsuregawa	General dominant relationship analysis based on partial order models.	SAC	2007	DBLP DOI BibTeX RDF	dominant relationship analysis, partial order
34	Twan Basten, Dragan Bosnacki	Enhancing Partial-Order Reduction via Process Clustering.	ASE	2001	DBLP DOI BibTeX RDF	(LTL) model checking, concurrency, formal verification, SPIN, partial-order reduction, state explosion
34	Paul Pritchard	A Fast Bit-Parallel Algorithm for Computing the Subset Partial Order.	Algorithmica	1999	DBLP DOI BibTeX RDF	Subset graph, Subset partial order, Bit-parallel operation, Set-theoretic algorithms, Combinatorial set theory, Analysis of algorithms, Bit vector
34	Edmund M. Clarke, Orna Grumberg, Marius Minea, Doron A. Peled	State Space Reduction Using Partial Order Techniques.	Int. J. Softw. Tools Technol. Transf.	1999	DBLP DOI BibTeX RDF	Partial order reduction, State space reduction
34	Job Zwiers, Wil Janssen	Partial Order Based Design of Concurrent Systems.	REX School/Symposium	1993	DBLP DOI BibTeX RDF	partial order models, communication closed layers, program transformation, program verification, atomicity, hierarchical graphs
34	Mateus de Oliveira Oliveira	Hasse Diagram Generators and Petri Nets.	Petri Nets	2009	DBLP DOI BibTeX RDF	Causality/partial order theory of concurrency
33	David K. Probst, Hon Fung Li	Using Partial-Order Semantics to Avoid the State Explosion Problem in Asynchronous Systems.	CAV	1990	DBLP DOI BibTeX RDF	delay-insensitive system, branching point, recurrence structure, behavior machine, behavior state, model checking, state explosion, partial-order semantics
33	Alper Sen 0001, Vijay K. Garg	Formal Verification of Simulation Traces Using Computation Slicing.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Simulation, formal verification, temporal logic, partial order, runtime verification, lattice theory
33	David J. Taylor, Michael H. Coffin	Integrating real-time and partial-order information in event-data displays.	CASCON	1994	DBLP BibTeX RDF
32	David Michael Knipe	The Partial Ordering on the Automorphism Group of the Countable Generic Partial Order.	Order	2009	DBLP DOI BibTeX RDF	Partially ordered group, Reduction scheme, Group, Partial order
32	Antti Ukkonen, Mikael Fortelius, Heikki Mannila	Finding partial orders from unordered 0-1 data.	KDD	2005	DBLP DOI BibTeX RDF	hidden ordering, partial order, consecutive ones property
32	Bill Mitchell	Inherent Causal Orderings of Partial Order Scenarios.	ICTAC	2004	DBLP DOI BibTeX RDF
31	Jean Cardinal, Samuel Fiorini, Gwenaël Joret, Raphaël M. Jungers, J. Ian Munro	An efficient algorithm for partial order production.	STOC	2009	DBLP DOI BibTeX RDF	graph entropy, partial order
31	Sukhamay Kundu, Nigel Gwee	A Formal Approach to Designing a Class-Subclass Structure Using a Partial-Order on the Functions.	COMPSAC (1)	2005	DBLP DOI BibTeX RDF	refactoring, partial order, class hierarchy
31	Jingsen Chen	Average Cost to Produce Partial Orders.	ISAAC	1994	DBLP DOI BibTeX RDF
31	Vineet Kahlon, Chao Wang 0001, Aarti Gupta	Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique.	CAV	2009	DBLP DOI BibTeX RDF
31	Bill Mitchell	Resolving Race Conditions in Asynchronous Partial Order Scenarios.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	formal methods, Requirements analysis, distributed programming
31	Xavier Llorà, Noriko Imafuji Yasui, David E. Goldberg	Graph-theoretic measure for active iGAs: interaction sizing and parallel evaluation ensemble.	GECCO	2008	DBLP DOI BibTeX RDF	active interactive genetic algorithms, graph density, graph ensemble, modeling user preferences, partial-order graph, graph theory
30	Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe	Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs.	SNPD	2008	DBLP DOI BibTeX RDF	optimization, model checking, centralization, Software model checking, partial-order reduction
30	Sudipta Kundu, Malay K. Ganai, Rajesh Gupta 0001	Partial order reduction for scalable testing of systemC TLM designs.	DAC	2008	DBLP DOI BibTeX RDF	simulation, verification, testing, partial-order reduction
30	Dennis Dams, Rob Gerth, Bart Knaack, Ruurd Kuiper 0001	Partial-order Reduction Techniques for Real-time Model Checking.	Formal Aspects Comput.	1998	DBLP DOI BibTeX RDF	Model checking, Verification, Real time, Covering, Partial-order reduction
30	Ekkart Kindler	A Compositional Partial Order Semantics for Petri Net Components.	ICATPN	1997	DBLP DOI BibTeX RDF	Petri net component, rely-guarantee specification, fully abstract, compositional semantics, partial order semantics
30	Jian Pei, Haixun Wang, Jian Liu, Ke Wang 0001, Jianyong Wang 0001, Philip S. Yu	Discovering Frequent Closed Partial Orders from Strings.	IEEE Trans. Knowl. Data Eng.	2006	DBLP DOI BibTeX RDF	data mining, partial orders, Frequent patterns, strings, closed patterns
30	Deepak Rajan, Philip S. Yu	Discovering Partial Orders in Binary Data.	ICDM	2006	DBLP DOI BibTeX RDF
29	Nicola Policella, Amedeo Cesta, Angelo Oddi, Stephen F. Smith	Schedule Robustness Through Broader Solve and Robustify Search for Partial Order Schedules.	AI*IA	2005	DBLP DOI BibTeX RDF
29	Jianhua Zhao, He Xu, Xuandong Li, Tao Zheng, Guoliang Zheng	Partial Order Path Technique for Checking Parallel Timed Automata.	FTRTFT	2002	DBLP DOI BibTeX RDF
28	Michael Codish, Vitaly Lagoon, Peter J. Stuckey	Solving Partial Order Constraints for LPO Termination.	RTA	2006	DBLP DOI BibTeX RDF
28	Doron A. Peled, Hongyang Qu 0001	Time Unbalanced Partial Order.	FATES	2005	DBLP DOI BibTeX RDF
28	Andrew Chi-Chih Yao	Graph entropy and quantum sorting problems.	STOC	2004	DBLP DOI BibTeX RDF	graph entropy, information lower bound, sorting, partial order, quantum algorithms
28	Hans Fleischhack, Elisabeth Pelz	Hierarchical Timed High Level Nets and Their Branching Processes.	ICATPN	2003	DBLP DOI BibTeX RDF	Timed and stochastic nets, partial order semantics
28	Douglas Stott Parker Jr.	Partial Order Programming.	POPL	1989	DBLP DOI BibTeX RDF
27	Eric Cheung, Harry Hsieh, Felice Balarin	Partial order method for timed simulation of system-level MPSoC designs.	ASP-DAC	2009	DBLP DOI BibTeX RDF
27	Pierre-Olivier Ribet, François Vernadat 0001, Bernard Berthomieu	On Combining the Persistent Sets Method with the Covering Steps Graph Method.	FORTE	2002	DBLP DOI BibTeX RDF	persistent sets, covering steps graph, partial-order, Concurrent systems, state space exploration, verification methods
27	Paul A. S. Ward	A framework algorithm for dynamic, centralized dimension-bounded timestamps.	CASCON	2000	DBLP BibTeX RDF	Ore timestamp, distributed-system observation, vector timestamp, scalability, distributed computation, partial order, dimension
26	Henri Hansen, Marta Z. Kwiatkowska, Hongyang Qu 0001	Partial Order Reduction for Model Checking Markov Decision Processes under Unconditional Fairness.	QEST	2011	DBLP DOI BibTeX RDF	unconditional fairness, Markov decision processes, partial order reduction, Probabilistic model checking
26	Bochao Wang, Armin Haller, Florian Rosenberg	Generating Workflow Models from OWL-S Service Descriptions with a Partial-Order Plan Construction.	ICWS	2011	DBLP DOI BibTeX RDF	Partial Order Planning, Workflow model generation, Service Composition
26	Wan J. Fokkink, Mohammad Torabi Dashti, Anton Wijs	Partial Order Reduction for Branching Security Protocols.	ACSD	2010	DBLP DOI BibTeX RDF	branching security protocols, bisimulation, partial order reduction
26	Phillip T. Conrad, Armando L. Caro Jr., Paul D. Amer	ReMDoR: remote multimedia document retrieval over partial order transport.	ACM Multimedia	2001	DBLP DOI BibTeX RDF	multimedia, transport protocols, partial order
26	Antonia Sinachopoulos	Partial Order Logics for Elementary Net Systems: State- and Event-approaches.	CONCUR	1990	DBLP DOI BibTeX RDF	Partial Order Logics, Next Operator, Case Graphs, Action Graphs, Specific Axiomatics, State Approach, Action Approach, Petri Nets, Specification, Elementary Net Systems
26	Haim Gaifman	Modeling concurrency by partial orders and nonlinear transition systems.	REX Workshop	1988	DBLP DOI BibTeX RDF	pomset, causal precedence, concurrent, computation, process, event, deadlock, partial order, action, state, transition system, automaton, shared resource, dining philosophers, simultaneous
26	B. Bayerdorffer	Broadcast Time Warp.	HICSS (2)	1995	DBLP DOI BibTeX RDF	Broadcast Time Warp, correctness constraint, simulation-time order., global virtual time, computational event scheduling, inefficiency, transitivity delay, incremental rollback, virtual-time synchronization protocol, synchronization semantics, scheduling, protocols, distributed algorithms, distributed computations, broadcasting, delays, synchronisation, distributed simulation, partial order, total order, causal order, time warp simulation
26	Ravi S. Sandhu	Recognizing Immediacy in an N-Tree Hierarchy and Its Application to Protection Groups.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	immediacy, N-tree hierarchy, protection groups, subgroup relation, inverted rooted trees, access control, data structures, refinement, trees (mathematics), recursively, security of data, set theory, granularity, partial order, multi-access systems, linear orderings, integers
25	Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente	Partial-order reduction for general state exploring algorithms.	Int. J. Softw. Tools Technol. Transf.	2009	DBLP DOI BibTeX RDF
25	Dragan Bosnacki	Partial Order Reduction in Presence of Rendez-vous Communications with Unless Constructs and Weak Fairness.	SPIN	1999	DBLP DOI BibTeX RDF
25	Parosh Aziz Abdulla, Bengt Jonsson 0001, Mats Kindahl, Doron A. Peled	A General Approach to Partial Order Reductions in Symbolic Verification (Extended Abstract).	CAV	1998	DBLP DOI BibTeX RDF
25	Mauricio Osorio 0001	Semantics of Partial-Order Programs.	JELIA	1998	DBLP DOI BibTeX RDF
25	Christel Baier, Mila E. Majster-Cederbaum	Metric Semantics from Partial Order Semantics.	Acta Informatica	1997	DBLP DOI BibTeX RDF
25	Rajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani	Partial-Order Reduction in Symbolic State Space Exploration.	CAV	1997	DBLP DOI BibTeX RDF
25	Soma Chaudhuri, Paul Reiners	Understanding the Set Consensus Partial Order Using the Borowsky-Gafni Simulation (Extended Abstract).	WDAG	1996	DBLP DOI BibTeX RDF
25	Hong Liu 0004, Raymond E. Miller	Partial-Order Validation for Multi-Process Protocols Modeled as Communicating Finite State Machines.	ICNP	1996	DBLP DOI BibTeX RDF
25	Sakti Pramanik, David Vineyard	Optimizing Join Queries in Distributed Databases.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	reduced cover set, acyclic query graph, partial order graph, minimum response time, optimization, computational complexity, computational complexity, graph theory, distributed databases, distributed database, distributed databases, optimisation, database theory, concurrent processing, join queries
25	Sakti Pramanik, David Vineyard	Optimizing Join Queries in Distributed Database.	FSTTCS	1987	DBLP DOI BibTeX RDF	Full reducer semijoin program, profitable semijoin, partial order graph, distributed databases
25	Peter Niebert, Michaela Huhn, Sarah Zennou, Denis Lugiez	Local First Search - A New Paradigm for Partial Order Reductions.	CONCUR	2001	DBLP DOI BibTeX RDF
24	Chandrasekhar Boyapati, Robert Lee, Martin C. Rinard	Ownership types for safe programming: preventing data races and deadlocks.	OOPSLA	2002	DBLP DOI BibTeX RDF	deadlocks, encapsulation, data races, ownership types
24	Svante Carlsson, Jingsen Chen	Some Lower Bounds for Comparison-Based Algorithms.	ESA	1994	DBLP DOI BibTeX RDF
24	Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby	Scheduling considerations for building dynamic verification tools for MPI.	PADTAD	2008	DBLP DOI BibTeX RDF	model checking, MPI, message passing, distributed programming, partial order reduction, dynamic verification
24	Stephan Roch, Karsten Schmidt 0004	On the Step Explosion Problem.	ICATPN	2006	DBLP DOI BibTeX RDF	step semantics, inhibitory, signal arcs, priorities, read, partial order reduction, State space exploration, reset
24	Adrianna Alexander	Composition of Temporal Logic Specifications.	ICATPN	2004	DBLP DOI BibTeX RDF	verification, specification, temporal logic, partial order, compositional semantics
24	Xiaoqin Zhang 0001, Victor R. Lesser	Multi-linked negotiation in multi-agent systems.	AAMAS	2002	DBLP DOI BibTeX RDF	multi-linked negotiation, partial-order schedule, flexibility
24	Anca Muscholl, Doron A. Peled	From Finite State Communication Protocols to High-Level Message Sequence Charts.	ICALP	2001	DBLP DOI BibTeX RDF	HMSC, bounded automata, partial order specification, specification, Message sequence charts
24	Sibylle Peuker	Property Preserving Transition Refinement with Concurrent Runs: An Example.	ACSD	2001	DBLP DOI BibTeX RDF	Transition Refinement, Distributed Systems, Verification, Petri Nets, Partial Order Semantics
24	Jan E. Jonker	Knaster-Tarski Revisited.	Formal Aspects Comput.	1998	DBLP DOI BibTeX RDF	Complete partial order, Generalization, Fixpoint