Вы здесь

De Roever W. -P.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Compositional Operational Semantics for JavaMT 2003 Abraham E., de Boer F. S., De Roever W. -P., Steffen M. Lecture Notes in Computer Science 26.03.2004
СТ A Dense-Time Temporal Logic with Nice Compositionality Properties 1997 Cau A., De Roever W. -P. Lecture Notes in Computer Science 10.12.1997
СТ A Tool-Supported Proof System for Multithreaded Java 2003 Abraham E., de Boer F. S., De Roever W. -P., Steffen M. Lecture Notes in Computer Science 31.01.2004
СТ Compositional Proof Methods for Concurrency: A Semantic Approach 1998 de Boer F. S., De Roever W. -P. Lecture Notes in Computer Science Lecture Notes in Computer Science 30.01.1999
СТ Final Report on ESPRIT BRA Project 3096 - SPEC 1992 De Roever W. -P. EATCS Bull. 19.08.1992
СТ Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic Approach 1999 de Boer F. S., Hannemann U., De Roever W. -P. Lecture Notes in Computer Science 26.10.1999
СТ Formal Semantics for Ward & Mellor s Transformation Schemas and the Specification of Fault-Tolerant Systems 1994 Petersohn C., Huizing C., Peleska J., De Roever W. -P. Lecture Notes in Computer Science 21.10.1994
СТ Inductive Proof Outlines for Monitors in Java 2003 Abraham E., de Boer F. S., De Roever W. -P., Steffen M. Lecture Notes in Computer Science 18.12.2003
СТ Predicates are Predicate Transformers: a unified compositional theory for concurrency 1990 Zwiers J., De Roever W. -P. Univ. di Pisa Concurrency and Compositionality 30.06.1995
СТ Simulation of Specification Statements in Hoare Logic 1996 Engelhardt K., De Roever W. -P. Lecture Notes in Computer Science Mathematical Foundations of Computer Science 1996 11.10.1996
СТ Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed Systems 1995 Zwiers J., Hannemann U., Lakhneche Y., De Roever W. -P. Lecture Notes in Computer Science 30.01.1996
СТ The Need for Compositional Proof Systems: A Survey 1998 De Roever W. -P. Lecture Notes in Computer Science Lecture Notes in Computer Science 29.01.1999
СТ Using Relative Refinement for Fault Tolerance 1993 Cau A., De Roever W. -P. Lecture Notes in Computer Science 27.05.1993
СТ Verification for Java s Reentrant Multithreading Concept 2002 Abraham-Munn E., de Boer F. S., De Roever W. -P., Steffen M. Lecture Notes in Computer Science 09.05.2002

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Compositionality: The Significant Difference: Revised Lectures /International Symposium, COMPOS 97. Bad Malente, Germany, September 1997 1998 Lecture Notes in Computer Science
  1. De Roever W. -P.
  2. Langmaack H.
  3. Pnueli A.
29.01.1999
СБ Formal Methods for Components and Objects: Revised Lectures/4th International Symposium, FMCO 2005. Amsterdam, The Netherlands, November 2005 2006 Lecture Notes in Artificial Intelligence
  1. de Boer F. S.
  2. Bonsangue M. M.
  3. Graf S.
  4. De Roever W. -P.
28.09.2006
СБ Formal Methods for Components and Objects: Revised Lectures/5th International Symposium, FMCO 2006. Amsterdam, The Netherlands, November 2006 2008 Lecture Notes in Computer Science
  1. de Boer F. S.
  2. Bonsangue M. M.
  3. Graf S.
  4. De Roever W. -P.
07.06.2008
СБ Formal Methods for Components and Objects: Revised Lectures/Third International Symposium, FMCO 2004. Leiden, The Netherlands, November 2004 2005 Lecture Notes in Computer Science
  1. de Boer F. S.
  2. Bonsangue M. M.
  3. Graf S.
  4. De Roever W. -P.
06.12.2005
СБ Formal Methods for Components and Objects: Revised Papers/6th International Symposium, FMCO 2007. Amsterdam, The Netherlands, October 2007 2008 Lecture Notes in Computer Science
  1. De Boer F. S.
  2. Bonsangue M. M.
  3. Graf S.
  4. De Roever W. -P.
14.04.2009
СБ Semantics: Foundations and Applications: Proc./REX Workshop. Beekbergen,The Netherlands, June 1-4, 1992 1993 Lecture Notes in Computer Science
  1. De Bakker J. W.
  2. De Roever W. -P.
  3. Rozenberg G.
10.06.1993