П |
A Constraint Oriented Proof Methodology Based on Modal Transition Systems |
1995 |
Larsen K. G., Steffen B., Weise C. |
|
|
Univ.Passau |
|
05.07.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 |
СТ |
A Pragmatic Approach to Software Synthesis |
1994 |
Freitag B., Margaria T., Steffen B. |
|
|
|
SIGPLAN Notices |
30.08.1994 |
П |
A Tool Kit for Constructing Optimal Interprocedural Data Flow Analyses |
1994 |
Knoop J., Ruthing O., Steffen B. |
|
|
Univ.Passau |
|
31.01.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 |
СТ |
Automatic Error Location for IN Service Definition |
1998 |
Braun V., Margaria T., Steffen B., Yoo H. |
|
|
|
Lecture Notes in Computer Science |
09.05.1998 |
П |
Automatic Synthesis of Design Plans in METAFrame |
1996 |
Margaria T., Steffen B. |
Lecture Notes in Computer Science |
|
Univ.Passau |
|
26.11.1996 |
СТ |
Backtracking-Free Design Planning by Automatic Synthesis in MetaFrame |
1998 |
Margaria T., Steffen B. |
|
|
|
Lecture Notes in Computer Science |
18.04.1998 |
СТ |
Basic-Block Graphs: Living Dinosaurs? |
1998 |
Knoop J., Koschutzki D., Steffen B. |
|
|
|
Lecture Notes in Computer Science |
17.04.1998 |
П |
Basic-block Graphs: Living Denosaurs? |
1997 |
Knoop J., Koschutzki D., Steffen B. |
|
|
Univ.Passau |
|
30.04.1998 |
СТ |
Behaviour-Based Model Construction |
2003 |
Steffen B., Hungar H. |
|
|
|
Lecture Notes in Computer Science |
31.01.2003 |
П |
Chaotic Fixed Point Iterations |
1994 |
Geser A., Knoop J., Luttgen G., Steffen B., Ruthing O. |
|
|
Univ.Passau |
|
28.01.1995 |
П |
Characteristic Formulae for CCS with Divergence |
1989 |
Steffen B. |
|
|
Univ.Edinburgh |
|
20.06.1995 |
СТ |
Code Motion and Code Placement: Just Synonyms? |
1998 |
Knoop J., Ruthing O., 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 |
П |
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 |
СТ |
Computing Behavioral Relations, Logically |
1991 |
Cleaveland R., Steffen B. |
|
|
|
Lecture Notes in Computer Science |
11.09.1991 |
СТ |
Constraint-Based Inter-Procedural Analysis of Parallel Programs |
2000 |
Seidl H., Steffen B. |
|
|
|
Lecture Notes in Computer Science |
25.04.2000 |
СТ |
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 |
СТ |
Deciding Testing Equivalence for Real-Time Processes with Dense Time |
1993 |
Steffen B., Weise C. |
|
|
|
Lecture Notes in Computer Science |
21.10.1993 |
СТ |
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 |
СТ |
Expansion-Based Removal of Semantic Partial Redundancies |
1999 |
Knoop J., Ruthing O., Steffen B. |
|
|
|
Lecture Notes in Computer Science |
02.04.1999 |
П |
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 |
СТ |
Lazy Code Motion |
1992 |
Knoop J., Ruthing O., Steffen B. |
|
|
|
SIGPLAN Notices |
14.07.1992 |
СТ |
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 |
СТ |
Model Checking for Context-Free Processes |
1992 |
Burkart O., Steffen B. |
|
|
|
Lecture Notes in Computer Science |
16.10.1992 |
СТ |
Model Generation for Legacy Systems |
2004 |
Hungar H., Margaria T., Steffen B. |
|
|
|
Lecture Notes in Computer Science |
27.04.2004 |
П |
Module Configuration by Minimal Model Construction |
1993 |
Steffen B., Margaria T., Freitag B. |
|
|
Univ.Passau |
|
06.04.1994 |
СТ |
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 |
СТ |
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 |
П |
Optimal Code Motion for Parallel Programs |
1995 |
Knoop J., Steffen B., Vollmer J. |
|
|
Univ.Passau |
|
21.12.1995 |
П |
Optimal Code Motion: Theory and Practice |
1993 |
Knoop J., Ruthing O., Steffen B. |
|
|
Univ.Passau |
|
06.04.1994 |
СТ |
Parallelism for Free: Bitvector Analyses => No State Explosion! |
1995 |
Knoop J., Steffen B., Vollmer J. |
|
|
|
Lecture Notes in Computer Science |
11.01.1996 |
П |
Parallelism for Free: Efficient and Optimal Bitvector Analyses for Parallel Programs |
1994 |
Knoop J., Steffen B., Vollmer J. |
|
|
Univ.Passau |
|
31.01.1995 |
СТ |
Partial Dead Code Elimination |
1994 |
Knoop J., Ruthing O., Steffen B. |
|
|
|
SIGPLAN Notices |
22.08.1994 |
СТ |
Program Analysis as Model Checking of Abstract Interpretations |
1998 |
Schmidt D., Steffen B. |
|
|
|
Lecture Notes in Computer Science |
01.10.1998 |
П |
Pushdown Processes: Parallel Composition and Model Checking |
1993 |
Burkart O., Steffen B. |
|
|
Univ.Passau |
|
01.04.1994 |
П |
Reactive, Generative, and Stratified Models of Probabilistic Processes |
1990 |
Van Glabbeek R., Smolka S. A., Steffen B., Tofts C. |
|
|
CWI |
|
07.06.1995 |
СТ |
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 |
СТ |
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 |
СТ |
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 |
СТ |
The Interprocedural Coincidence Theorem |
1992 |
Knoop J., Steffen B. |
|
|
|
Lecture Notes in Computer Science |
27.10.1992 |
СТ |
The Methodology of Modal Constraints |
1996 |
Larsen K. G., Steffen B., Weise C. |
|
|
|
Lecture Notes in Computer Science |
24.12.1996 |
СТ |
The Power of Assignment Motion |
1995 |
Knoop J., Ruthing O., Steffen B. |
|
|
|
ACM SIGPLAN Notices |
14.09.1995 |
П |
Tool Coordination in MetaFrame |
1997 |
Classen A., Steffen B., Margaria T., Braun V. |
|
|
Univ.Passau |
|
05.11.1997 |