.:. Browse > List by subject > Embedded Systems .:.

105 documents ordered by : Date Title first author name document type Submit date

1 - 2 - 3 - 4 - 5 - 6 - 7 ...

Formal Modelling and Verification of Population Protocols Méry D., Poppleton M. In iFM - 10th International Conference on integrated Formal Methods - 2013 (2013) [hal-00813033 - version 1]

Estimation of Probabilistic Minimum Inter-arrival Times Using Extreme Value Theory Maxim C., Gogonel A., Maxim D., Cucu L. [hal-00766063 - version 1]

Towards optimal priority assignments for real-time tasks with probabilistic arrivals and execution times Maxim D. [hal-00766057 - version 1]

Towards an analysis framework for tasks with probabilistic execution times and probabilistic inter-arrival times Maxim D., Cucu L. [hal-00766019 - version 1]

Measurement-Based Probabilistic Timing Analysis for Multi-path Programs Cucu-Grosjean L., Santinelli L., Houston M., Lo C., Vardanega T., Kosmidis L., Abella J., Mezzeti E., Quinones E., Cazorla F. J. Dans the 24th Euromicro Conference on Real-Time Systems (2012) [hal-00765987 - version 1]

A statistical response-time analysis of real-time embedded systems Yue L., Nolte T., Bate I., Cucu-Grosjean L. Dans the 33rd IEEE Real-time Systems Symposium (2012) [hal-00765983 - version 1]

Vérification des contraintes temporelles de bout-en-bout dans le contexte AutoSar Monot A. Université de Lorraine (29/11/2012), Françoise Simonot (Dir.) [tel-00767128 - version 2]

Re-Sampling for Statistical Timing Analysis of Real-Time Systems Maxim D., Houston M., Santinelli L., Bernat G., Davis R., Cucu L. In RTNS - 20th International Conference on Real-Time and Network Systems - 2012 (2012) [hal-00766045 - version 1]

A Multi-Paradigm DSML for Quantitative Analysis of Embedded System Architecture Models Senn E., Blouin D., Zendra O. Dans ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems - MODELS 2012 (2012) xx [hal-00760298 - version 1]

Critical systems development methodology using formal techniques Méry D., Singh N. K. Dans 3rd International Symposium on Information and Communication Technology - SoICT 2012 (2012) 3-12 [hal-00747305 - version 1]