Bernhard Steffen

Affiliations:
  • TU Dortmund, Germany


According to our database1, Bernhard Steffen authored at least 351 papers between 1987 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Language-Driven Engineering An Interdisciplinary Software Development Paradigm.
CoRR, 2024

Enhancing Performance Through Control-Flow Unmerging and Loop Unrolling on GPUs.
Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2024

2023
Towards rigorous understanding of neural networks via semantics-preserving transformations.
Int. J. Softw. Tools Technol. Transf., June, 2023

The power of typed affine decision structures: a case study.
Int. J. Softw. Tools Technol. Transf., June, 2023

Forest GUMP: a tool for verification and explanation.
Int. J. Softw. Tools Technol. Transf., June, 2023

Explanation Paradigms Leveraging Analytic Intuition (ExPLAIn).
Int. J. Softw. Tools Technol. Transf., June, 2023

Algebraic aggregation of random forests: towards explainability and rapid evaluation.
Int. J. Softw. Tools Technol. Transf., June, 2023

ChatGPT in the Loop: A Natural Language Extension for Domain-Specific Modeling Languages.
Proceedings of the Bridging the Gap Between AI and Reality, 2023

Towards LLM-Based System Migration in Language-Driven Engineering.
Proceedings of the Engineering of Computer-Based Systems - 8th International Conference, 2023

2022
SOS-Supported Graph Transformation.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2022

Lazy Merging: From a Potential of Universes to a Universe of Potentials.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2022

Forest GUMP: A Tool for Explanation.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Executable Documentation: From Documentation Languages to Purpose-Specific Languages.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

Executable Documentation: Test-First in Action.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

DIME Days (ISoLA 2022 Track Introduction).
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

Formal Methods Meet Machine Learning (F3ML).
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

Discussing the Future Role of Documentation in the Context of Modern Software Engineering (ISoLA 2022 Track Introduction).
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

Cinco Cloud: A Holistic Approach for Web-Based Language-Driven Engineering.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

Towards Continuous Quality Control in the Context of Language-Driven Engineering.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

Active Automata Learning as Black-Box Search and Lazy Partition Refinement.
Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

From Languages to Behaviors and Back.
Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

Lifelong Learning of Reactive Systems in Practice.
Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022

2021
Towards language-to-language transformation.
Int. J. Softw. Tools Technol. Transf., 2021

The RERS challenge: towards controllable and scalable benchmark synthesis.
Int. J. Softw. Tools Technol. Transf., 2021

Compositional learning of mutually recursive procedural systems.
Int. J. Softw. Tools Technol. Transf., 2021

TOOLympics II: competitions on formal methods.
Int. J. Softw. Tools Technol. Transf., 2021

Formal Methods Boost Experimental Performance for Explainable AI.
IT Prof., 2021

A Generative Approach for User-Centered, Collaborative, Domain-Specific Modeling Environments.
CoRR, 2021

Generative Program Analysis and Beyond: The Power of Domain-Specific Languages (Invited Paper).
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

Aligned, Purpose-Driven Cooperation: The Future Way of System Development.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, 2021

Pyrus: An Online Modeling Environment for No-Code Data-Analytics Service Composition.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, 2021

An Introduction to Graphical Modeling of CI/CD Workflows with Rig.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, 2021

Asking Why.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, 2021

Agile Business Engineering: From Transformation Towards ContinuousInnovation.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, 2021

Programming - What is Next?
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, 2021

Model Checking, Synthesis, and Learning.
Proceedings of the Model Checking, Synthesis, and Learning, 2021

Never-Stop Context-Free Learning.
Proceedings of the Model Checking, Synthesis, and Learning, 2021

A Context-Free Symbiosis of Runtime Verification and Automata Learning.
Proceedings of the Formal Methods in Outer Space, 2021

2020
eXtreme Model-Driven Development (XMDD) Technologies as a Hands-On Approach to Software Development Without Coding.
Proceedings of the Encyclopedia of Education and Information Technologies, 2020

The Automatic Generation of an Efficient Floor Field for CA Simulations in Crowd Management.
J. Cell. Autom., 2020

Towards Explainability in Machine Learning: The Formal Methods Way.
IT Prof., 2020

Characteristic invariants in Hennessy-Milner logic.
Acta Informatica, 2020

Guaranteeing Type Consistency in Collective Adaptive Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

Every Component Matters: Generating Parallel Verification Benchmarks with Hardness Guarantees.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020

2019
Language-Driven Engineering: From General-Purpose to Purpose-Specific Languages.
Proceedings of the Computing and Software Science - State of the Art and Perspectives, 2019

