Arnaud Dieumegard

IRT M2P, Université Fédérale de Toulouse Midi-Pyrénées

Papers

3

Total Citations

24

H-Index

3

About

No biography available yet.

Research Focus

Programming language3 · 24 citations
Computer science3 · 24 citations
Formal verification2 · 17 citations
Operating system2 · 17 citations
Event (particle physics)2 · 16 citations
Set (abstract data type)2 · 16 citations
Software2 · 15 citations
Software engineering2 · 15 citations
Construct (python library)1 · 9 citations
Code (set theory)1 · 9 citations
Liveness1 · 9 citations
B-Method1 · 9 citations

Key Achievements

3
H-Index
3
Papers
24
Total Citations
8
Avg Citations/Paper
🏆 Most Cited Paper
Correct‐by‐construction specification to verified code
9 citations · 2018
📈 Most Prolific Year: 2017 (2 Papers)
🤝 Key Collaborators: 5
🏛 Institutions: IRT M2P, Université Fédérale de Toulouse Midi-Pyrénées

Top Papers

  1. 1
    Correct‐by‐construction specification to verified code
    9 citations · 2018
  2. 2
    Formal development process of safety-critical embedded human machine interface systems
    8 citations · 2017
  3. 3
    Event-B at Work: Some Lessons Learnt from an Application to a Robot Anti-collision Function
    7 citations · 2017

Key Collaborators

NGNing Ge3 shared papersÉJÉric Jenn3 shared papersLVLaurent Voisin1 shared papersBDBruno daAusbourg1 shared papersYAYamine Aït‐Ameur1 shared papers
Not generated yet