| Publication | Date of Publication | Type |
|---|
| Static analysis for detecting high-level races in RTOS kernels | 2024-03-14 | Paper |
| scientific article; zbMATH DE number 7799623 (Why is no real title available?) | 2024-02-05 | Paper |
Data races and static analysis for interrupt-driven kernels
Programming Languages and Systems | 2023-11-24 | Paper |
Static race detection for periodic programs
Programming Languages and Systems | 2023-08-03 | Paper |
Static analysis for detecting high-level races in RTOS kernels
Formal Methods in System Design | 2022-06-20 | Paper |
Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs
Static Analysis | 2019-09-16 | Paper |
Using formal reasoning on a model of tasks for FreeRTOS
Formal Aspects of Computing | 2016-01-06 | Paper |
| An automata based approach for verifying information flow properties | 2013-09-26 | Paper |
Automata and logics over signals
Modern Applications of Automata Theory | 2013-02-26 | Paper |
Temporal logics of repeating values
Journal Of Logic And Computation | 2012-10-19 | Paper |
A compositional hierarchical monitoring automaton construction for LTL
Theoretical Aspects of Computing – ICTAC 2012 | 2012-09-21 | Paper |
Automata and logics over finitely varying functions
Annals of Pure and Applied Logic | 2011-08-26 | Paper |
Timed control with partial observability.
Lecture Notes in Computer Science | 2010-04-20 | Paper |
| scientific article; zbMATH DE number 5587267 (Why is no real title available?) | 2009-07-27 | Paper |
Conflict-Tolerant Features
Computer Aided Verification | 2008-07-15 | Paper |
On the Expressiveness of MTL with Past Operators
Lecture Notes in Computer Science | 2008-07-08 | Paper |
Counter-Free Input-Determined Timed Automata
Lecture Notes in Computer Science | 2008-07-03 | Paper |
On Continuous Timed Automata with Input-Determined Guards
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science | 2008-04-17 | Paper |
A Decidable Temporal Logic of Repeating Values
Logical Foundations of Computer Science | 2008-01-04 | Paper |
An automata-theoretic approach to constraint LTL
Information and Computation | 2007-03-12 | Paper |
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
Lecture Notes in Computer Science | 2006-11-14 | Paper |
Foundations of Software Science and Computational Structures
Lecture Notes in Computer Science | 2005-11-10 | Paper |
A Logical Characterisation of Event Clock Automata
International Journal of Foundations of Computer Science | 2005-10-19 | Paper |
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Lecture Notes in Computer Science | 2005-08-19 | Paper |
| scientific article; zbMATH DE number 2086417 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 1982203 (Why is no real title available?) | 2003-09-16 | Paper |
| scientific article; zbMATH DE number 1954378 (Why is no real title available?) | 2003-07-28 | Paper |
Product interval automata
Sādhanā | 2002-11-27 | Paper |
| scientific article; zbMATH DE number 1696511 (Why is no real title available?) | 2002-06-17 | Paper |
| scientific article; zbMATH DE number 1500642 (Why is no real title available?) | 2000-09-04 | Paper |
