Optimal Run Time Optimization Proved by a New Look at Abstract Interpretation. - Bernhard Steffen (TAPSOFT, Vol.1, 1987)

Abstrakte Interpretationen beim Optimieren von Programmlaufzeiten - ein Optimalitätskonzept und seine Anwendung. - Bernhard Steffen (1987)

Implementation of a resonant cavity package on MIMD computers. - Bernhard Steffen (Parallel Comput., 1988)

The Concurrency Workbench. - Rance Cleaveland; Joachim Parrow; Bernhard Steffen (Automatic Verification Methods for Finite State Systems, 1989)

Characteristic Formulae. - Bernhard Steffen (ICALP, 1989)

Optimal Data Flow Analysis via Observational Equivalence. - Bernhard Steffen (MFCS, 1989)

A Semantics Based Verification Tool for Finite State Systems. - Rance Cleaveland; Joachim Parrow; Bernhard Steffen (PSTV, 1989)

Compositional Minimization of Finite State Systems. - Susanne Graf; Bernhard Steffen (CAV, 1990)

A Preorder for Partial Process Specifications. - Rance Cleaveland; Bernhard Steffen (CONCUR, 1990)

The Value Flow Graph: A Program Representation for Optimal Program Transformations. - Bernhard Steffen; Jens Knoop; Oliver Rüthing (ESOP, 1990)

When is "Partial" Adequate? A Logic-Based Proof Technique Using Partial Specifications - Rance Cleaveland; Bernhard Steffen (LICS, 1990)

Reactive, Generative, and Stratified Models of Probabilistic Processes - Rob J. van Glabbeek; Scott A. Smolka; Bernhard Steffen; Chris M. N. Tofts (LICS, 1990)

Computing Behavioural Relations, Logically. - Rance Cleaveland; Bernhard Steffen (ICALP, 1991)

Data Flow Analysis as Model Checking. - Bernhard Steffen (TACS, 1991)

Efficient Code Motion and an Adaption to Strength Reduction. - Bernhard Steffen; Jens Knoop; Oliver Rüthing (TAPSOFT, Vol.2, 1991)

Finite Constants: Characterizations of a New Decidable Set of Constants. - Bernhard Steffen; Jens Knoop (Theor. Comput. Sci., 1991)

Faster Model Checking for the Modal Mu-Calculus. - Rance Cleaveland; Marion Klein; Bernhard Steffen (CAV, 1992)

The Interprocedural Coincidence Theorem. - Jens Knoop; Bernhard Steffen (CC, 1992)

Model Checking for Context-Free Processes. - Olaf Burkart; Bernhard Steffen (CONCUR, 1992)

Lazy Code Motion. - Jens Knoop; Oliver Rüthing; Bernhard Steffen (PLDI, 1992)

Lazy code motion (with retrospective) - Jens Knoop; Oliver Rüthing; Bernhard Steffen (Best of PLDI, 1992)

Compositional characterization of observable program properties. - Bernhard Steffen; C. Barry Jay; Michael Mendler (RAIRO Theor. Informatics Appl., 1992)

Deciding Testing Equivalence for Real-Time Processes with Dense Time. - Bernhard Steffen; Carsten Weise (MFCS, 1993)

Hierarchical parallelization of imperative programs. - Andrea Kindler; Thomas Noll 001; Bernhard Steffen (PDP, 1993)

A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus. - Rance Cleaveland; Bernhard Steffen (Formal Methods Syst. Des., 1993)

Generating Data Flow Analysis Algorithms from Modal Specifications. - Bernhard Steffen (Sci. Comput. Program., 1993)

The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems. - Rance Cleaveland; Joachim Parrow; Bernhard Steffen (ACM Trans. Program. Lang. Syst., 1993)

Pushdown Processes: Parallel Composition and Model Checking. - Olaf Burkart; Bernhard Steffen (CONCUR, 1994)

The Methodology of Modal Constraints. - Kim Guldstrand Larsen; Bernhard Steffen; Carsten Weise (Formal Systems Specification, 1994)

A Pragmatic Approach to Software Synthesis. - Burkhard Freitag; Tiziana Margaria; Bernhard Steffen (Workshop on Interface Definition Languages, 1994)

Partial Dead Code Elimination. - Jens Knoop; Oliver Rüthing; Bernhard Steffen (PLDI, 1994)

Local Model-Checking for Context-Free Processes. - Hardi Hungar; Bernhard Steffen (Nord. J. Comput., 1994)

Optimal Code Motion: Theory and Practice. - Jens Knoop; Oliver Rüthing; Bernhard Steffen (ACM Trans. Program. Lang. Syst., 1994)

Characteristic Formulae for Processes with Divergence - Bernhard Steffen; Anna Ingólfsdóttir (Inf. Comput., 1994)

The Fixpoint-Analysis Machine. - Bernhard Steffen; Andreas Claßen; Marion Klein; Jens Knoop; Tiziana Margaria (CONCUR, 1995)

An Approach to Intelligent Software Library Management. - Burkhard Freitag; Bernhard Steffen; Tiziana Margaria; Ulrich Zukowski (DASFAA, 1995)

Fischer's Protocol Revisited: A Simple Proof Using Modal Constraints. - Kim Guldstrand Larsen; Bernhard Steffen; Carsten Weise (Hybrid Systems, 1995)

An Elementary Bisimulation Decision Procedure for Arbitrary Context-Free Processes. - Olaf Burkart; Didier Caucal; Bernhard Steffen (MFCS, 1995)

The Power of Assignment Motion. - Jens Knoop; Oliver Rüthing; Bernhard Steffen (PLDI, 1995)

Parallelism for Free: Bitvector Analyses -> No State Explosion! - Jens Knoop; Bernhard Steffen; Jürgen Vollmer 001 (TACAS, 1995)

A Constraint Oriented Proof Methodology Based on Modal Transition Systems. - Kim Guldstrand Larsen; Bernhard Steffen; Carsten Weise (TACAS, 1995)

The META-Frame: An Environment for Flexible Tool Management. - Bernhard Steffen; Tiziana Margaria; Andreas Claßen (TAPSOFT, 1995)

Composition, Decomposition and Model Checking of Pushdown Processes. - Olaf Burkart; Bernhard Steffen (Nord. J. Comput., 1995)

Reactive, Generative and Stratified Models of Probabilistic Processes - Rob J. van Glabbeek; Scott A. Smolka; Bernhard Steffen (Inf. Comput., 1995)

Incremental Formalization. - Bernhard Steffen; Tiziana Margaria; Andreas Claßen; Volker Braun (AMAST, 1996)

The METAFrame'95 Environment. - Bernhard Steffen; Tiziana Margaria; Andreas Claßen; Volker Braun (CAV, 1996)

Non-monotone Fixpoint Iterations to Resolve Second Order Effects. - Alfons Geser; Jens Knoop; Gerald Lüttgen; Oliver Rüthing; Bernhard Steffen (CC, 1996)

Bisimulation Collapse and the Process Taxonomy. - Olaf Burkart; Didier Caucal; Bernhard Steffen (CONCUR, 1996)

Property-Oriented Expansion. - Bernhard Steffen (SAS, 1996)

DFA&OPT-METAFrame: A Tool Kit for Program Analysis and Optimazation. - Marion Klein; Jens Knoop; Dirk Koschützki; Bernhard Steffen (TACAS, 1996)

A Constraint-Oriented Service Creation Environment. - Bernhard Steffen; Tiziana Margaria; Andreas Claßen; Volker Braun; Rita Nisius; Manfred Reitenspieß (TACAS, 1996)

Method Engineering for Real-Life Concurrent Systems. - Bernhard Steffen; Tiziana Margaria (ACM Comput. Surv., 1996)

Tools Get Formal Methods into Practice. - Bernhard Steffen; Tiziana Margaria (ACM Comput. Surv., 1996)

