The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "COMPOS"( http://dblp.L3S.de/Venues/COMPOS )

URL (DBLP): http://dblp.uni-trier.de/db/conf/compos

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