Heike Wehrheim

Sci. Comput. Program., 2025

2024

Exchanging information in cooperative software validation.

[BibT_eX]

[DOI]

Softw. Syst. Model., June, 2024

Introduction to the Special Collection from the International Conference on Tests and Proofs (TAP) 2020 and 2021.

[BibT_eX]

[DOI]

Wolfgang Ahrendt

Frédéric Loulergue

Formal Aspects Comput., March, 2024

Parallel program analysis on path ranges.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2024

A Fully Verified Persistency Library.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

On the Role of Artificial and Real Bug Fixes on the Training of Neural Bug Detectors.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26, 2024

Ranged Program Analysis: A Parallel Divide-and-Conquer Approach for Software Verification.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26, 2024

Unifying Weak Memory Verification Using Potentials.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 26th International Symposium, 2024

Can ChatGPT support software verification?

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2024

2023

PeSCo 2.1: An algorithm selector for sequential portfolios (Competition contribution).

[BibT_eX]

[DOI]

Dataset, November, 2023

PeSCo 2.1: An algorithm selector for sequential portfolios (Competition contribution).

[BibT_eX]

[DOI]

Dataset, November, 2023

PeSCo 2.1: An algorithm selector for sequential portfolios (Competition contribution).

[BibT_eX]

[DOI]

Dataset, November, 2023

PeSCo 2.1: An algorithm selector for sequential portfolios (Competition contribution).

[BibT_eX]

[DOI]

Dataset, November, 2023

How to Train Your Neural Bug Detector: Artificial vs Real Bugs.

[BibT_eX]

[DOI]

Dataset, May, 2023

