Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Demis Ballis
Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Runtime Checking for Program Verification
Using Autonomous Components to Improve Runtime Qualities of Software
IET Software
Computer Graphics
Computer-Aided Design
Temporal Mode-Checking for Runtime Monitoring of Privacy Policies
On-The-Fly Model Checking of Security Protocols and Its Implementation by Maude
IPSJ Digital Courier
Error Detection Through Consistency Checking
Annals of GIS
Earth
Planetary Sciences
Computer Science Applications
MUST: A Scalable Approach to Runtime Error Detection in MPI Programs
Towards the Use of Slicing Techniques for an Efficient Invariant Checking
Using Program Slicing to Improve the Efficiency and Effectiveness of Cluster Test Selection
International Journal of Software Engineering and Knowledge Engineering
Computer Graphics
Computer Networks
Communications
Computer-Aided Design
Artificial Intelligence
Software
Preventing SQL Code Injection by Combining Static and Runtime Analysis