Methods, Languages and Tools for Future System Development.
Proceedings of the Computing and Software Science - State of the Art and Perspectives, 2019

ADD-Lib: Decision Diagrams in Practice.
CoRR, 2019

Aggressive Aggregation: a New Paradigm for Program Optimization.
CoRR, 2019

Large Random Forests: Optimisation for Rapid Evaluation.
CoRR, 2019

RERS 2019: Combining Synthesis with Real-World Models.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

TOOLympics 2019: An Overview of Competitions in Formal Methods.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Pyro: Generating Domain-Specific Collaborative Online Modeling Environments.
Proceedings of the Fundamental Approaches to Software Engineering, 2019

Product Line Verification via Modal Meta Model Checking.
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

Generating Hard Benchmark Problems for Weak Bisimulation.
Proceedings of the From Reactive Systems to Cyber-Physical Systems, 2019

A Model-Driven and Generative Approach to Holistic Security.
Proceedings of the Resilience of Cyber-Physical Systems, 2019

2018
CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools.
Int. J. Softw. Tools Technol. Transf., 2018

High-level frameworks for the specification and verification of scheduling problems.
Int. J. Softw. Tools Technol. Transf., 2018

A Tutorial Introduction to Graphical Modeling and Metamodeling with CINCO.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

Design for 'X' Through Model Transformation.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

Synthesizing Subtle Bugs with Known Witnesses.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

RERS 2018: CTL, LTL, and Reachability.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

DSLs for Decision Services: A Tutorial Introduction to Language-Driven Engineering.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

Towards a Unified View of Modeling and Programming (ISoLA 2018 Track Introduction).
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

On the Difficulty of Drawing the Line.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

M3C: Modal Meta Model Checking.
Proceedings of the Formal Methods for Industrial Critical Systems, 2018

Predicate Abstraction and Such...
Proceedings of the Formal Methods for Industrial Critical Systems, 2018

Active Mining of Document Type Definitions.
Proceedings of the Formal Methods for Industrial Critical Systems, 2018

Active Automata Learning in Practice - An Annotated Bibliography of the Years 2011 to 2016.
Proceedings of the Machine Learning for Dynamic Software Analysis: Potentials and Limits, 2018

Constraint-Based Behavioral Consistency of Evolving Software Systems.
Proceedings of the Machine Learning for Dynamic Software Analysis: Potentials and Limits, 2018

Extending Automata Learning to Extended Finite State Machines.
Proceedings of the Machine Learning for Dynamic Software Analysis: Potentials and Limits, 2018

The Automatic Generation of an Efficient Floor Field for CA Simulations in Crowd Management.
Proceedings of the Cellular Automata, 2018

Mathematical Foundations of Advanced Informatics, Volume 1: Inductive Approaches.
Springer, ISBN: 978-3-319-68396-6, 2018

2017
The physics of software tools: SWOT analysis and vision.
Int. J. Softw. Tools Technol. Transf., 2017

The RERS 2017 challenge and workshop (invited paper).
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

Analyzing ambient assisted living solutions: A research perspective.
Proceedings of the 12th International Conference on Design & Technology of Integrated Systems In Nanoscale Era, 2017

Securing C/C++ applications with a SEcube™-based model-driven approach.
Proceedings of the 12th International Conference on Design & Technology of Integrated Systems In Nanoscale Era, 2017

Property-Preserving Parallel Decomposition.
Proceedings of the Models, Algorithms, Logics and Tools, 2017

Model-Based Testing Without Models: The TodoMVC Case Study.
Proceedings of the ModelEd, TestEd, TrustEd, 2017

Property-Preserving Generation of Tailored Benchmark Petri Nets.
Proceedings of the 17th International Conference on Application of Concurrency to System Design, 2017

2016
Scientific workflows with the jABC framework - A review after a decade in the field.
Int. J. Softw. Tools Technol. Transf., 2016

Multiscale Simulation of Pedestrians for Efficient Predictive Modeling in Large Events.
J. Cell. Autom., 2016

Archimedean Points: The Essence for Mastering Change.
LNCS Trans. Found. Mastering Chang., 2016

Introduction to the First Issue of FoMaC.
LNCS Trans. Found. Mastering Chang., 2016

Active learning for extended finite state machines.
Formal Aspects Comput., 2016

Meta-Level Reuse for Mastering Domain Specialization.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Synthesis from a Practical Perspective.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Towards a Unified View of Modeling and Programming (Track Summary).
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

DIME: A Programming-Less Modeling Environment for Web Applications.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