Preface. - Bernhard Steffen (INFINITY, 1996)

Compositional Minimisation of Finite State Systems Using Interface Specifications. - Susanne Graf; Bernhard Steffen; Gerald Lüttgen (Formal Aspects Comput., 1996)

Priority as Extremal Probability. - Scott A. Smolka; Bernhard Steffen (Formal Aspects Comput., 1996)

Towards a tool kit for the automatic generation of interprocedural data flow analyses. - Jens Knoop; Oliver Rüthing; Bernhard Steffen (J. Program. Lang., 1996)

Modellierung und Simulation am Beispiel von Hochtemparatur-Brennstoffzellen. - Christof Schelthoff; Bernhard Steffen (Prax. Inf.verarb. Kommun., 1996)

Foreword. - Tiziana Margaria; Bernhard Steffen (Softw. Concepts Tools, 1996)

Heterogeneous Analysis and Verification for Distributed Systems. - Bernhard Steffen; Tiziana Margaria; Andreas Claßen (Softw. Concepts Tools, 1996)

Incremental Formalization: A Key to Industrial Success. - Bernhard Steffen; Tiziana Margaria; Andreas Claßen; Volker Braun (Softw. Concepts Tools, 1996)

Parallelism for Free: Efficient and Optimal Bitvector Analyses for Parallel Programs. - Jens Knoop; Bernhard Steffen; Jürgen Vollmer 001 (ACM Trans. Program. Lang. Syst., 1996)

Service Definition for Intelligent Networks: Experience in a Leading-edge Technological Project Based on Constraint Techniques. - Volker Braun; Tiziana Margaria; Bernhard Steffen; Friedrich-Karl Bruhns (PACT, 1997)

Preconditioned Solvers for Large Eigenvalue Problems on Massively Parallel Computers and Workstation Clusters. - Achim Basermann; Bernhard Steffen (PARCO, 1997)

New Preconditioned Solvers for Large Sparse Eigenvalue Problems on Massively Parallel Computers. - Achim Basermann; Bernhard Steffen (PP, 1997)

A formal requirements engineering method for specification, synthesis, and verification. - Michael von der Beeck; Tiziana Margaria; Bernhard Steffen (SEE, 1997)

Unifying Models. - Bernhard Steffen (STACS, 1997)

Graphs in METAFrame: The Unifying Power of Polymorphism. - Michael von der Beeck; Volker Braun; Andreas Claßen; Achim Dannecker; Carsten Friedrich; Dirk Koschützki; Tiziana Margaria; Falk Schreiber; Bernhard Steffen (TACAS, 1997)

Editorial. - Rance Cleaveland; Tiziana Margaria; Bernhard Steffen (Int. J. Softw. Tools Technol. Transf., 1997)

Continuous Modeling of Real-Time and Hybrid Systems: From Concepts to Tools. - Kim Guldstrand Larsen; Bernhard Steffen; Carsten Weise (Int. J. Softw. Tools Technol. Transf., 1997)

The Electronic Tool Integration Platform: Concepts and Design. - Bernhard Steffen; Tiziana Margaria; Volker Braun (Int. J. Softw. Tools Technol. Transf., 1997)

Basic-Block Graphs: Living Dinosaurs? - Jens Knoop; Dirk Koschützki; Bernhard Steffen (CC, 1998)

Code Motion and Code Placement: Just Synonyms? - Jens Knoop; Oliver Rüthing; Bernhard Steffen (ESOP, 1998)

Backtracking-Free Design Planning by Automatic Synthesis in METAFrame. - Tiziana Margaria; Bernhard Steffen (FASE, 1998)

Program Analysis as Model Checking of Abstract Interpretations. - David A. Schmidt; Bernhard Steffen (SAS, 1998)

Automatic Error Location for IN Service Definition. - Volker Braun; Tiziana Margaria; Bernhard Steffen; Haiseung Yoo (Services and Visualization: Towards User-Friendly Design, 1998)

METAFrame in Practice: Design of Intelligent Network Services. - Bernhard Steffen; Tiziana Margaria (Correct System Design, 1999)

Expansion-Based Removal of Semantic Partial Redundancies. - Jens Knoop; Oliver Rüthing; Bernhard Steffen (CC, 1999)

On the Evolution of Reactive Components: A Process-Algebraic Approach. - Markus Müller-Olm; Bernhard Steffen; Rance Cleaveland (FASE, 1999)

Code Motion for Explicitly Parallel Programs. - Jens Knoop; Bernhard Steffen (PPoPP, 1999)

Model-Checking: A Tutorial Introduction. - Markus Müller-Olm; David A. Schmidt; Bernhard Steffen (SAS, 1999)

Detecting Equalities of Variables: Combining Efficiency with Precision. - Oliver Rüthing; Jens Knoop; Bernhard Steffen (SAS, 1999)

The ETI Online Service in Action. - Volker Braun; Jürgen Kreileder; Tiziana Margaria; Bernhard Steffen (TACAS, 1999)

Model Checking the Full Modal mu-Calculus for Infinite Sequential Processes. - Olaf Burkart; Bernhard Steffen (Theor. Comput. Sci., 1999)

Sparse Code Motion. - Oliver Rüthing; Jens Knoop; Bernhard Steffen (POPL, 2000)

Constraint-Based Inter-Procedural Analysis of Parallel Programs. - Helmut Seidl; Bernhard Steffen (Nord. J. Comput., 2000)

Verification on Infinite Structures. - Olaf Burkart; Didier Caucal; Faron Moller; Bernhard Steffen (Handbook of Process Algebra, 2001)

Automated regression testing of CTI-systems. - Oliver Niese; Tiziana Margaria; Andreas Hagerer; Bernhard Steffen; Georg Brune; Werner Goerigk; Hans-Dieter Ide (ETW, 2001)

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 (FASE, 2001)

Coarse-Granular Model Checking in Practice. - Bernhard Steffen; Tiziana Margaria; Volker Braun (SPIN, 2001)

Incremental Requirement Specification for Evolving Systems. - Bengt Jonsson 001; Tiziana Margaria; Gustaf Naeser; Jan Nyström; Bernhard Steffen (Nord. J. Comput., 2001)

System level testing of virtual switch (re-)configuration over IP. - Tiziana Margaria; Oliver Niese; Bernhard Steffen; Andrei Erochok (ETW, 2002)

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 (FASE, 2002)

Model Generation by Moderated Regular Extrapolation. - Andreas Hagerer; Hardi Hungar; Oliver Niese; Bernhard Steffen (FASE, 2002)

Model Generation for Legacy Systems. - Hardi Hungar; Tiziana Margaria; Bernhard Steffen (RISSEF, 2002)

Demonstration of an Automated Integrated Test Environment for Web-Based Applications. - Tiziana Margaria; Oliver Niese; Bernhard Steffen (SPIN, 2002)

Scalable System-level CTI Testing through Lightweight Coarse-grained Coordination. - Tiziana Margaria; Bernhard Steffen (FMICS, 2002)

Domain-Specific Optimization in Automata Learning. - Hardi Hungar; Oliver Niese; Bernhard Steffen (CAV, 2003)

The Electronic Tool Integration Platform (ETI) and the Petri Net Technology. - Volker Braun; Tiziana Margaria; Bernhard Steffen (Petri Net Technology for Communication-Based Systems, 2003)

Test-Based Model Generation For Legacy Systems. - Hardi Hungar; Tiziana Margaria; Bernhard Steffen (ITC, 2003)

Efficient test-based model generation for legacy reactive systems. - Tiziana Margaria; Oliver Niese; Harald Raffelt; Bernhard Steffen (HLDVT, 2004)

Major Threat: From Formal Methods without Tools to Tools without Formal Methods. - Bernhard Steffen (ICECCS, 2004)

Behavior-based model construction. - Hardi Hungar; Bernhard Steffen (Int. J. Softw. Tools Technol. Transf., 2004)

