Вы здесь

Главная

Steffen M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes 2005 Abraham E., Bonsangue M. M., de Boer F. S., Steffen M. Lecture Notes in Computer Science Lecture Notes in Computer Science 26.04.2005
СТ Optimizing Bounded Model Checking for Linear Hybrid Systems 2005 Abraham E., Becker B., Klaedtke F., Steffen M. Lecture Notes in Computer Science Lecture Notes in Computer Science 23.03.2005
СТ Synchronous Closing and Flow Analysis for Model Checking Timed Systems 2004 Ioustinova N., Sidorova N., Steffen M. Lecture Notes in Computer Science Lecture Notes in Computer Science 12.02.2005
СТ 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 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
СТ 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
СТ 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
СТ Verifying Large SDL-Specifications Using Model Checking 2001 Sidorova N., Steffen M. Lecture Notes in Computer Science 04.08.2001
СТ Embedding Chaos 2001 Sidorova N., Steffen M. Lecture Notes in Computer Science 31.07.2001
СТ Divide, Abstract, and Model-Check 1999 Stahl K., Baukus K., Lakhnech Y., Steffen M. Lecture Notes in Computer Science 26.10.1999

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Software Engineering and Formal Methods: Revised Selected Papers/SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 2019 2020 Lecture Notes in Computer Science
  1. Camara J.
  2. Steffen M.
 20900 02.10.2020
СБ Fundamentals of Computation Theory: Proc./18th International Symposium, FCT 2011, Oslo, Norway, August 2011 2011 Lecture Notes in Computer Science
  1. Owe O.
  2. Steffen M.
  3. Telle J. A.
 18.10.2011
СБ Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever 2010 Lecture Notes in Computer Science
  1. Dams D.
  2. Hannemann U.
  3. Steffen M.
 12.05.2010
СБ Formal Methods for Open Object-Based Distributed Systems: Proc./7th IFIP WG 6.1 International Conference, FMOODS 2005. Athens, Greece, June 2005 2005 Lecture Notes in Computer Science
  1. Steffen M.
  2. Zavattaro G.
 20.08.2005