Thomas Abdoul

According to our database, Thomas Abdoul authored at least 2 papers between 2008 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

An Efficient Modeling and Execution Framework for Complex Systems Development.

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 Boufaïda, Lionel Seinturier, Joël Champeau, Thomas Abdoul, Peter H. Feiler, Chokri Mraidha, Sébastien Gérard

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

2008

AADL Execution Semantics Transformation for Formal Verification.

Thomas Abdoul, Joël Champeau, Philippe Dhaussy, Pierre Yves Pillain, Jean-Charles Roger

Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008