Symbolic Partial-Order Execution for Testing Multi-Threaded Programs

• On-the-fly unfolding with optimal exploration for linear temporal logic model checking of concurrent software and systems

  2025 Automated Software Engineering article Computer Science Formal Methods in Verification

  0

  citations
• Verification of Concurrent Programs Using Hybrid Concrete-Symbolic Interpretation

  2025 Lecture notes in computer science conference-paper Computer Science Parallel Computing and Optimization Techniques

  0

  citations
• The digest framework: concurrency-sensitivity for abstract interpretation

  2024 International Journal on Software Tools for Technology Transfer article Computer Science Logic, programming, and type systems Open access

  7

  citations
• Toward Automated Detection of Portability Bugs in Kokkos Parallel Programs

  2024 conference-paper Computer Science Software Testing and Debugging Techniques Open access

  1

  citations
• Static Data Race Detection via Lazy Sequentialization

  2024 Lecture notes in computer science conference-paper Computer Science Software Testing and Debugging Techniques

  2

  citations
• Dynamic Partial Order Reduction Based on Interference Solution

  2023 Research Square preprint Engineering Real-time simulation and control systems Open access

  0

  citations
• Depth-First Net Unfoldings and Equivalent Reduction

  2023 Symmetry article Computer Science Petri Nets in System Modeling Open access

  1

  citations
• Psym: Efficient Symbolic Exploration of Distributed Systems

  2023 Proceedings of the ACM on Programming Languages article Computer Science Software System Performance and Reliability Open access

  1

  citations
• Analysis of Concurrent Systems Based on Interval Order

  2023 Preprints.org preprint Computer Science Petri Nets in System Modeling Open access

  0

  citations
• Model Checking Race-Freedom When “Sequential Consistency for Data-Race-Free Programs” is Guaranteed

  2023 Lecture notes in computer science conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

  1

  citations
• Controlled concurrency testing via periodical scheduling

  2022 Proceedings of the 44th International Conference on Software Engineering conference-paper Computer Science Parallel Computing and Optimization Techniques

  29

  citations
• Achieving High MAP-Coverage Through Pattern Constraint Reduction

  2022 IEEE Transactions on Software Engineering article Computer Science Software Testing and Debugging Techniques

  3

  citations
• Quasi-optimal partial order reduction

  2020 Formal Methods in System Design article Chemistry Mass Spectrometry Techniques and Applications

  7

  citations
• Symbolic Partial-Order Execution for Testing Multi-Threaded Programs

  2020 RWTH Publications (RWTH Aachen) conference-paper Computer Science Software Testing and Debugging Techniques Open access

  15

  citations
• Quasi-Optimal Partial Order Reduction

  2018 Lecture notes in computer science conference-paper Chemistry Mass Spectrometry Techniques and Applications Open access

  23

  citations

15 results

• Petri nets, event structures and domains, part I

  1981 Theoretical Computer Science article Computer Science Petri Nets in System Modeling Open access

  925

  citations
• IEEE Standard for Information Technology - Portable Operating System Interface (POSIX): System Application Program Interface (API), Amendment 1: Realtime Extension (C Language), IEEE Std 1003.1b-1993

  1994 book Computer Science Mobile Agent-Based Network Management

  44

  citations
• Quasi-Optimal Partial Order Reduction

  2018 Lecture notes in computer science conference-paper Chemistry Mass Spectrometry Techniques and Applications Open access

  23

  citations
• Symbolic Partial-Order Execution for Testing Multi-Threaded Programs

  2020 RWTH Publications (RWTH Aachen) conference-paper Computer Science Software Testing and Debugging Techniques Open access

  15

  citations
• Quasi-optimal partial order reduction

  2020 Formal Methods in System Design article Chemistry Mass Spectrometry Techniques and Applications

  7

  citations
• W2101512909

  details pending

  0

  citations
• W2929832674

  details pending

  0

  citations
• W157156687

  details pending

  0

  citations
• W175092372

  details pending

  0

  citations
• W837270908

  details pending

  0

  citations
• W1490356539

  details pending

  0

  citations
• W1544533039

  details pending

  0

  citations
• W1549714654

  details pending

  0

  citations
• W1556566737

  details pending

  0

  citations
• W1568729458

  details pending

  0

  citations
• W1580380563

  details pending

  0

  citations
• W1602156367

  details pending

  0

  citations
• W1710734607

  details pending

  0

  citations
• W1719093023

  details pending

  0

  citations
• W2008078972

  details pending

  0

  citations