ask others

COMPOS 1997: Bad Malente, Germany

> Home > Conferences and Workshops > COMPOS

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/compos/1997
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/compos/1997
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
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/compos/Roever97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/compos/Roever97
Willem P. de Roever:
The Need for Compositional Proof Systems: A Survey. 1-22
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/compos/AlurHK97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/compos/AlurHK97
Rajeev Alur, Thomas A. Henzinger, Orna Kupferman:
Alternating-Time Temporal Logic. 23-60
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/compos/BenvenisteGA97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/compos/BenvenisteGA97
Albert Benveniste, Paul Le Guernic, Pascal Aubry:
Compositionality in Dataflow Synchronous Languages: Specification and Code Generation. 61-80
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/compos/BerezinCC97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/compos/BerezinCC97
Sergey Berezin, Sérgio Vale Aguiar Campos, Edmund M. Clarke:
Compositional Reasoning in Model Checking. 81-102
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/compos/BornotST97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/compos/BornotST97
Sébastien Bornot, Joseph Sifakis, Stavros Tripakis:
Modeling Urgency in Timed Systems. 103-129
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/compos/Broy97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/compos/Broy97
Manfred Broy:
Compositional Refinement of Interactive Systems Modelled by Relations. 130-149
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/compos/DamFG97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/compos/DamFG97
Mads Dam, Lars-Åke Fredlund, Dilian Gurov:
Toward Parametric Verification of Open Distributed Systems. 150-185
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/compos/DammJHP97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/compos/DammJHP97
Werner Damm, Bernhard Josko, Hardi Hungar, Amir Pnueli:
A Compositional Real-Time Semantics of STATEMATE Designs. 186-238
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/compos/FinkbeinerMS97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/compos/FinkbeinerMS97
Bernd Finkbeiner, Zohar Manna, Henny Sipma:
Deductive Verification of Modular Systems. 239-275
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/compos/Hooman97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/compos/Hooman97
Jozef Hooman:
Compositional Verification of Real-Time Applications. 276-300
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/compos/JamesS97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/compos/JamesS97
Jerry James, Ambuj K. Singh:
Compositional Proofs for Concurrent Objects. 301-326
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/compos/Janssen97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/compos/Janssen97
Theo M. V. Janssen:
An Overview of Compositional Translations. 327-349
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/compos/JonkerT97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/compos/JonkerT97
Catholijn M. Jonker, Jan Treur:
Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness. 350-380
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/compos/KupfermanV97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/compos/KupfermanV97
Orna Kupferman, Moshe Y. Vardi:
Modular Model Checking. 381-401
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/compos/Lamport97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/compos/Lamport97
Leslie Lamport:
Composition: A Way to Make Proofs Harder. 402-423
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/compos/MaraninchiR97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/compos/MaraninchiR97
Florence Maraninchi, Yann Rémond:
Compositionality Criteria for Defining Mixed-Styles Synchronous Languages. 424-438
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/compos/Moszkowski97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/compos/Moszkowski97
Ben C. Moszkowski:
Compositional Reasoning Using Interval Temporal Logic and Tempura. 439-464
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/compos/OlderogD97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/compos/OlderogD97
Ernst-Rüdiger Olderog, Henning Dierks:
Decomposing Real-Time Specifications. 465-489
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/compos/PoigneH97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/compos/PoigneH97
Axel Poigné, Leszek Holenderski:
On the Combination of Synchronous Languages. 490-514
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/compos/Segala97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/compos/Segala97
Roberto Segala:
Compositional Verification of Randomized Distributed Algorithms. 515-540
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/compos/Shankar97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/compos/Shankar97
Natarajan Shankar:
Lazy Compositional Verification. 541-564
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/compos/XuS97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/compos/XuS97
Qiwen Xu, Swarup Mohalik:
Compositional Reasoning Using the Assumption-Commitment Paradigm. 565-583
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/compos/ChaochenH97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/compos/ChaochenH97
Zhou Chaochen, Michael R. Hansen:
An Adequate First Order Interval Logic. 584-608
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/compos/Zwiers97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/compos/Zwiers97
Job Zwiers:
Compositional Transformational Design for Concurrent Programs. 609-631
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/compos/BoerR97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/compos/BoerR97
Frank S. de Boer, Willem P. de Roever:
Compositional Proof Methods for Concurrency: A Semantic Approach. 632-646

maintained by

, founded at