Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Rajeev Alur

Preserving Secrecy Under Refinement

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Reachability Analysis of Hybrid Systems via Predicate Abstraction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Modular Specification of Hybrid Systems in Charon

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Modular Strategies for Recursive Game Graphs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Formal Specifications and Analysis of the Computer-Assisted Resuscitation Algorithm (CARA) Infusion Pump Control System

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2004English

Real-Time System = Discrete System + Clock Variables

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
1997English

Heuristics for Hierarchical Partitioning With Application to Model Checking

BRICS Report Series
2000English

Robust Stability of Multi-Hop Control Networks

2009English

Instrumenting C Programs With Nested Word Monitors

English

Regular Specifications of Resource Requirements for Embedded Control Software

2008English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy