Deepak D'Souza

Available identifiers

zbMath Open dsouza.deepakMaRDI QIDQ636269

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q2848479	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
Computer Aided Verification	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Deepak D'Souza