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