Deepak D'Souza

Available identifiers

zbMath Open dsouza.deepakMaRDI QIDQ636269

List of research outcomes

Publication	Date of Publication	Type
Static analysis for detecting high-level races in RTOS kernels	2024-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q6187065	2024-02-05	Paper
Data races and static analysis for interrupt-driven kernels	2023-11-24	Paper
Static race detection for periodic programs	2023-08-03	Paper
Static analysis for detecting high-level races in RTOS kernels	2022-06-20	Paper
Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs	2019-09-16	Paper
Using formal reasoning on a model of tasks for FreeRTOS	2016-01-06	Paper
An automata based approach for verifying information flow properties	2013-09-26	Paper
Automata and logics over signals	2013-02-26	Paper
Temporal logics of repeating values	2012-10-19	Paper
A compositional hierarchical monitoring automaton construction for LTL	2012-09-21	Paper
Automata and logics over finitely varying functions	2011-08-26	Paper
Timed control with partial observability.	2010-04-20	Paper
https://portal.mardi4nfdi.de/entity/Q5190775	2009-07-27	Paper
Conflict-Tolerant Features	2008-07-15	Paper
On the Expressiveness of MTL with Past Operators	2008-07-08	Paper
Counter-Free Input-Determined Timed Automata	2008-07-03	Paper
On Continuous Timed Automata with Input-Determined Guards	2008-04-17	Paper
A Decidable Temporal Logic of Repeating Values	2008-01-04	Paper
An automata-theoretic approach to constraint LTL	2007-03-12	Paper
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science	2006-11-14	Paper
Foundations of Software Science and Computational Structures	2005-11-10	Paper
A Logical Characterisation of Event Clock Automata	2005-10-19	Paper
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems	2005-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4736872	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4426378	2003-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q4415249	2003-07-28	Paper
Product interval automata	2002-11-27	Paper
https://portal.mardi4nfdi.de/entity/Q2766656	2002-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q4501664	2000-09-04	Paper

Research outcomes over time

This page was built for person: Deepak D'Souza