Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1991-2016 (9)
Publication types (Num. hits)
article(2) inproceedings(7)
Venues (Conferences, Journals, ...)
ACM Trans. Program. Lang. Syst...(1) COORDINATION(1) CSF(1) ECSA Workshops(1) FME(1) FoSSaCS(1) REX Workshop(1) TAPSOFT(1) Theor. Comput. Sci.(1)
Authors
Yih-Kuen Tsay(4) Bengt Jonsson 0001(2) Leslie Lamport(2) Martín Abadi(2) Barbara Gallina(1) David Sands 0001(1) Heiko Mantel(1) Henning Sudbrock(1) Irfan Sljivo(1) Jei-Wen Teng(1) Liliana D'Errico(1) Michele Loreti(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 15 occurrences of 13 keywords
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
40Bengt Jonsson 0001, Yih-Kuen Tsay Assumption/Guarantee Specifications in Linear-Time Temporal Logic (Extended Abstract). Search on Bibsonomy TAPSOFT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
30Heiko Mantel, David Sands 0001, Henning Sudbrock Assumptions and Guarantees for Compositional Noninterference. Search on Bibsonomy CSF The full citation details ... 2011 DBLP  DOI  BibTeX  RDF Assumption-Guarantee, Compositional Verification, Flow-Sensitivity, Information Flow Security
30Jei-Wen Teng, Yih-Kuen Tsay Composing Temporal-Logic Specifications with Machine Assistance. Search on Bibsonomy FME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Assumption-Guarantee, Compositional Specification, Formal Correctness, Temporal Logic, Theorem Proving, Concurrent Systems, PVS, Compositional Verification, Component-Based Software
26Irfan Sljivo, Barbara Gallina Building multiple-viewpoint assurance cases using assumption/guarantee contracts. Search on Bibsonomy ECSA Workshops The full citation details ... 2016 DBLP  BibTeX  RDF
26Bengt Jonsson 0001, Yih-Kuen Tsay Assumption/Guarantee Specifications in Linear-Time Temporal Logic. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
25Yih-Kuen Tsay Compositional Verification in Linear-Time Temporal Logic. Search on Bibsonomy FoSSaCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
7Liliana D'Errico, Michele Loreti Assume-Guarantee Verification of Concurrent Systems. Search on Bibsonomy COORDINATION The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
7Martín Abadi, Leslie Lamport An Old-Fashined Recipe for Real-Time. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Zeno, real time, temporal logic, composition, concurrent programming, safety properties, liveness properties
7Martín Abadi, Leslie Lamport An Old-Fashioned Recipe for Real Time. Search on Bibsonomy REX Workshop The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #9 of 9 (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