Search results for "COMPOS"

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

Publications at "COMPOS"( http://dblp.L3S.de/Venues/COMPOS )