|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 41(3-4), pp. 365-398, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 1st International Conference on Application of Concurrency to System Design (ACSD '98), 23-26 March 1998, Fukushima, Japan, pp. 250-260, 1998, IEEE Computer Society, 0-8186-8350-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings, pp. 622-640, 1989, Springer, 3-540-52559-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPOS ![In: Compositionality: The Significant Difference, International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures, pp. 565-583, 1997, Springer, 3-540-65493-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
42 | Jürgen Dingel |
A Refinement Calculus for Shared-Variable Parallel and Distributed Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 14(2), pp. 123-197, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 17th Conference, Kharagpur, India, December 18-20, 1997, Proceedings, pp. 153-168, 1997, Springer, 3-540-63876-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
37 | Ketil Stølen |
Assumption/Commitment Rules for Dataflow Networks - With an Emphasis on Completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - ESOP'96, 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996, Proceedings, pp. 356-372, 1996, Springer, 3-540-61055-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
37 | Qiwen Xu, Antonio Cau, Pierre Collette |
On Unifying Assumption-Commitment Style Proof Rules for Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, pp. 267-282, 1994, Springer, 3-540-58329-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
30 | Manfred Broy, Ingolf H. Krüger, Michael Meisinger |
A formal model of services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 16(1), pp. 5, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 10(3), pp. 193-213, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (1) ![In: Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I, pp. 103-121, 2020, Springer, 978-3-030-61361-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Manfred Broy |
Theory and methodology of assumption/commitment based system interface specification and architectural contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 52(1), pp. 33-87, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf |
Assumption Commitment Types for Resource Management in Virtually Timed Ambients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1806.08653, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
25 | Ahmed Mahdi, Bernd Westphal, Martin Fränzle |
Transformations for Compositional Verification of Assumption-Commitment Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Reachability Problems - 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings, pp. 216-229, 2014, Springer, 978-3-319-11438-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Nick Moffat, Michael Goldsmith |
Assumption-Commitment Support for CSP Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the 6th International Workshop on Automated Verification of Critical Systems, AVoCS 2006, Nancy, France, September 18-19, 2006, pp. 121-137, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Manfred Broy |
A Functional Rephrasing of the Assumption/Commitment Specification Style. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 13(1), pp. 87-119, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Georg Rock, Werner Stephan 0001, Andreas Wolpers |
Assumption-Commitment Specifications and Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBT ![In: Formale Beschreibungstechniken für verteilte Systeme, 8. GI/ITG-Fachgespräch, Cottbus, 4. und 5. Juni 1998, pp. 125-135, 1998, Verlag Shaker, 3-8265-3807-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 33(2), pp. 153-176, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 8(2), pp. 127-161, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 7th International Conference, Liège, Belgium, July, 3-5, 1995, Proceedings, pp. 54-69, 1995, Springer, 3-540-60045-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
25 | Pierre Collette |
An Explanatory Presentation of Composition Rules for Assumption-Commitment Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 50(1), pp. 31-35, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Pierre Collette |
Composition of Assumption-Commitment Specifications in a UNITY Style. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 23(2-3), pp. 107-125, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Ketil Stølen, Frank Dederichs, Rainer Weber |
Assumption, commitment rules for networks of asynchronously communicating agents ![Search on Bibsonomy](Pics/bibsonomy.png) |
Forschungsberichte, TU Munich ![In: Forschungsberichte, TU Munich TUM I 9303, pp. 1-47, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
RDF |
|
11 | Sidi O. Ehmety, Lawrence C. Paulson |
Mechanizing compositional reasoning for concurrent systems: some lessons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 17(1), pp. 58-68, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 5(4), pp. 706-731, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings, pp. 37-51, 2002, Springer, 3-540-43366-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 7th International Conference, AMAST '98, Amazonia, Brasil, January 4-8, 1999, Proceedings, pp. 231-247, 1998, Springer, 3-540-65462-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Martín Abadi, Stephan Merz |
An Abstract Account of Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1995, 20th International Symposium, MFCS'95, Prague, Czech Republic, August 28 - September 1, 1995, Proceedings, pp. 499-508, 1995, Springer, 3-540-60246-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 15th Conference, Bangalore, India, December 18-20, 1995, Proceedings, pp. 80-95, 1995, Springer, 3-540-60692-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
11 | Werner Damm, Gert Döhmen, Volker Gerstner, Bernhard Josko |
Modular Verification of Petri Nets: The Temporal Logic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings, pp. 180-207, 1989, Springer, 3-540-52559-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE (2) ![In: PARLE, Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings, pp. 315-332, 1987, Springer, 3-540-17945-3. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #31 of 31 (100 per page; Change: )
|
|