Lightweight coarse-grained coordination: a scalable system-level approach. - Tiziana Margaria; Bernhard Steffen (Int. J. Softw. Tools Technol. Transf., 2004)

Taming Interface Specifications. - Tiziana Margaria; A. Prasad Sistla; Bernhard Steffen; Lenore D. Zuck (CONCUR, 2005)

Service-Oriented Design: The jABC Approach. - Tiziana Margaria; Bernhard Steffen; Manfred Reitenspieß (Service Oriented Computing, 2005)

Remote Integration and Coordination of Verification Tools in JETI. - Tiziana Margaria; Ralf Nagel 001; Bernhard Steffen (ECBS, 2005)

Interprocedural Herbrand Equalities. - Markus Müller-Olm; Helmut Seidl; Bernhard Steffen (ESOP, 2005)

On the Correspondence Between Conformance Testing and Regular Inference. - Therese Berg; Olga Grinchtein; Bengt Jonsson 001; Martin Leucker; Harald Raffelt; Bernhard Steffen (FASE, 2005)

LearnLib: a library for automata learning and experimentation. - Harald Raffelt; Bernhard Steffen; Therese Berg (FMICS, 2005)

Service-Oriented Design: The Roots. - Tiziana Margaria; Bernhard Steffen; Manfred Reitenspieß (ICSOC, 2005)

Analyzing second-order effects between optimizations for system-level test-based model generation. - Tiziana Margaria; Harald Raffelt; Bernhard Steffen (ITC, 2005)

Aggressive Model-Driven Development: Synthesizing Systems from Models viewed as Constraints. - Tiziana Margaria; Bernhard Steffen (MBEES, 2005)

Second-Order Semantic Web. - Tiziana Margaria; Bernhard Steffen (SEW, 2005)

jETI: A Tool for Remote Tool Integration. - Tiziana Margaria; Ralf Nagel 001; Bernhard Steffen (TACAS, 2005)

From the How to the What. - Tiziana Margaria; Bernhard Steffen (VSTTE, 2005)

Run-Time Agents as a Means of Reconciling Flexibility and Scalability of Services. - Tiziana Margaria; Bernhard Steffen (WRAC, 2005)

A particle-particle particle-multigrid method for long-range interactions in molecular simulations. - Godehard Sutmann; Bernhard Steffen (Comput. Phys. Commun., 2005)

Dynamic and Formal Verification of Embedded Systems: A Comparative Survey. - Mirko Loghi; Tiziana Margaria; Graziano Pravadelli; Bernhard Steffen (Int. J. Parallel Program., 2005)

Knowledge-based relevance filtering for efficient system-level test-based model generation. - Tiziana Margaria; Harald Raffelt; Bernhard Steffen (Innov. Syst. Softw. Eng., 2005)

ViDoC - Visual Design of Optimizing Compilers. - Tiziana Margaria; Oliver Rüthing; Bernhard Steffen (Program Analysis and Compilation, 2006)

Data-Flow Analysis as Model Checking Within the jABC. - Anna-Lena Lamprecht; Tiziana Margaria; Bernhard Steffen (CC, 2006)

LearnLib: A Library for Automata Learning and Experimentation. - Harald Raffelt; Bernhard Steffen (FASE, 2006)

Model-Driven Development with the jABC. - Bernhard Steffen; Tiziana Margaria; Ralf Nagel 001; Sven Jörges; Christian Kubczak (Haifa Verification Conference, 2006)

Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC. - Tiziana Margaria; Christian Kubczak; Marc Njoku; Bernhard Steffen (ICECCS, 2006)

FormulaBuilder: a tool for graph-based modelling and generation of formulae. - Sven Jörges; Tiziana Margaria; Bernhard Steffen (ICSE, 2006)

Continuous Engineering of Embedded systems. - Bernhard Steffen; Tiziana Margaria (DIPES, 2006)

Completing and Adapting Models of Biological Processes. - Tiziana Margaria; Michael G. Hinchey; Harald Raffelt; James L. Rash; Christopher A. Rouff; Bernhard Steffen (BICC, 2006)

Service Based Enabling Service Availability in the MaTRICS: A Model-Driven Approach. - Markus Bajohr; Tiziana Margaria; Bernhard Steffen (ISoLA, 2006)

Biological LC/MS Preprocessing and Analysis with jABC, jETI and xcms. - Christian Kubczak; Tiziana Margaria; Arno Fritsch; Bernhard Steffen (ISoLA, 2006)

The FMICS-jETI Platform: Status and Perspectives. - Tiziana Margaria; Christian Kubczak; Bernhard Steffen; Stefan Naujokat (ISoLA, 2006)

Enhanced Requirements-Based Programming for Embedded Systems Design. - Michael G. Hinchey; Tiziana Margaria; James L. Rash; Christopher A. Rouff; Bernhard Steffen (MBEES, 2006)

Datenflussanalyse als Modelchecking im jABC. - Anna-Lena Lamprecht; Tiziana Margaria; Bernhard Steffen (Software Engineering, 2006)

jMosel: A Stand-Alone Tool and jABC Plugin for M2L(Str). - Christian Topnik; Eva Wilhelm; Tiziana Margaria; Bernhard Steffen (SPIN, 2006)

Service Engineering: Linking Business and IT. - Tiziana Margaria; Bernhard Steffen (Computer, 2006)

Special Section on "Leveraging Formal Methods". - Tiziana Margaria; Bernhard Steffen (Int. J. Softw. Tools Technol. Transf., 2006)

Dynamic Testing Via Automata Learning. - Harald Raffelt; Bernhard Steffen; Tiziana Margaria (Haifa Verification Conference, 2007)

Service-Oriented Mediation with jETI/jABC: Verification and Export. - Christian Kubczak; Tiziana Margaria; Bernhard Steffen; Stefan Naujokat (Web Intelligence/IAT Workshops, 2007)

An Approach to Discovery with miAamics and jABC. - Christian Kubczak; Tiziana Margaria; Christian Winkler; Bernhard Steffen (Web Intelligence/IAT Workshops, 2007)

The LearnLib in FMICS-jETI. - Tiziana Margaria; Harald Raffelt; Bernhard Steffen; Martin Leucker (ICECCS, 2007)

The SWS Mediator with WEBML/WEBRATIO and JABC/JETI: A Comparison. - Tiziana Margaria; Christian Winkler; Christian Kubczak; Bernhard Steffen; Marco Brambilla 001; Stefano Ceri; Dario Cerizza; Emanuele Della Valle; Federico Michele Facca; Christina Tziviskou (ICEIS (4), 2007)

Verification, Diagnosis and Adaptation: Tool supported enhancement of the model-driven verification process. - Marco Bakera; Tiziana Margaria; Clemens D. Renner; Bernhard Steffen (ISoLA, 2007)

Middleware: just another level for orchestration. - Tiziana Margaria; Bernhard Steffen (MNCNA, 2007)

Pseudo-Spectral Modeling in Geodynamo. - Maxim Reshetnyak; Bernhard Steffen (PARCO, 2007)

LTL Guided Planning: Revisiting Automatic Tool Composition in ETI. - Tiziana Margaria; Bernhard Steffen (SEW, 2007)

Full Life-Cycle Support for End-to-End Processes. - Bernhard Steffen; Prakash Narayan (Computer, 2007)

Seven Variations of an Alignment Workflow - An Illustration of Agile Process Design and Management in Bio-jETI. - Anna-Lena Lamprecht; Tiziana Margaria; Bernhard Steffen (ISBRA, 2008)

The jABC Approach to Rigorous Collaborative Development of SCM Applications. - Martina Hörmann; Tiziana Margaria; Thomas Mender; Ralf Nagel 001; Bernhard Steffen; Hong Trinh (ISoLA, 2008)