ALEX: Mixed-Mode Learning of Web Applications at Ease.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems.
Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016

Playing with Abstraction and Representation.
Proceedings of the Semantics, Logics, and Calculi, 2016

2015
A succinct canonical register automaton model.
J. Log. Algebraic Methods Program., 2015

User-level synthesis: treating product lines as systems of constraints.
Proceedings of the 19th International Conference on Software Product Line, 2015

LearnLib Tutorial - An Open-Source Java Library for Active Automata Learning.
Proceedings of the Runtime Verification - 6th International Conference, 2015

Rigorous Examination of Reactive Systems: The RERS Challenge 2015.
Proceedings of the Runtime Verification - 6th International Conference, 2015

The Open-Source LearnLib - A Framework for Active Automata Learning.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014
Modeling and Execution of Scientific Workflows with the jABC Framework.
Proceedings of the Process Design for Natural Scientists - An Agile Model-Driven Approach, 2014

Property-driven benchmark generation: synthesizing programs of realistic structure.
Int. J. Softw. Tools Technol. Transf., 2014

Tailored generation of concurrent benchmarks.
Int. J. Softw. Tools Technol. Transf., 2014

Risk-based testing via active continuous quality control.
Int. J. Softw. Tools Technol. Transf., 2014

Rigorous examination of reactive systems - The RERS challenges 2012 and 2013.
Int. J. Softw. Tools Technol. Transf., 2014

Simplicity-first model-based plug-in development.
Softw. Pract. Exp., 2014

Learning register automata: from languages to program structures.
Mach. Learn., 2014

Learning Extended Finite State Machines.
Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning.
Proceedings of the Runtime Verification - 5th International Conference, 2014

Learning-Based Cross-Platform Conformance Testing.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2014

Prototype-Driven Development of Web Applications with DyWA.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Back-To-Back Testing of Model-Based Code Generators.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Learning Models for Verification and Testing - Special Track at ISoLA 2014 Track Introduction.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Tutorial: Automata Learning in Practice.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

An Abstract Framework for Counterexample Analysis in Active Automata Learning.
Proceedings of the 12th International Conference on Grammatical Inference, 2014

Multiscale Simulation of Pedestrians for Faster Than Real Time Modeling in Large Events.
Proceedings of the Cellular Automata, 2014

2013
Simplicity Driven Application Development.
J. Integr. Des. Process. Sci., 2013

Higher-Order Process Modeling: Product-Lining, Variability Modeling and Beyond.
Proceedings of the Semantics, 2013

Plug-and-Play Higher-Order Process Integration.
Computer, 2013

Parallel real time computation of large scale pedestrian evacuations.
Adv. Eng. Softw., 2013

Property-Driven Benchmark Generation.
Proceedings of the Model Checking Software - 20th International Symposium, 2013

Inferring Automata with State-Local Alphabet Abstractions.
Proceedings of the NASA Formal Methods, 2013

Second-Order Servification.
Proceedings of the Software Business. From Physical Products to Software Services and Solutions, 2013

Active continuous quality control.
Proceedings of the CBSE'13, 2013

2012
A constraint-based variability modeling framework.
Int. J. Softw. Tools Technol. Transf., 2012

Active Automata Learning: From DFAs to Interface Programs and Beyond.
Proceedings of the Eleventh International Conference on Grammatical Inference, 2012

Never-stop Learning: Continuous Validation of Learned Models for Evolving Systems through Monitoring.
ERCIM News, 2012

Inferring Canonical Register Automata.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

Demonstrating Learning of Register Automata.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Exploiting Ecore's Reflexivity for Bootstrapping Domain-Specific Code-Generators.
Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012

An Evaluation of Service Integration Approaches of Business Process Management Systems.
Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012

Automated Learning Setups in Automata Learning.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Automated Inference of Models for Black Box Systems Based on Interface Descriptions.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Inferring Semantic Interfaces of Data Structures.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

LearnLib Tutorial: From Finite Automata to Register Interface Programs.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Reha-Sports: The Challenge of Small Margin Healthcare Accounting.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

Automated continuous quality assurance.
Proceedings of the First International Workshop on Formal Methods in Software Engineering, 2012

Simplicity principles for plug-in development: the jABC approach.
Proceedings of the Second International Workshop on Developing Tools as Plug-Ins, 2012

Loose Programming with PROPHETS.
Proceedings of the Fundamental Approaches to Software Engineering, 2012

Machine Learning for Emergent Middleware.
Proceedings of the Trustworthy Eternal Systems via Evolving Software, Data and Knowledge, 2012

