Вы здесь

Главная

Margaria T.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
П Module Configuration by Minimal Model Construction 1993 Steffen B., Margaria T., Freitag B. Univ.Passau 06.04.1994
СТ A Pragmatic Approach to Software Synthesis 1994 Freitag B., Margaria T., Steffen B. SIGPLAN Notices 30.08.1994
П Semantic Extraction for the Automatic Verification of VHDL Descriptions 1994 Margaria T., Griva M., Tesio R. Univ.Passau 31.01.1995
П Incremental Formalization: A Key to Industrial Success 1995 Steffen B., Margaria T., Classen A., Braun V. Univ.Passau 18.01.1996
П Heterogeneous Analysis and Verification for Distributed Systems 1995 Steffen B., Margaria T., Classen A. Univ.Passau 21.12.1995
СТ The Fixpoint-Analysis Machine 1995 Steffen B., Classen A., Klein M., Knoop J., Margaria T. Lecture Notes in Computer Science CONCUR 95: Concurrency Theory 14.10.1995
П Verification of Systolic Arrays in M2L(Str) 1996 Margaria T. Lecture Notes in Computer Science Univ.Passau 26.11.1996
П Automatic Synthesis of Design Plans in METAFrame 1996 Margaria T., Steffen B. Lecture Notes in Computer Science Univ.Passau 26.11.1996
СТ Fully Automatic Verification and Error Detection for Parameterized Iterative Sequential Circuits 1996 Margaria T. Lecture Notes in Computer Science 24.04.1996
П Advanced Intelligent Networks 97 1997 Margaria T. Univ.Passau 29.04.1998
П Tool Coordination in MetaFrame 1997 Classen A., Steffen B., Margaria T., Braun V. Univ.Passau 05.11.1997
СТ Automatic Error Location for IN Service Definition 1998 Braun V., Margaria T., Steffen B., Yoo H. Lecture Notes in Computer Science 09.05.1998
СТ Formal Methods and Customized Visualization: A Fruitful Symbiosis 1998 Margaria T., Braun V. Lecture Notes in Computer Science 09.05.1998
СТ Backtracking-Free Design Planning by Automatic Synthesis in MetaFrame 1998 Margaria T., Steffen B. Lecture Notes in Computer Science 18.04.1998
СТ Flexible and Reliable Process Model Properties: An Integrated Approach 1999 Margaria T., Gruhn V. Lecture Notes in Computer Science 29.09.1999
СТ Library-Based Design and Consistency Checking of System-Level Industrial Test Cases 2001 Niese O., Steffen B., Margaria T., Hagerer A., Brune G., Ide H. -D. Lecture Notes in Computer Science 05.05.2001
СТ Demonstration of an Automated Integrated Test Environment for Web-Based Applications 2002 Margaria T., Niese O., Steffen B. Lecture Notes in Computer Science 01.05.2002
СТ Components, Features, and Agents in the ABC 2004 Margaria T. Lecture Notes in Computer Science Lecture Notes in Computer Science 03.09.2004
СТ Model Generation for Legacy Systems 2004 Hungar H., Margaria T., Steffen B. Lecture Notes in Computer Science 27.04.2004
СТ Data-Flow Analysis as Model-Checking Within the jABC 2006 Lamprecht A. -L., Margaria T., Steffen B. Lecture Notes in Computer Science Lecture Notes in Computer Science 23.06.2006

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Tools and Algorithms for the Construction and Analysis of Systems: Selected Papers/First Intern. Workshop, TACAS 95, Aarhus, Denmark, May 1995 1995 Lecture Notes in Computer Science
  1. Brinksma E.
  2. Cleaveland W. R.
  3. Larsen K. G.
  4. Margaria T.
 10.01.1996
СБ Kolloquium: Programmiersprachen und Grundlagen der Programmierung. Adalbert Stifter Haus, Alt Reichenau. 11-13 Oktober 1995 1995
  1. Margaria T.
 Univ.Passau 23.05.1996
СБ AIN 96: Intern. Workshop on Advanced Intelligent Networks. Passau, Germany. March 25-26, 1996 1996
  1. Margaria T.
 Univ.Passau 23.05.1996
СБ Tools and Algorithms for the Construction and Analysis of Systems: Proc./Second Intern. Workshop, TACAS 96. Passau, Germany, March 1996 1996 Lecture Notes in Computer Science
  1. Margaria T.
  2. Steffen B.
 24.04.1996
СБ Services and Visualization: Towards User-Friendly Design: Proc./ACoS 98, VISUAL 98, AIN 97 1998 Lecture Notes in Computer Science
  1. Margaria T.
  2. Steffen B.
  3. Ruckert R.
  4. Posegga J.
 07.05.1998
