Old Web
English
Sign In
Acemap
>
authorDetail
>
Jean-Yves Pierron
Jean-Yves Pierron
Computer science
Symbolic execution
Theoretical computer science
qualitative simulation
Programming language
5
Papers
43
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (5)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Qualitative Simulation of Hybrid Systems with an Application to SysML Models.
2018
MODELSWARD | International Conference on Model-Driven Engineering and Software Development
Slim Medimegh
Jean-Yves Pierron
Frédéric Boulanger
Show All
Source
Cite
Save
Citations (2)
A New Qualitative language for Qualitative Simulation
2018
Slim Medimegh
Jean-Yves Pierron
Frédéric Boulanger
Show All
Source
Cite
Save
Citations (0)
A New Approach of Qualitative Simulation for the Validation of Hybrid Systems.
2016
Slim Medimegh
Jean-Yves Pierron
Jean-Pierre Gallois
Frédéric Boulanger
Show All
Source
Cite
Save
Citations (4)
Automated functional test case synthesis from THALES industrial requirements
2004
RTAS | Real Time Technology and Applications Symposium
David Lugato
F. Maraux
Y. Le Traon
C. Nebut
V. Normand
H. Dubois
Jean-Yves Pierron
Jean-Pierre Gallois
Show All
Source
Cite
Save
Citations (10)
Automatic test generation with AGATHA
2003
TACAS | Tools and Algorithms for Construction and Analysis of Systems
Céline Bigot
Alain Faivre
Jean-Pierre Gallois
Arnault Lapitre
David Lugato
Jean-Yves Pierron
Nicolas Rapin
Show All
Source
Cite
Save
Citations (27)
1