A Succinct Canonical Register Automaton Model for Data Domains with Binary Relations.
Proceedings of the Automated Technology for Verification and Analysis, 2012

Service-Orientation: Conquering Complexity with XMDD.
Proceedings of the Conquering Complexity, 2012

The XMDD Approach to the Semantic Web Services Challenge.
Proceedings of the Semantic Web Services, Advancement through Evaluation, 2012

Customer-Oriented Business Process Management: Vision and Obstacles.
Proceedings of the Conquering Complexity, 2012

2011
Game-Based Model Checking for Reliable Autonomy in Space.
J. Aerosp. Comput. Inf. Commun., 2011

Assuring property conformance of code generators via model checking.
Formal Aspects Comput., 2011

Semantics-based composition of EMBOSS services.
J. Biomed. Semant., 2011

Quality Engineering: Leveraging Heterogeneous Information - (Invited Talk).
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

Automata Learning with Automated Alphabet Abstraction Refinement.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

Next Generation LearnLib.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Introduction to Active Automata Learning from a Practical Perspective.
Proceedings of the Formal Methods for Eternal Networked Software Systems, 2011

Simplified Validation of Emergent Systems through Automata Learning-Based Testing.
Proceedings of the 34th Annual IEEE Software Engineering Workshop, 2011

Special Session on "Simplification through Change of Perspective".
Proceedings of the 34th Annual IEEE Software Engineering Workshop, 2011

Requirement-Driven Evaluation of Remote ERP-System Solutions: A Service-oriented Perspective.
Proceedings of the 34th Annual IEEE Software Engineering Workshop, 2011

Runtime Optimisation Approaches for a Real-Time Evacuation Assistant.
Proceedings of the Parallel Processing and Applied Mathematics, 2011

Automata Learning with On-the-Fly Direct Hypothesis Construction.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2011

The Teachers' Crowd: The Impact of Distributed Oracles on Active Automata Learning.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2011

Tailoring Process Synthesis to Domain Characteristics.
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

Leveraging Service-Orientation for Combining Code Generation Frameworks.
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

T-junction: Experiments, trajectory collection, and analysis.
Proceedings of the IEEE International Conference on Computer Vision Workshops, 2011

Synthesis-Based Variability Control: Correctness by Construction.
Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

Comparing Structure-Oriented and Behavior-Oriented Variability Modeling for Workflows.
Proceedings of the Eternal Systems - First International Workshop, 2011

Reusing System States by Active Learning Algorithms.
Proceedings of the Eternal Systems - First International Workshop, 2011

IT Simply Works: Simplicity and Embedded Systems Design.
Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2010
Round-Trip Engineering.
Proceedings of the Encyclopedia of Software Engineering, 2010

Bioinformatics: Processes and Workflows.
Proceedings of the Encyclopedia of Software Engineering, 2010

Evolution support in heterogeneous service-oriented landscapes.
J. Braz. Comput. Soc., 2010

Second-Order Value Numbering.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Simplicity as a Driver for Agile Innovation.
Computer, 2010

Constraint-Guided Workflow Composition Based on the EDAM Ontology.
Proceedings of the Workshop on Semantic Web Applications and Tools for Life Sciences, 2010

Synthesis-Based Loose Programming.
Proceedings of the Quality of Information and Communications Technology, 2010

From ZULU to RERS - Lessons Learned in the ZULU Challenge.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

On Handling Data in Automata Learning - Considerations from the CONNECT Perspective.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Towards an Architecture for Runtime Interoperability.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009
New Insights into Pedestrian Flow Through Bottlenecks.
Transp. Sci., 2009

LearnLib: a framework for extrapolating behavioral models.
Int. J. Softw. Tools Technol. Transf., 2009

Dynamic testing via automata learning.
Int. J. Softw. Tools Technol. Transf., 2009

Guest Editor's introduction.
Int. J. Softw. Tools Technol. Transf., 2009

Tool-supported enhancement of diagnosis in model-driven verification.
Innov. Syst. Softw. Eng., 2009

Continuous Model-Driven Engineering.
Computer, 2009

Bio-jETI: a framework for semantics-based service composition.
BMC Bioinform., 2009

Semantics-Based Composition of EMBOSS Services with Bio-jETI.
Proceedings of the Workshop on Semantic Web Applications and Tools for Life Sciences, 2009

Synthesizing Semantic Web Service Compositions with jMosel and Golog.
Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009

Component-Oriented Behavior Extraction for Autonomic System Design.
Proceedings of the First NASA Formal Methods Symposium, 2009

