The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Assumption-commitment (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1987-1997 (15) 1998-2018 (15) 2020 (1)
Publication types (Num. hits)
article(14) inproceedings(17)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 37 occurrences of 31 keywords

Results
Found 31 publication records. Showing 31 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
123Nick Moffat, Michael Goldsmith Assumption-Commitment Support for CSP Model Checking. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Assumption-commitment, Model checking, Refinement, CSP, Compositional reasoning, Assume-guarantee
67Swarup Mohalik, Ramaswamy Ramanujam A Presentation of Regular Languages in the Assumption - Commitment Framework. Search on Bibsonomy ACSD The full citation details ... 1998 DBLP  DOI  BibTeX  RDF assumption-commitment, distributed systems, Regular languages
67Paritosh K. Pandya Some Comments on the Assumption-Commitment Framework for Compositional Verification of Distributed Programs. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Assumption Commitment Framework, Compositional Verification, Inductive Inference, Liveness properties
48Qiwen Xu, Swarup Mohalik Compositional Reasoning Using the Assumption-Commitment Paradigm. Search on Bibsonomy COMPOS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
42Jürgen Dingel A Refinement Calculus for Shared-Variable Parallel and Distributed Programming. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Assumption-commitment reasoning, Formal program development, Parallel programming, Program transformation, Refinement, Refinement calculus, Trace semantics, Systematic programming
37Swarup Mohalik, Ramaswamy Ramanujam Assumption-Commitment in Automata. Search on Bibsonomy FSTTCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
37Ketil Stølen Assumption/Commitment Rules for Dataflow Networks - With an Emphasis on Completeness. Search on Bibsonomy ESOP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
37Qiwen Xu, Antonio Cau, Pierre Collette On Unifying Assumption-Commitment Style Proof Rules for Concurrency. Search on Bibsonomy CONCUR The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
30Manfred Broy, Ingolf H. Krüger, Michael Meisinger A formal model of services. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF assumption/commitment specifications, software architecture, Components, services, service engineering
30Jürgen Dingel, David Garlan, Somesh Jha, David Notkin Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Rely/guarantee, Assumption/commitment, Implicit invocation
25Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf Assumption-Commitment Types for Resource Management in Virtually Timed Ambients. Search on Bibsonomy ISoLA (1) The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
25Manfred Broy Theory and methodology of assumption/commitment based system interface specification and architectural contracts. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
25Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf Assumption Commitment Types for Resource Management in Virtually Timed Ambients. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
25Ahmed Mahdi, Bernd Westphal, Martin Fränzle Transformations for Compositional Verification of Assumption-Commitment Properties. Search on Bibsonomy RP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
25Nick Moffat, Michael Goldsmith Assumption-Commitment Support for CSP Model Checking. Search on Bibsonomy AVoCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Manfred Broy A Functional Rephrasing of the Assumption/Commitment Specification Style. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
25Georg Rock, Werner Stephan 0001, Andreas Wolpers Assumption-Commitment Specifications and Safety-Critical Systems. Search on Bibsonomy FBT The full citation details ... 1998 DBLP  BibTeX  RDF
25Antonio Cau, Pierre Collette Parallel Composition of Assumption-Commitment Specifications: A Unifying Approach for Shared Variable and Distributed Message Passing Concurrency. Search on Bibsonomy Acta Informatica The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
25Ketil Stølen, Frank Dederichs, Rainer Weber Specification and Refinement of Networks of Asynchronously Communicating Agents Using the Assumption/Commitment Paradigm. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
25Jürgen Dingel, Thomas Filkorn Model Checking for Infinite State Systems Using Data Abstraction, Assumption-Commitment Style reasoning and Theorem Proving. Search on Bibsonomy CAV The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
25Pierre Collette An Explanatory Presentation of Composition Rules for Assumption-Commitment Specifications. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
25Pierre Collette Composition of Assumption-Commitment Specifications in a UNITY Style. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
25Ketil Stølen, Frank Dederichs, Rainer Weber Assumption, commitment rules for networks of asynchronously communicating agents Search on Bibsonomy Forschungsberichte, TU Munich The full citation details ... 1993   RDF
11Sidi O. Ehmety, Lawrence C. Paulson Mechanizing compositional reasoning for concurrent systems: some lessons. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Existential properties, Universal properties, Guarantees assertions, UNITY, Isabelle, Compositional reasoning
11Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo Proving correctness of timed concurrent constraint programs. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Concurrency, constraints, temporal logic, reactive systems
11Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo Proving Correctness of Timed Concurrent Constraint Programs. Search on Bibsonomy FoSSaCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Concurrency, constraints, temporal logic, real-time programming
11Jürgen Dingel A Trace-Based Refinement Calculus for Shared-Variable Parallel Programs. Search on Bibsonomy AMAST The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
11Martín Abadi, Stephan Merz An Abstract Account of Composition. Search on Bibsonomy MFCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
11Job Zwiers, Ulrich Hannemann, Yassine Lakhnech, Willem P. de Roever Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed Systems. Search on Bibsonomy FSTTCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
11Werner Damm, Gert Döhmen, Volker Gerstner, Bernhard Josko Modular Verification of Petri Nets: The Temporal Logic Approach. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF modular system design, verification, Petri nets, specification, temporal logic, computer architecture
11Jozef Hooman A Compositional Proof Theory for Real-Time Distributed Message Passing. Search on Bibsonomy PARLE (2) The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #31 of 31 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license