C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
COMPOS
1997
1998
1997
1998
Keyphrases
Publications
volume 1536, 1998
Compositionality: The Significant Difference, International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures
COMPOS
1536 (1998)
1997
Orna Kupferman
,
Moshe Y. Vardi
Modular Model Checking.
COMPOS
(1997)
Theo M. V. Janssen
An Overview of Compositional Translations.
COMPOS
(1997)
Zhou Chaochen
,
Michael R. Hansen
An Adequate First Order Interval Logic.
COMPOS
(1997)
Florence Maraninchi
,
Yann Rémond
Compositionality Criteria for Defining Mixed-Styles Synchronous Languages.
COMPOS
(1997)
Bernd Finkbeiner
,
Zohar Manna
,
Henny Sipma
Deductive Verification of Modular Systems.
COMPOS
(1997)
Ernst-Rüdiger Olderog
,
Henning Dierks
Decomposing Real-Time Specifications.
COMPOS
(1997)
Willem P. de Roever
The Need for Compositional Proof Systems: A Survey.
COMPOS
(1997)
Job Zwiers
Compositional Transformational Design for Concurrent Programs.
COMPOS
(1997)
Frank S. de Boer
,
Willem P. de Roever
Compositional Proof Methods for Concurrency: A Semantic Approach.
COMPOS
(1997)
Jerry James
,
Ambuj K. Singh
Compositional Proofs for Concurrent Objects.
COMPOS
(1997)
Catholijn M. Jonker
,
Jan Treur
Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness.
COMPOS
(1997)
Natarajan Shankar
Lazy Compositional Verification.
COMPOS
(1997)
Roberto Segala
Compositional Verification of Randomized Distributed Algorithms.
COMPOS
(1997)
Sergey Berezin
,
Sérgio Vale Aguiar Campos
,
Edmund M. Clarke
Compositional Reasoning in Model Checking.
COMPOS
(1997)
Qiwen Xu
,
Swarup Mohalik
Compositional Reasoning Using the Assumption-Commitment Paradigm.
COMPOS
(1997)
Rajeev Alur
,
Thomas A. Henzinger
,
Orna Kupferman
Alternating-Time Temporal Logic.
COMPOS
(1997)
Ben C. Moszkowski
Compositional Reasoning Using Interval Temporal Logic and Tempura.
COMPOS
(1997)
Albert Benveniste
,
Paul Le Guernic
,
Pascal Aubry
Compositionality in Dataflow Synchronous Languages: Specification and Code Generation.
COMPOS
(1997)
Jozef Hooman
Compositional Verification of Real-Time Applications.
COMPOS
(1997)
Sébastien Bornot
,
Joseph Sifakis
,
Stavros Tripakis
Modeling Urgency in Timed Systems.
COMPOS
(1997)
Manfred Broy
Compositional Refinement of Interactive Systems Modelled by Relations.
COMPOS
(1997)
Axel Poigné
,
Leszek Holenderski
On the Combination of Synchronous Languages.
COMPOS
(1997)
Mads Dam
,
Lars-Åke Fredlund
,
Dilian Gurov
Toward Parametric Verification of Open Distributed Systems.
COMPOS
(1997)
Werner Damm
,
Bernhard Josko
,
Hardi Hungar
,
Amir Pnueli
A Compositional Real-Time Semantics of STATEMATE Designs.
COMPOS
(1997)
Leslie Lamport
Composition: A Way to Make Proofs Harder.
COMPOS
(1997)