Maintenance, or the 3rd dimension of eXtreme model-driven design.
Proceedings of the 25th IEEE International Conference on Software Maintenance (ICSM 2009), 2009

Keynote: Continuous Model Driven Engineering.
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

From Bio-jETI Process Models to Native Code.
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems.
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

Building Code Generators with Genesys: A Tutorial Introduction.
Proceedings of the Generative and Transformational Techniques in Software Engineering III, 2009

Automatic Generation of the SWS- Challenge Mediator with jABC/ABC.
Proceedings of the Semantic Web Services Challenge, Results from the First Year., 2009

Comparison: Handling Preferences with DIANE and miAamics.
Proceedings of the Semantic Web Services Challenge, Results from the First Year., 2009

An Approach to Discovery with miAamics and jABC.
Proceedings of the Semantic Web Services Challenge, Results from the First Year., 2009

Service-oriented Mediation with jABC/jETI.
Proceedings of the Semantic Web Services Challenge, Results from the First Year., 2009

Comparison: Mediation on WebML/WebRatio and jABC/jETI.
Proceedings of the Semantic Web Services Challenge, Results from the First Year., 2009

Business Process Modeling in the jABC.
Proceedings of the Handbook of Research on Business Process Modeling., 2009

2008
Preface.
Theor. Comput. Sci., 2008

Genesys: service-oriented construction of property conform code generators.
Innov. Syst. Softw. Eng., 2008

Plug and Play with FMICS-jETI: Beyond Scripting and Coding.
ERCIM News, 2008

Bio-jETI: a service integration, design, and provisioning platform for orchestrated bioinformatics processes.
BMC Bioinform., 2008

GeneFisher-P: variations of GeneFisher as processes in Bio-jETI.
BMC Bioinform., 2008

Supporting Process Development in Bio-jETI by Model Checking and Synthesis.
Proceedings of the Workshop on Semantic Web Applications and Tools for Life Sciences ( SWAT4LS ) Edinburgh, 2008

Hybrid test of web applications with webtest.
Proceedings of the 2008 Workshop on Testing, 2008

Agile IT: Thinking in User-Centric Models.
Proceedings of the Leveraging Applications of Formal Methods, 2008

SCA and jABC: Bringing a Service-Oriented Paradigm to Web-Service Construction.
Proceedings of the Leveraging Applications of Formal Methods, 2008

The jABC Approach to Rigorous Collaborative Development of SCM Applications.
Proceedings of the Leveraging Applications of Formal Methods, 2008

Seven Variations of an Alignment Workflow - An Illustration of Agile Process Design and Management in Bio-jETI.
Proceedings of the Bioinformatics Research and Applications, 2008

2007
Full Life-Cycle Support for End-to-End Processes.
Computer, 2007

LTL Guided Planning: Revisiting Automatic Tool Composition in ETI.
Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 2007

Pseudo-Spectral Modeling in Geodynamo.
Proceedings of the Parallel Computing: Architectures, 2007

Middleware: just another level for orchestration.
Proceedings of the Workshop on Middleware for Next-Generation Converged Networks and Applications, 2007

Verification, Diagnosis and Adaptation: Tool supported enhancement of the model-driven verification process.
Proceedings of the ISoLA 2007, 2007

The SWS Mediator with WEBML/WEBRATIO and JABC/JETI: A Comparison.
Proceedings of the ICEIS 2007, 2007

The LearnLib in FMICS-jETI.
Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

An Approach to Discovery with miAamics and jABC.
Proceedings of the 2007 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2007

Service-Oriented Mediation with jETI/jABC: Verification and Export.
Proceedings of the 2007 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2007

Dynamic Testing Via Automata Learning.
Proceedings of the Hardware and Software: Verification and Testing, 2007

2006
Special Section on "Leveraging Formal Methods".
Int. J. Softw. Tools Technol. Transf., 2006

Service Engineering: Linking Business and IT.
Computer, 2006

jMosel: A Stand-Alone Tool and jABC Plugin for M2L(Str).
Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006

Datenflussanalyse als Modelchecking im jABC.
Proceedings of the Software Engineering 2006, 2006

Enhanced Requirements-Based Programming for Embedded Systems Design.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, 2006

The FMICS-jETI Platform: Status and Perspectives.
Proceedings of the Leveraging Applications of Formal Methods, 2006

Biological LC/MS Preprocessing and Analysis with jABC, jETI and xcms.
Proceedings of the Leveraging Applications of Formal Methods, 2006

Service Based Enabling Service Availability in the MaTRICS: A Model-Driven Approach.
Proceedings of the Leveraging Applications of Formal Methods, 2006

