The SCEAS System
Navigation Menu

Search the dblp DataBase


David Chemouil: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. David Chemouil
    The Design of Spacecraft On-Board Software. [Citation Graph (0, 0)][DBLP]
    B, 2007, pp:3- [Conf]
  2. Nadège Pontisso, David Chemouil
    TOPCASED Combining Formal Methods with Model-Driven Engineering. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:359-360 [Conf]
  3. Sergei Soloviev, David Chemouil
    Some Algebraic Structures in Lambda-Calculus with Inductive Types. [Citation Graph (0, 0)][DBLP]
    TYPES, 2003, pp:338-354 [Conf]
  4. Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Martin Strecker
    Towards formalising AADL in Proof Assistants. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:141, n:3, pp:153-169 [Journal]
  5. David Chemouil, Sergei Soloviev
    Remarks on isomorphisms of simple inductive types. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:85, n:7, pp:- [Journal]
  6. Ricardo Bedin França, Jean-Paul Bodeveix, Mamoun Filali, Jean-François Rolland, David Chemouil, Dave Thomas
    The AADL behaviour annex - experiments and roadmap. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:377-382 [Conf]

  7. Modes in Asynchronous Systems. [Citation Graph (, )][DBLP]

  8. A mapping from AADL to Java-RTSJ. [Citation Graph (, )][DBLP]

Search in 0.002secs, Finished in 0.002secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002