|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 4 keywords
|
|
|
Results
Found 26 publication records. Showing 26 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Willem P. de Roever, Hans Langmaack, Amir Pnueli (eds.) |
Compositionality: The Significant Difference, International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPOS ![Springer, 3-540-65493-3 The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Orna Kupferman, Moshe Y. Vardi |
Modular Model Checking. ![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. 381-401, 1997, Springer, 3-540-65493-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Theo M. V. Janssen |
An Overview of Compositional Translations. ![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. 327-349, 1997, Springer, 3-540-65493-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Zhou Chaochen, Michael R. Hansen |
An Adequate First Order Interval Logic. ![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. 584-608, 1997, Springer, 3-540-65493-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Florence Maraninchi, Yann Rémond |
Compositionality Criteria for Defining Mixed-Styles Synchronous Languages. ![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. 424-438, 1997, Springer, 3-540-65493-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Zohar Manna, Henny Sipma |
Deductive Verification of Modular Systems. ![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. 239-275, 1997, Springer, 3-540-65493-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Ernst-Rüdiger Olderog, Henning Dierks |
Decomposing Real-Time Specifications. ![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. 465-489, 1997, Springer, 3-540-65493-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Willem P. de Roever |
The Need for Compositional Proof Systems: A Survey. ![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. 1-22, 1997, Springer, 3-540-65493-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Job Zwiers |
Compositional Transformational Design for Concurrent Programs. ![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. 609-631, 1997, Springer, 3-540-65493-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Frank S. de Boer, Willem P. de Roever |
Compositional Proof Methods for Concurrency: A Semantic Approach. ![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. 632-646, 1997, Springer, 3-540-65493-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Jerry James, Ambuj K. Singh |
Compositional Proofs for Concurrent Objects. ![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. 301-326, 1997, Springer, 3-540-65493-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Catholijn M. Jonker, Jan Treur |
Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness. ![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. 350-380, 1997, Springer, 3-540-65493-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Natarajan Shankar |
Lazy Compositional Verification. ![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. 541-564, 1997, Springer, 3-540-65493-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Segala |
Compositional Verification of Randomized Distributed Algorithms. ![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. 515-540, 1997, Springer, 3-540-65493-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Sergey Berezin, Sérgio Vale Aguiar Campos, Edmund M. Clarke |
Compositional Reasoning in Model Checking. ![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. 81-102, 1997, Springer, 3-540-65493-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
|
1 | Rajeev Alur, Thomas A. Henzinger, Orna Kupferman |
Alternating-Time Temporal Logic. ![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. 23-60, 1997, Springer, 3-540-65493-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Ben C. Moszkowski |
Compositional Reasoning Using Interval Temporal Logic and Tempura. ![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. 439-464, 1997, Springer, 3-540-65493-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Albert Benveniste, Paul Le Guernic, Pascal Aubry |
Compositionality in Dataflow Synchronous Languages: Specification and Code Generation. ![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. 61-80, 1997, Springer, 3-540-65493-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
desynchronisation, modularity, code generation, synchronous languages, separate compilation |
1 | Jozef Hooman |
Compositional Verification of Real-Time Applications. ![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. 276-300, 1997, Springer, 3-540-65493-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Sébastien Bornot, Joseph Sifakis, Stavros Tripakis |
Modeling Urgency in Timed Systems. ![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. 103-129, 1997, Springer, 3-540-65493-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Broy |
Compositional Refinement of Interactive Systems Modelled by Relations. ![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. 130-149, 1997, Springer, 3-540-65493-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Axel Poigné, Leszek Holenderski |
On the Combination of Synchronous Languages. ![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. 490-514, 1997, Springer, 3-540-65493-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Mads Dam, Lars-Åke Fredlund, Dilian Gurov |
Toward Parametric Verification of Open Distributed Systems. ![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. 150-185, 1997, Springer, 3-540-65493-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Werner Damm, Bernhard Josko, Hardi Hungar, Amir Pnueli |
A Compositional Real-Time Semantics of STATEMATE Designs. ![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. 186-238, 1997, Springer, 3-540-65493-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Leslie Lamport |
Composition: A Way to Make Proofs Harder. ![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. 402-423, 1997, Springer, 3-540-65493-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #26 of 26 (100 per page; Change: )
|
|