Completing and Adapting Models of Biological Processes.
Proceedings of the Biologically Inspired Cooperative Computing, 2006

Continuous Engineering of Embedded systems.
Proceedings of the From Model-Driven Design to Resource Management for Distributed Embedded Systems, 2006

FormulaBuilder: a tool for graph-based modelling and generation of formulae.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC.
Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

Model-Driven Development with the jABC.
Proceedings of the Hardware and Software, 2006

LearnLib: A Library for Automata Learning and Experimentation.
Proceedings of the Fundamental Approaches to Software Engineering, 2006

Data-Flow Analysis as Model Checking Within the jABC.
Proceedings of the Compiler Construction, 15th International Conference, 2006

ViDoC - Visual Design of Optimizing Compilers.
Proceedings of the Program Analysis and Compilation, 2006

2005
Knowledge-based relevance filtering for efficient system-level test-based model generation.
Innov. Syst. Softw. Eng., 2005

Dynamic and Formal Verification of Embedded Systems: A Comparative Survey.
Int. J. Parallel Program., 2005

A particle-particle particle-multigrid method for long-range interactions in molecular simulations.
Comput. Phys. Commun., 2005

Run-Time Agents as a Means of Reconciling Flexibility and Scalability of Services.
Proceedings of the Innovative Concepts for Autonomic and Agent-Based Systems, 2005

From the How to the What.
Proceedings of the Verified Software: Theories, 2005

jETI: A Tool for Remote Tool Integration.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

Second-Order Semantic Web.
Proceedings of the 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 2005

Aggressive Model-Driven Development: Synthesizing Systems from Models viewed as Constraints.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme I, 2005

Analyzing second-order effects between optimizations for system-level test-based model generation.
Proceedings of the Proceedings 2005 IEEE International Test Conference, 2005

Service-Oriented Design: The Roots.
Proceedings of the Service-Oriented Computing, 2005

LearnLib: a library for automata learning and experimentation.
Proceedings of the 10th international workshop on Formal methods for industrial critical systems, 2005

On the Correspondence Between Conformance Testing and Regular Inference.
Proceedings of the Fundamental Approaches to Software Engineering, 2005

Interprocedural Herbrand Equalities.
Proceedings of the Programming Languages and Systems, 2005

Remote Integration and Coordination of Verification Tools in JETI.
Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

Service-Oriented Design: The jABC Approach.
Proceedings of the Service Oriented Computing (SOC), 15.-18. November 2005, 2005

Taming Interface Specifications.
Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

2004
Lightweight coarse-grained coordination: a scalable system-level approach.
Int. J. Softw. Tools Technol. Transf., 2004

Behavior-based model construction.
Int. J. Softw. Tools Technol. Transf., 2004

Major Threat: From Formal Methods without Tools to Tools without Formal Methods.
Proceedings of the 9th International Conference on Engineering of Complex Computer Systems (ICECCS 2004), 2004

Efficient test-based model generation for legacy reactive systems.
Proceedings of the Ninth IEEE International High-Level Design Validation and Test Workshop 2004, 2004

2003
Test-Based Model Generation For Legacy Systems.
Proceedings of the Proceedings 2003 International Test Conference (ITC 2003), Breaking Test Interface Bottlenecks, 28 September, 2003

The Electronic Tool Integration Platform (ETI) and the Petri Net Technology.
Proceedings of the Petri Net Technology for Communication-Based Systems, 2003

Domain-Specific Optimization in Automata Learning.
Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002
Scalable System-level CTI Testing through Lightweight Coarse-grained Coordination.
Proceedings of the 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, 2002

Demonstration of an Automated Integrated Test Environment for Web-Based Applications.
Proceedings of the Model Checking of Software, 2002

Model Generation for Legacy Systems.
Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

Model Generation by Moderated Regular Extrapolation.
Proceedings of the Fundamental Approaches to Software Engineering, 2002

Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 2002

System level testing of virtual switch (re-)configuration over IP.
Proceedings of the 7th European Test Workshop, 2002

2001
Incremental Requirement Specification for Evolving Systems.
Nord. J. Comput., 2001

Coarse-Granular Model Checking in Practice.
Proceedings of the Model Checking Software, 2001

Library-Based Design and Consistency Checking of System-Level Industrial Test Cases.
Proceedings of the Fundamental Approaches to Software Engineering, 2001

Automated regression testing of CTI-systems.
Proceedings of the 6th European Test Workshop, 2001

Verification on Infinite Structures.
Proceedings of the Handbook of Process Algebra, 2001

2000
Constraint-Based Inter-Procedural Analysis of Parallel Programs.
Nord. J. Comput., 2000

