Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarCOMPOS 1997: Bad Malente, Germany
Willem P. de Roever, Hans Langmaack, Amir Pnueli:
Compositionality: The Significant Difference, International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures. Lecture Notes in Computer Science 1536, Springer 1998, ISBN 3-540-65493-3Willem P. de Roever:
The Need for Compositional Proof Systems: A Survey. 1-22Rajeev Alur, Thomas A. Henzinger, Orna Kupferman:
Alternating-Time Temporal Logic. 23-60Albert Benveniste, Paul Le Guernic, Pascal Aubry:
Compositionality in Dataflow Synchronous Languages: Specification and Code Generation. 61-80Sergey Berezin, Sérgio Vale Aguiar Campos, Edmund M. Clarke:
Compositional Reasoning in Model Checking. 81-102Sébastien Bornot, Joseph Sifakis, Stavros Tripakis:
Modeling Urgency in Timed Systems. 103-129Manfred Broy:
Compositional Refinement of Interactive Systems Modelled by Relations. 130-149Mads Dam, Lars-Åke Fredlund, Dilian Gurov:
Toward Parametric Verification of Open Distributed Systems. 150-185Werner Damm, Bernhard Josko, Hardi Hungar, Amir Pnueli:
A Compositional Real-Time Semantics of STATEMATE Designs. 186-238Bernd Finkbeiner, Zohar Manna, Henny Sipma:
Deductive Verification of Modular Systems. 239-275Jozef Hooman:
Compositional Verification of Real-Time Applications. 276-300Jerry James, Ambuj K. Singh:
Compositional Proofs for Concurrent Objects. 301-326Theo M. V. Janssen:
An Overview of Compositional Translations. 327-349Catholijn M. Jonker, Jan Treur:
Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness. 350-380Orna Kupferman, Moshe Y. Vardi:
Modular Model Checking. 381-401Leslie Lamport:
Composition: A Way to Make Proofs Harder. 402-423Florence Maraninchi, Yann Rémond:
Compositionality Criteria for Defining Mixed-Styles Synchronous Languages. 424-438Ben C. Moszkowski:
Compositional Reasoning Using Interval Temporal Logic and Tempura. 439-464Ernst-Rüdiger Olderog, Henning Dierks:
Decomposing Real-Time Specifications. 465-489Axel Poigné, Leszek Holenderski:
On the Combination of Synchronous Languages. 490-514Roberto Segala:
Compositional Verification of Randomized Distributed Algorithms. 515-540Natarajan Shankar:
Lazy Compositional Verification. 541-564Qiwen Xu, Swarup Mohalik:
Compositional Reasoning Using the Assumption-Commitment Paradigm. 565-583Zhou Chaochen, Michael R. Hansen:
An Adequate First Order Interval Logic. 584-608Job Zwiers:
Compositional Transformational Design for Concurrent Programs. 609-631Frank S. de Boer, Willem P. de Roever:
Compositional Proof Methods for Concurrency: A Semantic Approach. 632-646
last updated on 2019-10-18 23:06 CEST by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
