Analysis of hard real-time systems

von Moitra, Abha
Veröffentlicht 1985

Automated Generation of Control Concepts Annotation Rules Using Inductive Logic Programming: System Description

von Shbita, Basel
Veröffentlicht in FLOPS (16. : 2022 : Online) Functional and logic programming (2022)

Determination timing properties of infinite real-time programs

von Moitra, Abha
Veröffentlicht 1991

A proof system for dataflow networks with indeterminate modules

von Moitra, Abha
Veröffentlicht 1986

Parallel algorithms for maximum matching and other problems on interval graphs

von Moitra, Abha
Veröffentlicht 1988

Complete, effective and abstract system fot reasoning about networks of processes

von Moitra, Abha
Veröffentlicht 1989

Time lower bounds for CREW-PRAM computation of monotone functions

von Bilardi, Gianfranco
Veröffentlicht 1989

Derivation of a maximally parallel algorithm for balancing binary search trees

von Moitra, Abha
Veröffentlicht 1984

Discussion of parallel algorithms

von Moitra, Abha
Veröffentlicht 1986

Proof rules for fault tolerant distributed programs

von Joseph, Mathai
Veröffentlicht 1984

Automating the Assembly of Security Assurance Case Fragments

von Meng, Baoluo
Veröffentlicht in SAFECOMP (40. : 2021 : York; Online) Computer Safety, Reliability, and Security (2021)

Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT

von Meng, Baoluo
Veröffentlicht in NFM (14. : 2022 : Pasadena, Calif.) NASA formal methods (2022)