Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Elsa Gunter
Temporal Debugging for Concurrent Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
A Debugging Tool for Distributed Systems
An Evaluation of Knowledge-Based Diagnostic Techniques for Debugging Concurrent Software.
A Tool-Set for Temporal Analysis in a Design Environment for Concurrent Systems.
Enforcing Concurrent Temporal Behaviors
International Journal of Foundations of Computer Science
Computer Science
Type Systems for Concurrent Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Formal Framework for Specifying Concurrent Systems
International Journal of Computer Applications
Noninterference for Concurrent Programs and Thread Systems
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Concurrent Multi-Agent Systems With Temporal Logic Objectives: Game Theoretic Analysis and Planning Through Negotiation
IET Control Theory and Applications
Control
Systems Engineering
Human-Computer Interaction
Optimization
Electronic Engineering
Computer Science Applications
Electrical
Optimal Time-Bounded Reachability Analysis for Concurrent Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
