Вы здесь

Steffen B.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
П Characteristic Formulae for CCS with Divergence 1989 Steffen B. Univ.Edinburgh 20.06.1995
П Reactive, Generative, and Stratified Models of Probabilistic Processes 1990 Van Glabbeek R., Smolka S. A., Steffen B., Tofts C. CWI 07.06.1995
СТ Computing Behavioral Relations, Logically 1991 Cleaveland R., Steffen B. Lecture Notes in Computer Science 11.09.1991
СТ Lazy Code Motion 1992 Knoop J., Ruthing O., Steffen B. SIGPLAN Notices 14.07.1992
СТ Model Checking for Context-Free Processes 1992 Burkart O., Steffen B. Lecture Notes in Computer Science 16.10.1992
СТ The Interprocedural Coincidence Theorem 1992 Knoop J., Steffen B. Lecture Notes in Computer Science 27.10.1992
СТ The Concurrency Workbench: A Semantic-Based Tool for the Verification of Concurrent Systems 1993 Cleavleand R., Parrow J., Steffen B. ACM Trans. Programming Languages and Systems 16.03.1993
П Optimal Code Motion: Theory and Practice 1993 Knoop J., Ruthing O., Steffen B. Univ.Passau 06.04.1994
П Module Configuration by Minimal Model Construction 1993 Steffen B., Margaria T., Freitag B. Univ.Passau 06.04.1994
П Pushdown Processes: Parallel Composition and Model Checking 1993 Burkart O., Steffen B. Univ.Passau 01.04.1994
СТ Deciding Testing Equivalence for Real-Time Processes with Dense Time 1993 Steffen B., Weise C. Lecture Notes in Computer Science 21.10.1993
СТ A Pragmatic Approach to Software Synthesis 1994 Freitag B., Margaria T., Steffen B. SIGPLAN Notices 30.08.1994
СТ Partial Dead Code Elimination 1994 Knoop J., Ruthing O., Steffen B. SIGPLAN Notices 22.08.1994
П A Tool Kit for Constructing Optimal Interprocedural Data Flow Analyses 1994 Knoop J., Ruthing O., Steffen B. Univ.Passau 31.01.1995
П Parallelism for Free: Efficient and Optimal Bitvector Analyses for Parallel Programs 1994 Knoop J., Steffen B., Vollmer J. Univ.Passau 31.01.1995
П Chaotic Fixed Point Iterations 1994 Geser A., Knoop J., Luttgen G., Steffen B., Ruthing O. Univ.Passau 28.01.1995
П Composition, Decomposition and Model Checking of Pushdown Processes 1994 Burkart O., Steffen B. Univ.Passau Lecture Notes in Computer Science 28.01.1995
П Compositional Minimization of Finite State Systems Using Interface Specifications 1995 Graf S., Steffen B., Luttgen G. Univ.Passau 05.07.1995
П Finite Model Checking and Beyond 1995 Steffen B. Univ.Passau Lecture Notes in Computer Science 05.07.1995
П Heterogeneous Analysis and Verification for Distributed Systems 1995 Steffen B., Margaria T., Classen A. Univ.Passau 21.12.1995
П Incremental Formalization: A Key to Industrial Success 1995 Steffen B., Margaria T., Classen A., Braun V. Univ.Passau 18.01.1996
П Optimal Code Motion for Parallel Programs 1995 Knoop J., Steffen B., Vollmer J. Univ.Passau 21.12.1995
П A Constraint Oriented Proof Methodology Based on Modal Transition Systems 1995 Larsen K. G., Steffen B., Weise C. Univ.Passau 05.07.1995
СТ The Power of Assignment Motion 1995 Knoop J., Ruthing O., Steffen B. ACM SIGPLAN Notices 14.09.1995
СТ Parallelism for Free: Bitvector Analyses => No State Explosion! 1995 Knoop J., Steffen B., Vollmer J. Lecture Notes in Computer Science 11.01.1996
СТ 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
СТ An Elementary Bisimulaton Decision Procedure for Arbitrary Context-Free Processes 1995 Burkart O., Caucal D., Steffen B. Lecture Notes in Computer Science Mathematical Foundations of Computer Science 1995 24.10.1995
СТ A Constraint Oriented Proof Methodology Based on Model Transition Systems 1995 Larsen K. G., Steffen B., Weise C. Lecture Notes in Computer Science 11.01.1996
П Automatic Synthesis of Design Plans in METAFrame 1996 Margaria T., Steffen B. Lecture Notes in Computer Science Univ.Passau 26.11.1996
СТ Non-monotone Fixpoint Iterations to Resolve Second Order Effects 1996 Geser A., Knoop J., Luttgen G., Ruthing O., Steffen B. Lecture Notes in Computer Science 21.05.1996
СТ The Methodology of Modal Constraints 1996 Larsen K. G., Steffen B., Weise C. Lecture Notes in Computer Science 24.12.1996
П Basic-block Graphs: Living Denosaurs? 1997 Knoop J., Koschutzki D., Steffen B. Univ.Passau 30.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
СТ Program Analysis as Model Checking of Abstract Interpretations 1998 Schmidt D., Steffen B. Lecture Notes in Computer Science 01.10.1998
СТ Backtracking-Free Design Planning by Automatic Synthesis in MetaFrame 1998 Margaria T., Steffen B. Lecture Notes in Computer Science 18.04.1998
СТ Code Motion and Code Placement: Just Synonyms? 1998 Knoop J., Ruthing O., Steffen B. Lecture Notes in Computer Science 17.04.1998
СТ Basic-Block Graphs: Living Dinosaurs? 1998 Knoop J., Koschutzki D., Steffen B. Lecture Notes in Computer Science 17.04.1998
СТ Code Motion for Explicitly Parallel Programs 1999 Knoop J., Steffen B. SIGPLAN Notices 20.12.1999
СТ On the Evolution of Reactive Components - A Process-Algebraic Approach 1999 Muller-Olm M., Steffen B., Cleavaland R. Lecture Notes in Computer Science 06.04.1999
СТ Expansion-Based Removal of Semantic Partial Redundancies 1999 Knoop J., Ruthing O., Steffen B. Lecture Notes in Computer Science 02.04.1999
СТ Sparse Code Motion 2000 Ruthing O., Knoop J., Steffen B. Papers Presented at the 27th ACM SIGPLAN-SIGACT Symp. on Pinciples of Programming Languages 05.06.2000
СТ Constraint-Based Inter-Procedural Analysis of Parallel Programs 2000 Seidl H., Steffen B. Lecture Notes in Computer Science 25.04.2000
СТ 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
СТ Behaviour-Based Model Construction 2003 Steffen B., Hungar H. Lecture Notes in Computer Science 31.01.2003
СТ 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: 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
СБ Tools and Algorithms for the Construction and Analysis of Systems: Proc./4th Intern. Conf., TACAS 98 Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 98. Lisbon, Portugal, March-April 1998 1998 Lecture Notes in Computer Science
  1. Steffen B.
29.04.1998
СБ Correct System Design: Recent Insights and Advances 1999 Lecture Notes in Computer Science
  1. Olderog E. -R.
  2. Steffen B.
18.11.1999
СБ Verification, Model Checking, and Absract Interpretation: Proc./5th Intern. Conf., VMCAI 2004, Venice, Italy, January 2004 2004 Lecture Notes in Computer Science
  1. Steffen B.
  2. Levi G.
11.02.2004
СБ 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
СБ 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 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 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 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
СБ Transactions on Foundations for Mastering Change I 2016 Lecture Notes in Computer Science
  1. Steffen B.
09.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 IV: Industrial Practice: 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 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 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
СБ Computing and Software Science: State of the Art and Perspectives 2019 Lecture Notes in Computer Science
  1. Steffen B.
  2. Woeginger G.
24.04.2020
СБ Tools and Algorithms for the Construction and Analysis of Systems, Part III: Proc./25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 2019 2019 Lecture Notes in Computer Science
  1. Beyer D.
  2. Huisman M.
  3. Kordon F.
  4. Steffen B.
25.04.2019
СБ 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 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
СБ 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: Proc./10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 2021 2021 Lecture Notes in Computer Science
  1. Margaria T.
  2. Steffen B.
21025 11.11.2021