The following pages link to Deepak D'Souza (Q636269):
Displaying 27 items.
- Automata and logics over finitely varying functions (Q636272) (← links)
- An automata-theoretic approach to constraint LTL (Q870361) (← links)
- Using formal reasoning on a model of tasks for FreeRTOS (Q903515) (← links)
- Product interval automata (Q1847544) (← links)
- Static analysis for detecting high-level races in RTOS kernels (Q2147701) (← links)
- (Q2766656) (← links)
- (Q2848479) (← links)
- A Compositional Hierarchical Monitoring Automaton Construction for LTL (Q2915096) (← links)
- Temporal Logics of Repeating Values (Q3165752) (← links)
- Counter-Free Input-Determined Timed Automata (Q3510837) (← links)
- On the Expressiveness of MTL with Past Operators (Q3511245) (← links)
- Conflict-Tolerant Features (Q3512496) (← links)
- (Q4415249) (← links)
- (Q4426378) (← links)
- (Q4501664) (← links)
- (Q4736872) (← links)
- Automata and Logics over Signals (Q4907871) (← links)
- (Q5190775) (← links)
- Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs (Q5233246) (← links)
- On Continuous Timed Automata with Input-Determined Guards (Q5386000) (← links)
- A Decidable Temporal Logic of Repeating Values (Q5434506) (← links)
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (Q5464766) (← links)
- A Logical Characterisation of Event Clock Automata (Q5696929) (← links)
- Foundations of Software Science and Computational Structures (Q5705876) (← links)
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (Q5897780) (← links)
- Computer Aided Verification (Q5900678) (← links)
- (Q6187065) (← links)
