Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Pantazis Deligiannis
Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers (T)
Asynchronous Programming, Analysis and Testing With State Machines
Related publications
Analyzing Concurrency Bugs Using Dual Slicing
CoopREP: Cooperative Record and Replay of Concurrency Bugs
Software Testing Verification and Reliability
Media Technology
Risk
Reliability
Safety
Quality
Software
Analyzing and Predicting Concurrency Bugs in Open Source Systems
A Study of Concurrency Bugs in an Open Source Software
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
A Unified Approach for Localizing Non-Deadlock Concurrency Bugs
Abstraction for Shape Analysis With Fast and Precise Transformers
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Fast and Precise Regular Approximations of Logic Programs
Detector-Device-Independent Quantum Key Distribution: Security Analysis and Fast Implementation
Journal of Applied Physics
Astronomy
Physics
Design and Analysis of a Haptic Device Design for Large and Fast Movements
Machines
Control
Systems Engineering
Industrial
Mechanical Engineering
Electronic Engineering
Manufacturing Engineering
Optimization
Electrical
Computer Science
