Tesnim Abdellatif

Centre National de la Recherche Scientifique, Verimag

Papers

3

Total Citations

51

H-Index

2

About

No biography available yet.

Research Focus

Embedded system3 · 51 citations
Programming language3 · 51 citations
Computer science3 · 51 citations
Distributed computing3 · 51 citations
Software2 · 49 citations
Robustness (evolution)2 · 49 citations
Deadlock1 · 33 citations
Component (thermodynamics)1 · 33 citations
Robot1 · 33 citations
Artificial intelligence1 · 33 citations
Model checking1 · 33 citations
Component-based software engineering1 · 33 citations

Key Achievements

2
H-Index
3
Papers
51
Total Citations
17
Avg Citations/Paper
🏆 Most Cited Paper
Rigorous design of robot software: A formal component-based approach
33 citations · 2012
📈 Most Prolific Year: 2012 (1 Papers)
🤝 Key Collaborators: 5
🏛 Institutions: Centre National de la Recherche Scientifique, Verimag

Top Papers

  1. 1
    Rigorous design of robot software: A formal component-based approach
    33 citations · 2012
  2. 2
    Rigorous implementation of real-time systems – from theory to application
    16 citations · 2013
  3. 3
    Open Real-time Systems: From Modeling to Implementation
    2 citations · 2011

Key Collaborators

JCJacques Combaz3 shared papersLDLavindra de Silva1 shared papersJSJoseph Sifakis1 shared papersSBSaddek Bensalem1 shared papersFIFélix Ingrand1 shared papers
Not generated yet