Lifting the Reasoning Level in Generic Weak Memory Verification (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2023

Rely-Guarantee Reasoning for Causally Consistent Shared Memory (Extended Version).

[BibT_eX]

[DOI]

Ori Lahav

CoRR, 2023

View-Based Axiomatic Reasoning for PSO (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2023

View-Based Axiomatic Reasoning for PSO.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Software Engineering, 2023

Timeout Prediction for Software Analyses.

[BibT_eX]

[DOI]

Nicola Thoben

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

Ranged Program Analysis via Instrumentation.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

Robustness Testing of Software Verifiers.

[BibT_eX]

[DOI]

Florian Dyck

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

Property-Driven Black-Box Testing of Numeric Functions.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2023, 2023

Variable Misuse Detection: Software Developers versus Neural Bug Detectors.

[BibT_eX]

[DOI]

Stefan Schott

Proceedings of the Software Engineering 2023, 2023

Jicer: Slicing Android Apps for Cooperative Analysis.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2023, 2023

Component-based CEGAR - Building Software Verifiers from Off-the-Shelf Components.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2023, 2023

How to Train Your Neural Bug Detector: Artificial vs Real Bugs.

[BibT_eX]

[DOI]

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Lifting the Reasoning Level in Generic Weak Memory Verification.

[BibT_eX]

[DOI]

Proceedings of the iFM 2023 - 18th International Conference, 2023

Reasoning About Promises in Weak Memory Models with Event Structures.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 25th International Symposium, 2023

Parallel Program Analysis via Range Splitting.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2023

Rely-Guarantee Reasoning for Causally Consistent Shared Memory.

[BibT_eX]

[DOI]

Ori Lahav

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Reproduction Package (VM Version) for ICSE 2022 Article 'Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR'.

[BibT_eX]

[DOI]

Dataset, February, 2022

CPAchecker Release 2.1.1 (unix).

[BibT_eX]

[DOI]

Dataset, January, 2022

Reproduction Package (VM Version) for ICSE 2022 Article 'Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR'.

[BibT_eX]

[DOI]

Dataset, January, 2022

Unifying Operational Weak Memory Verification: An Axiomatic Approach.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2022

Modularising Verification Of Durable Opacity.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2022

Integrating Owicki-Gries for C11-Style Memory Models into Isabelle/HOL.

[BibT_eX]

[DOI]

J. Autom. Reason., 2022

Reasoning about Promises in Weak Memory Models with Event Structures (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2022

Can we learn from developer mistakes? Learning to localize and repair real bugs from real bug fixes.

[BibT_eX]

[DOI]

CoRR, 2022

Information Exchange Between Over- and Underapproximating Software Analyses.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

CoVEGI: Cooperative Verification via Externally Generated Invariants.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2022, 2022

TSSB-3M: Mining single statement bugs at massive scale.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE/ACM International Conference on Mining Software Repositories, 2022

Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?

[BibT_eX]

[DOI]

Stefan Schott

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Learning Realistic Mutations: Bug Creation for Neural Bug Detectors.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

Machine Learning Based Invariant Generation: A Framework and Reproducibility Study.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Property-Driven Testing of Black-Box Functions.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2022

Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Concurrency Theory, 2022

2021

Reproduction Package (Full Version) for ICSE 2022 Article 'Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR'.

[BibT_eX]

[DOI]

Dataset, September, 2021

Reproduction Package (Reduced Version) for Article "Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR".

[BibT_eX]

[DOI]

Dataset, September, 2021

Verifying correctness of persistent concurrent data structures: a sound and complete method.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2021

Editorial.

[BibT_eX]

[DOI]

Jordi Cabot

Silvia Lizeth Tapia Tarifa

Eerke A. Boiten

Formal Aspects Comput., 2021

Editorial.

[BibT_eX]

[DOI]

Wolfgang Ahrendt

Formal Aspects Comput., 2021

On Strong Observational Refinement and Forward Simulation.

[BibT_eX]

[DOI]

CoRR, 2021

DeepMutants: Training neural bug detectors with contextual mutations.

[BibT_eX]

[DOI]

CoRR, 2021

On the (Non-)Applicability of a Small Model Theorem to Model Checking STMs.

[BibT_eX]

[DOI]

CoRR, 2021

MLCheck- Property-Driven Testing of Machine Learning Models.

[BibT_eX]

[DOI]

Axel-Cyrille Ngonga Ngomo

Caglar Demir

CoRR, 2021

Software/Hardware Co-Verification for Custom Instruction Set Processors.

[BibT_eX]

[DOI]

IEEE Access, 2021

Brief Announcement: On Strong Observational Refinement and Forward Simulation.

[BibT_eX]

[DOI]

Proceedings of the 35th International Symposium on Distributed Computing, 2021

Cooperative Android App Analysis with CoDiDroid.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2021, 2021

Jicer: Simplifying Cooperative Android App Analysis Tasks.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Working Conference on Source Code Analysis and Manipulation, 2021

On the Correctness Problem for Serializability.

[BibT_eX]

[DOI]

Jürgen König

Proceedings of the Theoretical Aspects of Computing - ICTAC 2021, 2021

MLCHECK- Property-Driven Testing of Machine Learning Classifiers.

[BibT_eX]

[DOI]

Axel-Cyrille Ngonga Ngomo

Caglar Demir

Proceedings of the 20th IEEE International Conference on Machine Learning and Applications, 2021

2020

Owicki-Gries Reasoning for C11 RAR (Artifact).

[BibT_eX]

[DOI]

Dagstuhl Artifacts Ser., 2020

Cooperative Verification via Collective Invariant Generation.

[BibT_eX]

[DOI]

CoRR, 2020

Testing Monotonicity of Machine Learning Models.

[BibT_eX]

[DOI]

Friedhelm Meyer auf der Heide

CoRR, 2020

A Case for a New IT Ecosystem: On-The-Fly Computing.

[BibT_eX]

[DOI]

Holger Karl

Dennis Kundisch

Bus. Inf. Syst. Eng., 2020

Algorithm selection for software validation based on graph kernels.

[BibT_eX]

[DOI]

Eyke Hüllermeier

Autom. Softw. Eng., 2020

Reproducing Taint-Analysis Results with ReproDroid.

[BibT_eX]

[DOI]

Eric Bodden

Proceedings of the Software Engineering 2020, 2020

Automatic Fairness Testing of Machine Learning Models.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2020

Attend and Represent: A Novel View on Algorithm Selection for Software Verification.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Higher income, larger loan? monotonicity testing of machine learning models.

[BibT_eX]

[DOI]

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

Consistency Analysis of AUTOSAR Timing Requirements.

[BibT_eX]

[DOI]

Steffen Beringer

Proceedings of the 15th International Conference on Software Technologies, 2020

Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2020

Owicki-Gries Reasoning for C11 RAR.

[BibT_eX]

[DOI]

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019

Editorial.

[BibT_eX]

[DOI]

Alessandra Russo

Andy Schürr

Formal Aspects Comput., 2019

Editorial.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2019

When Are Software Verification Results Valid for Approximate Hardware?

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 13th International Conference, 2019

PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution).

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Together strong: cooperative Android app analysis.

[BibT_eX]

[DOI]

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Testing Balancedness of ML Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Software Management, 2019

Combining Verifiers in Conditional Model Checking via Reducers.

[BibT_eX]

[DOI]

Thomas Lemberger

Proceedings of the Software Engineering and Software Management, 2019

Verifying C11 programs operationally.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2019

Data Independence for Software Transactional Memory.

[BibT_eX]

[DOI]

Jürgen König

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the IFIP/IEEE International Symposium on Integrated Network Management, 2019

Testing Machine Learning Algorithms for Balanced Data Usage.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

Verifying Correctness of Persistent Concurrent Data Structures.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018

Reproduction Package for ICSE 2018 Article 'Reducer-Based Construction of Conditional Verifiers'.

[BibT_eX]

[DOI]

Thomas Lemberger

Dataset, February, 2018

Mechanized proofs of opacity: a comparison of two techniques.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2018

Validity of Software Verification Results on Approximate Hardware.

[BibT_eX]

[DOI]

IEEE Embed. Syst. Lett., 2018

Causal Linearizability: Compositionality for Partially Ordered Executions.

[BibT_eX]

[DOI]

CoRR, 2018

Brief Announcement: Generalising Concurrent Correctness to Weak Memory.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Symposium on Distributed Computing, 2018

Do Android taint analysis tools keep their promises?

[BibT_eX]

[DOI]

Eric Bodden

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

FastLane Is Opaque - a Case Study in Mechanized Proofs of Opacity.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

JMCTest: Automatically Testing Inter-Method Contracts in Java.

[BibT_eX]

[DOI]

Paul Börding

Proceedings of the Testing Software and Systems, 2018

Making Linearizability Compositional for Partially Ordered Executions.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

Information Flow Certificates.

[BibT_eX]

[DOI]

Manuel Töws

Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018

Reducer-based construction of conditional verifiers.

[BibT_eX]

[DOI]

Thomas Lemberger

Proceedings of the 40th International Conference on Software Engineering, 2018

2017

Programs from Proofs: A Framework for the Safe Execution of Untrusted Software.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2017

Proof-Carrying Hardware via Inductive Invariants.

[BibT_eX]

[DOI]

ACM Trans. Design Autom. Electr. Syst., 2017

Predicting Rankings of Software Verification Competitions.

[BibT_eX]

[DOI]

Eyke Hüllermeier

CoRR, 2017

Predicting rankings of software verification tools.

[BibT_eX]

[DOI]

Eyke Hüllermeier

Proceedings of the 3rd ACM SIGSOFT International Workshop on Software Analytics, 2017

Compact Proof Witnesses.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

Value-Based or Conflict-Based? Opacity Definitions for STMs.

[BibT_eX]

[DOI]

Jürgen König

Proceedings of the Theoretical Aspects of Computing - ICTAC 2017, 2017

Policy Dependent and Independent Information Flow Analyses.

[BibT_eX]

[DOI]

Manuel Töws

Proceedings of the Formal Methods and Software Engineering, 2017

Fault Localization in Service Compositions.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017

2016

On-the-fly construction of provably correct service compositions - templates and proofs.

[BibT_eX]

[DOI]

Sven Walther

Sci. Comput. Program., 2016

Deriving approximation tolerance constraints from verification runs.

[BibT_eX]

[DOI]

CoRR, 2016

A Formal Approach to Error Localization and Correction in Service Compositions.

[BibT_eX]

[DOI]

Julia Krämer

Proceedings of the Software Technologies: Applications and Foundations, 2016

Just test what you cannot verify!

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2016, 2016

Proving Opacity of a Pessimistic STM.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Principles of Distributed Systems, 2016

Towards a Thread-Local Proof Technique for Starvation Freedom.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Verification of Concurrent Programs on Weak Memory Models.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

A CEGAR Scheme for Information Flow Analysis.

[BibT_eX]

[DOI]

Manuel Töws

Proceedings of the Formal Methods and Software Engineering, 2016

Verification of AUTOSAR Software Architectures with Timed Automata.

[BibT_eX]

[DOI]

Steffen Beringer

Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016

A Short Survey on Using Software Error Localization for Service Compositions.

[BibT_eX]

[DOI]

Julia Krämer

Proceedings of the Service-Oriented and Cloud Computing, 2016

2015

Temporal plans for software architecture reconfiguration.

[BibT_eX]

[DOI]

Steffen Ziegert

Comput. Sci. Res. Dev., 2015

Grammar-based model transformations: Definition, execution, and quality properties.

[BibT_eX]

[DOI]

Galina Besova

Comput. Lang. Syst. Struct., 2015

Programs from proofs of predicated dataflow analyses.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

TSO to SC via Symbolic Execution.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2015

Verifying Opacity of a Transactional Mutex Lock.

[BibT_eX]

[DOI]

Proceedings of the FM 2015: Formal Methods, 2015

From Program Verification to Time and Space: The Scientific Life of Ernst-Rüdiger Olderog.

[BibT_eX]

[DOI]

Roland Meyer

Proceedings of the Correct System Design, 2015

2014

A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2014

Two approaches for proving linearizability of multiset.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2014

The behavioural semantics of Event-B refinement.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2014

Proof-Carrying Hardware via IC3.

[BibT_eX]

[DOI]

CoRR, 2014

Certification for configurable program analysis.

[BibT_eX]

[DOI]

Proceedings of the 2014 International Symposium on Model Checking of Software, 2014

Programs from Proofs - Approach and Applications.

[BibT_eX]

[DOI]

Alexander Schremmer

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Managing LTL Properties in Event-B Refinement.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

Integrating Software and Hardware Verification.

[BibT_eX]

[DOI]

Marco Platzner

Tobias Wiersema

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

Timed Automata Verification via IC3 with Zones.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2014

Handling TSO in Mechanized Linearizability Proofs.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2014

Quiescent Consistency: Defining and Verifying Relaxed Linearizability.

[BibT_eX]

[DOI]

Proceedings of the FM 2014: Formal Methods, 2014

Grammar-Based Model Transformations.

[BibT_eX]

[DOI]

Galina Besova

Proceedings of the 2014 Federated Conference on Computer Science and Information Systems, 2014

Verified Service Compositions by Template-Based Construction.

[BibT_eX]

[DOI]

Sven Walther

Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

2013

Zero Overhead Runtime Monitoring.

[BibT_eX]

[DOI]

Alexander Schremmer

Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

Temporal Reconfiguration Plans for Self-Adaptive Systems.

[BibT_eX]

[DOI]

Steffen Ziegert

Proceedings of the Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

A High-Level Semantics for Program Execution under Total Store Order Memory.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013

Knowledge-Based Verification of Service Compositions - An SMT Approach.

[BibT_eX]

[DOI]

Sven Walther

Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

SPIN as a Linearizability Checker under Weak Memory Models.

[BibT_eX]

[DOI]

Annika Mütze

Proceedings of the Hardware and Software: Verification and Testing, 2013

Bounded Model Checking of Graph Transformation Systems via SMT Solving.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2013

Programs from Proofs - A PCC Alternative.

[BibT_eX]

[DOI]

Alexander Schremmer

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Model evolution and refinement.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2012

Proving Linearizability of Multiset with Local Proof Obligations.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Weaving-Based Configuration and Modular Transformation of Multi-layer Systems.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2012

Predicate Analysis with Block-Abstraction Memoization.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2012

Heuristic-Guided Abstraction Refinement for Concurrent Systems.

[BibT_eX]

[DOI]

Nils Timm

Proceedings of the Formal Methods and Software Engineering, 2012

How to Prove Algorithms Linearisable.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

Mechanically verified proof obligations for linearizability.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2011

Selected papers on Integrated Formal Methods (iFM09).

[BibT_eX]

[DOI]

Michael Leuschel

Sci. Comput. Program., 2011

Bounded Retransmission in Event-B∥CSP: a Case Study.

[BibT_eX]

[DOI]

Proceedings of the B 2011 Workshop, 2011

Reputation-based Reliability Prediction of Service Compositions.

[BibT_eX]

[DOI]

Galina Besova

Annika Wagner

Proceedings of the 8th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2011

A CSP Account of Event-B Refinement

[BibT_eX]

[DOI]

Proceedings of the Proceedings 15th International Refinement Workshop, 2011

Sound and Complete Abstract Graph Transformation.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods, Foundations and Applications - 14th Brazilian Symposium, 2011

Verifying Linearisability with Potential Linearisation Points.

[BibT_eX]

[DOI]

Proceedings of the FM 2011: Formal Methods, 2011

ReL: A Generic Refactoring Language for Specification and Execution.

[BibT_eX]

[DOI]

Steffen Ziegert

Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30, 2011

2010

Model transformations across views.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2010

Towards A Shape Analysis for Graph Transformation Systems

[BibT_eX]

[DOI]

CoRR, 2010

SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

A CSP Approach to Control in Event-B.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

On Symmetries and Spotlights - Verifying Parameterised Systems.

[BibT_eX]

[DOI]

Nils Timm

Proceedings of the Formal Methods and Software Engineering, 2010

Model-Driven Development with Mechatronic UML.

[BibT_eX]

[DOI]

Wilhelm Schäfer

Proceedings of the Graph Transformations and Model-Driven Engineering, 2010

2009

Static Class Elements for Object-Z.

[BibT_eX]

[DOI]

Proceedings of the 14th BCS-FACS Refinement Workshop, 2009

Refinement-Preserving Co-evolution.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2009

Three-Valued Spotlight Abstractions.

[BibT_eX]

[DOI]

Jonas Schrieb

Proceedings of the FM 2009: Formal Methods, 2009

Measure, Diagnose, Refactor: A Formal Quality Cycle for Software Models.

[BibT_eX]

[DOI]

Hendrik Voigt

Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009

2008

Slicing Abstractions.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2008

Integrating a formal method into a software engineering process with UML and Java.

[BibT_eX]

[DOI]

Michael Möller

Formal Aspects Comput., 2008

Compositional CSP Traces Refinement Checking.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, 2008

Alloy as a Refactoring Checker?

[BibT_eX]

[DOI]

H.-Christian Estler

Proceedings of the 13th BAC-FACS Refinement Workshop, 2008

Bounded Model Checking for Partial Kripke Structures.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2008

Decomposition for Compositional Verification.

[BibT_eX]

[DOI]

Björn Metzler

Proceedings of the Formal Methods and Software Engineering, 2008

Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008

From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Architecture, 2008

2007

Refinement in the Presence of Unknowns.

[BibT_eX]

[DOI]

Proceedings of the BCS-FACS Refinement Workshop, 2007

On using data abstractions for model checking refinements.

[BibT_eX]

[DOI]

Acta Informatica, 2007

Proving Linearizability Via Non-atomic Refinement.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

The Challenges of Building Advanced Mechatronic Systems.

[BibT_eX]

[DOI]

Wilhelm Schäfer

Proceedings of the International Conference on Software Engineering, 2007

Refactoring Object-Oriented Specifications with Data and Processes.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007

Analysis of UML Activities Using Dynamic Meta Modeling.

[BibT_eX]

[DOI]

Gregor Engels

Christian Soltenborn

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007

Assuring Consistency of Business Process Models and Web Services Using Visual Contracts.

[BibT_eX]

[DOI]

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

2006

Optimizing Slicing of Formal Specifications by Deductive Verification.

[BibT_eX]

Ingo Brückner

Björn Metzler

Nord. J. Comput., 2006

Extending a Component Specification Language with Time.

[BibT_eX]

[DOI]

Björn Metzler

Proceedings of the Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, 2006

Modelchecking Correctness of Refactorings - Some Experiments.

[BibT_eX]

[DOI]

H.-Christian Estler

Proceedings of the 11th Refinement Workshop, 2006

Incremental Slicing.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2006

Model Transformations Incorporating Multiple Views.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 2006

2005

Slicing techniques for verification re-use.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

Specification and (property) inheritance in CSP-OZ.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2005

Non-atomic Refinement in Z and CSP.

[BibT_eX]

[DOI]

Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

Slicing Object-Z Specifications for Verification.

[BibT_eX]

[DOI]

Ingo Brückner

Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

Slicing an Integrated Formal Method for Verification.

[BibT_eX]

[DOI]

Ingo Brückner

Proceedings of the Formal Methods and Software Engineering, 2005

Checking the Validity of Scenarios in UML Models.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

2004

Linking CSP-OZ with UML and Java: A Case Study.

[BibT_eX]

[DOI]

Michael Möller

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

Refinement and Consistency in Component Models with Multiple Views.

[BibT_eX]

[DOI]

Proceedings of the Architecting Systems with Trustworthy Components, 2004

Refinement and Consistency in Multiview Models.

[BibT_eX]

[DOI]

Proceedings of the Language Engineering for Model-Driven Software Development, 29. February, 2004

2003

Behavioral Subtyping Relations for Active Objects.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2003

Using Coupled Simulations in Non-atomic Refinement.

[BibT_eX]

[DOI]

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

Inheritance of Temporal Logic Properties.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

Checking Consistency in UML Diagramms: Classes and State Machines.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

Preserving Properties Under Change.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 2003

2002

Relating State-based and Behaviour-oriented Subtyping.

[BibT_eX]

Nord. J. Comput., 2002

Checking Behavioural Subtypes via Refinement.

[BibT_eX]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems V, 2002

Specification and Inheritance in CSP-OZ.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 2002

2001

Jass - Java with Assertions.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Runtime Verification, 2001

Process algebra with action dependencies.

[BibT_eX]

[DOI]

Arend Rensink

Acta Informatica, 2001

Patterns and Rules for Behavioural Subtyping.

[BibT_eX]

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001

A CSP View on UML-RT Structure Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2001

2000

Data Abstraction Techniques in the Validation of CSP-OZ Specifications.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2000

Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method.

[BibT_eX]

Bull. EATCS, 2000

Behavioural Subtyping and Property Preservation.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems IV, 2000

Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2000

Behavioural Subtyping Relations for Object-Oriented Formalisms.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

1999

Partial order reductions for failures refinement.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Expressiveness in Concurrency, 1999

Model-Checking CSP-OZ Specifications with FDR.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 1999

Data Abstraction for CSP-OZ.

[BibT_eX]

[DOI]

Proceedings of the FM'99 - Formal Methods, 1999

1998

Partial Order Reductions for Bisimulation Checking.

[BibT_eX]

[DOI]

Michaela Huhn

Peter Niebert

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1998

An Algebraic Semantics for Message Sequence Chart Documents.

[BibT_eX]

Proceedings of the Formal Description Techniques and Protocol Specification, 1998

A Process Algebra Semantics for MSC Including Conditions.

[BibT_eX]

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1998

1997

Dependency-Based Action Refinement.

[BibT_eX]

[DOI]

Arend Rensink

Proceedings of the Mathematical Foundations of Computer Science 1997, 1997

1996

Specifying reactive systems with action dependencies: modelling and hierarchical design.

[BibT_eX]

[DOI]

PhD thesis, 1996

Modelling Causality via Action Dependencies in Branching Time Semantics.

[BibT_eX]

[DOI]

Ursula Goltz

Inf. Process. Lett., 1996

Causal Testing.

[BibT_eX]

[DOI]

Ursula Goltz

Proceedings of the Mathematical Foundations of Computer Science 1996, 1996

1994

Parametric Action Refinement.

[BibT_eX]

Proceedings of the Programming Concepts, 1994

Weak Sequential Composition in Process Algebras.

[BibT_eX]

[DOI]

Arend Rensink