Julia M. B. Braman

California Institute of Technology

Papers

3

Total Citations

22

H-Index

2

About

No biography available yet.

Research Focus

Computer science3 · 22 citations
Programming language2 · 16 citations
Task (project management)2 · 16 citations
Control engineering2 · 16 citations
Control system2 · 16 citations
Embedded system2 · 16 citations
Engineering2 · 16 citations
Systems engineering2 · 16 citations
Formal verification2 · 16 citations
Model checking2 · 16 citations
Hybrid system2 · 16 citations
Fault tolerance1 · 14 citations

Key Achievements

2
H-Index
3
Papers
22
Total Citations
7
Avg Citations/Paper
🏆 Most Cited Paper
Safety verification of a fault tolerant reconfigurable autonomous goal-based robotic control system
14 citations · 2007
📈 Most Prolific Year: 2007 (3 Papers)
🤝 Key Collaborators: 3
🏛 Institutions: California Institute of Technology

Top Papers

  1. 1
    Safety verification of a fault tolerant reconfigurable autonomous goal-based robotic control system
    14 citations · 2007
  2. 2
    Verification Procedure for Generalized Goal-based Control Programs
    6 citations · 2007
  3. 3
    Conversion and Verification Procedure for Goal-Based Control Programs
    2 citations · 2007

Key Collaborators

RMRichard M. Murray3 shared papersMDMichel D. Ingham1 shared papersDWDavid Wagner1 shared papers
Not generated yet