Вы здесь

Graf S.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A tool for symbolic program verification and abstraction 1993 Graf S., Loiseaux C. Lecture Notes in Computer Science 20.08.1993
СТ Abstraction as the Key for Invariant Verification 2003 Bensalem S., Graf S., Lakhnech Y. Lecture Notes in Computer Science 26.03.2004
П Compositional Minimization of Finite State Systems Using Interface Specifications 1995 Graf S., Steffen B., Luttgen G. Univ.Passau 05.07.1995
СТ Property Preserving Abstractions under Parallel Composition 1993 Graf S., Loiseaux C. Lecture Notes in Computer Science 26.05.1993
СТ Safety for Branching Time Semantics 1991 Bouajjani A., Fernandez J., Graf S., Rodriguez C., Sifakis J. Lecture Notes in Computer Science 11.09.1991
П The Quantization Dimension of Self-Similar Probabilities 2000 Graf S., Luschgy H. Univ.Passau 01.11.2000
П The Quantization Dimension of Self-Similar Sets 1996 Graf S., Luschgy H. Lecture Notes in Computer Science Univ.Passau 26.11.1996
П The Quantization of the Cantor Measure 1994 Graf S., Luschgy H. Univ.Passau 31.01.1995
СТ Timed Extensions for SDL 2001 Bozga M., Graf S., Mounier L., Ober I., Roux J. -L., Vincent D. Lecture Notes in Computer Science 04.08.2001
СТ Validation of UML Models via a Mapping to Communicating Extended Timed Automata 2004 Ober I., Graf S., Ober I. Lecture Notes in Computer Science 29.04.2004
СТ Verification Experiments on the MASCARA Protocol 2001 Jia G., Graf S. Lecture Notes in Computer Science 14.06.2001
СТ Verification of a Distributed Cache Memory by Using Abstractions 1994 Graf S. Lecture Notes in Computer Science 28.07.1994

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Automated Technology for Verification and Analysis: Proc./4th International Symposium, ATVA 2006. Beijing, China, October 2006 2006 Lecture Notes in Computer Science
  1. Graf S.
  2. Zhang W.
11.01.2007
СБ Formal Methods for Components and Objects: Proc./First Intern. Symp., FMCO 2002, Leiden, The Netherlands, November 2002 2003 Lecture Notes in Computer Science
  1. De Boer F. S.
  2. Bonsangue M. M.
  3. Graf S.
  4. De Roever W. -P.
15.01.2004
СБ Formal Methods for Components and Objects: Revised Lectures. Second International Symposium, FMCO 2003. Leiden, The Netherlands, November 2003 2004 Lecture Notes in Computer Science
  1. Deboer F. S.
  2. Bonsangue M. M.
  3. Graf S.
  4. Deroever W. -P.
12.02.2005
СБ 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
СБ Formal Techniques for Distributed Objects, Components, and Systems: Proc./35th IFIP WG 6.1 International Conference, FORTE 2015 Held as Part of the International Federated Conference, DisCoTec 2015, Grenoble, France, June 2015 2015 Lecture Notes in Computer Science
  1. Graf S.
  2. Viswanathan M.
22.07.2015
СБ Model Checking Software: Proc./11th Intern. SPIN Workshop, Barcelona, Spain, April 2004 2004 Lecture Notes in Computer Science
  1. Graf S.
  2. Mounier L.
29.04.2004
СБ Models, Mindsets, Meta: The What, the How, and Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday 2019 Lecture Notes in Computer Science
  1. Margaria T.
  2. Graf S.
  3. Larsen K. G.
14.08.2019
СБ Tools and Algorithms for the Construction and Analysis of Systems: Proc./6th Intern. Conf., TACAS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000. Berlin, Germany, March-April 2000 2000 Lecture Notes in Computer Science
  1. Graf S.
  2. Schwartzbach M.
26.04.2000