Sparse Code Motion.
Proceedings of the POPL 2000, 2000

1999
Model Checking the Full Modal mu-Calculus for Infinite Sequential Processes.
Theor. Comput. Sci., 1999

The ETI Online Service in Action.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

Detecting Equalities of Variables: Combining Efficiency with Precision.
Proceedings of the Static Analysis, 6th International Symposium, 1999

Model-Checking: A Tutorial Introduction.
Proceedings of the Static Analysis, 6th International Symposium, 1999

Code Motion for Explicitly Parallel Programs.
Proceedings of the 1999 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP'99), 1999

On the Evolution of Reactive Components: A Process-Algebraic Approach.
Proceedings of the Fundamental Approaches to Software Engineering, 1999

Expansion-Based Removal of Semantic Partial Redundancies.
Proceedings of the Compiler Construction, 8th International Conference, 1999

METAFrame in Practice: Design of Intelligent Network Services.
Proceedings of the Correct System Design, 1999

1998
Automatic Error Location for IN Service Definition.
Proceedings of the Services and Visualization: Towards User-Friendly Design, 1998

Program Analysis <i>as</i> Model Checking of Abstract Interpretations.
Proceedings of the Static Analysis, 5th International Symposium, 1998

Backtracking-Free Design Planning by Automatic Synthesis in METAFrame.
Proceedings of the Fundamental Approaches to Software Engineering, 1998

Code Motion and Code Placement: Just Synonyms?
Proceedings of the Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28, 1998

Basic-Block Graphs: Living Dinosaurs?
Proceedings of the Compiler Construction, 7th International Conference, 1998

1997
The Electronic Tool Integration Platform: Concepts and Design.
Int. J. Softw. Tools Technol. Transf., 1997

Continuous Modeling of Real-Time and Hybrid Systems: From Concepts to Tools.
Int. J. Softw. Tools Technol. Transf., 1997

Editorial.
Int. J. Softw. Tools Technol. Transf., 1997

Graphs in METAFrame: The Unifying Power of Polymorphism.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

Unifying Models.
Proceedings of the STACS 97, 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27, 1997

A formal requirements engineering method for specification, synthesis, and verification.
Proceedings of the 8th Conference on Software Engineering Environments, 1997

New Preconditioned Solvers for Large Sparse Eigenvalue Problems on Massively Parallel Computers.
Proceedings of the Eighth SIAM Conference on Parallel Processing for Scientific Computing, 1997

Preconditioned Solvers for Large Eigenvalue Problems on Massively Parallel Computers and Workstation Clusters.
Proceedings of the Parallel Computing: Fundamentals, 1997

Service Definition for Intelligent Networks: Experience in a Leading-edge Technological Project Based on Constraint Techniques.
Proceedings of the Third International Conference on the Practical Application of Constraint Technology, 1997

1996
Parallelism for Free: Efficient and Optimal Bitvector Analyses for Parallel Programs.
ACM Trans. Program. Lang. Syst., 1996

Incremental Formalization: A Key to Industrial Success.
Softw. Concepts Tools, 1996

Heterogeneous Analysis and Verification for Distributed Systems.
Softw. Concepts Tools, 1996

Foreword.
Softw. Concepts Tools, 1996

Modellierung und Simulation am Beispiel von Hochtemparatur-Brennstoffzellen.
Prax. Inf.verarb. Kommun., 1996

Towards a tool kit for the automatic generation of interprocedural data flow analyses.
J. Program. Lang., 1996

Priority as Extremal Probability.
Formal Aspects Comput., 1996

Compositional Minimisation of Finite State Systems Using Interface Specifications.
Formal Aspects Comput., 1996

Preface.
Proceedings of the First International Workshop on Verification of Infinite State Systems, 1996

Tools Get Formal Methods into Practice.
ACM Comput. Surv., 1996

Method Engineering for Real-Life Concurrent Systems.
ACM Comput. Surv., 1996

A Constraint-Oriented Service Creation Environment.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

DFA&OPT-METAFrame: A Tool Kit for Program Analysis and Optimazation.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

Property-Oriented Expansion.
Proceedings of the Static Analysis, Third International Symposium, 1996

Bisimulation Collapse and the Process Taxonomy.
Proceedings of the CONCUR '96, 1996

Non-monotone Fixpoint Iterations to Resolve Second Order Effects.
Proceedings of the Compiler Construction, 6th International Conference, 1996

The METAFrame'95 Environment.
Proceedings of the Computer Aided Verification, 8th International Conference, 1996