СБ Correct Hardware Design and Verification Methods: Proc./11th IFIP WG 10.5 Advanced Research Working Conf., CHARME 2001, Livingston, Scotland, UK, September 2001 2001 Lecture Notes in Computer Science
  1. Margaria T.
  2. Melham T.
 06.10.2001
СБ Tools and Algorithms for the Construction and Analysis of Systems: Proc./ 7th International Conference,TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2001. Genova,Italy,April 2001 2001 Lecture Notes in Computer Science
  1. Margaria T.
  2. Yi W.
 08.05.2001
СБ Leveraging Applications of Formal Methods: Revised Selected Papers/1st International Symposium, ISoLA 2004. Paphos, Cyprus, October/November 2004 2006 Lecture Notes in Computer Science
  1. Margaria T.
  2. Steffen B.
 11.01.2007
СБ Software Process Improvement: Proc./14th European Conference, EuroSPI 2007. Potsdam, Germany, September 2007 2007 Lecture Notes in Computer Science
  1. Abrahamsson P.
  2. Baddo N.
  3. Margaria T.
  4. Messnarz R.
 07.01.2008
СБ Service-Oriented Computing - ICSOC 2008: Proc./6th International Conference. Sydney, Australia, December 2008 2008 Lecture Notes in Computer Science
  1. Bouguettaya A.
  2. Krueger I.
  3. Margaria T.
 27.01.2009
СБ Leveraging Applications of Formal Methods, Verification, and Validation, Part II: Proc./4th International Symposium on LA, ISoLA 2010, Heraclion, Grete, Greece, October 2010 2010 Lecture Notes in Computer Science
  1. Margaria T.
  2. Steffen B.
 23.11.2010
СБ Leveraging Applications of Formal Methods, Verification, and Validation, Part I: Proc./4th International Symposium on LA, ISoLA 2010, Heraklion,Grete,Greece, October 2010 2010 Lecture Notes in Computer Science
  1. Margaria T.
  2. Steffen B.
 23.11.2010
СБ Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, Part II: Proc./5th International Symposium, ISoLA 2012, Heraclion, Greese, October 2012 2012 Lecture Notes in Computer Science
  1. Margaria T.
  2. Steffen B.
 11.12.2012
СБ Leveraging Applications of Formal Mathods, Verification and Validation. Technologies for Mastering Change, Part I: Proc./5th International Symposium, ISoLA 2012, Heraclion, Greece, October 2012 2012 Lecture Notes in Computer Science
  1. Margaria T.
  2. Steffen B.
 11.12.2012
СБ Leveraging Application of Formal Methods, Verification and Validation: Specialized Techniques and Applications, Part II: Proc./6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 2014 2014 Lecture Notes in Computer Science
  1. Margaria T.
  2. Steffen B.
 18.11.2014
СБ Leveraging Applications of Formal Methods, Virification and Validation: Technologies for Mastering Change, Part I: Proc./6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 2014 2014 Lecture Notes in Computer Science
  1. Margaria T.
  2. Steffen B.
 18.11.2014
СБ Leveraging Applications of Formal Methods, Verification and Validation, Part II: Discussion, Dissemination, Applications: Proc./7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 2016 2016 Lecture Notes in Computer Science
  1. Margaria T.
  2. Steffen B.
 22.11.2016
СБ Leveraging Applications of Formal Methods, Verification and Validation, Part I: Foundational Techniques: Proc./7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 2016 2016 Lecture Notes in Computer Science
  1. Margaria T.
  2. Steffen B.
 22.11.2016
СБ Leveraging Applications of Formal Methods, Verification and Validation, Part II: Verification: Proc./8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 2018 2018 Lecture Notes in Computer Science
  1. Margaria T.
  2. Steffen B.
 13.12.2018
СБ Leveraging Applications of Formal Methods, Verification and Validation, Part III: Distributed Systems: Proc./8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 2018 2018 Lecture Notes in Computer Science
  1. Margaria T.
  2. Steffen B.
 13.12.2018
СБ Leveraging Applications of Formal Methods, Verification and Validation, Part I: Modeling: Proc./8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 2018 2018 Lecture Notes in Computer Science
  1. Margaria T.
  2. Steffen B.
 13.12.2018
СБ Leveraging Applications of Formal Methods, Verification and Validation, Part III: Applications: Proc./9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 2020 2020 Lecture Notes in Computer Science
  1. Margaria T.
  2. Steffen B.
 21250 03.12.2020
СБ Leveraging Applications of Formal Methods, Verification and Validation, Part I: Verification Principles: Proc./9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 2020 2020 Lecture Notes in Computer Science
  1. Margaria T.
  2. Steffen B.
 21248 03.12.2020
СБ Leveraging Applications of Formal Methods, Verification and Validation, Part II: Engineering Principles: Proc./9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 2020 2020 Lecture Notes in Computer Science
  1. Margaria T.
  2. Steffen B.
 21249 03.12.2020