Bernhard Steffen

ORCID

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 90

Top Venues

Int. J. Softw. Tools Technol. Transf.

ISoLA (2)

ISoLA (1)

CoRR

University of Kiel, Germany (PHD)

Education History

University of Kiel, Germany

PHD

Publications

Alnis Murtovi, Giorgis Georgakoudis, Konstantinos Parasyris, Chunhua Liao, Ignacio Laguna, Bernhard Steffen
Enhancing Performance Through Control-Flow Unmerging and Loop Unrolling on GPUs. CGO (2024)
Bernhard Steffen, Tiziana Margaria, Alexander Bainczyk, Steve Boßelmann, Daniel Busch, Marc Driessen, Markus Frohme, Falk Howar, Sven Jörges, Marvin Krause, Marco Krumrey, Anna-Lena Lamprecht, Michael Lybecait, Alnis Murtovi, Stefan Naujokat, Johannes Neubauer, Alexander Schieweck, Jonas Schürmann, Steven Smyth, Barbara Steffen, Fabian Storek, Tim Tegeler, Sebastian Teumert, Dominic Wirkner, Philip Zweihoff
Language-Driven Engineering An Interdisciplinary Software Development Paradigm. CoRR (2024)
Bernhard Steffen
Rance Cleaveland: a life for formal methods. Int. J. Softw. Tools Technol. Transf. 26 (3) (2024)
Nils Jansen, Gerrit Nolte, Bernhard Steffen
Explanation Paradigms Leveraging Analytic Intuition (ExPLAIn). Int. J. Softw. Tools Technol. Transf. 25 (3) (2023)
Daniel Busch, Gerrit Nolte, Alexander Bainczyk, Bernhard Steffen
ChatGPT in the Loop: A Natural Language Extension for Domain-Specific Modeling Languages. AISoLA (2023)
Gerrit Nolte, Maximilian Schlüter, Alnis Murtovi, Bernhard Steffen
The Power of Typed Affine Decision Structures: A Case Study. CoRR (2023)
Alnis Murtovi, Alexander Bainczyk, Gerrit Nolte, Maximilian Schlüter, Bernhard Steffen
Forest GUMP: a tool for verification and explanation. Int. J. Softw. Tools Technol. Transf. 25 (3) (2023)
Maximilian Schlüter, Gerrit Nolte, Alnis Murtovi, Bernhard Steffen
Towards rigorous understanding of neural networks via semantics-preserving transformations. Int. J. Softw. Tools Technol. Transf. 25 (3) (2023)
Daniel Busch, Alexander Bainczyk, Bernhard Steffen
Towards LLM-Based System Migration in Language-Driven Engineering. ECBS (2023)
Maximilian Schlüter, Gerrit Nolte, Alnis Murtovi, Bernhard Steffen
Towards Rigorous Understanding of Neural Networks via Semantics-preserving Transformations. CoRR (2023)
Gerrit Nolte, Maximilian Schlüter, Alnis Murtovi, Bernhard Steffen
The power of typed affine decision structures: a case study. Int. J. Softw. Tools Technol. Transf. 25 (3) (2023)
Frederik Gossen, Bernhard Steffen
Algebraic aggregation of random forests: towards explainability and rapid evaluation. Int. J. Softw. Tools Technol. Transf. 25 (3) (2023)
Tiziana Margaria, Dominic Wirkner, Daniel Busch, Alexander Bainczyk, Tim Tegeler, Bernhard Steffen
DIME Days (ISoLA 2022 Track Introduction). ISoLA (2) (2022)
Sebastian Teumert, Marvin Krause, Bernhard Steffen
SOS-Supported Graph Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 82 (2022)
Alexander Bainczyk, Bernhard Steffen, Falk Howar
Lifelong Learning of Reactive Systems in Practice. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Markus Frohme, Bernhard Steffen
From Languages to Behaviors and Back. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Steven Smyth, Jette Petzold, Jonas Schürmann, Florian Karbus, Tiziana Margaria, Reinhard von Hanxleden, Bernhard Steffen
Executable Documentation: Test-First in Action. ISoLA (2) (2022)
Tim Tegeler, Steve Boßelmann, Jonas Schürmann, Steven Smyth, Sebastian Teumert, Bernhard Steffen
Executable Documentation: From Documentation Languages to Purpose-Specific Languages. ISoLA (2) (2022)
Alexander Bainczyk, Steve Boßelmann, Marvin Krause, Marco Krumrey, Dominic Wirkner, Bernhard Steffen
Towards Continuous Quality Control in the Context of Language-Driven Engineering. ISoLA (2) (2022)
Alexander Bainczyk, Daniel Busch, Marco Krumrey, Daniel Sami Mitwalli, Jonas Schürmann, Joel Tagoukeng Dongmo, Bernhard Steffen
Cinco Cloud: A Holistic Approach for Web-Based Language-Driven Engineering. ISoLA (2) (2022)
Klaus Havelund, Tim Tegeler, Steven Smyth, Bernhard Steffen
Discussing the Future Role of Documentation in the Context of Modern Software Engineering (ISoLA 2022 Track Introduction). ISoLA (2) (2022)
Kim G. Larsen, Axel Legay, Gerrit Nolte, Maximilian Schlüter, Mariëlle Stoelinga, Bernhard Steffen
Formal Methods Meet Machine Learning (F3ML). ISoLA (3) (2022)
Alnis Murtovi, Alexander Bainczyk, Bernhard Steffen
Forest GUMP: A Tool for Explanation. TACAS (2) (2022)
Falk Howar, Bernhard Steffen
Active Automata Learning as Black-Box Search and Lazy Partition Refinement. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Jonas Schürmann, Bernhard Steffen
Lazy Merging: From a Potential of Universes to a Universe of Potentials. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 82 (2022)
Barbara Steffen, Falk Howar, Tim Tegeler, Bernhard Steffen
Agile Business Engineering: From Transformation Towards ContinuousInnovation. ISoLA (2021)
Frederik Gossen, Tiziana Margaria, Bernhard Steffen
Formal Methods Boost Experimental Performance for Explainable AI. IT Prof. 23 (6) (2021)
Tim Tegeler, Sebastian Teumert, Jonas Schürmann, Alexander Bainczyk, Daniel Busch, Bernhard Steffen
An Introduction to Graphical Modeling of CI/CD Workflows with Rig. ISoLA (2021)
Philip Zweihoff, Tim Tegeler, Jonas Schürmann, Alexander Bainczyk, Bernhard Steffen
Aligned, Purpose-Driven Cooperation: The Future Way of System Development. ISoLA (2021)
Barbara Steffen, Bernhard Steffen
Asking Why. ISoLA (2021)
Philip Zweihoff, Bernhard Steffen
A Generative Approach for User-Centered, Collaborative, Domain-Specific Modeling Environments. CoRR (2021)
Philip Zweihoff, Bernhard Steffen
Pyrus: An Online Modeling Environment for No-Code Data-Analytics Service Composition. ISoLA (2021)
Markus Frohme, Bernhard Steffen
A Context-Free Symbiosis of Runtime Verification and Automata Learning. Formal Methods in Outer Space (2021)
Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
TOOLympics II: competitions on formal methods. Int. J. Softw. Tools Technol. Transf. 23 (6) (2021)
Falk Howar, Marc Jasper, Malte Mues, David A. Schmidt, Bernhard Steffen
The RERS challenge: towards controllable and scalable benchmark synthesis. Int. J. Softw. Tools Technol. Transf. 23 (6) (2021)
Klaus Havelund, Bernhard Steffen
Programming - What is Next? ISoLA (2021)
Dawid Kopetzki, Michael Lybecait, Stefan Naujokat, Bernhard Steffen
Towards language-to-language transformation. Int. J. Softw. Tools Technol. Transf. 23 (5) (2021)
Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi
Model Checking, Synthesis, and Learning. Model Checking, Synthesis, and Learning (2021)
Markus Frohme, Bernhard Steffen
Never-Stop Context-Free Learning. Model Checking, Synthesis, and Learning (2021)
Markus Frohme, Bernhard Steffen
Compositional learning of mutually recursive procedural systems. Int. J. Softw. Tools Technol. Transf. 23 (4) (2021)
Bernhard Steffen, Alnis Murtovi
Generative Program Analysis and Beyond: The Power of Domain-Specific Languages (Invited Paper). VMCAI (2021)
Mohcine Chraibi, Bernhard Steffen, Jun Zhang
The Automatic Generation of an Efficient Floor Field for CA Simulations in Crowd Management. J. Cell. Autom. 15 (1-2) (2020)
Jonas Schürmann, Tim Tegeler, Bernhard Steffen
Guaranteeing Type Consistency in Collective Adaptive Systems. ISoLA (2) (2020)
Marc Jasper, Maximilian Schlüter, Bernhard Steffen
Characteristic invariants in Hennessy-Milner logic. Acta Informatica 57 (3-5) (2020)
Marc Jasper, Maximilian Schlüter, David Schmidt, Bernhard Steffen
Every Component Matters: Generating Parallel Verification Benchmarks with Hardness Guarantees. ISoLA (4) (2020)
Frederik Gossen, Tiziana Margaria, Bernhard Steffen
Towards Explainability in Machine Learning: The Formal Methods Way. IT Prof. 22 (4) (2020)
Tim Tegeler, Alnis Murtovi, Markus Frohme, Bernhard Steffen
Product Line Verification via Modal Meta Model Checking. From Software Engineering to Formal Methods and Tools, and Back (2019)
Philip Zweihoff, Stefan Naujokat, Bernhard Steffen
Pyro: Generating Domain-Specific Collaborative Online Modeling Environments. FASE (2019)
Frederik Gossen, Bernhard Steffen
Large Random Forests: Optimisation for Rapid Evaluation. CoRR (2019)
Frederik Gossen, Alnis Murtovi, Philip Zweihoff, Bernhard Steffen
ADD-Lib: Decision Diagrams in Practice. CoRR (2019)
Frederik Gossen, Marc Jasper, Alnis Murtovi, Bernhard Steffen
Aggressive Aggregation: a New Paradigm for Program Optimization. CoRR (2019)
Marc Jasper, Malte Mues, Alnis Murtovi, Maximilian Schlüter, Falk Howar, Bernhard Steffen, Markus Schordan, Dennis Hendriks, Ramon R. H. Schiffelers, Harco Kuppens, Frits W. Vaandrager
RERS 2019: Combining Synthesis with Real-World Models. TACAS (3) (2019)
Bernhard Steffen, Marc Jasper
Generating Hard Benchmark Problems for Weak Bisimulation. From Reactive Systems to Cyber-Physical Systems (2019)
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
TOOLympics 2019: An Overview of Competitions in Formal Methods. TACAS (3) (2019)
Stefan Naujokat, Michael Lybecait, Dawid Kopetzki, Bernhard Steffen
CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools. Int. J. Softw. Tools Technol. Transf. 20 (3) (2018)
Michael Lybecait, Dawid Kopetzki, Bernhard Steffen
Design for 'X' Through Model Transformation. ISoLA (1) (2018)
Michael Lybecait, Dawid Kopetzki, Philip Zweihoff, Annika Fuhge, Stefan Naujokat, Bernhard Steffen
A Tutorial Introduction to Graphical Modeling and Metamodeling with CINCO. ISoLA (1) (2018)
Steve Boßelmann, Stefan Naujokat, Bernhard Steffen
On the Difficulty of Drawing the Line. ISoLA (1) (2018)
Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen
Towards a Unified View of Modeling and Programming (ISoLA 2018 Track Introduction). ISoLA (1) (2018)
Marc Jasper, Malte Mues, Maximilian Schlüter, Bernhard Steffen, Falk Howar
RERS 2018: CTL, LTL, and Reachability. ISoLA (2) (2018)
Falk Howar, Bernhard Steffen
Active Automata Learning in Practice - An Annotated Bibliography of the Years 2011 to 2016. Machine Learning for Dynamic Software Analysis (2018)
Sofia Cassel, Falk Howar, Bengt Jonsson, Bernhard Steffen
Extending Automata Learning to Extended Finite State Machines. Machine Learning for Dynamic Software Analysis (2018)
Mounir Chadli, Jin Hyun Kim, Kim G. Larsen, Axel Legay, Stefan Naujokat, Bernhard Steffen, Louis-Marie Traonouez
High-level frameworks for the specification and verification of scheduling problems. Int. J. Softw. Tools Technol. Transf. 20 (4) (2018)
Reiner Hähnle, Bernhard Steffen
Constraint-Based Behavioral Consistency of Evolving Software Systems. Machine Learning for Dynamic Software Analysis (2018)
Mohcine Chraibi, Bernhard Steffen
The Automatic Generation of an Efficient Floor Field for CA Simulations in Crowd Management. ACRI (2018)
Marc Jasper, Bernhard Steffen
Synthesizing Subtle Bugs with Known Witnesses. ISoLA (2) (2018)
Bernhard Steffen, Alnis Murtovi
M3C: Modal Meta Model Checking. FMICS (2018)
Bernhard Steffen, Tiziana Margaria
Predicate Abstraction and Such... FMICS (2018)
Frederik Gossen, Tiziana Margaria, Alnis Murtovi, Stefan Naujokat, Bernhard Steffen
DSLs for Decision Services: A Tutorial Introduction to Language-Driven Engineering. ISoLA (1) (2018)
Markus Frohme, Bernhard Steffen
Active Mining of Document Type Definitions. FMICS (2018)
Alexander Bainczyk, Alexander Schieweck, Bernhard Steffen, Falk Howar
Model-Based Testing Without Models: The TodoMVC Case Study. ModelEd, TestEd, TrustEd (2017)
Marc Jasper, Maximilian Fecke, Bernhard Steffen, Markus Schordan, Jeroen Meijer, Jaco van de Pol, Falk Howar, Stephen F. Siegel
The RERS 2017 challenge and workshop (invited paper). SPIN (2017)
Ashalatha Kunnappilly, Axel Legay, Tiziana Margaria, Cristina Cerschi Seceleanu, Bernhard Steffen, Louis-Marie Traonouez
Analyzing ambient assisted living solutions: A research perspective. DTIS (2017)
Bernhard Steffen, Marc Jasper, Jeroen Meijer, Jaco van de Pol
Property-Preserving Generation of Tailored Benchmark Petri Nets. ACSD (2017)
Bernhard Steffen
The physics of software tools: SWOT analysis and vision. Int. J. Softw. Tools Technol. Transf. 19 (1) (2017)
Frederik Gossen, Johannes Neubauer, Bernhard Steffen
Securing C/C++ applications with a SEcube™-based model-driven approach. DTIS (2017)
Bernhard Steffen, Marc Jasper
Property-Preserving Parallel Decomposition. Models, Algorithms, Logics and Tools (2017)
Mohcine Chraibi, Bernhard Steffen
Multiscale Simulation of Pedestrians for Efficient Predictive Modeling in Large Events. J. Cell. Autom. 11 (4) (2016)
Sven Jörges, Anna-Lena Lamprecht, Tiziana Margaria, Stefan Naujokat, Bernhard Steffen
Synthesis from a Practical Perspective. ISoLA (1) (2016)
Bernhard Steffen, Malte Isberner, Marc Jasper
Playing with Abstraction and Representation. Semantics, Logics, and Calculi (2016)
Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen
Towards a Unified View of Modeling and Programming (Track Summary). ISoLA (2) (2016)
Anna-Lena Lamprecht, Bernhard Steffen, Tiziana Margaria
Scientific workflows with the jABC framework - A review after a decade in the field. Int. J. Softw. Tools Technol. Transf. 18 (6) (2016)
Stefan Naujokat, Johannes Neubauer, Tiziana Margaria, Bernhard Steffen
Meta-Level Reuse for Mastering Domain Specialization. ISoLA (2) (2016)
Mounir Chadli, Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Stefan Naujokat, Bernhard Steffen, Kim Guldstrand Larsen
A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems. FMICS-AVoCS (2016)
Maren Geske, Marc Jasper, Bernhard Steffen, Falk Howar, Markus Schordan, Jaco van de Pol
RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification. ISoLA (2) (2016)
Bernhard Steffen, Stefan Naujokat
Archimedean Points: The Essence for Mastering Change. LNCS Trans. Found. Mastering Chang. 1 (2016)
Sofia Cassel, Falk Howar, Bengt Jonsson, Bernhard Steffen
Active learning for extended finite state machines. Formal Aspects Comput. 28 (2) (2016)
Bernhard Steffen
Introduction to the First Issue of FoMaC. LNCS Trans. Found. Mastering Chang. 1 (2016)
Steve Boßelmann, Markus Frohme, Dawid Kopetzki, Michael Lybecait, Stefan Naujokat, Johannes Neubauer, Dominic Wirkner, Philip Zweihoff, Bernhard Steffen
DIME: A Programming-Less Modeling Environment for Web Applications. ISoLA (2) (2016)
Alexander Bainczyk, Alexander Schieweck, Malte Isberner, Tiziana Margaria, Johannes Neubauer, Bernhard Steffen
ALEX: Mixed-Mode Learning of Web Applications at Ease. ISoLA (2) (2016)
Malte Isberner, Bernhard Steffen, Falk Howar
LearnLib Tutorial - An Open-Source Java Library for Active Automata Learning. RV (2015)
Maren Geske, Malte Isberner, Bernhard Steffen
Rigorous Examination of Reactive Systems: The RERS Challenge 2015. RV (2015)
Bernhard Steffen, Anna-Lena Lamprecht, Tiziana Margaria
User-level synthesis: treating product lines as systems of constraints. SPLC (2015)
Malte Isberner, Falk Howar, Bernhard Steffen
The Open-Source LearnLib - A Framework for Active Automata Learning. CAV (1) (2015)
Sofia Cassel, Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen
A succinct canonical register automaton model. J. Log. Algebraic Methods Program. 84 (1) (2015)
Sven Jörges, Bernhard Steffen
Back-To-Back Testing of Model-Based Code Generators. ISoLA (1) (2014)
Johannes Neubauer, Bernhard Steffen
Learning-Based Cross-Platform Conformance Testing. ISoLA (Revised Selected Papers) (2014)
Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer, Corina S. Pasareanu
Rigorous examination of reactive systems - The RERS challenges 2012 and 2013. Int. J. Softw. Tools Technol. Transf. 16 (5) (2014)
Malte Isberner, Bernhard Steffen
An Abstract Framework for Counterexample Analysis in Active Automata Learning. ICGI (2014)
Johannes Neubauer, Stephan Windmüller, Bernhard Steffen
Risk-based testing via active continuous quality control. Int. J. Softw. Tools Technol. Transf. 16 (5) (2014)

Bernhard Steffen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Bernhard Steffen