Login / Signup
Muhammad Adnan
Publication Activity (10 Years)
Years Active: 2010-2012
Publications (10 Years): 0
Top Topics
Theorem Prover
Upper Bound
Running Times
Databases
Top Venues
ETFA
</>
Publications
</>
Muhammad Adnan
,
Jean-Luc Scharbarg
,
Jérôme Ermont
,
Christian Fraboul
An improved timed automata approach for computing exact worst-case delays of AFDX sporadic flows.
ETFA
(2012)
Muhammad Adnan
,
Jean-Luc Scharbarg
,
Christian Fraboul
Minimizing the search space for computing exact worst-case delays of AFDX periodic flows.
SIES
(2011)
Muhammad Adnan
,
Jérôme Scharbarg
,
Jean-Luc Ermont
,
Christian Fraboul
An improved timed automata model for computing exact worst-case delays of AFDX periodic flows.
ETFA
(2011)
Muhammad Adnan
,
Jean-Luc Scharbarg
,
Jérôme Ermont
,
Christian Fraboul
Model for worst case delay analysis of an AFDX network using timed automata.
ETFA
(2010)