Incremental Formalization.
Proceedings of the Algebraic Methodology and Software Technology, 1996

1995
Reactive, Generative and Stratified Models of Probabilistic Processes
Inf. Comput., August, 1995

Composition, Decomposition and Model Checking of Pushdown Processes.
Nord. J. Comput., 1995

The META-Frame: An Environment for Flexible Tool Management.
Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

A Constraint Oriented Proof Methodology Based on Modal Transition Systems.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1995

Parallelism for Free: Bitvector Analyses -> No State Explosion!
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1995

The Power of Assignment Motion.
Proceedings of the ACM SIGPLAN'95 Conference on Programming Language Design and Implementation (PLDI), 1995

An Elementary Bisimulation Decision Procedure for Arbitrary Context-Free Processes.
Proceedings of the Mathematical Foundations of Computer Science 1995, 1995

Fischer's Protocol Revisited: A Simple Proof Using Modal Constraints.
Proceedings of the Hybrid Systems III: Verification and Control, 1995

An Approach to Intelligent Software Library Management.
Proceedings of the Database Systems for Advanced Applications '95, 1995

The Fixpoint-Analysis Machine.
Proceedings of the CONCUR '95: Concurrency Theory, 1995

1994
Characteristic Formulae for Processes with Divergence
Inf. Comput., April, 1994

Optimal Code Motion: Theory and Practice.
ACM Trans. Program. Lang. Syst., 1994

Local Model-Checking for Context-Free Processes.
Nord. J. Comput., 1994

Partial Dead Code Elimination.
Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), 1994

A Pragmatic Approach to Software Synthesis.
Proceedings of the Workshop on Interface Definition Languages, 1994

The Methodology of Modal Constraints.
Proceedings of the Formal Systems Specification, 1994

Pushdown Processes: Parallel Composition and Model Checking.
Proceedings of the CONCUR '94, 1994

1993
The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems.
ACM Trans. Program. Lang. Syst., 1993

Generating Data Flow Analysis Algorithms from Modal Specifications.
Sci. Comput. Program., 1993

A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus.
Formal Methods Syst. Des., 1993

Hierarchical parallelization of imperative programs.
Proceedings of the 1993 Euromicro Workshop on Parallel and Distributed Processing, 1993

Deciding Testing Equivalence for Real-Time Processes with Dense Time.
Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

1992
Compositional characterization of observable program properties.
RAIRO Theor. Informatics Appl., 1992

Lazy code motion (with retrospective)
Proceedings of the 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, 1992

Lazy Code Motion.
Proceedings of the ACM SIGPLAN'92 Conference on Programming Language Design and Implementation (PLDI), 1992

Model Checking for Context-Free Processes.
Proceedings of the CONCUR '92, 1992

The Interprocedural Coincidence Theorem.
Proceedings of the Compiler Construction, 1992

Faster Model Checking for the Modal Mu-Calculus.
Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992

1991
Finite Constants: Characterizations of a New Decidable Set of Constants.
Theor. Comput. Sci., 1991

Efficient Code Motion and an Adaption to Strength Reduction.
Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

Data Flow Analysis as Model Checking.
Proceedings of the Theoretical Aspects of Computer Software, 1991

Computing Behavioural Relations, Logically.
Proceedings of the Automata, Languages and Programming, 18th International Colloquium, 1991

1990
Reactive, Generative, and Stratified Models of Probabilistic Processes
Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990

When is "Partial" Adequate? A Logic-Based Proof Technique Using Partial Specifications
Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990

The Value Flow Graph: A Program Representation for Optimal Program Transformations.
Proceedings of the ESOP'90, 1990

A Preorder for Partial Process Specifications.
Proceedings of the CONCUR '90, 1990

Compositional Minimization of Finite State Systems.
Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990

1989
A Semantics Based Verification Tool for Finite State Systems.
Proceedings of the Protocol Specification, 1989

Optimal Data Flow Analysis via Observational Equivalence.
Proceedings of the Mathematical Foundations of Computer Science 1989, 1989

Characteristic Formulae.
Proceedings of the Automata, Languages and Programming, 16th International Colloquium, 1989

The Concurrency Workbench.
Proceedings of the Automatic Verification Methods for Finite State Systems, 1989

1988
Implementation of a resonant cavity package on MIMD computers.
Parallel Comput., 1988

1987
Abstrakte Interpretationen beim Optimieren von Programmlaufzeiten - ein Optimalitätskonzept und seine Anwendung.
PhD thesis, 1987

Optimal Run Time Optimization Proved by a New Look at Abstract Interpretation.
Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987


  Loading...