Bernhard Steffen

Q: What Schools Are Affiliated With Bernhard Steffen

Bernhard Steffen is affiliated with the following schools: University of Passau, Kiel University, Technical University of Dortmund

Bernhard Steffen 's AcademicInfluence.com Rankings

Bernhard Steffen

Computer Science

#3133

World Rank

#3284

Historical Rank

Database

#2772

World Rank

#2896

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Why Is Bernhard Steffen Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Bernhard Steffen is a German computer scientist and professor at the TU Dortmund University, Germany. His research focuses on various facets of formal methods ranging from program analysis and verification, to workflow synthesis, to test-based modeling, and machine learning.

(See a Problem?)

Bernhard Steffen 's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

The concurrency workbench: a semantics-based tool for the verification of concurrent systems (1993) (635)
Reactive, generative, and stratified models of probabilistic processes (1990) (578)
Lazy code motion (1992) (285)
A linear-time model-checking algorithm for the alternation-free modal mu-calculus (1993) (277)
The Concurrency Workbench (1990) (233)
Verification on Infinite Structures (2001) (220)
Partial dead code elimination (1994) (214)
Optimal code motion: theory and practice (1994) (213)
Model-Driven Development with the jABC (2006) (213)
Compositional Minimization of Finite State Systems (1990) (192)
Model-Checking: A Tutorial Introduction (1999) (180)
The Interprocedural Coincidence Theorem (1992) (167)
Data Flow Analysis as Model Checking (1990) (157)
Model Checking for Context-Free Processes (1992) (150)
Introduction to Active Automata Learning from a Practical Perspective (2011) (148)
LearnLib: a library for automata learning and experimentation (2005) (147)
The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning (2014) (141)
Domain-Specific Optimization in Automata Learning (2003) (139)
Program Analysis as Model Checking of Abstract Interpretations (1998) (139)
Model Generation by Moderated Regular Extrapolation (2002) (135)
LearnLib: a framework for extrapolating behavioral models (2009) (130)
Characteristic Formulae for Processes with Divergence (1994) (129)
Parallelism for free: efficient and optimal bitvector analyses for parallel programs (1996) (122)
Faster Model Checking for the Modal Mu-Calculus (1992) (121)
On the Correspondence Between Conformance Testing and Regular Inference (2005) (121)
Dynamic testing via automata learning (2007) (116)
The Electronic Tool Integration platform: concepts and design (1997) (114)
Inferring Canonical Register Automata (2012) (111)
Agile IT: Thinking in User-Centric Models (2008) (109)
Compositional minimisation of finite state systems using interface specifications (1996) (105)
The Open-Source LearnLib - A Framework for Active Automata Learning (2015) (104)
Active learning for extended finite state machines (2016) (101)
An Elementary Bisimulation Decision Procedure for Arbitrary Context-Free Processes (1995) (101)
Generating Data Flow Analysis Algorithms from Modal Specifications (1993) (95)
Service-Orientation: Conquering Complexity with XMDD (2012) (95)
Next Generation LearnLib (2011) (91)
A Constraint Oriented Proof Methodology Based on Modal Transition Systems (1994) (91)
A Semantics Based Verification Tool for Finite State Systems (1989) (89)
Simplicity as a Driver for Agile Innovation (2010) (88)
Service-Oriented Design: The Roots (2005) (87)
Efficient test-based model generation for legacy reactive systems (2004) (86)
Lightweight coarse-grained coordination: a scalable system-level approach (2004) (84)
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel) (1999) (84)
Model Checking the Full Modal mu-Calculus for Infinite Sequential Processes (1997) (84)
Automata Learning with Automated Alphabet Abstraction Refinement (2011) (84)
CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools (2018) (77)
Pushdown Processes: Parallel Composition and Model Checking (1994) (77)
Property-Oriented Expansion (1996) (77)
Computing Behavioural Relations, Logically (1991) (76)
The Value Flow Graph: A Program Representation for Optimal Program Transformations (1990) (75)
Leveraging Applications of Formal Methods, Verification, and Validation (2012) (72)
jETI: A Tool for Remote Tool Integration (2005) (72)
METAFrame in Practice: Design of Intelligent Network Services (1999) (70)
Bisimulation Collapse and the Process Taxonomy (1996) (70)
Continuous Model-Driven Engineering (2009) (69)
Learning register automata: from languages to program structures (2014) (67)
Bio-jETI: a framework for semantics-based service composition (2009) (66)
The Fixpoint-Analysis Machine (1995) (64)
Incremental Formalization: A Key to Industrial Success (1996) (60)
Bio-jETI: a service integration, design, and provisioning platform for orchestrated bioinformatics processes (2008) (59)
Loose Programming with PROPHETS (2012) (59)
Semantics-based composition of EMBOSS services (2011) (58)
Remote integration and coordination of verification tools in jETI (2005) (58)
Characteristic Formulae (1989) (58)
Business Process Modeling in the jABC (2009) (57)
Composition, Decomposition and Model Checking of Pushdown Processes (1995) (54)
Synthesis-Based Loose Programming (2010) (54)
The power of assignment motion (1995) (54)
Genesys: service-oriented construction of property conform code generators (2008) (51)
Service Engineering: Linking Business and IT (2006) (50)
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change (2012) (50)
Service Engineering: Linking Business and IT (2006) (49)
Active continuous quality control (2013) (48)
DIME: A Programming-Less Modeling Environment for Web Applications (2016) (48)
GeneFisher-P: variations of GeneFisher as processes in Bio-jETI (2008) (47)
Full Life-Cycle Support for End-to-End Processes (2007) (46)
A succinct canonical register automaton model (2011) (46)
Detecting Equalities of Variables: Combining Efficiency with Precision (1999) (46)
Library-Based Design and Consistency Checking of System-Level Industrial Test Cases (2001) (46)
Test-based model generation for legacy systems (2003) (46)
Incremental Requirement Specification for Evolving Systems (2001) (45)
A constraint-based variability modeling framework (2012) (44)
From ZULU to RERS - Lessons Learned in the ZULU Challenge (2010) (44)
Efficient Regression Testing of CTI-Systems : Testing a complex Call-Center Solution (2001) (44)
Backtracking-Free Design Planning by Automatic Synthesis in METAFrame (1998) (42)
Inferring Semantic Interfaces of Data Structures (2012) (41)
The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action Systems (2012) (41)
Continuous modeling of real-time and hybrid systems: from concepts to tools (1997) (41)
Constraint-Based Inter-Procedural Analysis of Parallel Programs (2000) (41)
CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems (2009) (39)
Seven Variations of an Alignment Workflow - An Illustration of Agile Process Design and Management in Bio-jETI (2008) (39)
The METAFrame'95 Environment (1996) (39)
Behavior-based model construction (2002) (38)
Rigorous examination of reactive systems (2014) (37)
Unifying Models (1997) (37)
Tool-supported enhancement of diagnosis in model-driven verification (2009) (37)
Knowledge-based relevance filtering for efficient system-level test-based model generation (2005) (36)
Hybrid test of web applications with webtest (2008) (36)
Prototype-Driven Development of Web Applications with DyWA (2014) (35)
Learning Extended Finite State Machines (2014) (35)
Heterogeneous Analysis and Verification for Distributed Systems (1996) (35)
LTL Guided Planning: Revisiting Automatic Tool Composition in ETI (2007) (34)
Property-driven benchmark generation: synthesizing programs of realistic structure (2014) (34)
Model-based design of distributed collaborative bioinformatics processes in the jABC (2006) (34)
A Constraint-Oriented Service Creation Environment (1996) (33)
Language-Driven Engineering: From General-Purpose to Purpose-Specific Languages (2019) (33)
TOOLympics 2019: An Overview of Competitions in Formal Methods (2019) (32)
Efficient Code Motion and an Adaption to Strength Reduction (1991) (30)
Active Automata Learning in Practice - An Annotated Bibliography of the Years 2011 to 2016 (2018) (29)
On Handling Data in Automata Learning - Considerations from the CONNECT Perspective (2010) (29)
Static Analysis (2014) (29)
Sparse code motion (2000) (29)
Higher-Order Process Modeling: Product-Lining, Variability Modeling and Beyond (2013) (29)
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies (2012) (29)
Fischer's Protocol Revisited: A Simple Proof Using Modal Constraints (1996) (29)
Archimedean Points: The Essence for Mastering Change (2016) (27)
Flux-P: Automating Metabolic Flux Analysis (2012) (27)
Automatic Synthesis of Linear Process Models from Temporal Constraints: An Incremental Approach (1997) (26)
Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers (2006) (26)
Local Model-Checking for Context-Free Processes (1993) (26)
An Environment for the Creation of Intelligent Network Services (1995) (26)
Priority as extremal probability (1990) (26)
Inferring Automata with State-Local Alphabet Abstractions (2013) (25)
FormulaBuilder: a tool for graph-based modelling and generation of formulae (2006) (25)
Code motion for explicitly parallel programs (1999) (25)
Towards a tool kit for the automatic generation of interprocedural data flow analyses (1996) (25)
Optimal Run Time Optimization Proved by a New Look at Abstract Interpretation (1987) (24)
DFA&OPT-METAFrame: A Tool Kit for Program Analysis and Optimazation (1996) (24)
Interprocedural Herbrand Equalities (2005) (22)
Constraint-Guided Workflow Composition Based on the EDAM Ontology (2010) (22)
The RERS 2017 challenge and workshop (invited paper) (2017) (22)
An Approach to Intelligent Software Library Management (1995) (21)
Reusing System States by Active Learning Algorithms (2011) (21)
Plug-and-Play Higher-Order Process Integration (2013) (21)
Code Motion and Code Placement: Just Synonyms? (1998) (21)
System level testing of virtual switch (re-)configuration over IP (2002) (21)
Automated regression testing of CTI-systems (2001) (20)
jMosel: A Stand-Alone Tool and jABC Plugin for M2L(Str) (2006) (20)
Towards an Architecture for Runtime Interoperability (2010) (20)
Data-Flow Analysis as Model Checking Within the jABC (2006) (20)
Never-stop Learning: Continuous Validation of Learned Models for Evolving Systems through Monitoring (2012) (20)
A Preorder for Partial Process Specifications (1990) (20)
Risk-based testing via active continuous quality control (2014) (20)
Service-oriented Mediation with jABC/jETI (2009) (20)
Property-Preserving Generation of Tailored Benchmark Petri Nets (2017) (20)
Verification, Diagnosis and Adaptation: Tool supported enhancement of the model-driven verification process (2007) (20)
Finite Constants: Characterizations of a New Decidable Set of Constants (1991) (19)
The SWS Mediator with WEBML/WEBRATIO and JABC/JETI: A Comparison (2016) (19)
RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification (2016) (19)
RERS 2019: Combining Synthesis with Real-World Models (2019) (19)
An Approach to Discovery with miAamics and jABC (2007) (19)
An Automated Testing Environment for CTI Systems Using Concepts for Specification and Verification of Workflows (2000) (19)
Automated Inference of Models for Black Box Systems Based on Interface Descriptions (2012) (18)
Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent Systems (2014) (18)
Services and Visualization Towards User-Friendly Design (1998) (18)
Demonstrating Learning of Register Automata (2012) (18)
An Abstract Framework for Counterexample Analysis in Active Automata Learning (2014) (18)
Basic-Block Graphs: Living Dinosaurs? (1998) (18)
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques (2016) (18)
Property-Driven Benchmark Generation (2013) (17)
Automated continuous quality assurance (2012) (17)
Verification, Model Checking, and Abstract Interpretation (2004) (17)
When is 'partial' adequate? A logic-based proof technique using partial specifications (1990) (17)
The physics of software tools: SWOT analysis and vision (2017) (16)
Biological LC/MS Preprocessing and Analysis with jABC, jETI and xcms (2006) (16)
Service-Oriented Mediation with jETI/jABC: Verification and Export (2007) (16)
Safe service customization (1997) (15)
The Teachers' Crowd: The Impact of Distributed Oracles on Active Automata Learning (2011) (15)
An Evaluation of Service Integration Approaches of Business Process Management Systems (2012) (15)
Automatic Generation of the SWS- Challenge Mediator with jABC/ABC (2009) (15)
IT Simply Works: Simplicity and Embedded Systems Design (2011) (15)
Analyzing second-order effects between optimizations for system-level test-based model generation (2005) (15)
Machine Learning for Emergent Middleware (2012) (15)
Synthesizing Semantic Web Service Compositions with jMosel and Golog (2009) (15)
Test-based model generation for legacy systems (2003) (15)
Graphs in METAFrame: The Unifying Power of Polymorphism (1997) (15)
Simplicity‐first model‐based plug‐in development (2014) (15)
Expansion-Based Removal of Semantic Partial Redundancies (1999) (15)
A pragmatic approach to software synthesis (1994) (15)
The LearnLib in FMICS-jETI (2007) (15)
Deciding Testing Equivalence for Real-Time Processes with Dense Time (1993) (15)
Automated Learning Setups in Automata Learning (2012) (15)
Requirement-Driven Evaluation of Remote ERP-System Solutions: A Service-oriented Perspective (2011) (14)
Meta-Level Reuse for Mastering Domain Specialization (2016) (14)
Pyro: Generating Domain-Specific Collaborative Online Modeling Environments (2019) (14)
Active Automata Learning: From DFAs to Interface Programs and Beyond (2012) (14)
Semantic Web Services Challenge 2006 The jABC Approach to Mediation and Choreography (2006) (14)
Customer-Oriented Business Process Management: Vision and Obstacles (2012) (14)
The jABC Approach to Rigorous Collaborative Development of SCM Applications (2008) (14)
A Succinct Canonical Register Automaton Model for Data Domains with Binary Relations (2012) (14)
Property-Preserving Parallel Decomposition (2017) (14)
Automata Learning with On-the-Fly Direct Hypothesis Construction (2011) (14)
Second-Order Servification (2013) (13)
Tools and Algorithms for the Construction and Analysis of Systems (2019) (13)
SCA and jABC: Bringing a Service-Oriented Paradigm to Web-Service Construction (2008) (13)
Dynamic and Formal Verification of Embedded Systems: A Comparative Survey (2005) (13)
RERS 2018: CTL, LTL, and Reachability (2018) (13)
Service-Oriented Design: The jABC Approach (2005) (12)
Tailored generation of concurrent benchmarks (2014) (12)
eXtreme Model-Driven Development (XMDD) Technologies as a Hands-On Approach to Software Development Without Coding (2019) (12)
MODEL DRIVEN DESIGN OF SECURE HIGH ASSURANCE SYSTEMS : AN INTRODUCTION TO THE OPEN PLATFORM FROM THE USER PERSPECTIVE (2016) (12)
DSLs for Decision Services: A Tutorial Introduction to Language-Driven Engineering (2018) (12)
Taming Interface Specifications (2005) (11)
Extending Automata Learning to Extended Finite State Machines (2018) (11)
Completing and Adapting Models of Biological Processes (2006) (11)
ALEX: Mixed-Mode Learning of Web Applications at Ease (2016) (11)
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III (2018) (11)
High-level frameworks for the specification and verification of scheduling problems (2018) (11)
From the How to the What (2005) (11)
Aggressive Model-Driven Development: Synthesizing Systems from Models viewed as Constraints (2005) (11)
A formal requirements engineering method for specification, synthesis, and verification (1997) (11)
Game-Based Model Checking for Reliable Autonomy in Space (2011) (11)
Rigorous Examination of Reactive Systems: The RERS Challenge 2015 (2015) (11)
Automatic Error Location for IN Service Definition (1998) (11)
Non-monotone Fixpoint Iterations to Resolve Second Order Effects (1996) (10)
Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems (1995) (10)
Parallelism for Free: Bitvector Analyses -> No State Explosion! (1995) (10)
Correct System Design (2000) (10)
Second-Order Semantic Web (2005) (10)
Simplicity Driven Application Development (2013) (10)
LearnLib Tutorial: From Finite Automata to Register Interface Programs (2012) (10)
The Methodology of Modal Constraints (1994) (10)
Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems (2002) (10)
Automated Functional Testing of Web-based Applications (2002) (10)
The META-Frame: An Environment for Flexible Tool Management (1995) (9)
Optimal Data Flow Analysis via Observational Equivalence (1989) (9)
Quality Engineering: Leveraging Heterogeneous Information - (Invited Talk) (2011) (9)
Advances in Software Engineering Techniques (2009) (9)
Towards a Unified View of Modeling and Programming (Track Summary) (2016) (9)
Demonstration of an Automated Integrated Test Environment for Web-Based Applications (2002) (9)
Proceedings of the 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems (1998) (9)
Tools get formal methods into practice (1996) (9)
Scientific workflows with the jABC framework (2016) (9)
Coarse-granular model checking in practice (2001) (9)
Evolution support in heterogeneous service-oriented landscapes (2010) (9)
Compositional characterization of observable program properties (1990) (8)
Tailoring Process Synthesis to Domain Characteristics (2011) (8)
Synthesizing Subtle Bugs with Known Witnesses (2018) (8)
On the Difficulty of Drawing the Line (2018) (8)
Building Code Generators with Genesys: A Tutorial Introduction (2009) (8)
Active Mining of Document Type Definitions (2018) (8)
M3C: Modal Meta Model Checking (2018) (8)
A Tutorial Introduction to Graphical Modeling and Metamodeling with CINCO (2018) (8)
Back-To-Back Testing of Model-Based Code Generators (2014) (8)
Compiler Construction (2014) (7)
Simplicity principles for plug-in development: The jABC approach (2012) (7)
Property-driven functional healing : Playing against undesired behavior (2007) (7)
Supporting Process Development in Bio-jETI by Model Checking and Synthesis (2008) (7)
A Constraint Oriented Proof Methodology (1996) (7)
A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems (2016) (7)
On the Evolution of Reactive Components: A Process-Algebraic Approach (1999) (7)
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change (2014) (6)
A Model-driven Approach to Continuous Practices for Modern Cloud-based Web Applications (2019) (6)
Synthesis-Based Variability Control: Correctness by Construction (2011) (6)
Generating Hard Benchmark Problems for Weak Bisimulation (2019) (6)
Round-Trip Engineering (2010) (6)
Securing C/C++ applications with a SEcube™-based model-driven approach (2017) (6)
Large Random Forests: Optimisation for Rapid Evaluation (2019) (6)
Semantics-Based Composition of EMBOSS Services with Bio-jETI (2009) (6)
Comparison: Mediation on WebML/WebRatio and jABC/jETI (2009) (6)
Method engineering for real-life concurrent systems (1996) (6)
Assuring property conformance of code generators via model checking (2011) (5)
Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II (2018) (5)
Tutorial: Automata Learning in Practice (2014) (5)
The ETI Online Service in Action (1999) (5)
The FMICS-jETI Platform: Status and Perspectives (2006) (5)
Design for 'X' Through Model Transformation (2018) (5)
Comparison: Handling Preferences with DIANE and miAamics (2009) (5)
Synthesis from a Practical Perspective (2016) (4)
Correct System Design: Recent Insights and Advances (1999) (4)
Second-Order Value Numbering (2010) (4)
Towards a Unified View of Modeling and Programming (ISoLA 2018 Track Introduction) (2018) (4)
Model-Based Testing Without Models: The TodoMVC Case Study (2017) (4)
Lazy code motion (with retrospective) (1992) (4)
Simplified Validation of Emergent Systems through Automata Learning-Based Testing (2011) (4)
Transactions on Foundations for Mastering Change I (2016) (4)
From Bio-jETI Process Models to Native Code (2009) (4)
Product Line Verification via Modal Meta Model Checking (2019) (4)
Compositional learning of mutually recursive procedural systems (2021) (4)
Active learning for extended finite state machines (2016) (4)
Major Threat: From Formal Methods without Tools to Tools without Formal Methods (2004) (4)
Mashup Development for Everybody A Planning-Based Approach (2009) (4)
LearnLib Tutorial - An Open-Source Java Library for Active Automata Learning (2015) (4)
Exploiting Ecore's Reflexivity for Bootstrapping Domain-Specific Code-Generators (2012) (4)
Towards Explainability in Machine Learning: The Formal Methods Way (2020) (4)
Modeling and Execution of Scientific Workflows with the jABC Framework (2014) (4)
Algebraic aggregation of random forests: towards explainability and rapid evaluation (2021) (4)
Computing and Software Science: State of the Art and Perspectives (2019) (4)
Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II (2010) (4)
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I (2020) (4)
Model Generation for Legacy Systems (2002) (4)
Incremental Formalization (1996) (3)
Aligned, Purpose-Driven Cooperation: The Future Way of System Development (2021) (3)
Tools and Algorithms for Construction and Analysis of Systems, Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996, Proceedings (1996) (3)
The XMDD Approach to the Semantic Web Services Challenge (2012) (3)
Special Session on "Simplification through Change of Perspective" (2011) (3)
Learning Models for Verification and Testing - Special Track at ISoLA 2014 Track Introduction (2014) (3)
The Electronic Tool Integration Platform (ETI) and the Petri Net Technology (2003) (3)
Mathematical Foundations of Advanced Informatics (2018) (3)
Coarse-grain Component Based Software Development : The M eta Frame Approach (3)
Scientific Workflows with the jABC Framework A Review after a Decade in the Field (2016) (3)
Maintenance, or the 3rd dimension of eXtreme model-driven design (2009) (3)
Bioinformatics: Processes and Workflows (2010) (3)
A Practical Approach for the Regression Testing of IP-based Application (2002) (3)
Learning-Based Cross-Platform Conformance Testing (2016) (3)
The RERS challenge: towards controllable and scalable benchmark synthesis (2021) (3)
Confidentiality-Preserving Query Execution of Fragmented Outsourced Data (2018) (3)
Remote Integration and Coordination of Verification (2005) (3)
Service Based Enabling Service Availability in the MaTRICS: A Model-Driven Approach (2006) (3)
Constraint-Based Behavioral Consistency of Evolving Software Systems (2018) (3)
Pyrus: An Online Modeling Environment for No-Code Data-Analytics Service Composition (2021) (3)
Comparing Structure-Oriented and Behavior-Oriented Variability Modeling for Workflows (2011) (2)
User-level synthesis: treating product lines as systems of constraints (2015) (2)
Leveraging Service-Orientation for Combining Code Generation Frameworks (2011) (2)
An Open Environment for Automated Integrated Testing (2001) (2)
Agile Business Engineering: From Transformation Towards ContinuousInnovation (2021) (2)
Plug and Play with FMICS-jETI: Beyond Scripting and Coding (2008) (2)
Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS '98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings (1998) (2)
ADD-Lib: Decision Diagrams in Practice (2019) (2)
Aggressive Aggregation: a New Paradigm for Program Optimization (2019) (2)
Guaranteeing Type Consistency in Collective Adaptive Systems (2020) (2)
Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I (2018) (2)
Reha-Sports: The Challenge of Small Margin Healthcare Accounting (2012) (1)
Middleware: just another level for orchestration (2007) (1)
An Introduction to Graphical Modeling of CI/CD Workflows with Rig (2021) (1)
Selected papers on Services and Visualization: Towards User-Friendly Design (1998) (1)
Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III (2020) (1)
Formal Methods Boost Experimental Performance for Explainable AI (2021) (1)
Parallelism for free: bitvector analyses rightarrow no state explosion! (1995) (1)
Enhanced Requirements-Based Programming for Embedded Systems Design (2006) (1)
International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings (2004) (1)
A Model-Driven and Generative Approach to Holistic Security (2019) (1)
Formal Grammar (2013) (1)
Run-Time Agents as a Means of Reconciling Flexibility and Scalability of Services (2005) (1)
Fundamental Approaches to Software Engineering (2012) (1)
SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings (2017) (1)
Extracting Component-Oriented Behaviour for Self-Healing Enabling (2010) (1)
Playing with Abstraction and Representation (2015) (1)
ViDoC - Visual Design of Optimizing Compilers (2006) (1)
Algorithms and Computation (2012) (1)
Keynote: Continuous Model Driven Engineering (2009) (1)
Active Learning for Extended Finite State Machines 12 (2015) (1)
Service Definition for Intelligent Networks: Experience in a Leading-edge Technological Project Based on Constraint Techniques (1997) (1)
Further development of learning techniques (2011) (1)
Software Engineering Research and Applications (2003) (1)
Part I of the Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - Volume 8802 (2014) (1)
Security Assessment of Computer Networks Based on Attack Graphs and Security Events (2018) (1)
Characteristic invariants in Hennessy–Milner logic (2020) (1)
Active Automata Learning as Black-Box Search and Lazy Partition Refinement (2022) (1)
Analyzing ambient assisted living solutions: A research perspective (2017) (1)
Distributed Computing (2013) (1)
Automata, Languages, and Programming (2015) (1)
Programming - What is Next? (2021) (1)
Editorial (1997) (1)
Finding Counterexamples Fast: Lessons learned in the ZULU challenge (2010) (1)
Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I (2012) (1)
Erratum to: Leveraging Applications of Formal Methods, Verification and Validation (Part I) (2016) (1)
Integration into the CONNECT Architecture (2020) (0)
Lazy code motion (2004) (0)
Code-Size Sensitive Partial Redundancy Elimination (2000) (0)
DIME Days (ISoLA 2022 Track Introduction) (2022) (0)
NASA Formal Methods (2018) (0)
The physics of software tools: SWOT analysis and vision (2017) (0)
Logic and Its Applications (2015) (0)
From Languages to Behaviors and Back (2022) (0)
Discussing the Future Role of Documentation in the Context of Modern Software Engineering (ISoLA 2022 Track Introduction) (2022) (0)
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II (2020) (0)
Electronic Communications of the EASST Volume 30 ( 2010 ) International Colloquium on Graph and Model Transformation On the occasion of the 65 th birthday of Hartmut Ehrig ( GraMoT 2010 ) Second-Order Value Numbering (2010) (0)
Project Final Report Use and Dissemination of Foreground (2012) (0)
Asking Why (2021) (0)
Methods, Languages and Tools for Future System Development (2019) (0)
Verification, model checking, and abstract interpretation : 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings (2004) (0)
Guest Editor’s introduction (2009) (0)
A constraint-based variability modeling framework (2012) (0)
Foreword (1996) (0)
Tailored generation of concurrent benchmarks (2014) (0)
jMosel : A Flexible ToolSet for Monadic Second-Order Logic on Strings (2005) (0)
Formal Methods Meet Machine Learning (F3ML) (2022) (0)
Towards language-to-language transformation (2021) (0)
A Context-Free Symbiosis of Runtime Verification and Automata Learning (2021) (0)
Semantic Web Services Challenge 2008 Synthesizing the Mediator with jABC/ABC (2008) (0)
TOOLympics II: competitions on formal methods (2021) (0)
Every Component Matters: Generating Parallel Verification Benchmarks with Hardness Guarantees (2020) (0)
Distributed Computing (2012) (0)
Executable Documentation: Test-First in Action (2022) (0)
Rigorous examination of reactive systems (2014) (0)
Proceedings of the First international conference on Leveraging Applications of Formal Methods (2004) (0)
A Generative Approach for User-Centered, Collaborative, Domain-Specific Modeling Environments (2021) (0)
Intelligent Computing Theories and Application (2017) (0)
Scientific workflows with the jABC framework (2016) (0)
Cinco Cloud: A Holistic Approach for Web-Based Language-Driven Engineering (2022) (0)
Telefony and Internet Services : A Fruitful Symbiosis (1997) (0)
Editorial Board (2004) (0)
Executable Documentation: From Documentation Languages to Purpose-Specific Languages (2022) (0)
Compiler Construction (2013) (0)
Distributed Computing (2015) (0)
Lifelong Learning of Reactive Systems in Practice (2022) (0)
2 How R 2 D 2 C Works (2006) (0)
Risk-based testing via active continuous quality control (2014) (0)
Scalable System-level CTI Testing through Lightweight Coarse-grained Coordination (2002) (0)
Introduction to the First Issue of FoMaC (2016) (0)
Static Analysis (2012) (0)
Service-Oriented Computing (2012) (0)
Preface: Volume 5 (1997) (0)
Project Final Report Final Publishable Summary Report (2012) (0)
Hinchey HYBRID VERIFICATION OF AN AIR TRAFFIC OPERATIONAL CONCEPT ∗ (2009) (0)
of the International Workshop on Software Tools for Technology Transfer STTT ’ 98 Aalborg , Denmark , July 12 – 13 , 1998 (1998) (0)
Generative Program Analysis and Beyond: The Power of Domain-Specific Languages (Invited Paper) (2021) (0)
Logic, Language, Information, and Computation (2013) (0)
Predicate Abstraction and Such (2018) (0)
A Practical Solution against Corrupted Parties and Coercers in Electronic Voting Protocol over the Network (2018) (0)
IEEE/NASA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation (2005) (0)
Preface (1996) (0)
Lazy Code Motion Jens (2011) (0)
Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II (2012) (0)
A Bioinformatics Workflow for Genetic Association Studies of Traits in Indonesian Rice (2018) (0)
Never-Stop Context-Free Learning (2021) (0)
Static Analysis (2013) (0)
Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004Paphos, Cyprus, October 30 - November 2, 2004Revised Selected Papers (Lecture Notes in Computer Science) (2006) (0)
IKEA - Intelligentes Kommissionieren: Evolution & Adaption (2007) (0)
Semantics of Concurrent Systems-Foundations and Applications 6-10 May 1996 (2008) (0)
Semantic Versioning of In-Process Scientific Document (2019) (0)
Inductive Approach: Potential, Limitations, and Pragmatics (2018) (0)
Model Checking, Synthesis, and Learning (2021) (0)
The RERS challenge: towards controllable and scalable benchmark synthesis (2021) (0)
Semantics of Concurrent Systems - Foundations and Applications (Dagstuhl Seminar 9619) (2021) (0)
Property-driven benchmark generation: synthesizing programs of realistic structure (2014) (0)
Towards Continuous Quality Control in the Context of Language-Driven Engineering (2022) (0)
An Enterprise Physics Approach for Evolution Support in Heterogeneous Service-Oriented Landscapes (2008) (0)
Solving the SWS-Challenge mediation problem with the jABC / jETI framework (2007) (0)
Efficient, skalierendes data filtering system offline in the fast, dynamic, rule-based filters and be incrementally generated (2001) (0)
Relations and Functions (1971) (0)
High-level frameworks for the specification and verification of scheduling problems (2017) (0)
Logic, Language, Information and Computation (2012) (0)
Continuous Engineering of Embedded systems (2006) (0)
Algorithms in Automata Theory (Dagstuhl Seminar 9406) (2021) (0)
Automata, Languages, and Programming (2013) (0)
Propositions and Sets (2018) (0)
Proceedings 13 Volume Editors (2013) (0)
Learning register automata: from languages to program structures (2013) (0)
Generating data algorithms from specifications (1993) (0)
Notes in Computer Science 5646 (2009) (0)
Proceedings, Ninth IEEE International Conference on Engineering Complex Computer Systems : navigating complexity in the e-engineering age, ICECCS 2004, Florence, Italy 14-16 April 2004 (2004) (0)
Algorithms and Computation (2013) (0)
CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools (2017) (0)
Special Section on “Leveraging Formal Methods” (2006) (0)
Test and Testing Control Platform (TTCP) (2007) (0)
Graph-Theoretic Concepts in Computer Science (2013) (0)

This paper list is powered by the following services:

Other Resources About Bernhard Steffen

en.wikipedia.org

What Schools Are Affiliated With Bernhard Steffen ?

Bernhard Steffen is affiliated with the following schools: