Old Web
English
Sign In
Acemap
>
authorDetail
>
Thomas Abdoul
Thomas Abdoul
Model transformation
Computer science
Formal verification
Systems engineering
Model checking
4
Papers
32
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
An Efficient Modeling and Execution Framework for Complex Systems Development
2011
ICECCS | International Conference on Engineering of Complex Computer Systems
Isabelle Perseil
Laurent Pautet
Jean-François Rolland
Mamoun Filali
Didier Delanote
Stefan Van Baelen
Wouter Joosen
Yolande Berbers
Frédéric Mallet
Dominique Bertrand
Sébastien Faucou
Abdelhafid Zitouni
Mahmoud Boufaida
Lionel Seinturier
Joël Champeau
Thomas Abdoul
Peter H. Feiler
Chokri Mraidha
Sébastien Gérard
Show All
Source
Cite
Save
Citations (4)
AADL Execution Semantics Transformation for Formal Verification
2008
ICECCS | International Conference on Engineering of Complex Computer Systems
Thomas Abdoul
Joël Champeau
Philippe Dhaussy
Pierre Yves Pillain
Jean-Charles Roger
Show All
Source
Cite
Save
Citations (25)
AADL model transformation for formal verification
2008
ICECCS | International Conference on Engineering of Complex Computer Systems
Thomas Abdoul
Joël Champeau
Philippe Dhaussy
Pierre Yves Pillain
Jean-Charles Roger
Show All
Source
Cite
Save
Citations (1)
Transformation de modèles AADL en automates temporisés IF.
2006
Thomas Abdoul
Show All
Source
Cite
Save
Citations (2)
1