Bernhard Steffen

According to our database1, Bernhard Steffen authored at least 297 papers between 1987 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

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

2018
CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools.
STTT, 2018

High-level frameworks for the specification and verification of scheduling problems.
STTT, 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.
STTT, 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.
STTT, 2016

Multiscale Simulation of Pedestrians for Efficient Predictive Modeling in Large Events.
J. Cellular Automata, 2016

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

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

Active learning for extended finite state machines.
Formal Asp. 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
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.
STTT, 2014

Tailored generation of concurrent benchmarks.
STTT, 2014

Risk-based testing via active continuous quality control.
STTT, 2014

Rigorous examination of reactive systems - The RERS challenges 2012 and 2013.
STTT, 2014

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

Learning register automata: from languages to program structures.
Machine Learning, 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. Integrated Design & Process Science, 2013

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

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

Parallel real time computation of large scale pedestrian evacuations.
Advances in Engineering Software, 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.
STTT, 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.
JACIC, 2011

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

Semantics-based composition of EMBOSS services.
J. Biomedical Semantics, 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

A Succinct Canonical Register Automaton Model.
Proceedings of the Automated Technology for Verification and Analysis, 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. Comp. Soc., 2010

Second-Order Value Numbering.
ECEASST, 2010

Simplicity as a Driver for Agile Innovation.
IEEE 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.
Transportation Science, 2009

LearnLib: a framework for extrapolating behavioral models.
STTT, 2009

Dynamic testing via automata learning.
STTT, 2009

Guest Editor's introduction.
STTT, 2009

Tool-supported enhancement of diagnosis in model-driven verification.
ISSE, 2009

Continuous Model-Driven Engineering.
IEEE Computer, 2009

Bio-jETI: a framework for semantics-based service composition.
BMC Bioinformatics, 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.
ISSE, 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 Bioinformatics, 2008

GeneFisher-P: variations of GeneFisher as processes in Bio-jETI.
BMC Bioinformatics, 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.
IEEE 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".
STTT, 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

Service Engineering: Linking Business and IT.
Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 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.
ISSE, 2005

Dynamic and Formal Verification of Embedded Systems: A Comparative Survey.
International Journal of Parallel Programming, 2005

A particle-particle particle-multigrid method for long-range interactions in molecular simulations.
Computer Physics Communications, 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

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.
STTT, 2004

Behavior-based model construction.
STTT, 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
Behavior-Based Model Construction.
Proceedings of the Verification, 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.
Electr. Notes Theor. Comput. Sci., 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

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

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

2000
Sparse Code Motion.
Proceedings of the POPL 2000, 2000

Incremental Requirement Specification for Evolving Systems.
Proceedings of the Feature Interactions in Telecommunications and Software Systems VI, 2000

Constraint-Based Inter-Procedural Analysis of Parallel Programs.
Proceedings of the Programming Languages and Systems, 2000

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 as 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.
STTT, 1997

Continuous Modeling of Real-Time and Hybrid Systems: From Concepts to Tools.
STTT, 1997

Editorial.
STTT, 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

Model Checking the Full Modal Mu-Calculus for Infinite Sequential Processes.
Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 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.
Software - Concepts and Tools, 1996

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

Foreword.
Software - Concepts and Tools, 1996

Modellierung und Simulation am Beispiel von Hochtemparatur-Brennstoffzellen.
Praxis der Informationsverarbeitung und Kommunikation, 1996

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

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

Preface.
Electr. Notes Theor. Comput. Sci., 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

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

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

Local Model Checking for Context-Free Processes.
Proceedings of the Automata, Languages and Programming, 20nd International Colloquium, 1993

1992
Compositional characterization of observable program properties.
ITA, 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
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

A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus.
Proceedings of the Computer Aided Verification, 3rd International Workshop, 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

Compositional Minimization of Finite State Systems.
Proceedings of the Computer-Aided Verification, 1990

Priority as Extremal Probability.
Proceedings of the CONCUR '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

Finite Constants: Characterizations of a New Decidable Set of Constants.
Proceedings of the Mathematical Foundations of Computer Science 1989, 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 Computing, 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...