Old Web
English
Sign In
Acemap
>
authorDetail
>
Eric Conquet
Eric Conquet
European Space Research and Technology Centre
Software
Computer science
Software engineering
Programming language
Semantics of logic
4
Papers
36
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (4)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
THE ASSERT SET OF TOOLS FOR ENGINEERING (TASTE): DEMONSTRATOR, HW/SW CODESIGN, AND FUTURE
2012
Marc Pollina
Yann Leclerc
Eric Conquet
Maxime Perrotin
Guy Bois
Laurent Moss
Show All
Source
Cite
Save
Citations (0)
TASTE: An open-source tool-chain for embedded system and software development
2012
Maxime Perrotin
Eric Conquet
Julien Delange
Thanassis Tsiodras
Show All
Source
Cite
Save
Citations (5)
Modèles système, modèles logiciel et modèles de code dans les applications spatiales
2011
Eric Conquet
François-Xavier Dormoy
Iulia Dragomir
Alain Le Guennec
David Lesens
Piotr Nienaltowski
Iulian Ober
Show All
Source
Cite
Save
Citations (0)
Space Software Validation using Abstract Interpretation
2009
Olivier Bouissou
Eric Conquet
Patrick Cousot
Radhia Cousot
Jérôme Feret
Khalil Ghorbal
Éric Goubault
David Lesens
Laurent Mauborgne
Antoine Miné
Sylvie Putot
Xavier Rival
Michel Turin
Show All
Source
Cite
Save
Citations (31)
1