| 2008 |
|---|
| 154 | | Tiziana Margaria,
Bernhard Steffen:
Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings
Springer 2008 |
| 153 | EE | Anna-Lena Lamprecht,
Tiziana Margaria,
Bernhard Steffen:
Seven Variations of an Alignment Workflow - An Illustration of Agile Process Design and Management in Bio-jETI.
ISBRA 2008: 445-456 |
| 152 | EE | Georg Jung,
Tiziana Margaria,
Ralf Nagel,
Wolfgang Schubert,
Bernhard Steffen,
Horst Voigt:
SCA and jABC: Bringing a Service-Oriented Paradigm to Web-Service Construction.
ISoLA 2008: 139-154 |
| 151 | EE | Tiziana Margaria,
Bernhard Steffen:
Agile IT: Thinking in User-Centric Models.
ISoLA 2008: 490-502 |
| 150 | EE | Martina Hörmann,
Tiziana Margaria,
Thomas Mender,
Ralf Nagel,
Bernhard Steffen,
Hong Trinh:
The jABC Approach to Rigorous Collaborative Development of SCM Applications.
ISoLA 2008: 724-737 |
| 149 | EE | Harald Raffelt,
Tiziana Margaria,
Bernhard Steffen,
Maik Merten:
Hybrid test of web applications with webtest.
TAV-WEB 2008: 1-7 |
| 148 | EE | Tiziana Margaria,
Bernhard Steffen:
Preface.
Theor. Comput. Sci. 404(3): 185 (2008) |
| 2007 |
|---|
| 147 | EE | Harald Raffelt,
Bernhard Steffen,
Tiziana Margaria:
Dynamic Testing Via Automata Learning.
Haifa Verification Conference 2007: 136-152 |
| 146 | EE | Tiziana Margaria,
Harald Raffelt,
Bernhard Steffen,
Martin Leucker:
The LearnLib in FMICS-jETI.
ICECCS 2007: 340-352 |
| 145 | | Tiziana Margaria,
Christian Winkler,
Christian Kubczak,
Bernhard Steffen,
Marco Brambilla,
Stefano Ceri,
Dario Cerizza,
Emanuele Della Valle,
Federico Michele Facca,
Christina Tziviskou:
The SWS Mediator with WEBML/WEBRATIO and JABC/JETI: A Comparison.
ICEIS (4) 2007: 422-429 |
| 144 | | Marco Bakera,
Tiziana Margaria,
Clemens D. Renner,
Bernhard Steffen:
Verification, Diagnosis and Adaptation: Tool supported enhancement of the model-driven verification process.
ISoLA 2007: 85-97 |
| 143 | EE | Tiziana Margaria,
Bernhard Steffen:
Middleware: just another level for orchestration.
MNCNA 2007: 4 |
| 142 | | Maxim Reshetnyak,
Bernhard Steffen:
Pseudo-Spectral Modeling in Geodynamo.
PARCO 2007: 491-498 |
| 141 | EE | Tiziana Margaria,
Bernhard Steffen:
LTL Guided Planning: Revisiting Automatic Tool Composition in ETI.
SEW 2007: 214-226 |
| 140 | EE | Christian Kubczak,
Tiziana Margaria,
Bernhard Steffen,
Stefan Naujokat:
Service-Oriented Mediation with jETI/jABC: Verification and Export.
Web Intelligence/IAT Workshops 2007: 144-147 |
| 139 | EE | Christian Kubczak,
Tiziana Margaria,
Christian Winkler,
Bernhard Steffen:
An Approach to Discovery with miAamics and jABC.
Web Intelligence/IAT Workshops 2007: 157-160 |
| 138 | EE | Bernhard Steffen,
Prakash Narayan:
Full Life-Cycle Support for End-to-End Processes.
IEEE Computer 40(11): 64-73 (2007) |
| 2006 |
|---|
| 137 | | Tiziana Margaria,
Bernhard Steffen:
Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
Springer 2006 |
| 136 | EE | Tiziana Margaria,
Michael G. Hinchey,
Harald Raffelt,
James L. Rash,
Christopher A. Rouff,
Bernhard Steffen:
Completing and Adapting Models of Biological Processes.
BICC 2006: 43-54 |
| 135 | EE | Anna-Lena Lamprecht,
Tiziana Margaria,
Bernhard Steffen:
Data-Flow Analysis as Model Checking Within the jABC.
CC 2006: 101-104 |
| 134 | EE | Bernhard Steffen,
Tiziana Margaria:
Continuous Engineering of Embedded systems.
DIPES 2006: 45-54 |
| 133 | EE | Harald Raffelt,
Bernhard Steffen:
LearnLib: A Library for Automata Learning and Experimentation.
FASE 2006: 377-380 |
| 132 | EE | Bernhard Steffen,
Tiziana Margaria,
Ralf Nagel,
Sven Jörges,
Christian Kubczak:
Model-Driven Development with the jABC.
Haifa Verification Conference 2006: 92-108 |
| 131 | EE | Tiziana Margaria,
Christian Kubczak,
Marc Njoku,
Bernhard Steffen:
Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC.
ICECCS 2006: 169-176 |
| 130 | EE | Sven Jörges,
Tiziana Margaria,
Bernhard Steffen:
FormulaBuilder: a tool for graph-based modelling and generation of formulae.
ICSE 2006: 815-818 |
| 129 | EE | Tiziana Margaria,
Oliver Rüthing,
Bernhard Steffen:
ViDoC - Visual Design of Optimizing Compilers.
Program Analysis and Compilation 2006: 145-159 |
| 128 | EE | Tiziana Margaria,
Bernhard Steffen:
Service Engineering: Linking Business and IT.
SEW 2006: 33-36 |
| 127 | EE | Christian Topnik,
Eva Wilhelm,
Tiziana Margaria,
Bernhard Steffen:
jMosel: A Stand-Alone Tool and jABC Plugin for M2L(Str).
SPIN 2006: 293-298 |
| 126 | | Anna-Lena Lamprecht,
Tiziana Margaria,
Bernhard Steffen:
Datenflussanalyse als Modelchecking im jABC.
Software Engineering 2006: 125-130 |
| 125 | EE | Tiziana Margaria,
Bernhard Steffen:
Service Engineering: Linking Business and IT.
IEEE Computer 39(10): 45-55 (2006) |
| 124 | EE | Tiziana Margaria,
Bernhard Steffen:
Special Section on "Leveraging Formal Methods".
STTT 8(6): 467-469 (2006) |
| 2005 |
|---|
| 123 | EE | Tiziana Margaria,
A. Prasad Sistla,
Bernhard Steffen,
Lenore D. Zuck:
Taming Interface Specifications.
CONCUR 2005: 548-561 |
| 122 | EE | Tiziana Margaria,
Ralf Nagel,
Bernhard Steffen:
Remote Integration and Coordination of Verification Tools in JETI.
ECBS 2005: 431-436 |
| 121 | EE | Markus Müller-Olm,
Helmut Seidl,
Bernhard Steffen:
Interprocedural Herbrand Equalities.
ESOP 2005: 31-45 |
| 120 | EE | Therese Berg,
Olga Grinchtein,
Bengt Jonsson,
Martin Leucker,
Harald Raffelt,
Bernhard Steffen:
On the Correspondence Between Conformance Testing and Regular Inference.
FASE 2005: 175-189 |
| 119 | EE | Tiziana Margaria,
Bernhard Steffen,
Manfred Reitenspieß:
Service-Oriented Design: The Roots.
ICSOC 2005: 450-464 |
| 118 | EE | Tiziana Margaria,
Bernhard Steffen:
Second-Order Semantic Web.
SEW 2005: 219-227 |
| 117 | EE | Tiziana Margaria,
Bernhard Steffen,
Manfred Reitenspieß:
Service-Oriented Design: The jABC Approach.
Service Oriented Computing 2005 |
| 116 | EE | Tiziana Margaria,
Ralf Nagel,
Bernhard Steffen:
jETI: A Tool for Remote Tool Integration.
TACAS 2005: 557-562 |
| 115 | EE | Tiziana Margaria,
Bernhard Steffen:
From the How to the What.
VSTTE 2005: 448-459 |
| 114 | EE | Tiziana Margaria,
Bernhard Steffen:
Run-Time Agents as a Means of Reconciling Flexibility and Scalability of Services.
WRAC 2005: 257-268 |
| 113 | EE | Godehard Sutmann,
Bernhard Steffen:
A particle-particle particle-multigrid method for long-range interactions in molecular simulations.
Computer Physics Communications 169(1-3): 343-346 (2005) |
| 112 | EE | Tiziana Margaria,
Harald Raffelt,
Bernhard Steffen:
Knowledge-based relevance filtering for efficient system-level test-based model generation.
ISSE 1(2): 147-156 (2005) |
| 111 | EE | Mirko Loghi,
Tiziana Margaria,
Graziano Pravadelli,
Bernhard Steffen:
Dynamic and Formal Verification of Embedded Systems: A Comparative Survey.
International Journal of Parallel Programming 33(6): 585-611 (2005) |
| 2004 |
|---|
| 110 | | Tiziana Margaria,
Bernhard Steffen,
Anna Philippou,
Manfred Reitenspieß:
International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings
Department of Computer Science, University of Cyprus 2004 |
| 109 | | Bernhard Steffen,
Giorgio Levi:
Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings
Springer 2004 |
| 108 | EE | Bernhard Steffen:
Major Threat: From Formal Methods without Tools to Tools without Formal Methods.
ICECCS 2004: 15 |
| 107 | EE | Tiziana Margaria,
Bernhard Steffen:
Lightweight coarse-grained coordination: a scalable system-level approach.
STTT 5(2-3): 107-123 (2004) |
| 106 | EE | Hardi Hungar,
Bernhard Steffen:
Behavior-based model construction.
STTT 6(1): 4-14 (2004) |
| 2003 |
|---|
| 105 | EE | Hardi Hungar,
Oliver Niese,
Bernhard Steffen:
Domain-Specific Optimization in Automata Learning.
CAV 2003: 315-327 |
| 104 | EE | Hardi Hungar,
Tiziana Margaria,
Bernhard Steffen:
Test-Based Model Generation For Legacy Systems.
ITC 2003: 971-980 |
| 103 | EE | Volker Braun,
Tiziana Margaria,
Bernhard Steffen:
The Electronic Tool Integration Platform (ETI) and the Petri Net Technology.
Petri Net Technology for Communication-Based Systems 2003: 363-382 |
| 102 | EE | Bernhard Steffen,
Hardi Hungar:
Behavior-Based Model Construction.
VMCAI 2003: 5-19 |
| 2002 |
|---|
| 101 | EE | Andreas Hagerer,
Hardi Hungar,
Tiziana Margaria,
Oliver Niese,
Bernhard Steffen,
Hans-Dieter Ide:
Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems.
FASE 2002: 336-340 |
| 100 | EE | Andreas Hagerer,
Hardi Hungar,
Oliver Niese,
Bernhard Steffen:
Model Generation by Moderated Regular Extrapolation.
FASE 2002: 80-95 |
| 99 | EE | Hardi Hungar,
Tiziana Margaria,
Bernhard Steffen:
Model Generation for Legacy Systems.
RISSEF 2002: 167-183 |
| 98 | EE | Tiziana Margaria,
Oliver Niese,
Bernhard Steffen:
Demonstration of an Automated Integrated Test Environment for Web-Based Applications.
SPIN 2002: 250-253 |
| 97 | EE | Tiziana Margaria,
Bernhard Steffen:
Scalable System-level CTI Testing through Lightweight Coarse-grained Coordination.
Electr. Notes Theor. Comput. Sci. 66(2): (2002) |
| 2001 |
|---|
| 96 | EE | Oliver Niese,
Bernhard Steffen,
Tiziana Margaria,
Andreas Hagerer,
Georg Brune,
Hans-Dieter Ide:
Library-Based Design and Consistency Checking of System-Level Industrial Test Cases.
FASE 2001: 233-248 |
| 95 | EE | Bernhard Steffen,
Tiziana Margaria,
Volker Braun:
Coarse-Granular Model Checking in Practice.
SPIN 2001: 304-312 |
| 94 | | Bengt Jonsson,
Tiziana Margaria,
Gustaf Naeser,
Jan Nyström,
Bernhard Steffen:
Incremental Requirement Specification for Evolving Systems.
Nord. J. Comput. 8(1): 65-87 (2001) |
| 2000 |
|---|
| 93 | EE | Helmut Seidl,
Bernhard Steffen:
Constraint-Based Inter-Procedural Analysis of Parallel Programs.
ESOP 2000: 351-365 |
| 92 | | Bengt Jonsson,
Tiziana Margaria,
Gustaf Naeser,
Jan Nyström,
Bernhard Steffen:
Incremental Requirement Specification for Evolving Systems.
FIW 2000: 145-162 |
| 91 | EE | Oliver Rüthing,
Jens Knoop,
Bernhard Steffen:
Sparse Code Motion.
POPL 2000: 170-183 |
| 90 | | Helmut Seidl,
Bernhard Steffen:
Constraint-Based Inter-Procedural Analysis of Parallel Programs.
Nord. J. Comput. 7(4): 375- (2000) |
| 1999 |
|---|
| 89 | | Ernst-Rüdiger Olderog,
Bernhard Steffen:
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Springer 1999 |
| 88 | | Jens Knoop,
Oliver Rüthing,
Bernhard Steffen:
Expansion-Based Removal of Semantic Partial Redundancies.
CC 1999: 91-106 |
| 87 | EE | Bernhard Steffen,
Tiziana Margaria:
METAFrame in Practice: Design of Intelligent Network Services.
Correct System Design 1999: 390-415 |
| 86 | | Markus Müller-Olm,
Bernhard Steffen,
Rance Cleaveland:
On the Evolution of Reactive Components: A Process-Algebraic Approach.
FASE 1999: 161-175 |
| 85 | EE | Jens Knoop,
Bernhard Steffen:
Code Motion for Explicitly Parallel Programs.
PPOPP 1999: 13-24 |
| 84 | EE | Oliver Rüthing,
Jens Knoop,
Bernhard Steffen:
Detecting Equalities of Variables: Combining Efficiency with Precision.
SAS 1999: 232-247 |
| 83 | EE | Markus Müller-Olm,
David A. Schmidt,
Bernhard Steffen:
Model-Checking: A Tutorial Introduction.
SAS 1999: 330-354 |
| 82 | EE | Volker Braun,
Jürgen Kreileder,
Tiziana Margaria,
Bernhard Steffen:
The ETI Online Service in Action.
TACAS 1999: 439-443 |
| 81 | EE | Olaf Burkart,
Bernhard Steffen:
Model Checking the Full Modal mu-Calculus for Infinite Sequential Processes.
Theor. Comput. Sci. 221(1-2): 251-270 (1999) |
| 1998 |
|---|
| 80 | | Bernhard Steffen:
Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS '98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings
Springer 1998 |
| 79 | | Tiziana Margaria,
Bernhard Steffen,
Roland Rückert,
Joachim Posegga:
Services and Visualization: Towards User-Friendly Design, ACoS'98, VISUAL'98, AIN'97, Selected Papers
Springer 1998 |
| 78 | | Jens Knoop,
Dirk Koschützki,
Bernhard Steffen:
Basic-Block Graphs: Living Dinosaurs?
CC 1998: 65-79 |
| 77 | EE | Jens Knoop,
Oliver Rüthing,
Bernhard Steffen:
Code Motion and Code Placement: Just Synonyms?
ESOP 1998: 154-169 |
| 76 | EE | Tiziana Margaria,
Bernhard Steffen:
Backtracking-Free Design Planning by Automatic Synthesis in METAFrame.
FASE 1998: 188-204 |
| 75 | EE | David A. Schmidt,
Bernhard Steffen:
Program Analysis as Model Checking of Abstract Interpretations.
SAS 1998: 351-380 |
| 74 | EE | Volker Braun,
Tiziana Margaria,
Bernhard Steffen,
Haiseung Yoo:
Automatic Error Location for IN Service Definition.
Services and Visualization: Towards User-Friendly Design 1998: 222-237 |
| 1997 |
|---|
| 73 | | Olaf Burkart,
Bernhard Steffen:
Model Checking the Full Modal Mu-Calculus for Infinite Sequential Processes.
ICALP 1997: 419-429 |
| 72 | | Achim Basermann,
Bernhard Steffen:
Preconditioned Solvers for Large Eigenvalue Problems on Massively Parallel Computers and Workstation Clusters.
PARCO 1997: 565-572 |
| 71 | | Achim Basermann,
Bernhard Steffen:
New Preconditioned Solvers for Large Sparse Eigenvalue Problems on Massively Parallel Computers.
PPSC 1997 |
| 70 | | Bernhard Steffen:
Unifying Models.
STACS 1997: 1-20 |
| 69 | | Michael von der Beeck,
Volker Braun,
Andreas Claßen,
Achim Dannecker,
Carsten Friedrich,
Dirk Koschützki,
Tiziana Margaria,
Falk Schreiber,
Bernhard Steffen:
Graphs in METAFrame: The Unifying Power of Polymorphism.
TACAS 1997: 112-129 |
| 68 | EE | Rance Cleaveland,
Tiziana Margaria,
Bernhard Steffen:
Editorial.
STTT 1(1-2): 1-5 (1997) |
| 67 | EE | Kim Guldstrand Larsen,
Bernhard Steffen,
Carsten Weise:
Continuous Modeling of Real-Time and Hybrid Systems: From Concepts to Tools.
STTT 1(1-2): 64-85 (1997) |
| 66 | EE | Bernhard Steffen,
Tiziana Margaria,
Volker Braun:
The Electronic Tool Integration Platform: Concepts and Design.
STTT 1(1-2): 9-30 (1997) |
| 1996 |
|---|
| 65 | | Tiziana Margaria,
Bernhard Steffen:
Tools and Algorithms for Construction and Analysis of Systems, Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996, Proceedings
Springer 1996 |
| 64 | | Bernhard Steffen,
Tiziana Margaria,
Andreas Claßen,
Volker Braun:
Incremental Formalization.
AMAST 1996: 608-611 |
| 63 | | Bernhard Steffen,
Tiziana Margaria,
Andreas Claßen,
Volker Braun:
The METAFrame'95 Environment.
CAV 1996: 450-453 |
| 62 | | Alfons Geser,
Jens Knoop,
Gerald Lüttgen,
Oliver Rüthing,
Bernhard Steffen:
Non-monotone Fixpoint Iterations to Resolve Second Order Effects.
CC 1996: 106-120 |
| 61 | | Olaf Burkart,
Didier Caucal,
Bernhard Steffen:
Bisimulation Collapse and the Process Taxonomy.
CONCUR 1996: 247-262 |
| 60 | | Bernhard Steffen:
Property-Oriented Expansion.
SAS 1996: 22-41 |
| 59 | | Bernhard Steffen,
Tiziana Margaria,
Andreas Claßen,
Volker Braun,
Rita Nisius,
Manfred Reitenspieß:
A Constraint-Oriented Service Creation Environment.
TACAS 1996: 418-421 |
| 58 | | Marion Klein,
Jens Knoop,
Dirk Koschützki,
Bernhard Steffen:
DFA&OPT-METAFrame: A Tool Kit for Program Analysis and Optimazation.
TACAS 1996: 422-426 |
| 57 | | Bernhard Steffen,
Tiziana Margaria:
Tools Get Formal Methods into Practice.
ACM Comput. Surv. 28(4es): 126 (1996) |
| 56 | | Bernhard Steffen,
Tiziana Margaria:
Method Engineering for Real-Life Concurrent Systems.
ACM Comput. Surv. 28(4es): 56 (1996) |
| 55 | EE | Jens Knoop,
Bernhard Steffen,
Jürgen Vollmer:
Parallelism for Free: Efficient and Optimal Bitvector Analyses for Parallel Programs.
ACM Trans. Program. Lang. Syst. 18(3): 268-299 (1996) |
| 54 | EE | Bernhard Steffen:
Preface.
Electr. Notes Theor. Comput. Sci. 5: (1996) |
| 53 | | Scott A. Smolka,
Bernhard Steffen:
Priority as Extremal Probability.
Formal Asp. Comput. 8(5): 585-606 (1996) |
| 52 | | Susanne Graf,
Bernhard Steffen,
Gerald Lüttgen:
Compositional Minimisation of Finite State Systems Using Interface Specifications.
Formal Asp. Comput. 8(5): 607-616 (1996) |
| 51 | EE | Jens Knoop,
Oliver Rüthing,
Bernhard Steffen:
Towards a tool kit for the automatic generation of interprocedural data flow analyses.
J. Prog. Lang. 4(4): 211-246 (1996) |
| 50 | | Bernhard Steffen,
Tiziana Margaria,
Andreas Claßen:
Heterogeneous Analysis and Verification for Distributed Systems.
Software - Concepts and Tools 17(1): 13-25 (1996) |
| 49 | | Tiziana Margaria,
Bernhard Steffen:
Foreword.
Software - Concepts and Tools 17(2): 49 (1996) |
| 48 | | Bernhard Steffen,
Tiziana Margaria,
Andreas Claßen,
Volker Braun:
Incremental Formalization: A Key to Industrial Success.
Software - Concepts and Tools 17(2): 78- (1996) |
| 1995 |
|---|
| 47 | | Ed Brinksma,
Rance Cleaveland,
Kim Guldstrand Larsen,
Tiziana Margaria,
Bernhard Steffen:
Tools and Algorithms for Construction and Analysis of Systems, First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995, Proceedings
Springer 1995 |
| 46 | | Bernhard Steffen,
Andreas Claßen,
Marion Klein,
Jens Knoop,
Tiziana Margaria:
The Fixpoint-Analysis Machine.
CONCUR 1995: 72-87 |
| 45 | EE | Burkhard Freitag,
Bernhard Steffen,
Tiziana Margaria,
Ulrich Zukowski:
An Approach to Intelligent Software Library Management.
DASFAA 1995: 71-78 |
| 44 | | Kim Guldstrand Larsen,
Bernhard Steffen,
Carsten Weise:
Fischer's Protocol Revisited: A Simple Proof Using Modal Constraints.
Hybrid Systems 1995: 604-615 |
| 43 | | Olaf Burkart,
Didier Caucal,
Bernhard Steffen:
An Elementary Bisimulation Decision Procedure for Arbitrary Context-Free Processes.
MFCS 1995: 423-433 |
| 42 | | Jens Knoop,
Oliver Rüthing,
Bernhard Steffen:
The Power of Assignment Motion.
PLDI 1995: 233-245 |
| 41 | | Kim Guldstrand Larsen,
Bernhard Steffen,
Carsten Weise:
A Constraint Oriented Proof Methodology Based on Modal Transition Systems.
TACAS 1995: 17-40 |
| 40 | | Jens Knoop,
Bernhard Steffen,
Jürgen Vollmer:
Parallelism for Free: Bitvector Analyses -> No State Explosion!
TACAS 1995: 264-289 |
| 39 | | Bernhard Steffen,
Tiziana Margaria,
Andreas Claßen:
The META-Frame: An Environment for Flexible Tool Management.
TAPSOFT 1995: 791-792 |
| 38 | | Rob J. van Glabbeek,
Scott A. Smolka,
Bernhard Steffen:
Reactive, Generative and Stratified Models of Probabilistic Processes
Inf. Comput. 121(1): 59-80 (1995) |
| 37 | | Olaf Burkart,
Bernhard Steffen:
Composition, Decomposition and Model Checking of Pushdown Processes.
Nord. J. Comput. 2(2): 89-125 (1995) |
| 1994 |
|---|
| 36 | | Olaf Burkart,
Bernhard Steffen:
Pushdown Processes: Parallel Composition and Model Checking.
CONCUR 1994: 98-113 |
| 35 | | Kim Guldstrand Larsen,
Bernhard Steffen,
Carsten Weise:
The Methodology of Modal Constraints.
Formal Systems Specification 1994: 405-435 |
| 34 | | Jens Knoop,
Oliver Rüthing,
Bernhard Steffen:
Partial Dead Code Elimination.
PLDI 1994: 147-158 |
| 33 | | Burkhard Freitag,
Tiziana Margaria,
Bernhard Steffen:
A Pragmatic Approach to Software Synthesis.
Workshop on Interface Definition Languages 1994: 46-58 |
| 32 | EE | Jens Knoop,
Oliver Rüthing,
Bernhard Steffen:
Optimal Code Motion: Theory and Practice.
ACM Trans. Program. Lang. Syst. 16(4): 1117-1155 (1994) |
| 31 | | Bernhard Steffen,
Anna Ingólfsdóttir:
Characteristic Formulae for Processes with Divergence
Inf. Comput. 110(1): 149-163 (1994) |
| 30 | | Hardi Hungar,
Bernhard Steffen:
Local Model-Checking for Context-Free Processes.
Nord. J. Comput. 1(3): 364- (1994) |
| 1993 |
|---|
| 29 | | Hardi Hungar,
Bernhard Steffen:
Local Model Checking for Context-Free Processes.
ICALP 1993: 593-605 |
| 28 | | Bernhard Steffen,
Carsten Weise:
Deciding Testing Equivalence for Real-Time Processes with Dense Time.
MFCS 1993: 703-713 |
| 27 | EE | Rance Cleaveland,
Joachim Parrow,
Bernhard Steffen:
The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems.
ACM Trans. Program. Lang. Syst. 15(1): 36-72 (1993) |
| 26 | | Rance Cleaveland,
Bernhard Steffen:
A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus.
Formal Methods in System Design 2(2): 121-147 (1993) |
| 25 | | Bernhard Steffen:
Generating Data Flow Analysis Algorithms from Modal Specifications.
Sci. Comput. Program. 21(2): 115-139 (1993) |
| 1992 |
|---|
| 24 | EE | Jens Knoop,
Oliver Rüthing,
Bernhard Steffen:
Lazy code motion (with retrospective)
Best of PLDI 1992: 460-472 |
| 23 | | Rance Cleaveland,
Marion Klein,
Bernhard Steffen:
Faster Model Checking for the Modal Mu-Calculus.
CAV 1992: 410-422 |
| 22 | | Jens Knoop,
Bernhard Steffen:
The Interprocedural Coincidence Theorem.
CC 1992: 125-140 |
| 21 | | Olaf Burkart,
Bernhard Steffen:
Model Checking for Context-Free Processes.
CONCUR 1992: 123-137 |
| 20 | | Jens Knoop,
Oliver Rüthing,
Bernhard Steffen:
Lazy Code Motion.
PLDI 1992: 224-234 |
| 19 | | Bernhard Steffen,
C. Barry Jay,
Michael Mendler:
Compositional characterization of observable program properties.
ITA 26: 403-424 (1992) |
| 1991 |
|---|
| 18 | | Rance Cleaveland,
Bernhard Steffen:
A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus.
CAV 1991: 48-58 |
| 17 | | Rance Cleaveland,
Bernhard Steffen:
Computing Behavioural Relations, Logically.
ICALP 1991: 127-138 |
| 16 | | Bernhard Steffen:
Data Flow Analysis as Model Checking.
TACS 1991: 346-365 |
| 15 | | Bernhard Steffen,
Jens Knoop,
Oliver Rüthing:
Efficient Code Motion and an Adaption to Strength Reduction.
TAPSOFT, Vol.2 1991: 394-415 |
| 14 | | Bernhard Steffen,
Jens Knoop:
Finite Constants: Characterizations of a New Decidable Set of Constants.
Theor. Comput. Sci. 80(2): 303-318 (1991) |
| 1990 |
|---|
| 13 | | Susanne Graf,
Bernhard Steffen:
Compositional Minimization of Finite State Systems.
CAV 1990: 186-196 |
| 12 | | Rance Cleaveland,
Bernhard Steffen:
A Preorder for Partial Process Specifications.
CONCUR 1990: 141-151 |
| 11 | | Scott A. Smolka,
Bernhard Steffen:
Priority as Extremal Probability.
CONCUR 1990: 456-466 |
| 10 | | Bernhard Steffen,
Jens Knoop,
Oliver Rüthing:
The Value Flow Graph: A Program Representation for Optimal Program Transformations.
ESOP 1990: 389-405 |
| 9 | | Rob J. van Glabbeek,
Scott A. Smolka,
Bernhard Steffen,
Chris M. N. Tofts:
Reactive, Generative, and Stratified Models of Probabilistic Processes
LICS 1990: 130-141 |
| 8 | | Rance Cleaveland,
Bernhard Steffen:
When is ``Partial'' Adequate? A Logic-Based Proof Technique Using Partial Specifications
LICS 1990: 440-449 |
| 1989 |
|---|
| 7 | | Rance Cleaveland,
Joachim Parrow,
Bernhard Steffen:
The Concurrency Workbench.
Automatic Verification Methods for Finite State Systems 1989: 24-37 |
| 6 | | Bernhard Steffen:
Characteristic Formulae.
ICALP 1989: 723-732 |
| 5 | | Bernhard Steffen,
Jens Knoop:
Finite Constants: Characterizations of a New Decidable Set of Constants.
MFCS 1989: 481-491 |
| 4 | | Bernhard Steffen:
Optimal Data Flow Analysis via Observational Equivalence.
MFCS 1989: 492-502 |
| 3 | | Rance Cleaveland,
Joachim Parrow,
Bernhard Steffen:
A Semantics Based Verification Tool for Finite State Systems.
PSTV 1989: 287-302 |
| 1988 |
|---|
| 2 | EE | Bernhard Steffen:
Implementation of a resonant cavity package on MIMD computers.
Parallel Computing 7(1): 55-63 (1988) |
| 1987 |
|---|
| 1 | | Bernhard Steffen:
Optimal Run Time Optimization Proved by a New Look at Abstract Interpretation.
TAPSOFT, Vol.1 1987: 52-68 |
