Bernhard Steffen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
172
Venues
39
Active years
1989–2025
Best venue rank
A*
Where they publish
- CISoLA53 papers
- ATACAS13 papers
- BFASE9 papers
- CSEW8 papers
- BICECCS8 papers
- A*CAV7 papers
- BCONCUR7 papers
- BVMCAI5 papers
- CFMICS5 papers
- BCC5 papers
- AESOP4 papers
- BSAS4 papers
- A*ICALP4 papers
- BMFCS4 papers
- A*PLDI4 papers
- BRV3 papers
- A*ICSE3 papers
- BATVA2 papers
- AITC2 papers
- BETS2 papers
- A*LICS2 papers
- BICAART1 paper
- ACGO1 paper
- CTAP1 paper
- CVECoS1 paper
- BSPLC1 paper
- BSEFM1 paper
- AECAI1 paper
- BCOMPSAC1 paper
- NationalPPAM1 paper
- NationalQUATIC1 paper
- AISSTA1 paper
- AMiddleware1 paper
- AICSOC1 paper
- A*POPL1 paper
- BPPoPP1 paper
- ASTACS1 paper
- BDASFAA1 paper
- CPDP1 paper
Papers
172 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CAV | LearnLib: 10 years later. | Markus Frohme, Falk Howar, Bernhard Steffen |
| 2025 | ICAART | An Efficient Compilation-Based Approach to Explaining Random Forests Through Decision Trees. | Alnis Murtovi, Maximilian Schlter, Bernhard Steffen |
| 2024 | CGO | Enhancing Performance Through Control-Flow Unmerging and Loop Unrolling on GPUs. | Alnis Murtovi, Giorgis Georgakoudis, Konstantinos Parasyris, Chunhua Liao, Ignacio Laguna, Bernhard Steffen |
| 2024 | ISoLA | Code-Centric Code Generation. | Daniel Busch, Steven Smyth, Tim Tegeler, Bernhard Steffen |
| 2024 | TAP | Affinitree: A Compositional Framework for Formal Analysis and Explanation of Deep Neural Networks. | Maximilian Schlter, Bernhard Steffen |
| 2023 | VECoS | ChatGPT in the Loop: A Natural Language Extension for Domain-Specific Modeling Languages. | Daniel Busch, Gerrit Nolte, Alexander Bainczyk, Bernhard Steffen |
| 2022 | ISoLA | Towards Continuous Quality Control in the Context of Language-Driven Engineering. | Alexander Bainczyk, Steve Boelmann, Marvin Krause, Marco Krumrey, Dominic Wirkner, Bernhard Steffen |
| 2022 | ISoLA | Cinco Cloud: A Holistic Approach for Web-Based Language-Driven Engineering. | Alexander Bainczyk, Daniel Busch, Marco Krumrey, Daniel Sami Mitwalli, Jonas Schrmann, Joel Tagoukeng Dongmo, Bernhard Steffen |
| 2022 | ISoLA | Discussing the Future Role of Documentation in the Context of Modern Software Engineering (ISoLA 2022 Track Introduction). | Klaus Havelund, Tim Tegeler, Steven Smyth, Bernhard Steffen |
| 2022 | ISoLA | Formal Methods Meet Machine Learning (F3ML). | Kim G. Larsen, Axel Legay, Gerrit Nolte, Maximilian Schlter, Marille Stoelinga, Bernhard Steffen |
| 2022 | ISoLA | DIME Days (ISoLA 2022 Track Introduction). | Tiziana Margaria, Dominic Wirkner, Daniel Busch, Alexander Bainczyk, Tim Tegeler, Bernhard Steffen |
| 2022 | ISoLA | Executable Documentation: Test-First in Action. | Steven Smyth, Jette Petzold, Jonas Schrmann, Florian Karbus, Tiziana Margaria, Reinhard von Hanxleden, Bernhard Steffen |
| 2022 | ISoLA | Executable Documentation: From Documentation Languages to Purpose-Specific Languages. | Tim Tegeler, Steve Boelmann, Jonas Schrmann, Steven Smyth, Sebastian Teumert, Bernhard Steffen |
| 2022 | TACAS | Forest GUMP: A Tool for Explanation. | Alnis Murtovi, Alexander Bainczyk, Bernhard Steffen |
| 2021 | ISoLA | Programming - What is Next? | Klaus Havelund, Bernhard Steffen |
| 2021 | ISoLA | Agile Business Engineering: From Transformation Towards ContinuousInnovation. | Barbara Steffen, Falk Howar, Tim Tegeler, Bernhard Steffen |
| 2021 | ISoLA | Asking Why. | Barbara Steffen, Bernhard Steffen |
| 2021 | ISoLA | An Introduction to Graphical Modeling of CI/CD Workflows with Rig. | Tim Tegeler, Sebastian Teumert, Jonas Schrmann, Alexander Bainczyk, Daniel Busch, Bernhard Steffen |
| 2021 | ISoLA | Pyrus: An Online Modeling Environment for No-Code Data-Analytics Service Composition. | Philip Zweihoff, Bernhard Steffen |
| 2021 | ISoLA | Aligned, Purpose-Driven Cooperation: The Future Way of System Development. | Philip Zweihoff, Tim Tegeler, Jonas Schrmann, Alexander Bainczyk, Bernhard Steffen |
| 2021 | VMCAI | Generative Program Analysis and Beyond: The Power of Domain-Specific Languages (Invited Paper). | Bernhard Steffen, Alnis Murtovi |
| 2020 | ISoLA | Every Component Matters: Generating Parallel Verification Benchmarks with Hardness Guarantees. | Marc Jasper, Maximilian Schlter, David Schmidt, Bernhard Steffen |
| 2020 | ISoLA | Guaranteeing Type Consistency in Collective Adaptive Systems. | Jonas Schrmann, Tim Tegeler, Bernhard Steffen |
| 2019 | FASE | Pyro: Generating Domain-Specific Collaborative Online Modeling Environments. | Philip Zweihoff, Stefan Naujokat, Bernhard Steffen |
| 2019 | TACAS | TOOLympics 2019: An Overview of Competitions in Formal Methods. | Ezio Bartocci, Dirk Beyer, Paul E. Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, Fabrice Kordon, Julian Nagele, Mihaela Sighireanu, Bernhard Steffen, Martin Suda, Geoff Sutcliffe, Tjark Weber, Akihisa Yamada |
| 2019 | TACAS | RERS 2019: Combining Synthesis with Real-World Models. | Marc Jasper, Malte Mues, Alnis Murtovi, Maximilian Schlter, Falk Howar, Bernhard Steffen, Markus Schordan, Dennis Hendriks, Ramon R. H. Schiffelers, Harco Kuppens, Frits W. Vaandrager |
| 2018 | FMICS | Active Mining of Document Type Definitions. | Markus Frohme, Bernhard Steffen |
| 2018 | FMICS | Predicate Abstraction and Such... | Bernhard Steffen, Tiziana Margaria |
| 2018 | FMICS | M3C: Modal Meta Model Checking. | Bernhard Steffen, Alnis Murtovi |
| 2018 | ISoLA | On the Difficulty of Drawing the Line. | Steve Boelmann, Stefan Naujokat, Bernhard Steffen |
| 2018 | ISoLA | Towards a Unified View of Modeling and Programming (ISoLA 2018 Track Introduction). | Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen |
| 2018 | ISoLA | DSLs for Decision Services: A Tutorial Introduction to Language-Driven Engineering. | Frederik Gossen, Tiziana Margaria, Alnis Murtovi, Stefan Naujokat, Bernhard Steffen |
| 2018 | ISoLA | RERS 2018: CTL, LTL, and Reachability. | Marc Jasper, Malte Mues, Maximilian Schlter, Bernhard Steffen, Falk Howar |
| 2018 | ISoLA | Synthesizing Subtle Bugs with Known Witnesses. | Marc Jasper, Bernhard Steffen |
| 2018 | ISoLA | Design for 'X' Through Model Transformation. | Michael Lybecait, Dawid Kopetzki, Bernhard Steffen |
| 2018 | ISoLA | A Tutorial Introduction to Graphical Modeling and Metamodeling with CINCO. | Michael Lybecait, Dawid Kopetzki, Philip Zweihoff, Annika Fuhge, Stefan Naujokat, Bernhard Steffen |
| 2016 | FMICS | A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems. | Mounir Chadli, Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Stefan Naujokat, Bernhard Steffen, Kim Guldstrand Larsen |
| 2016 | ISoLA | ALEX: Mixed-Mode Learning of Web Applications at Ease. | Alexander Bainczyk, Alexander Schieweck, Malte Isberner, Tiziana Margaria, Johannes Neubauer, Bernhard Steffen |
| 2016 | ISoLA | DIME: A Programming-Less Modeling Environment for Web Applications. | Steve Boelmann, Markus Frohme, Dawid Kopetzki, Michael Lybecait, Stefan Naujokat, Johannes Neubauer, Dominic Wirkner, Philip Zweihoff, Bernhard Steffen |
| 2016 | ISoLA | Towards a Unified View of Modeling and Programming (Track Summary). | Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen |
| 2016 | ISoLA | RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification. | Maren Geske, Marc Jasper, Bernhard Steffen, Falk Howar, Markus Schordan, Jaco van de Pol |
| 2016 | ISoLA | Synthesis from a Practical Perspective. | Sven Jrges, Anna-Lena Lamprecht, Tiziana Margaria, Stefan Naujokat, Bernhard Steffen |
| 2016 | ISoLA | Meta-Level Reuse for Mastering Domain Specialization. | Stefan Naujokat, Johannes Neubauer, Tiziana Margaria, Bernhard Steffen |
| 2015 | CAV | The Open-Source LearnLib - A Framework for Active Automata Learning. | Malte Isberner, Falk Howar, Bernhard Steffen |
| 2015 | RV | Rigorous Examination of Reactive Systems: The RERS Challenge 2015. | Maren Geske, Malte Isberner, Bernhard Steffen |
| 2015 | RV | LearnLib Tutorial - An Open-Source Java Library for Active Automata Learning. | Malte Isberner, Bernhard Steffen, Falk Howar |
| 2015 | SPLC | User-level synthesis: treating product lines as systems of constraints. | Bernhard Steffen, Anna-Lena Lamprecht, Tiziana Margaria |
| 2014 | ISoLA | Tutorial: Automata Learning in Practice. | Falk Howar, Malte Isberner, Bernhard Steffen |
| 2014 | ISoLA | Learning Models for Verification and Testing - Special Track at ISoLA 2014 Track Introduction. | Falk Howar, Bernhard Steffen |
| 2014 | ISoLA | Back-To-Back Testing of Model-Based Code Generators. | Sven Jrges, Bernhard Steffen |
| 2014 | ISoLA | Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent Systems. | Stefan Naujokat, Louis-Marie Traonouez, Malte Isberner, Bernhard Steffen, Axel Legay |
| 2014 | ISoLA | Prototype-Driven Development of Web Applications with DyWA. | Johannes Neubauer, Markus Frohme, Bernhard Steffen, Tiziana Margaria |
| 2014 | ISoLA | Learning-Based Cross-Platform Conformance Testing. | Johannes Neubauer, Bernhard Steffen |
| 2014 | RV | The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning. | Malte Isberner, Falk Howar, Bernhard Steffen |
| 2014 | SEFM | Learning Extended Finite State Machines. | Sofia Cassel, Falk Howar, Bengt Jonsson, Bernhard Steffen |
| 2012 | ATVA | A Succinct Canonical Register Automaton Model for Data Domains with Binary Relations. | Sofia Cassel, Bengt Jonsson, Falk Howar, Bernhard Steffen |
| 2012 | ECAI | Machine Learning for Emergent Middleware. | Amel Bennaceur, Valrie Issarny, Daniel Sykes, Falk Howar, Malte Isberner, Bernhard Steffen, Richard Johansson, Alessandro Moschitti |
| 2012 | FASE | Loose Programming with PROPHETS. | Stefan Naujokat, Anna-Lena Lamprecht, Bernhard Steffen |
| 2012 | ICSE | Simplicity principles for plug-in development: the jABC approach. | Stefan Naujokat, Anna-Lena Lamprecht, Bernhard Steffen, Sven Jrges, Tiziana Margaria |
| 2012 | ICSE | Automated continuous quality assurance. | Johannes Neubauer, Bernhard Steffen, Oliver Bauer, Stephan Windmller, Maik Merten, Tiziana Margaria, Falk Howar |
| 2012 | ISoLA | Reha-Sports: The Challenge of Small Margin Healthcare Accounting. | Markus Doedt, Thomas Gke, Jan Pardo, Bernhard Steffen |
| 2012 | ISoLA | LearnLib Tutorial: From Finite Automata to Register Interface Programs. | Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen |
| 2012 | ISoLA | The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action Systems. | Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer |
| 2012 | ISoLA | Inferring Semantic Interfaces of Data Structures. | Falk Howar, Malte Isberner, Bernhard Steffen, Oliver Bauer, Bengt Jonsson |
| 2012 | ISoLA | Automated Inference of Models for Black Box Systems Based on Interface Descriptions. | Maik Merten, Falk Howar, Bernhard Steffen, Patrizio Pelliccione, Massimo Tivoli |
| 2012 | ISoLA | Automated Learning Setups in Automata Learning. | Maik Merten, Malte Isberner, Falk Howar, Bernhard Steffen, Tiziana Margaria |
| 2012 | SEW | An Evaluation of Service Integration Approaches of Business Process Management Systems. | Markus Doedt, Bernhard Steffen |
| 2012 | SEW | Exploiting Ecore's Reflexivity for Bootstrapping Domain-Specific Code-Generators. | Sven Jrges, Bernhard Steffen |
| 2012 | TACAS | Demonstrating Learning of Register Automata. | Maik Merten, Falk Howar, Bernhard Steffen, Sofia Cassel, Bengt Jonsson |
| 2012 | VMCAI | Inferring Canonical Register Automata. | Falk Howar, Bernhard Steffen, Bengt Jonsson, Sofia Cassel |
| 2011 | ATVA | A Succinct Canonical Register Automaton Model. | Sofia Cassel, Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen |
| 2011 | COMPSAC | IT Simply Works: Simplicity and Embedded Systems Design. | Tiziana Margaria, Barry D. Floyd, Bernhard Steffen |
| 2011 | ICECCS | Leveraging Service-Orientation for Combining Code Generation Frameworks. | Sven Jrges, Bernhard Steffen |
| 2011 | ICECCS | Tailoring Process Synthesis to Domain Characteristics. | Stefan Naujokat, Anna-Lena Lamprecht, Bernhard Steffen |
| 2011 | ISoLA | The Teachers' Crowd: The Impact of Distributed Oracles on Active Automata Learning. | Falk Howar, Oliver Bauer, Maik Merten, Bernhard Steffen, Tiziana Margaria |
| 2011 | ISoLA | Automata Learning with On-the-Fly Direct Hypothesis Construction. | Maik Merten, Falk Howar, Bernhard Steffen, Tiziana Margaria |
| 2011 | PPAM | Runtime Optimisation Approaches for a Real-Time Evacuation Assistant. | Armel Ulrich Kemloh Wagoum, Bernhard Steffen, Armin Seyfried |
| 2011 | SEW | Requirement-Driven Evaluation of Remote ERP-System Solutions: A Service-oriented Perspective. | Markus Doedt, Bernhard Steffen |
| 2011 | SEW | Special Session on "Simplification through Change of Perspective". | Tiziana Margaria, Bernhard Steffen |
| 2011 | SEW | Simplified Validation of Emergent Systems through Automata Learning-Based Testing. | Bernhard Steffen, Johannes Neubauer |
| 2011 | TACAS | Next Generation LearnLib. | Maik Merten, Bernhard Steffen, Falk Howar, Tiziana Margaria |
| 2011 | VMCAI | Automata Learning with Automated Alphabet Abstraction Refinement. | Falk Howar, Bernhard Steffen, Maik Merten |
| 2011 | VMCAI | Quality Engineering: Leveraging Heterogeneous Information - (Invited Talk). | Bernhard Steffen, Oliver Rthing |
| 2010 | ISoLA | Towards an Architecture for Runtime Interoperability. | Amel Bennaceur, Gordon S. Blair, Franck Chauvel, Gang Huang, Nikolaos Georgantas, Paul Grace, Falk Howar, Paola Inverardi, Valrie Issarny, Massimo Paolucci, Animesh Pathak, Romina Spalazzese, Bernhard Steffen, Bertrand Souville |
| 2010 | ISoLA | On Handling Data in Automata Learning - Considerations from the CONNECT Perspective. | Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen, Sofia Cassel |
| 2010 | ISoLA | From ZULU to RERS - Lessons Learned in the ZULU Challenge. | Falk Howar, Bernhard Steffen, Maik Merten |
| 2010 | QUATIC | Synthesis-Based Loose Programming. | Anna-Lena Lamprecht, Stefan Naujokat, Tiziana Margaria, Bernhard Steffen |
| 2009 | ICECCS | CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. | Valrie Issarny, Bernhard Steffen, Bengt Jonsson, Gordon S. Blair, Paul Grace, Marta Z. Kwiatkowska, Radu Calinescu, Paola Inverardi, Massimo Tivoli, Antonia Bertolino, Antonino Sabetta |
| 2009 | ICECCS | From Bio-jETI Process Models to Native Code. | Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen |
| 2009 | ICECCS | Keynote: Continuous Model Driven Engineering. | Bernhard Steffen |
| 2008 | ISoLA | The jABC Approach to Rigorous Collaborative Development of SCM Applications. | Martina Hrmann, Tiziana Margaria, Thomas Mender, Ralf Nagel, Bernhard Steffen, Hong Trinh |
| 2008 | ISoLA | SCA and jABC: Bringing a Service-Oriented Paradigm to Web-Service Construction. | Georg Jung, Tiziana Margaria, Ralf Nagel, Wolfgang Schubert, Bernhard Steffen, Horst Voigt |
| 2008 | ISoLA | Agile IT: Thinking in User-Centric Models. | Tiziana Margaria, Bernhard Steffen |
| 2008 | ISSTA | Hybrid test of web applications with webtest. | Harald Raffelt, Tiziana Margaria, Bernhard Steffen, Maik Merten |
| 2007 | ICECCS | The LearnLib in FMICS-jETI. | Tiziana Margaria, Harald Raffelt, Bernhard Steffen, Martin Leucker |
| 2007 | ISoLA | Verification, Diagnosis and Adaptation: Tool supported enhancement of the model-driven verification process. | Marco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen |
| 2007 | Middleware | Middleware: just another level for orchestration. | Tiziana Margaria, Bernhard Steffen |
| 2007 | SEW | LTL Guided Planning: Revisiting Automatic Tool Composition in ETI. | Tiziana Margaria, Bernhard Steffen |
| 2006 | CC | Data-Flow Analysis as Model Checking Within the jABC. | Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen |
| 2006 | FASE | LearnLib: A Library for Automata Learning and Experimentation. | Harald Raffelt, Bernhard Steffen |
| 2006 | ICECCS | Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC. | Tiziana Margaria, Christian Kubczak, Marc Njoku, Bernhard Steffen |
| 2006 | ICSE | FormulaBuilder: a tool for graph-based modelling and generation of formulae. | Sven Jrges, Tiziana Margaria, Bernhard Steffen |
| 2006 | ISoLA | Service Based Enabling Service Availability in the MaTRICS: A Model-Driven Approach. | Markus Bajohr, Tiziana Margaria, Bernhard Steffen |
| 2006 | ISoLA | Biological LC/MS Preprocessing and Analysis with jABC, jETI and xcms. | Christian Kubczak, Tiziana Margaria, Arno Fritsch, Bernhard Steffen |
| 2006 | ISoLA | The FMICS-jETI Platform: Status and Perspectives. | Tiziana Margaria, Christian Kubczak, Bernhard Steffen, Stefan Naujokat |
| 2006 | SEW | Service Engineering: Linking Business and IT. | Tiziana Margaria, Bernhard Steffen |
| 2005 | CONCUR | Taming Interface Specifications. | Tiziana Margaria, A. Prasad Sistla, Bernhard Steffen, Lenore D. Zuck |
| 2005 | ESOP | Interprocedural Herbrand Equalities. | Markus Mller-Olm, Helmut Seidl, Bernhard Steffen |
| 2005 | FASE | On the Correspondence Between Conformance Testing and Regular Inference. | Therese Berg, Olga Grinchtein, Bengt Jonsson, Martin Leucker, Harald Raffelt, Bernhard Steffen |
| 2005 | FMICS | LearnLib: a library for automata learning and experimentation. | Harald Raffelt, Bernhard Steffen, Therese Berg |
| 2005 | ICSOC | Service-Oriented Design: The Roots. | Tiziana Margaria, Bernhard Steffen, Manfred Reitenspie |
| 2005 | ITC | Analyzing second-order effects between optimizations for system-level test-based model generation. | Tiziana Margaria, Harald Raffelt, Bernhard Steffen |
| 2005 | SEW | Second-Order Semantic Web. | Tiziana Margaria, Bernhard Steffen |
| 2005 | TACAS | jETI: A Tool for Remote Tool Integration. | Tiziana Margaria, Ralf Nagel, Bernhard Steffen |
| 2004 | ICECCS | Major Threat: From Formal Methods without Tools to Tools without Formal Methods. | Bernhard Steffen |
| 2003 | CAV | Domain-Specific Optimization in Automata Learning. | Hardi Hungar, Oliver Niese, Bernhard Steffen |
| 2003 | ITC | Test-Based Model Generation For Legacy Systems. | Hardi Hungar, Tiziana Margaria, Bernhard Steffen |
| 2003 | VMCAI | Behavior-Based Model Construction. | Bernhard Steffen, Hardi Hungar |
| 2002 | ETS | System level testing of virtual switch (re-)configuration over IP. | Tiziana Margaria, Oliver Niese, Bernhard Steffen, Andrei Erochok |
| 2002 | FASE | Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems. | Andreas Hagerer, Hardi Hungar, Tiziana Margaria, Oliver Niese, Bernhard Steffen, Hans-Dieter Ide |
| 2002 | FASE | Model Generation by Moderated Regular Extrapolation. | Andreas Hagerer, Hardi Hungar, Oliver Niese, Bernhard Steffen |
| 2001 | ETS | Automated regression testing of CTI-systems. | Oliver Niese, Tiziana Margaria, Andreas Hagerer, Bernhard Steffen, Georg Brune, Werner Goerigk, Hans-Dieter Ide |
| 2001 | FASE | Library-Based Design and Consistency Checking of System-Level Industrial Test Cases. | Oliver Niese, Bernhard Steffen, Tiziana Margaria, Andreas Hagerer, Georg Brune, Hans-Dieter Ide |
| 2000 | ESOP | Constraint-Based Inter-Procedural Analysis of Parallel Programs. | Helmut Seidl, Bernhard Steffen |
| 2000 | POPL | Sparse Code Motion. | Oliver Rthing, Jens Knoop, Bernhard Steffen |
| 1999 | CC | Expansion-Based Removal of Semantic Partial Redundancies. | Jens Knoop, Oliver Rthing, Bernhard Steffen |
| 1999 | FASE | On the Evolution of Reactive Components: A Process-Algebraic Approach. | Markus Mller-Olm, Bernhard Steffen, Rance Cleaveland |
| 1999 | PPoPP | Code Motion for Explicitly Parallel Programs. | Jens Knoop, Bernhard Steffen |
| 1999 | SAS | Model-Checking: A Tutorial Introduction. | Markus Mller-Olm, David A. Schmidt, Bernhard Steffen |
| 1999 | SAS | Detecting Equalities of Variables: Combining Efficiency with Precision. | Oliver Rthing, Jens Knoop, Bernhard Steffen |
| 1999 | TACAS | The ETI Online Service in Action. | Volker Braun, Jrgen Kreileder, Tiziana Margaria, Bernhard Steffen |
| 1998 | CC | Basic-Block Graphs: Living Dinosaurs? | Jens Knoop, Dirk Koschtzki, Bernhard Steffen |
| 1998 | ESOP | Code Motion and Code Placement: Just Synonyms? | Jens Knoop, Oliver Rthing, Bernhard Steffen |
| 1998 | FASE | Backtracking-Free Design Planning by Automatic Synthesis in METAFrame. | Tiziana Margaria, Bernhard Steffen |
| 1998 | SAS | Program Analysis | David A. Schmidt, Bernhard Steffen |
| 1998 | TACAS | Automatic Error Location for IN Service Definition. | Volker Braun, Tiziana Margaria, Bernhard Steffen, Haiseung Yoo |
| 1997 | ICALP | Model Checking the Full Modal Mu-Calculus for Infinite Sequential Processes. | Olaf Burkart, Bernhard Steffen |
| 1997 | STACS | Unifying Models. | Bernhard Steffen |
| 1997 | TACAS | Graphs in METAFrame: The Unifying Power of Polymorphism. | Michael von der Beeck, Volker Braun, Andreas Claen, Achim Dannecker, Carsten Friedrich, Dirk Koschtzki, Tiziana Margaria, Falk Schreiber, Bernhard Steffen |
| 1996 | CAV | The METAFrame'95 Environment. | Bernhard Steffen, Tiziana Margaria, Andreas Claen, Volker Braun |
| 1996 | CC | Non-monotone Fixpoint Iterations to Resolve Second Order Effects. | Alfons Geser, Jens Knoop, Gerald Lttgen, Oliver Rthing, Bernhard Steffen |
| 1996 | CONCUR | Bisimulation Collapse and the Process Taxonomy. | Olaf Burkart, Didier Caucal, Bernhard Steffen |
| 1996 | SAS | Property-Oriented Expansion. | Bernhard Steffen |
| 1996 | TACAS | DFA&OPT-METAFrame: A Tool Kit for Program Analysis and Optimazation. | Marion Klein, Jens Knoop, Dirk Koschtzki, Bernhard Steffen |
| 1996 | TACAS | A Constraint-Oriented Service Creation Environment. | Bernhard Steffen, Tiziana Margaria, Andreas Claen, Volker Braun, Rita Nisius, Manfred Reitenspie |
| 1995 | CONCUR | The Fixpoint-Analysis Machine. | Bernhard Steffen, Andreas Claen, Marion Klein, Jens Knoop, Tiziana Margaria |
| 1995 | DASFAA | An Approach to Intelligent Software Library Management. | Burkhard Freitag, Bernhard Steffen, Tiziana Margaria, Ulrich Zukowski |
| 1995 | MFCS | An Elementary Bisimulation Decision Procedure for Arbitrary Context-Free Processes. | Olaf Burkart, Didier Caucal, Bernhard Steffen |
| 1995 | PLDI | The Power of Assignment Motion. | Jens Knoop, Oliver Rthing, Bernhard Steffen |
| 1995 | TACAS | Parallelism for Free: Bitvector Analyses -> No State Explosion! | Jens Knoop, Bernhard Steffen, Jrgen Vollmer |
| 1995 | TACAS | A Constraint Oriented Proof Methodology Based on Modal Transition Systems. | Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise |
| 1994 | CONCUR | Pushdown Processes: Parallel Composition and Model Checking. | Olaf Burkart, Bernhard Steffen |
| 1994 | PLDI | Partial Dead Code Elimination. | Jens Knoop, Oliver Rthing, Bernhard Steffen |
| 1993 | ICALP | Local Model Checking for Context-Free Processes. | Hardi Hungar, Bernhard Steffen |
| 1993 | MFCS | Deciding Testing Equivalence for Real-Time Processes with Dense Time. | Bernhard Steffen, Carsten Weise |
| 1993 | PDP | Hierarchical parallelization of imperative programs. | Andrea Kindler, Thomas Noll, Bernhard Steffen |
| 1992 | CAV | Faster Model Checking for the Modal Mu-Calculus. | Rance Cleaveland, Marion Klein, Bernhard Steffen |
| 1992 | CC | The Interprocedural Coincidence Theorem. | Jens Knoop, Bernhard Steffen |
| 1992 | CONCUR | Model Checking for Context-Free Processes. | Olaf Burkart, Bernhard Steffen |
| 1992 | PLDI | Lazy Code Motion. | Jens Knoop, Oliver Rthing, Bernhard Steffen |
| 1992 | PLDI | Lazy code motion (with retrospective) | Jens Knoop, Oliver Rthing, Bernhard Steffen |
| 1991 | CAV | A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus. | Rance Cleaveland, Bernhard Steffen |
| 1991 | ICALP | Computing Behavioural Relations, Logically. | Rance Cleaveland, Bernhard Steffen |
| 1990 | CAV | Compositional Minimization of Finite State Systems. | Susanne Graf, Bernhard Steffen |
| 1990 | CONCUR | A Preorder for Partial Process Specifications. | Rance Cleaveland, Bernhard Steffen |
| 1990 | CONCUR | Priority as Extremal Probability. | Scott A. Smolka, Bernhard Steffen |
| 1990 | ESOP | The Value Flow Graph: A Program Representation for Optimal Program Transformations. | Bernhard Steffen, Jens Knoop, Oliver Rthing |
| 1990 | LICS | When is "Partial" Adequate? A Logic-Based Proof Technique Using Partial Specifications | Rance Cleaveland, Bernhard Steffen |
| 1990 | LICS | Reactive, Generative, and Stratified Models of Probabilistic Processes | Rob J. van Glabbeek, Scott A. Smolka, Bernhard Steffen, Chris M. N. Tofts |
| 1989 | ICALP | Characteristic Formulae. | Bernhard Steffen |
| 1989 | MFCS | Optimal Data Flow Analysis via Observational Equivalence. | Bernhard Steffen |
| 1989 | MFCS | Finite Constants: Characterizations of a New Decidable Set of Constants. | Bernhard Steffen, Jens Knoop |