default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCOMPOS 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-3 - Willem P. de Roever:
The Need for Compositional Proof Systems: A Survey. 1-22 - Rajeev Alur, Thomas A. Henzinger, Orna Kupferman:
Alternating-Time Temporal Logic. 23-60 - Albert Benveniste, Paul Le Guernic, Pascal Aubry:
Compositionality in Dataflow Synchronous Languages: Specification and Code Generation. 61-80 - Sergey Berezin, Sérgio Vale Aguiar Campos, Edmund M. Clarke:
Compositional Reasoning in Model Checking. 81-102 - Sébastien Bornot, Joseph Sifakis, Stavros Tripakis:
Modeling Urgency in Timed Systems. 103-129 - Manfred Broy:
Compositional Refinement of Interactive Systems Modelled by Relations. 130-149 - Mads Dam, Lars-Åke Fredlund, Dilian Gurov
:
Toward Parametric Verification of Open Distributed Systems. 150-185 - Werner Damm, Bernhard Josko, Hardi Hungar, Amir Pnueli:
A Compositional Real-Time Semantics of STATEMATE Designs. 186-238 - Bernd Finkbeiner, Zohar Manna, Henny Sipma:
Deductive Verification of Modular Systems. 239-275 - Jozef Hooman:
Compositional Verification of Real-Time Applications. 276-300 - Jerry James, Ambuj K. Singh:
Compositional Proofs for Concurrent Objects. 301-326 - Theo M. V. Janssen:
An Overview of Compositional Translations. 327-349 - Catholijn M. Jonker, Jan Treur:
Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness. 350-380 - Orna Kupferman, Moshe Y. Vardi:
Modular Model Checking. 381-401 - Leslie Lamport:
Composition: A Way to Make Proofs Harder. 402-423 - Florence Maraninchi, Yann Rémond:
Compositionality Criteria for Defining Mixed-Styles Synchronous Languages. 424-438 - Ben C. Moszkowski:
Compositional Reasoning Using Interval Temporal Logic and Tempura. 439-464 - Ernst-Rüdiger Olderog, Henning Dierks:
Decomposing Real-Time Specifications. 465-489 - Axel Poigné, Leszek Holenderski:
On the Combination of Synchronous Languages. 490-514 - Roberto Segala:
Compositional Verification of Randomized Distributed Algorithms. 515-540 - Natarajan Shankar:
Lazy Compositional Verification. 541-564 - Qiwen Xu, Swarup Mohalik:
Compositional Reasoning Using the Assumption-Commitment Paradigm. 565-583 - Zhou Chaochen, Michael R. Hansen:
An Adequate First Order Interval Logic. 584-608 - Job Zwiers:
Compositional Transformational Design for Concurrent Programs. 609-631 - Frank S. de Boer, Willem P. de Roever:
Compositional Proof Methods for Concurrency: A Semantic Approach. 632-646
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-06-30 20:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
