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