Bernhard Steffen
Orcid: 0000-0001-9619-1558Affiliations:
- TU Dortmund, Germany
According to our database1,
Bernhard Steffen
authored at least 354 papers
between 1987 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on isni.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Int. J. Softw. Tools Technol. Transf., June, 2024
CoRR, 2024
Affinitree: A Compositional Framework for Formal Analysis and Explanation of Deep Neural Networks.
Proceedings of the Tests and Proofs - 18th International Conference, 2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024
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
Int. J. Softw. Tools Technol. Transf., June, 2023
Int. J. Softw. Tools Technol. Transf., June, 2023
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
Proceedings of the Engineering of Computer-Based Systems - 8th International Conference, 2023
2022
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2022
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2022
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
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022
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
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022
Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022
Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022
Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022
2021
Int. J. Softw. Tools Technol. Transf., 2021
Int. J. Softw. Tools Technol. Transf., 2021
Int. J. Softw. Tools Technol. Transf., 2021
Int. J. Softw. Tools Technol. Transf., 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
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
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, 2021
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, 2021
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, 2021
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, 2021
Proceedings of the Model Checking, Synthesis, and Learning, 2021
Proceedings of the Model Checking, Synthesis, and Learning, 2021
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
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
Proceedings of the Computing and Software Science - State of the Art and Perspectives, 2019
Proceedings of the Computing and Software Science - State of the Art and Perspectives, 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the Fundamental Approaches to Software Engineering, 2019
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019
Proceedings of the From Reactive Systems to Cyber-Physical Systems, 2019
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
Int. J. Softw. Tools Technol. Transf., 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018
Proceedings of the Formal Methods for Industrial Critical Systems, 2018
Proceedings of the Formal Methods for Industrial Critical Systems, 2018
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
Proceedings of the Machine Learning for Dynamic Software Analysis: Potentials and Limits, 2018
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
Springer, ISBN: 978-3-319-68396-6, 2018
2017
Int. J. Softw. Tools Technol. Transf., 2017
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017
Proceedings of the 12th International Conference on Design & Technology of Integrated Systems In Nanoscale Era, 2017
Proceedings of the 12th International Conference on Design & Technology of Integrated Systems In Nanoscale Era, 2017
Proceedings of the Models, Algorithms, Logics and Tools, 2017
Proceedings of the ModelEd, TestEd, TrustEd, 2017
Proceedings of the 17th International Conference on Application of Concurrency to System Design, 2017
2016
Int. J. Softw. Tools Technol. Transf., 2016
Multiscale Simulation of Pedestrians for Efficient Predictive Modeling in Large Events.
J. Cell. Autom., 2016
LNCS Trans. Found. Mastering Chang., 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016
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
Proceedings of the Semantics, Logics, and Calculi, 2016
2015
J. Log. Algebraic Methods Program., 2015
Proceedings of the 19th International Conference on Software Product Line, 2015
Proceedings of the Runtime Verification - 6th International Conference, 2015
Proceedings of the Runtime Verification - 6th International Conference, 2015
Proceedings of the Computer Aided Verification - 27th International Conference, 2015
2014
Proceedings of the Process Design for Natural Scientists - An Agile Model-Driven Approach, 2014
Int. J. Softw. Tools Technol. Transf., 2014
Int. J. Softw. Tools Technol. Transf., 2014
Int. J. Softw. Tools Technol. Transf., 2014
Int. J. Softw. Tools Technol. Transf., 2014
Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014
Proceedings of the Runtime Verification - 5th International Conference, 2014
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2014
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
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
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014
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
Proceedings of the Semantics, 2013
Adv. Eng. Softw., 2013
Proceedings of the Model Checking Software - 20th International Symposium, 2013
Proceedings of the NASA Formal Methods, 2013
Proceedings of the Software Business. From Physical Products to Software Services and Solutions, 2013
2012
Int. J. Softw. Tools Technol. Transf., 2012
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
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012
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
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012
Proceedings of the First International Workshop on Formal Methods in Software Engineering, 2012
Proceedings of the Second International Workshop on Developing Tools as Plug-Ins, 2012
Proceedings of the Fundamental Approaches to Software Engineering, 2012
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
Proceedings of the Conquering Complexity, 2012
Proceedings of the Semantic Web Services, Advancement through Evaluation, 2012
Proceedings of the Conquering Complexity, 2012
2011
J. Aerosp. Comput. Inf. Commun., 2011
Formal Aspects Comput., 2011
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011
Proceedings of the Formal Methods for Eternal Networked Software Systems, 2011
Proceedings of the 34th Annual IEEE Software Engineering Workshop, 2011
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
Proceedings of the Parallel Processing and Applied Mathematics, 2011
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2011
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2011
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011
Proceedings of the IEEE International Conference on Computer Vision Workshops, 2011
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
Proceedings of the Eternal Systems - First International Workshop, 2011
Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011
2010
Proceedings of the Encyclopedia of Software Engineering, 2010
Proceedings of the Encyclopedia of Software Engineering, 2010
J. Braz. Comput. Soc., 2010
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
Proceedings of the Workshop on Semantic Web Applications and Tools for Life Sciences, 2010
Proceedings of the Quality of Information and Communications Technology, 2010
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
2009
Int. J. Softw. Tools Technol. Transf., 2009
Innov. Syst. Softw. Eng., 2009
Proceedings of the Workshop on Semantic Web Applications and Tools for Life Sciences, 2009
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
Proceedings of the 25th IEEE International Conference on Software Maintenance (ICSM 2009), 2009
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009
Proceedings of the Generative and Transformational Techniques in Software Engineering III, 2009
Proceedings of the Semantic Web Services Challenge, Results from the First Year., 2009
Proceedings of the Semantic Web Services Challenge, Results from the First Year., 2009
Proceedings of the Semantic Web Services Challenge, Results from the First Year., 2009
Proceedings of the Semantic Web Services Challenge, Results from the First Year., 2009
Proceedings of the Semantic Web Services Challenge, Results from the First Year., 2009
Proceedings of the Handbook of Research on Business Process Modeling., 2009
2008
Innov. Syst. Softw. Eng., 2008
Bio-jETI: a service integration, design, and provisioning platform for orchestrated bioinformatics processes.
BMC Bioinform., 2008
BMC Bioinform., 2008
Proceedings of the Workshop on Semantic Web Applications and Tools for Life Sciences ( SWAT4LS ) Edinburgh, 2008
Proceedings of the 2008 Workshop on Testing, 2008
Proceedings of the Leveraging Applications of Formal Methods, 2008
Proceedings of the Leveraging Applications of Formal Methods, 2008
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
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
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
Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007
Proceedings of the 2007 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2007
Proceedings of the 2007 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2007
Proceedings of the Hardware and Software: Verification and Testing, 2007
2006
Int. J. Softw. Tools Technol. Transf., 2006
Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006
Proceedings of the Software Engineering 2006, 2006
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, 2006
Proceedings of the Leveraging Applications of Formal Methods, 2006
Proceedings of the Leveraging Applications of Formal Methods, 2006
Proceedings of the Leveraging Applications of Formal Methods, 2006
Proceedings of the Biologically Inspired Cooperative Computing, 2006
Proceedings of the From Model-Driven Design to Resource Management for Distributed Embedded Systems, 2006
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
Proceedings of the Hardware and Software, 2006
Proceedings of the Fundamental Approaches to Software Engineering, 2006
Proceedings of the Compiler Construction, 15th International Conference, 2006
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
Int. J. Parallel Program., 2005
A particle-particle particle-multigrid method for long-range interactions in molecular simulations.
Comput. Phys. Commun., 2005
Proceedings of the Innovative Concepts for Autonomic and Agent-Based Systems, 2005
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005
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
Proceedings of the Service-Oriented Computing, 2005
Proceedings of the 10th international workshop on Formal methods for industrial critical systems, 2005
Proceedings of the Fundamental Approaches to Software Engineering, 2005
Proceedings of the Programming Languages and Systems, 2005
Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005
Proceedings of the Service Oriented Computing (SOC), 15.-18. November 2005, 2005
Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005
2004
Int. J. Softw. Tools Technol. Transf., 2004
Proceedings of the 9th International Conference on Engineering of Complex Computer Systems (ICECCS 2004), 2004
Proceedings of the Ninth IEEE International High-Level Design Validation and Test Workshop 2004, 2004
2003
Proceedings of the Proceedings 2003 International Test Conference (ITC 2003), Breaking Test Interface Bottlenecks, 28 September, 2003
Proceedings of the Petri Net Technology for Communication-Based Systems, 2003
Proceedings of the Computer Aided Verification, 15th International Conference, 2003
2002
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
Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002
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
Proceedings of the 7th European Test Workshop, 2002
2001
Incremental Requirement Specification for Evolving Systems.
Nord. J. Comput., 2001
Proceedings of the Model Checking Software, 2001
Proceedings of the Fundamental Approaches to Software Engineering, 2001
Proceedings of the 6th European Test Workshop, 2001
Proceedings of the Handbook of Process Algebra, 2001
2000
Constraint-Based Inter-Procedural Analysis of Parallel Programs.
Nord. J. Comput., 2000
1999
Theor. Comput. Sci., 1999
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999
Proceedings of the Static Analysis, 6th International Symposium, 1999
Proceedings of the Static Analysis, 6th International Symposium, 1999
Proceedings of the 1999 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP'99), 1999
Proceedings of the Fundamental Approaches to Software Engineering, 1999
Proceedings of the Compiler Construction, 8th International Conference, 1999
Proceedings of the Correct System Design, 1999
1998
Proceedings of the Services and Visualization: Towards User-Friendly Design, 1998
Proceedings of the Static Analysis, 5th International Symposium, 1998
Proceedings of the Fundamental Approaches to Software Engineering, 1998
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
Proceedings of the Compiler Construction, 7th International Conference, 1998
1997
Int. J. Softw. Tools Technol. Transf., 1997
Int. J. Softw. Tools Technol. Transf., 1997
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997
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
Prax. Inf.verarb. Kommun., 1996
Towards a tool kit for the automatic generation of interprocedural data flow analyses.
J. Program. Lang., 1996
Formal Aspects Comput., 1996
Proceedings of the First International Workshop on Verification of Infinite State Systems, 1996
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996
Proceedings of the Static Analysis, Third International Symposium, 1996
Proceedings of the Compiler Construction, 6th International Conference, 1996
Proceedings of the Computer Aided Verification, 8th International Conference, 1996
Proceedings of the Algebraic Methodology and Software Technology, 1996
1995
Inf. Comput., August, 1995
Composition, Decomposition and Model Checking of Pushdown Processes.
Nord. J. Comput., 1995
Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1995
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1995
Proceedings of the ACM SIGPLAN'95 Conference on Programming Language Design and Implementation (PLDI), 1995
Proceedings of the Mathematical Foundations of Computer Science 1995, 1995
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
Proceedings of the CONCUR '95: Concurrency Theory, 1995
1994
Local Model-Checking for Context-Free Processes.
Nord. J. Comput., 1994
Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), 1994
Proceedings of the Workshop on Interface Definition Languages, 1994
Proceedings of the Formal Systems Specification, 1994
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
Sci. Comput. Program., 1993
Formal Methods Syst. Des., 1993
Proceedings of the 1993 Euromicro Workshop on Parallel and Distributed Processing, 1993
Proceedings of the Mathematical Foundations of Computer Science 1993, 1993
1992
RAIRO Theor. Informatics Appl., 1992
Proceedings of the 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, 1992
Proceedings of the ACM SIGPLAN'92 Conference on Programming Language Design and Implementation (PLDI), 1992
Proceedings of the Compiler Construction, 1992
Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992
1991
Theor. Comput. Sci., 1991
Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991
Proceedings of the Theoretical Aspects of Computer Software, 1991
Proceedings of the Automata, Languages and Programming, 18th International Colloquium, 1991
1990
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
Proceedings of the ESOP'90, 1990
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
Proceedings of the Mathematical Foundations of Computer Science 1989, 1989
Proceedings of the Automata, Languages and Programming, 16th International Colloquium, 1989
Proceedings of the Automatic Verification Methods for Finite State Systems, 1989
1988
Parallel Comput., 1988
1987
Abstrakte Interpretationen beim Optimieren von Programmlaufzeiten - ein Optimalitätskonzept und seine Anwendung.
PhD thesis, 1987
Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987