SCA and jABC: Bringing a Service-Oriented Paradigm to Web-Service Construction. - Georg Jung; Tiziana Margaria; Ralf Nagel 001; Wolfgang Schubert; Bernhard Steffen; Horst Voigt (ISoLA, 2008)

Agile IT: Thinking in User-Centric Models. - Tiziana Margaria; Bernhard Steffen (ISoLA, 2008)

Hybrid test of web applications with webtest. - Harald Raffelt; Tiziana Margaria; Bernhard Steffen; Maik Merten (TAV-WEB, 2008)

Supporting Process Development in Bio-jETI by Model Checking and Synthesis. - Anna-Lena Lamprecht; Tiziana Margaria; Bernhard Steffen (SWAT4LS, 2008)

GeneFisher-P: variations of GeneFisher as processes in Bio-jETI. - Anna-Lena Lamprecht; Tiziana Margaria; Bernhard Steffen; Alexander Sczyrba; Sven Hartmeier; Robert Giegerich (BMC Bioinform., 2008)

Bio-jETI: a service integration, design, and provisioning platform for orchestrated bioinformatics processes. - Tiziana Margaria; Christian Kubczak; Bernhard Steffen (BMC Bioinform., 2008)

Plug and Play with FMICS-jETI: Beyond Scripting and Coding. - Christian Kubczak; Tiziana Margaria; Ralf Nagel 001; Bernhard Steffen (ERCIM News, 2008)

Genesys: service-oriented construction of property conform code generators. - Sven Jörges; Tiziana Margaria; Bernhard Steffen (Innov. Syst. Softw. Eng., 2008)

Preface. - Tiziana Margaria; Bernhard Steffen (Theor. Comput. Sci., 2008)

Business Process Modeling in the jABC. - Tiziana Margaria; Bernhard Steffen (Handbook of Research on Business Process Modeling, 2009)

Comparison: Mediation on WebML/WebRatio and jABC/jETI. - Marco Brambilla 001; Stefano Ceri; Emanuele Della Valle; Federico M. Facca; Christian Kubczak; Tiziana Margaria; Bernhard Steffen; Christian Winkler (Semantic Web Services Challenge, 2009)

Service-oriented Mediation with jABC/jETI. - Christian Kubczak; Tiziana Margaria; Bernhard Steffen; Ralf Nagel 001 (Semantic Web Services Challenge, 2009)

An Approach to Discovery with miAamics and jABC. - Christian Kubczak; Tiziana Margaria; Bernhard Steffen; Christian Winkler; Hardi Hungar (Semantic Web Services Challenge, 2009)

Comparison: Handling Preferences with DIANE and miAamics. - Ulrich Küster; Birgitta König-Ries; Tiziana Margaria; Bernhard Steffen (Semantic Web Services Challenge, 2009)

Automatic Generation of the SWS- Challenge Mediator with jABC/ABC. - Tiziana Margaria; Marco Bakera; Christian Kubczak; Stefan Naujokat; Bernhard Steffen (Semantic Web Services Challenge, 2009)

Building Code Generators with Genesys: A Tutorial Introduction. - Sven Jörges; Bernhard Steffen; Tiziana Margaria (GTTSE, 2009)

CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. - Valérie Issarny; Bernhard Steffen; Bengt Jonsson 001; Gordon S. Blair; Paul Grace; Marta Z. Kwiatkowska; Radu Calinescu; Paola Inverardi; Massimo Tivoli; Antonia Bertolino; Antonino Sabetta (ICECCS, 2009)

From Bio-jETI Process Models to Native Code. - Anna-Lena Lamprecht; Tiziana Margaria; Bernhard Steffen (ICECCS, 2009)

Keynote: Continuous Model Driven Engineering. - Bernhard Steffen (ICECCS, 2009)

Maintenance, or the 3rd dimension of eXtreme model-driven design. - Bernhard Steffen; Sven Jörges; Christian Wagner 005; Tiziana Margaria (ICSM, 2009)

Component-Oriented Behavior Extraction for Autonomic System Design. - Tiziana Margaria; Marco Bakera; Christian Wagner 005; Emil Vassev; Michael G. Hinchey; Bernhard Steffen (NASA Formal Methods, 2009)

Synthesizing Semantic Web Service Compositions with jMosel and Golog. - Tiziana Margaria; Daniel Meyer; Christian Kubczak; Malte Isberner; Bernhard Steffen (ISWC, 2009)

Semantics-Based Composition of EMBOSS Services with Bio-jETI. - Anna-Lena Lamprecht; Stefan Naujokat; Tiziana Margaria; Bernhard Steffen (SWAT4LS, 2009)

Bio-jETI: a framework for semantics-based service composition. - Anna-Lena Lamprecht; Tiziana Margaria; Bernhard Steffen (BMC Bioinform., 2009)

Continuous Model-Driven Engineering. - Tiziana Margaria; Bernhard Steffen (Computer, 2009)

Tool-supported enhancement of diagnosis in model-driven verification. - Marco Bakera; Tiziana Margaria; Clemens D. Renner; Bernhard Steffen (Innov. Syst. Softw. Eng., 2009)

Guest Editor's introduction. - Mike Hinchey; Tiziana Margaria; Bernhard Steffen (Int. J. Softw. Tools Technol. Transf., 2009)

Dynamic testing via automata learning. - Harald Raffelt; Maik Merten; Bernhard Steffen; Tiziana Margaria (Int. J. Softw. Tools Technol. Transf., 2009)

LearnLib: a framework for extrapolating behavioral models. - Harald Raffelt; Bernhard Steffen; Therese Berg; Tiziana Margaria (Int. J. Softw. Tools Technol. Transf., 2009)

New Insights into Pedestrian Flow Through Bottlenecks. - Armin Seyfried; Oliver Passon; Bernhard Steffen; Maik Boltes; Tobias Rupprecht; Wolfram Klingsch (Transp. Sci., 2009)

Towards an Architecture for Runtime Interoperability. - Amel Bennaceur; Gordon S. Blair; Franck Chauvel; Gang Huang 001; Nikolaos Georgantas; Paul Grace; Falk Howar; Paola Inverardi; Valérie Issarny; Massimo Paolucci 001; Animesh Pathak; Romina Spalazzese; et al. (ISoLA (2), 2010)

On Handling Data in Automata Learning - Considerations from the CONNECT Perspective. - Falk Howar; Bengt Jonsson 001; Maik Merten; Bernhard Steffen; Sofia Cassel (ISoLA (2), 2010)

From ZULU to RERS - Lessons Learned in the ZULU Challenge. - Falk Howar; Bernhard Steffen; Maik Merten (ISoLA (1), 2010)

Synthesis-Based Loose Programming. - Anna-Lena Lamprecht; Stefan Naujokat; Tiziana Margaria; Bernhard Steffen (QUATIC, 2010)

Constraint-Guided Workflow Composition Based on the EDAM Ontology. - Anna-Lena Lamprecht; Stefan Naujokat; Bernhard Steffen; Tiziana Margaria (SWAT4LS, 2010)

Simplicity as a Driver for Agile Innovation. - Tiziana Margaria; Bernhard Steffen (Computer, 2010)

Second-Order Value Numbering. - Tiziana Margaria; Bernhard Steffen; Christian Topnik (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Evolution support in heterogeneous service-oriented landscapes. - Tiziana Margaria; Bernhard Steffen; Christian Kubczak (J. Braz. Comput. Soc., 2010)

Bioinformatics: Processes and Workflows. - Anna-Lena Lamprecht; Tiziana Margaria; Bernhard Steffen (Encyclopedia of Software Engineering, 2010)

Round-Trip Engineering. - Bernhard Steffen; Tiziana Margaria; Christian Wagner 005 (Encyclopedia of Software Engineering, 2010)

IT Simply Works: Simplicity and Embedded Systems Design. - Tiziana Margaria; Barry D. Floyd; Bernhard Steffen (COMPSAC Workshops, 2011)

Reusing System States by Active Learning Algorithms. - Oliver Bauer; Johannes Neubauer; Bernhard Steffen; Falk Howar (EternalS@FET, 2011)

Comparing Structure-Oriented and Behavior-Oriented Variability Modeling for Workflows. - Anna-Lena Lamprecht; Tiziana Margaria; Ina Schaefer; Bernhard Steffen (EternalS@FET, 2011)

Synthesis-Based Variability Control: Correctness by Construction. - Anna-Lena Lamprecht; Tiziana Margaria; Ina Schaefer; Bernhard Steffen (FMCO, 2011)

T-junction: Experiments, trajectory collection, and analysis. - Maik Boltes; Jun Zhang 068; Armin Seyfried; Bernhard Steffen (ICCV Workshops, 2011)

Leveraging Service-Orientation for Combining Code Generation Frameworks. - Sven Jörges; Bernhard Steffen (ICECCS, 2011)

Tailoring Process Synthesis to Domain Characteristics. - Stefan Naujokat; Anna-Lena Lamprecht; Bernhard Steffen (ICECCS, 2011)

The Teachers' Crowd: The Impact of Distributed Oracles on Active Automata Learning. - Falk Howar; Oliver Bauer; Maik Merten; Bernhard Steffen; Tiziana Margaria (ISoLA Workshops, 2011)

Automata Learning with On-the-Fly Direct Hypothesis Construction. - Maik Merten; Falk Howar; Bernhard Steffen; Tiziana Margaria (ISoLA Workshops, 2011)

Runtime Optimisation Approaches for a Real-Time Evacuation Assistant. - Armel Ulrich Kemloh Wagoum; Bernhard Steffen; Armin Seyfried (PPAM (1), 2011)

Requirement-Driven Evaluation of Remote ERP-System Solutions: A Service-oriented Perspective. - Markus Doedt; Bernhard Steffen (SEW, 2011)

Special Session on "Simplification through Change of Perspective". - Tiziana Margaria; Bernhard Steffen (SEW, 2011)

Simplified Validation of Emergent Systems through Automata Learning-Based Testing. - Bernhard Steffen; Johannes Neubauer (SEW, 2011)

Introduction to Active Automata Learning from a Practical Perspective. - Bernhard Steffen; Falk Howar; Maik Merten (SFM, 2011)

Next Generation LearnLib. - Maik Merten; Bernhard Steffen; Falk Howar; Tiziana Margaria (TACAS, 2011)

Automata Learning with Automated Alphabet Abstraction Refinement. - Falk Howar; Bernhard Steffen; Maik Merten (VMCAI, 2011)

Quality Engineering: Leveraging Heterogeneous Information - (Invited Talk). - Bernhard Steffen; Oliver Rüthing (VMCAI, 2011)

Semantics-based composition of EMBOSS services. - Anna-Lena Lamprecht; Stefan Naujokat; Tiziana Margaria; Bernhard Steffen (J. Biomed. Semant., 2011)

Assuring property conformance of code generators via model checking. - Sven Jörges; Tiziana Margaria; Bernhard Steffen (Formal Aspects Comput., 2011)

Game-Based Model Checking for Reliable Autonomy in Space. - Marco Bakera; Tiziana Margaria; Clemens D. Renner; Bernhard Steffen (J. Aerosp. Comput. Inf. Commun., 2011)

Customer-Oriented Business Process Management: Vision and Obstacles. - Tiziana Margaria; Steve Boßelmann; Markus Doedt; Barry D. Floyd; Bernhard Steffen (Conquering Complexity, 2012)

The XMDD Approach to the Semantic Web Services Challenge. - Tiziana Margaria; Christian Kubczak; Bernhard Steffen (Semantic Web Services, Advancement through Evaluation, 2012)

Service-Orientation: Conquering Complexity with XMDD. - Tiziana Margaria; Bernhard Steffen (Conquering Complexity, 2012)

A Succinct Canonical Register Automaton Model for Data Domains with Binary Relations. - Sofia Cassel; Bengt Jonsson 001; Falk Howar; Bernhard Steffen (ATVA, 2012)

Machine Learning for Emergent Middleware. - Amel Bennaceur; Valérie Issarny; Daniel Sykes; Falk Howar; Malte Isberner; Bernhard Steffen; Richard Johansson; Alessandro Moschitti (EternalS@ECAI, 2012)

Loose Programming with PROPHETS. - Stefan Naujokat; Anna-Lena Lamprecht; Bernhard Steffen (FASE, 2012)

Simplicity principles for plug-in development: the jABC approach. - Stefan Naujokat; Anna-Lena Lamprecht; Bernhard Steffen; Sven Jörges; Tiziana Margaria (TOPI@ICSE, 2012)

Automated continuous quality assurance. - Johannes Neubauer; Bernhard Steffen; Oliver Bauer; Stephan Windmüller; Maik Merten; Tiziana Margaria; Falk Howar (FormSERA@ICSE, 2012)

Reha-Sports: The Challenge of Small Margin Healthcare Accounting. - Markus Doedt; Thomas Göke; Jan Pardo; Bernhard Steffen (ISoLA (2), 2012)

LearnLib Tutorial: From Finite Automata to Register Interface Programs. - Falk Howar; Malte Isberner; Maik Merten; Bernhard Steffen (ISoLA (1), 2012)

The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action Systems. - Falk Howar; Malte Isberner; Maik Merten; Bernhard Steffen; Dirk Beyer 001 (ISoLA (1), 2012)

Inferring Semantic Interfaces of Data Structures. - Falk Howar; Malte Isberner; Bernhard Steffen; Oliver Bauer; Bengt Jonsson 001 (ISoLA (1), 2012)

Automated Inference of Models for Black Box Systems Based on Interface Descriptions. - Maik Merten; Falk Howar; Bernhard Steffen; Patrizio Pelliccione; Massimo Tivoli (ISoLA (1), 2012)

Automated Learning Setups in Automata Learning. - Maik Merten; Malte Isberner; Falk Howar; Bernhard Steffen; Tiziana Margaria (ISoLA (1), 2012)

An Evaluation of Service Integration Approaches of Business Process Management Systems. - Markus Doedt; Bernhard Steffen (SEW, 2012)

Exploiting Ecore's Reflexivity for Bootstrapping Domain-Specific Code-Generators. - Sven Jörges; Bernhard Steffen (SEW, 2012)

Demonstrating Learning of Register Automata. - Maik Merten; Falk Howar; Bernhard Steffen; Sofia Cassel; Bengt Jonsson 001 (TACAS, 2012)

Inferring Canonical Register Automata. - Falk Howar; Bernhard Steffen; Bengt Jonsson 001; Sofia Cassel (VMCAI, 2012)

Never-stop Learning: Continuous Validation of Learned Models for Evolving Systems through Monitoring. - Antonia Bertolino; Antonello Calabrò; Maik Merten; Bernhard Steffen (ERCIM News, 2012)

Active Automata Learning: From DFAs to Interface Programs and Beyond. - Bernhard Steffen; Falk Howar; Malte Isberner (ICGI, 2012)

A constraint-based variability modeling framework. - Sven Jörges; Anna-Lena Lamprecht; Tiziana Margaria; Ina Schaefer; Bernhard Steffen (Int. J. Softw. Tools Technol. Transf., 2012)

Active continuous quality control. - Stephan Windmüller; Johannes Neubauer; Bernhard Steffen; Falk Howar; Oliver Bauer (CBSE, 2013)

Second-Order Servification. - Johannes Neubauer; Bernhard Steffen (ICSOB, 2013)

Inferring Automata with State-Local Alphabet Abstractions. - Malte Isberner; Falk Howar; Bernhard Steffen (NASA Formal Methods, 2013)

Property-Driven Benchmark Generation. - Bernhard Steffen; Malte Isberner; Stefan Naujokat; Tiziana Margaria; Maren Geske (SPIN, 2013)

Parallel real time computation of large scale pedestrian evacuations. - Armel Ulrich Kemloh Wagoum; Bernhard Steffen; Armin Seyfried; Mohcine Chraibi (Adv. Eng. Softw., 2013)

Plug-and-Play Higher-Order Process Integration. - Johannes Neubauer; Bernhard Steffen (Computer, 2013)

Higher-Order Process Modeling: Product-Lining, Variability Modeling and Beyond. - Johannes Neubauer; Bernhard Steffen; Tiziana Margaria (Festschrift for Dave Schmidt, 2013)

Simplicity Driven Application Development. - Maik Merten; Bernhard Steffen (J. Integr. Des. Process. Sci., 2013)

Multiscale Simulation of Pedestrians for Faster Than Real Time Modeling in Large Events. - Bernhard Steffen; Mohcine Chraibi (ACRI, 2014)

An Abstract Framework for Counterexample Analysis in Active Automata Learning. - Malte Isberner; Bernhard Steffen (ICGI, 2014)

Tutorial: Automata Learning in Practice. - Falk Howar; Malte Isberner; Bernhard Steffen (ISoLA (1), 2014)

Learning Models for Verification and Testing - Special Track at ISoLA 2014 Track Introduction. - Falk Howar; Bernhard Steffen (ISoLA (1), 2014)

Back-To-Back Testing of Model-Based Code Generators. - Sven Jörges; Bernhard Steffen (ISoLA (1), 2014)

Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent Systems. - Stefan Naujokat; Louis-Marie Traonouez; Malte Isberner; Bernhard Steffen; Axel Legay (ISoLA (1), 2014)

Prototype-Driven Development of Web Applications with DyWA. - Johannes Neubauer; Markus Frohme; Bernhard Steffen; Tiziana Margaria (ISoLA (1), 2014)

Learning-Based Cross-Platform Conformance Testing. - Johannes Neubauer; Bernhard Steffen (ISoLA (Revised Selected Papers), 2014)

The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning. - Malte Isberner; Falk Howar; Bernhard Steffen (RV, 2014)

Learning Extended Finite State Machines. - Sofia Cassel; Falk Howar; Bengt Jonsson 001; Bernhard Steffen (SEFM, 2014)

Learning register automata: from languages to program structures. - Malte Isberner; Falk Howar; Bernhard Steffen (Mach. Learn., 2014)

Simplicity-first model-based plug-in development. - Stefan Naujokat; Johannes Neubauer; Anna-Lena Lamprecht; Bernhard Steffen; Sven Jörges; Tiziana Margaria (Softw. Pract. Exp., 2014)

Rigorous examination of reactive systems - The RERS challenges 2012 and 2013. - Falk Howar; Malte Isberner; Maik Merten; Bernhard Steffen; Dirk Beyer 001; Corina S. Pasareanu (Int. J. Softw. Tools Technol. Transf., 2014)

Risk-based testing via active continuous quality control. - Johannes Neubauer; Stephan Windmüller; Bernhard Steffen (Int. J. Softw. Tools Technol. Transf., 2014)

Tailored generation of concurrent benchmarks. - Bernhard Steffen; Falk Howar; Malte Isberner; Stefan Naujokat; Tiziana Margaria (Int. J. Softw. Tools Technol. Transf., 2014)

Property-driven benchmark generation: synthesizing programs of realistic structure. - Bernhard Steffen; Malte Isberner; Stefan Naujokat; Tiziana Margaria; Maren Geske (Int. J. Softw. Tools Technol. Transf., 2014)

Modeling and Execution of Scientific Workflows with the jABC Framework. - Anna-Lena Lamprecht; Tiziana Margaria; Bernhard Steffen (Process Design for Natural Scientists, 2014)

The Open-Source LearnLib - A Framework for Active Automata Learning. - Malte Isberner; Falk Howar; Bernhard Steffen (CAV (1), 2015)

Rigorous Examination of Reactive Systems: The RERS Challenge 2015. - Maren Geske; Malte Isberner; Bernhard Steffen (RV, 2015)

LearnLib Tutorial - An Open-Source Java Library for Active Automata Learning. - Malte Isberner; Bernhard Steffen; Falk Howar (RV, 2015)

User-level synthesis: treating product lines as systems of constraints. - Bernhard Steffen; Anna-Lena Lamprecht; Tiziana Margaria (SPLC, 2015)

A succinct canonical register automaton model. - Sofia Cassel; Falk Howar; Bengt Jonsson 001; Maik Merten; Bernhard Steffen (J. Log. Algebraic Methods Program., 2015)

Playing with Abstraction and Representation. - Bernhard Steffen; Malte Isberner; Marc Jasper (Semantics, Logics, and Calculi, 2016)

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 (FMICS-AVoCS, 2016)

ALEX: Mixed-Mode Learning of Web Applications at Ease. - Alexander Bainczyk; Alexander Schieweck; Malte Isberner; Tiziana Margaria; Johannes Neubauer; Bernhard Steffen (ISoLA (2), 2016)

DIME: A Programming-Less Modeling Environment for Web Applications. - Steve Boßelmann; Markus Frohme; Dawid Kopetzki; Michael Lybecait; Stefan Naujokat; Johannes Neubauer; Dominic Wirkner; Philip Zweihoff; Bernhard Steffen (ISoLA (2), 2016)

Towards a Unified View of Modeling and Programming (Track Summary). - Manfred Broy; Klaus Havelund; Rahul Kumar 001; Bernhard Steffen (ISoLA (2), 2016)

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 (ISoLA (2), 2016)

Synthesis from a Practical Perspective. - Sven Jörges; Anna-Lena Lamprecht; Tiziana Margaria; Stefan Naujokat; Bernhard Steffen (ISoLA (1), 2016)

Meta-Level Reuse for Mastering Domain Specialization. - Stefan Naujokat; Johannes Neubauer; Tiziana Margaria; Bernhard Steffen (ISoLA (2), 2016)

Active learning for extended finite state machines. - Sofia Cassel; Falk Howar; Bengt Jonsson 001; Bernhard Steffen (Formal Aspects Comput., 2016)

Introduction to the First Issue of FoMaC. - Bernhard Steffen (LNCS Trans. Found. Mastering Chang., 2016)

Archimedean Points: The Essence for Mastering Change. - Bernhard Steffen; Stefan Naujokat (LNCS Trans. Found. Mastering Chang., 2016)

Multiscale Simulation of Pedestrians for Efficient Predictive Modeling in Large Events. - Mohcine Chraibi; Bernhard Steffen (J. Cell. Autom., 2016)

Scientific workflows with the jABC framework - A review after a decade in the field. - Anna-Lena Lamprecht; Bernhard Steffen; Tiziana Margaria (Int. J. Softw. Tools Technol. Transf., 2016)

Property-Preserving Generation of Tailored Benchmark Petri Nets. - Bernhard Steffen; Marc Jasper; Jeroen Meijer; Jaco van de Pol (ACSD, 2017)

Model-Based Testing Without Models: The TodoMVC Case Study. - Alexander Bainczyk; Alexander Schieweck; Bernhard Steffen; Falk Howar (ModelEd, TestEd, TrustEd, 2017)

Property-Preserving Parallel Decomposition. - Bernhard Steffen; Marc Jasper (Models, Algorithms, Logics and Tools, 2017)

Securing C/C++ applications with a SEcube™-based model-driven approach. - Frederik Gossen; Johannes Neubauer; Bernhard Steffen (DTIS, 2017)

Analyzing ambient assisted living solutions: A research perspective. - Ashalatha Kunnappilly; Axel Legay; Tiziana Margaria; Cristina Cerschi Seceleanu; Bernhard Steffen; Louis-Marie Traonouez (DTIS, 2017)

The RERS 2017 challenge and workshop (invited paper). - Marc Jasper; Maximilian Fecke; Bernhard Steffen; Markus Schordan; Jeroen Meijer; Jaco van de Pol; Falk Howar; Stephen F. Siegel (SPIN, 2017)

The physics of software tools: SWOT analysis and vision. - Bernhard Steffen (Int. J. Softw. Tools Technol. Transf., 2017)

Mathematical Foundations of Advanced Informatics, Volume 1: Inductive Approaches. - Bernhard Steffen; Oliver Rüthing; Michael Huth 001 (Springer, 2018)

The Automatic Generation of an Efficient Floor Field for CA Simulations in Crowd Management. - Mohcine Chraibi; Bernhard Steffen (ACRI, 2018)

Extending Automata Learning to Extended Finite State Machines. - Sofia Cassel; Falk Howar; Bengt Jonsson 001; Bernhard Steffen (Machine Learning for Dynamic Software Analysis, 2018)

Constraint-Based Behavioral Consistency of Evolving Software Systems. - Reiner Hähnle; Bernhard Steffen (Machine Learning for Dynamic Software Analysis, 2018)

Active Automata Learning in Practice - An Annotated Bibliography of the Years 2011 to 2016. - Falk Howar; Bernhard Steffen (Machine Learning for Dynamic Software Analysis, 2018)

Active Mining of Document Type Definitions. - Markus Frohme; Bernhard Steffen (FMICS, 2018)

Predicate Abstraction and Such... - Bernhard Steffen; Tiziana Margaria (FMICS, 2018)

M3C: Modal Meta Model Checking. - Bernhard Steffen; Alnis Murtovi (FMICS, 2018)

On the Difficulty of Drawing the Line. - Steve Boßelmann; Stefan Naujokat; Bernhard Steffen (ISoLA (1), 2018)

Towards a Unified View of Modeling and Programming (ISoLA 2018 Track Introduction). - Manfred Broy; Klaus Havelund; Rahul Kumar 001; Bernhard Steffen (ISoLA (1), 2018)

DSLs for Decision Services: A Tutorial Introduction to Language-Driven Engineering. - Frederik Gossen; Tiziana Margaria; Alnis Murtovi; Stefan Naujokat; Bernhard Steffen (ISoLA (1), 2018)

RERS 2018: CTL, LTL, and Reachability. - Marc Jasper; Malte Mues; Maximilian Schlüter; Bernhard Steffen; Falk Howar (ISoLA (2), 2018)

Synthesizing Subtle Bugs with Known Witnesses. - Marc Jasper; Bernhard Steffen (ISoLA (2), 2018)

Design for 'X' Through Model Transformation. - Michael Lybecait; Dawid Kopetzki; Bernhard Steffen (ISoLA (1), 2018)

A Tutorial Introduction to Graphical Modeling and Metamodeling with CINCO. - Michael Lybecait; Dawid Kopetzki; Philip Zweihoff; Annika Fuhge; Stefan Naujokat; Bernhard Steffen (ISoLA (1), 2018)

High-level frameworks for the specification and verification of scheduling problems. - Mounir Chadli; Jin Hyun Kim; Kim G. Larsen; Axel Legay; Stefan Naujokat; Bernhard Steffen; Louis-Marie Traonouez (Int. J. Softw. Tools Technol. Transf., 2018)

CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools. - Stefan Naujokat; Michael Lybecait; Dawid Kopetzki; Bernhard Steffen (Int. J. Softw. Tools Technol. Transf., 2018)

A Model-Driven and Generative Approach to Holistic Security. - Frederik Gossen; Tiziana Margaria; Johannes Neubauer; Bernhard Steffen (Resilience of Cyber-Physical Systems, 2019)

Generating Hard Benchmark Problems for Weak Bisimulation. - Bernhard Steffen; Marc Jasper (From Reactive Systems to Cyber-Physical Systems, 2019)

Product Line Verification via Modal Meta Model Checking. - Tim Tegeler; Alnis Murtovi; Markus Frohme; Bernhard Steffen (From Software Engineering to Formal Methods and Tools, and Back, 2019)

Pyro: Generating Domain-Specific Collaborative Online Modeling Environments. - Philip Zweihoff; Stefan Naujokat; Bernhard Steffen (FASE, 2019)

TOOLympics 2019: An Overview of Competitions in Formal Methods. - Ezio Bartocci; Dirk Beyer 001; Paul E. Black; Grigory Fedyukovich; Hubert Garavel; Arnd Hartmanns; Marieke Huisman; Fabrice Kordon; Julian Nagele; Mihaela Sighireanu; Bernhard Steffen; Martin Suda 001; et al. (TACAS (3), 2019)

RERS 2019: Combining Synthesis with Real-World Models. - 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 (TACAS (3), 2019)

Large Random Forests: Optimisation for Rapid Evaluation. - Frederik Gossen; Bernhard Steffen (CoRR, 2019)

Aggressive Aggregation: a New Paradigm for Program Optimization. - Frederik Gossen; Marc Jasper; Alnis Murtovi; Bernhard Steffen (CoRR, 2019)

ADD-Lib: Decision Diagrams in Practice. - Frederik Gossen; Alnis Murtovi; Philip Zweihoff; Bernhard Steffen (CoRR, 2019)

Methods, Languages and Tools for Future System Development. - Bernhard Steffen (Computing and Software Science, 2019)

Language-Driven Engineering: From General-Purpose to Purpose-Specific Languages. - Bernhard Steffen; Frederik Gossen; Stefan Naujokat; Tiziana Margaria (Computing and Software Science, 2019)

Every Component Matters: Generating Parallel Verification Benchmarks with Hardness Guarantees. - Marc Jasper; Maximilian Schlüter; David Schmidt 001; Bernhard Steffen (ISoLA (4), 2020)

Guaranteeing Type Consistency in Collective Adaptive Systems. - Jonas Schürmann; Tim Tegeler; Bernhard Steffen (ISoLA (2), 2020)

Characteristic invariants in Hennessy-Milner logic. - Marc Jasper; Maximilian Schlüter; Bernhard Steffen (Acta Informatica, 2020)

Towards Explainability in Machine Learning: The Formal Methods Way. - Frederik Gossen; Tiziana Margaria; Bernhard Steffen (IT Prof., 2020)

The Automatic Generation of an Efficient Floor Field for CA Simulations in Crowd Management. - Mohcine Chraibi; Bernhard Steffen; Jun Zhang 068 (J. Cell. Autom., 2020)

eXtreme Model-Driven Development (XMDD) Technologies as a Hands-On Approach to Software Development Without Coding. - Tiziana Margaria; Bernhard Steffen (Encyclopedia of Education and Information Technologies, 2020)

A Context-Free Symbiosis of Runtime Verification and Automata Learning. - Markus Frohme; Bernhard Steffen (Formal Methods in Outer Space, 2021)

Never-Stop Context-Free Learning. - Markus Frohme; Bernhard Steffen (Model Checking, Synthesis, and Learning, 2021)

Model Checking, Synthesis, and Learning. - Ernst-Rüdiger Olderog; Bernhard Steffen; Wang Yi 001 (Model Checking, Synthesis, and Learning, 2021)

Programming - What is Next? - Klaus Havelund; Bernhard Steffen (ISoLA, 2021)

Agile Business Engineering: From Transformation Towards ContinuousInnovation. - Barbara Steffen; Falk Howar; Tim Tegeler; Bernhard Steffen (ISoLA, 2021)

Asking Why. - Barbara Steffen; Bernhard Steffen (ISoLA, 2021)

An Introduction to Graphical Modeling of CI/CD Workflows with Rig. - Tim Tegeler; Sebastian Teumert; Jonas Schürmann; Alexander Bainczyk; Daniel Busch; Bernhard Steffen (ISoLA, 2021)

Pyrus: An Online Modeling Environment for No-Code Data-Analytics Service Composition. - Philip Zweihoff; Bernhard Steffen (ISoLA, 2021)

Aligned, Purpose-Driven Cooperation: The Future Way of System Development. - Philip Zweihoff; Tim Tegeler; Jonas Schürmann; Alexander Bainczyk; Bernhard Steffen (ISoLA, 2021)

Generative Program Analysis and Beyond: The Power of Domain-Specific Languages (Invited Paper). - Bernhard Steffen; Alnis Murtovi (VMCAI, 2021)

A Generative Approach for User-Centered, Collaborative, Domain-Specific Modeling Environments. - Philip Zweihoff; Bernhard Steffen (CoRR, 2021)

Formal Methods Boost Experimental Performance for Explainable AI. - Frederik Gossen; Tiziana Margaria; Bernhard Steffen (IT Prof., 2021)

TOOLympics II: competitions on formal methods. - Dirk Beyer 001; Marieke Huisman; Fabrice Kordon; Bernhard Steffen (Int. J. Softw. Tools Technol. Transf., 2021)

Compositional learning of mutually recursive procedural systems. - Markus Frohme; Bernhard Steffen (Int. J. Softw. Tools Technol. Transf., 2021)

The RERS challenge: towards controllable and scalable benchmark synthesis. - Falk Howar; Marc Jasper; Malte Mues; David Schmidt 001; Bernhard Steffen (Int. J. Softw. Tools Technol. Transf., 2021)

Towards language-to-language transformation. - Dawid Kopetzki; Michael Lybecait; Stefan Naujokat; Bernhard Steffen (Int. J. Softw. Tools Technol. Transf., 2021)

Lifelong Learning of Reactive Systems in Practice. - Alexander Bainczyk; Bernhard Steffen; Falk Howar (The Logic of Software. A Tasting Menu of Formal Methods, 2022)

From Languages to Behaviors and Back. - Markus Frohme; Bernhard Steffen (A Journey from Process Algebra via Timed Automata to Model Learning, 2022)

Active Automata Learning as Black-Box Search and Lazy Partition Refinement. - Falk Howar; Bernhard Steffen (A Journey from Process Algebra via Timed Automata to Model Learning, 2022)

Towards Continuous Quality Control in the Context of Language-Driven Engineering. - Alexander Bainczyk; Steve Boßelmann; Marvin Krause; Marco Krumrey; Dominic Wirkner; Bernhard Steffen (ISoLA (2), 2022)

Cinco Cloud: A Holistic Approach for Web-Based Language-Driven Engineering. - Alexander Bainczyk; Daniel Busch; Marco Krumrey; Daniel Sami Mitwalli; Jonas Schürmann; Joel Tagoukeng Dongmo; Bernhard Steffen (ISoLA (2), 2022)

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 (ISoLA (2), 2022)

Formal Methods Meet Machine Learning (F3ML). - Kim G. Larsen; Axel Legay; Gerrit Nolte; Maximilian Schlüter; Mariëlle Stoelinga; Bernhard Steffen (ISoLA (3), 2022)

DIME Days (ISoLA 2022 Track Introduction). - Tiziana Margaria; Dominic Wirkner; Daniel Busch; Alexander Bainczyk; Tim Tegeler; Bernhard Steffen (ISoLA (2), 2022)

Executable Documentation: Test-First in Action. - Steven Smyth; Jette Petzold; Jonas Schürmann; Florian Karbus; Tiziana Margaria; Reinhard von Hanxleden; Bernhard Steffen (ISoLA (2), 2022)

Executable Documentation: From Documentation Languages to Purpose-Specific Languages. - Tim Tegeler; Steve Boßelmann; Jonas Schürmann; Steven Smyth; Sebastian Teumert; Bernhard Steffen (ISoLA (2), 2022)

Forest GUMP: A Tool for Explanation. - Alnis Murtovi; Alexander Bainczyk; Bernhard Steffen (TACAS (2), 2022)

Lazy Merging: From a Potential of Universes to a Universe of Potentials. - Jonas Schürmann; Bernhard Steffen (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2022)

SOS-Supported Graph Transformation. - Sebastian Teumert; Marvin Krause; Bernhard Steffen (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2022)

Towards LLM-Based System Migration in Language-Driven Engineering. - Daniel Busch; Alexander Bainczyk; Bernhard Steffen (ECBS, 2023)

ChatGPT in the Loop: A Natural Language Extension for Domain-Specific Modeling Languages. - Daniel Busch; Gerrit Nolte; Alexander Bainczyk; Bernhard Steffen (AISoLA, 2023)

Algebraic aggregation of random forests: towards explainability and rapid evaluation. - Frederik Gossen; Bernhard Steffen (Int. J. Softw. Tools Technol. Transf., 2023)

Explanation Paradigms Leveraging Analytic Intuition (ExPLAIn). - Nils Jansen 001; Gerrit Nolte; Bernhard Steffen (Int. J. Softw. Tools Technol. Transf., 2023)

Forest GUMP: a tool for verification and explanation. - Alnis Murtovi; Alexander Bainczyk; Gerrit Nolte; Maximilian Schlüter; Bernhard Steffen (Int. J. Softw. Tools Technol. Transf., 2023)

The power of typed affine decision structures: a case study. - Gerrit Nolte; Maximilian Schlüter; Alnis Murtovi; Bernhard Steffen (Int. J. Softw. Tools Technol. Transf., 2023)

Towards rigorous understanding of neural networks via semantics-preserving transformations. - Maximilian Schlüter; Gerrit Nolte; Alnis Murtovi; Bernhard Steffen (Int. J. Softw. Tools Technol. Transf., 2023)

Malwa: Learnability by Design. - Marco Krumrey; Alexander Bainczyk; Falk Howar; Bernhard Steffen (Principles of Verification (3), 2024)

Enhancing Performance Through Control-Flow Unmerging and Loop Unrolling on GPUs. - Alnis Murtovi; Giorgis Georgakoudis; Konstantinos Parasyris; Chunhua Liao; Ignacio Laguna; Bernhard Steffen (CGO, 2024)

Code-Centric Code Generation. - Daniel Busch; Steven Smyth; Tim Tegeler; Bernhard Steffen (ISoLA (1), 2024)

Affinitree: A Compositional Framework for Formal Analysis and Explanation of Deep Neural Networks. - Maximilian Schlüter; Bernhard Steffen (TAP, 2024)

Language-Driven Engineering An Interdisciplinary Software Development Paradigm. - 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; et al. (CoRR, 2024)

Rance Cleaveland: a life for formal methods. - Bernhard Steffen (Int. J. Softw. Tools Technol. Transf., 2024)

Affinitree: A Compositional Framework for Formal Analysis and Explanation of Deep Neural Networks (TAP 24 Artifact). - Maximilian Schlüter; Bernhard Steffen (Zenodo, 2024)

All About Time. - Susanne Graf; Paul Pettersson; Bernhard Steffen (Real Time and Such, 2025)

Voting-Based Shortcuts through Random Forests for Obtaining Explainable Models. - Alnis Murtovi; Maximilian Schlüter; Bernhard Steffen (Real Time and Such, 2025)

Computing Inflated Explanations for Boosted Trees: A Compilation-Based Approach. - Alnis Murtovi; Maximilian Schlüter; Bernhard Steffen (The Combined Power of Research, Education, and Dissemination, 2025)

The Combined Power of Research, Education and Dissemination. - Bernhard Steffen; Mike Hinchey (The Combined Power of Research, Education, and Dissemination, 2025)

LearnLib: 10 years later. - Markus Frohme; Falk Howar; Bernhard Steffen (CAV (4), 2025)

An Efficient Compilation-Based Approach to Explaining Random Forests Through Decision Trees. - Alnis Murtovi; Maximilian Schlüter; Bernhard Steffen (ICAART (2), 2025)

LLM-based code generation and system migration in language-driven engineering. - Daniel Busch; Alexander Bainczyk; Steven Smyth; Bernhard Steffen (Int. J. Softw. Tools Technol. Transf., 2025)