Stavros Tripakis

Verimag, Northeastern University

Papers

2

Total Citations

38

H-Index

2

About

No biography available yet.

Research Focus

Computer science2 · 38 citations
Artificial intelligence2 · 38 citations
Conformance testing1 · 34 citations
TRACE (psycholinguistics)1 · 34 citations
Automaton1 · 34 citations
Embedded system1 · 34 citations
Observability1 · 34 citations
Observer (physics)1 · 34 citations
Operating system1 · 34 citations
Point (geometry)1 · 34 citations
Programming language1 · 34 citations
Real-time computing1 · 34 citations

Key Achievements

2
H-Index
2
Papers
38
Total Citations
19
Avg Citations/Paper
🏆 Most Cited Paper
Testing Conformance of Real-Time Applications by Automatic Generation of Observers
34 citations · 2005
📈 Most Prolific Year: 2005 (1 Papers)
🤝 Key Collaborators: 6
🏛 Institutions: Verimag, Northeastern University

Top Papers

  1. 1
    Testing Conformance of Real-Time Applications by Automatic Generation of Observers
    34 citations · 2005
  2. 2
    On tolerance of discrete systems with respect to transition perturbations
    4 citations · 2023

Key Collaborators

SLStéphane Lafortune1 shared papersMBMarius Bozga1 shared papersEKEunsuk Kang1 shared papersRMRômulo Meira-Góes1 shared papersMKMoez Krichen1 shared papersSBSaddek Bensalem1 shared papers
Not generated yet