|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 974 occurrences of 574 keywords
|
|
|
Results
Found 1459 publication records. Showing 1459 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
58 | Ugo Montanari, Marco Pistore |
History dependent verification for partial order systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Partial Order Methods in Verification ![In: Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, July 24-26, 1996, pp. 259-272, 1996, DIMACS/AMS, 978-0-8218-0579-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
58 | Albert R. Meyer, Alexander Moshe Rabinovich |
A solution of an interleaving decision problem by a partial order technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Partial Order Methods in Verification ![In: Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, July 24-26, 1996, pp. 203-211, 1996, DIMACS/AMS, 978-0-8218-0579-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
58 | Doron A. Peled |
Partial order reduction: Linear and branching temporal logics and process algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Partial Order Methods in Verification ![In: Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, July 24-26, 1996, pp. 233-257, 1996, DIMACS/AMS, 978-0-8218-0579-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
58 | Patrice Godefroid |
On the costs and benefits of using partial-order methods for the verification of concurrent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Partial Order Methods in Verification ![In: Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, July 24-26, 1996, pp. 289-303, 1996, DIMACS/AMS, 978-0-8218-0579-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
58 | Eike Best |
Partial order verification with PEP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Partial Order Methods in Verification ![In: Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, July 24-26, 1996, pp. 305-328, 1996, DIMACS/AMS, 978-0-8218-0579-4. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Partial Order Methods in Verification ![DIMACS/AMS, 978-0-8218-0579-4 The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
47 | Christel Baier, Marta Z. Kwiatkowska |
On topological hierarchies of temporal properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Partial Order Methods in Verification ![In: Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, July 24-26, 1996, pp. 141-170, 1996, DIMACS/AMS, 978-0-8218-0579-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
47 | Antti Valmari |
Stubborn set methods for process algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Partial Order Methods in Verification ![In: Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, July 24-26, 1996, pp. 213-231, 1996, DIMACS/AMS, 978-0-8218-0579-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
47 | Wojciech Penczek, Marian Srebrny |
A complete axiomatization of a first-order temporal logic over trace systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Partial Order Methods in Verification ![In: Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, July 24-26, 1996, pp. 79-97, 1996, DIMACS/AMS, 978-0-8218-0579-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
47 | Wolfgang Reisig |
Interleaved progress, concurrent progress, and local progress. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Partial Order Methods in Verification ![In: Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, July 24-26, 1996, pp. 99-115, 1996, DIMACS/AMS, 978-0-8218-0579-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
47 | Michael W. Shields |
Algebraic manipulations and vector languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Partial Order Methods in Verification ![In: Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, July 24-26, 1996, pp. 41-57, 1996, DIMACS/AMS, 978-0-8218-0579-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
47 | Glynn Winskel, Mogens Nielsen |
Presheaves as transition systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Partial Order Methods in Verification ![In: Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, July 24-26, 1996, pp. 129-140, 1996, DIMACS/AMS, 978-0-8218-0579-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
47 | Antoni W. Mazurkiewicz |
Prefix function view of states and events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Partial Order Methods in Verification ![In: Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, July 24-26, 1996, pp. 1-23, 1996, DIMACS/AMS, 978-0-8218-0579-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
47 | Wolfgang Thomas |
Elements of an automata theory over partial orders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Partial Order Methods in Verification ![In: Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, July 24-26, 1996, pp. 25-40, 1996, DIMACS/AMS, 978-0-8218-0579-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
47 | |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Partial Order Methods in Verification ![In: Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, July 24-26, 1996, pp. xi-, 1996, DIMACS/AMS, 978-0-8218-0579-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
47 | |
Debate '90: An electronic discussion on true concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Partial Order Methods in Verification ![In: Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, July 24-26, 1996, pp. 359-403, 1996, DIMACS/AMS, 978-0-8218-0579-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
47 | |
Foreword. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Partial Order Methods in Verification ![In: Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, July 24-26, 1996, pp. ix-, 1996, DIMACS/AMS, 978-0-8218-0579-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
47 | Shmuel Katz |
Refinement with global equivalence proofs in temporal logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Partial Order Methods in Verification ![In: Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, July 24-26, 1996, pp. 59-78, 1996, DIMACS/AMS, 978-0-8218-0579-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
47 | Madhavan Mukund, P. S. Thiagarajan |
Linear time temporal logics over Mazurkiewicz traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Partial Order Methods in Verification ![In: Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, July 24-26, 1996, pp. 171-201, 1996, DIMACS/AMS, 978-0-8218-0579-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
47 | Gordon D. Plotkin, Vaughan R. Pratt |
Teams can see pomsets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Partial Order Methods in Verification ![In: Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, July 24-26, 1996, pp. 117-128, 1996, DIMACS/AMS, 978-0-8218-0579-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
47 | Thomas T. Hildebrandt, Vladimiro Sassone |
Transition systems with independence and multi-arcs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Partial Order Methods in Verification ![In: Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, July 24-26, 1996, pp. 273-288, 1996, DIMACS/AMS, 978-0-8218-0579-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
47 | David C. Luckham |
Rapide: A language and toolset for simulation of distributed systems by partial orderings of events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Partial Order Methods in Verification ![In: Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, July 24-26, 1996, pp. 329-357, 1996, DIMACS/AMS, 978-0-8218-0579-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom/FATES ![In: Testing of Software and Communicating Systems, 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008, 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008, Proceedings, pp. 169-183, 2008, Springer, 978-3-540-68514-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 503-518, 2000, Springer, 3-540-67282-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
partial order reductions and security, Model checking |
46 | Maciej Koutny |
Partial Order Semantics of Box Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1994, 15th International Conference, Zaragoza, Spain, June 20-24, 1994, Proceedings, pp. 318-337, 1994, Springer, 3-540-58152-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 26(1), pp. 7-25, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 11(4), pp. 365-402, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 6(4), pp. 277-301, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings, pp. 489-507, 1988, Springer, 3-540-51080-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 13(1), pp. 65-105, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005, pp. 110-121, 2005, ACM, 1-58113-830-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 25(2-3), pp. 199-240, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 4(2), pp. 173-188, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 22(7), pp. 496-507, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings, pp. 354-368, 2009, Springer, 978-3-642-04080-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers, pp. 248-259, 2003, Springer, 3-540-20813-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 3rd International Workshop, CAV '91, Aalborg, Denmark, July, 1-4, 1991, Proceedings, pp. 322-331, 1991, Springer, 3-540-55179-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADTAD ![In: Proceedings of the 5th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2007), PADTAD 2007, London, UK, July 9, 2007, pp. 43-53, 2007, ACM, 978-1-59593-748-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 470-474, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
dominant relationship analysis, partial order |
34 | Twan Basten, Dragan Bosnacki |
Enhancing Partial-Order Reduction via Process Clustering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA, pp. 245-253, 2001, IEEE Computer Society, 0-7695-1426-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 24(1), pp. 76-86, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 2(3), pp. 279-287, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Partial order reduction, State space reduction |
34 | Job Zwiers, Wil Janssen |
Partial Order Based Design of Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX School/Symposium ![In: A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings, pp. 622-684, 1993, Springer, 3-540-58043-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Applications and Theory of Petri Nets, 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings, pp. 183-203, 2009, Springer, 978-3-642-02423-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 2nd International Workshop, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990, Proceedings, pp. 146-155, 1990, Springer, 3-540-54477-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 56(4), pp. 511-527, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1994 Conference of the Centre for Advanced Studies on Collaborative Research, October 31 - November 3, 1994, Toronto, Ontario, Canada, pp. 66, 1994, IBM. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
32 | David Michael Knipe |
The Partial Ordering on the Automorphism Group of the Countable Generic Partial Order. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 26(4), pp. 289-307, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the Eleventh ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Chicago, Illinois, USA, August 21-24, 2005, pp. 285-293, 2005, ACM, 1-59593-135-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
hidden ordering, partial order, consecutive ones property |
32 | Bill Mitchell |
Inherent Causal Orderings of Partial Order Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers, pp. 113-127, 2004, Springer, 3-540-25304-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 41st Annual ACM Symposium on Theory of Computing, STOC 2009, Bethesda, MD, USA, May 31 - June 2, 2009, pp. 93-100, 2009, ACM, 978-1-60558-506-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 29th Annual International Computer Software and Applications Conference, COMPSAC 2005, Edinburgh, Scotland, UK, July 25-28, 2005. Volume 1, pp. 213-220, 2005, IEEE Computer Society, 0-7695-2413-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
refactoring, partial order, class hierarchy |
31 | Jingsen Chen |
Average Cost to Produce Partial Orders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 5th International Symposium, ISAAC '94, Beijing, P. R. China, August 25-27, 1994, Proceedings, pp. 155-163, 1994, Springer, 3-540-58325-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
31 | Vineet Kahlon, Chao Wang 0001, Aarti Gupta |
Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings, pp. 398-413, 2009, Springer, 978-3-642-02657-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Bill Mitchell |
Resolving Race Conditions in Asynchronous Partial Order Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 31(9), pp. 767-784, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2008, Proceedings, Atlanta, GA, USA, July 12-16, 2008, pp. 985-992, 2008, ACM, 978-1-60558-130-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD ![In: Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2008, In conjunction with Second International Workshop on Advanced Internet Technology and Applications, August 6-8, 2008, Phuket, Thailand, pp. 807-813, 2008, IEEE Computer Society, 978-0-7695-3263-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 45th Design Automation Conference, DAC 2008, Anaheim, CA, USA, June 8-13, 2008, pp. 936-941, 2008, ACM, 978-1-60558-115-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 10(5-6), pp. 469-482, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN '97, Toulouse, France, June 23-27, 1997, Proceedings, pp. 235-252, 1997, Springer, 3-540-63139-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 18(11), pp. 1467-1481, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM ![In: Proceedings of the 6th IEEE International Conference on Data Mining (ICDM 2006), 18-22 December 2006, Hong Kong, China, pp. 510-521, 2006, IEEE Computer Society, 0-7695-2701-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI*IA ![In: AI*IA 2005: Advances in Artificial Intelligence, 9th Congress of the Italian Association for Artificial Intelligence, Milan, Italy, September 21-23, 2005, Proceedings, pp. 160-172, 2005, Springer, 3-540-29041-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTRTFT ![In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002, Proceedings, pp. 417-432, 2002, Springer, 3-540-44165-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Michael Codish, Vitaly Lagoon, Peter J. Stuckey |
Solving Partial Order Constraints for LPO Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Term Rewriting and Applications, 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings, pp. 4-18, 2006, Springer, 3-540-36834-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Doron A. Peled, Hongyang Qu 0001 |
Time Unbalanced Partial Order. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FATES ![In: Formal Approaches to Software Testing, 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers, pp. 152-169, 2005, Springer, 3-540-34454-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Andrew Chi-Chih Yao |
Graph entropy and quantum sorting problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 36th Annual ACM Symposium on Theory of Computing, Chicago, IL, USA, June 13-16, 2004, pp. 112-117, 2004, ACM, 1-58113-852-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings, pp. 397-416, 2003, Springer, 3-540-40334-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Timed and stochastic nets, partial order semantics |
28 | Douglas Stott Parker Jr. |
Partial Order Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, USA, January 11-13, 1989, pp. 260-266, 1989, ACM Press, 0-89791-294-2. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
27 | Eric Cheung, Harry Hsieh, Felice Balarin |
Partial order method for timed simulation of system-level MPSoC designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 14th Asia South Pacific Design Automation Conference, ASP-DAC 2009, Yokohama, Japan, January 19-22, 2009, pp. 149-154, 2009, IEEE, 978-1-4244-2748-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2002, 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings, pp. 344-359, 2002, Springer, 3-540-00141-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative Research, November 13-16, 2000, Mississauga, Ontario, Canada, pp. 14, 2000, IBM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011, pp. 203-212, 2011, IEEE Computer Society, 978-1-4577-0973-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: IEEE International Conference on Web Services, ICWS 2011, Washington, DC, USA, July 4-9, 2011, pp. 714-715, 2011, IEEE Computer Society, 978-1-4577-0842-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 10th International Conference on Application of Concurrency to System Design, ACSD 2010, Braga, Portugal, 21-25 June 2010, pp. 191-200, 2010, IEEE Computer Society, 978-0-7695-4066-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 9th ACM International Conference on Multimedia 2001, Ottawa, Ontario, Canada, September 30 - October 5, 2001, pp. 169-180, 2001, ACM, 1-58113-394-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
multimedia, transport protocols, partial order |
26 | Antonia Sinachopoulos |
Partial Order Logics for Elementary Net Systems: State- and Event-approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '90, Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands, August 27-30, 1990, Proceedings, pp. 442-455, 1990, Springer, 3-540-53048-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings, pp. 467-488, 1988, Springer, 3-540-51080-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 602-611, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(12), pp. 1518-1525, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 11(1), pp. 39-51, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Dragan Bosnacki |
Partial Order Reduction in Presence of Rendez-vous Communications with Unless Constructs and Weak Fairness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Theoretical and Practical Aspects of SPIN Model Checking, 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24 1999, Proceedings, pp. 40-56, 1999, Springer, 3-540-66499-8. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings, pp. 379-390, 1998, Springer, 3-540-64608-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Mauricio Osorio 0001 |
Semantics of Partial-Order Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Workshop, JELIA '98, Dagstuhl, Germany, October 12-15, 1998, Proceedings, pp. 47-61, 1998, Springer, 3-540-65141-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Christel Baier, Mila E. Majster-Cederbaum |
Metric Semantics from Partial Order Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 34(9), pp. 701-735, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997, Proceedings, pp. 340-351, 1997, Springer, 3-540-63166-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
25 | Soma Chaudhuri, Paul Reiners |
Understanding the Set Consensus Partial Order Using the Borowsky-Gafni Simulation (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
WDAG ![In: Distributed Algorithms, 10th International Workshop, WDAG '96, Bologna, Italy, October 9-11, 1996, Proceedings, pp. 362-379, 1996, Springer, 3-540-61769-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNP ![In: 1996 International Conference on Network Protocols, ICNP 1996, October 29 - November 1, 1996, Columbus, Ohio, USA, pp. 76-83, 1996, IEEE Computer Society, 0-8186-7453-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
25 | Sakti Pramanik, David Vineyard |
Optimizing Join Queries in Distributed Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(9), pp. 1319-1326, 1988. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, Seventh Conference, Pune, India, December 17-19, 1987, Proceedings, pp. 282-304, 1987, Springer, 3-540-18625-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings, pp. 396-410, 2001, Springer, 3-540-42497-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Chandrasekhar Boyapati, Robert Lee, Martin C. Rinard |
Ownership types for safe programming: preventing data races and deadlocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2002, Seattle, Washington, USA, November 4-8, 2002., pp. 211-230, 2002, ACM, 1-58113-471-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
deadlocks, encapsulation, data races, ownership types |
24 | Svante Carlsson, Jingsen Chen |
Some Lower Bounds for Comparison-Based Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA '94, Second Annual European Symposium, Utrecht, The Netherlands, September 26-28, 1994, Proceedings, pp. 106-117, 1994, Springer, 3-540-58434-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADTAD ![In: Proceedings of the 6th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), PADTAD 2008, Seattle, Washington, USA, July 20-21, 2008, pp. 3, 2008, ACM, 978-1-60558-052-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Petri Nets and Other Models of Concurrency - ICATPN 2006, 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings, pp. 342-361, 2006, Springer, 3-540-34699-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Applications and Theory of Petri Nets 2004, 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings, pp. 98-116, 2004, Springer, 3-540-22236-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings, pp. 1207-1214, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings, pp. 720-731, 2001, Springer, 3-540-42287-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 2nd International Conference on Application of Concurrency to System Design (ACSD 2001), 25-30 June 2001, Newcastle upon Tyne, UK, pp. 77-86, 2001, IEEE Computer Society, 0-7695-1071-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Transition Refinement, Distributed Systems, Verification, Petri Nets, Partial Order Semantics |
24 | Jan E. Jonker |
Knaster-Tarski Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 10(3), pp. 214-232, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Complete partial order, Generalization, Fixpoint |
Displaying result #1 - #100 of 1459 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|