|
|
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 |
COMPOS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Orna Kupferman, Moshe Y. Vardi |
Modular Model Checking. |
COMPOS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Theo M. V. Janssen |
An Overview of Compositional Translations. |
COMPOS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Zhou Chaochen, Michael R. Hansen |
An Adequate First Order Interval Logic. |
COMPOS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Florence Maraninchi, Yann Rémond |
Compositionality Criteria for Defining Mixed-Styles Synchronous Languages. |
COMPOS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Zohar Manna, Henny Sipma |
Deductive Verification of Modular Systems. |
COMPOS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Ernst-Rüdiger Olderog, Henning Dierks |
Decomposing Real-Time Specifications. |
COMPOS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Willem P. de Roever |
The Need for Compositional Proof Systems: A Survey. |
COMPOS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Job Zwiers |
Compositional Transformational Design for Concurrent Programs. |
COMPOS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Frank S. de Boer, Willem P. de Roever |
Compositional Proof Methods for Concurrency: A Semantic Approach. |
COMPOS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Jerry James, Ambuj K. Singh |
Compositional Proofs for Concurrent Objects. |
COMPOS |
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. |
COMPOS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Natarajan Shankar |
Lazy Compositional Verification. |
COMPOS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Segala |
Compositional Verification of Randomized Distributed Algorithms. |
COMPOS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Sergey Berezin, Sérgio Vale Aguiar Campos, Edmund M. Clarke |
Compositional Reasoning in Model Checking. |
COMPOS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Qiwen Xu, Swarup Mohalik |
Compositional Reasoning Using the Assumption-Commitment Paradigm. |
COMPOS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Alur, Thomas A. Henzinger, Orna Kupferman |
Alternating-Time Temporal Logic. |
COMPOS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Ben C. Moszkowski |
Compositional Reasoning Using Interval Temporal Logic and Tempura. |
COMPOS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Albert Benveniste, Paul Le Guernic, Pascal Aubry |
Compositionality in Dataflow Synchronous Languages: Specification and Code Generation. |
COMPOS |
1997 |
DBLP DOI BibTeX RDF |
desynchronisation, modularity, code generation, synchronous languages, separate compilation |
1 | Jozef Hooman |
Compositional Verification of Real-Time Applications. |
COMPOS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Sébastien Bornot, Joseph Sifakis, Stavros Tripakis |
Modeling Urgency in Timed Systems. |
COMPOS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Broy |
Compositional Refinement of Interactive Systems Modelled by Relations. |
COMPOS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Axel Poigné, Leszek Holenderski |
On the Combination of Synchronous Languages. |
COMPOS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Mads Dam, Lars-Åke Fredlund, Dilian Gurov |
Toward Parametric Verification of Open Distributed Systems. |
COMPOS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Werner Damm, Bernhard Josko, Hardi Hungar, Amir Pnueli |
A Compositional Real-Time Semantics of STATEMATE Designs. |
COMPOS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Leslie Lamport |
Composition: A Way to Make Proofs Harder. |
COMPOS |
1997 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #26 of 26 (100 per page; Change: )
|
|