Folgen
Morteza Mohaqeqi
Titel
Zitiert von
Zitiert von
Jahr
Refinement of workload models for engine controllers by state space partitioning
M Mohaqeqi, J Abdullah, P Ekberg, W Yi
29th Euromicro Conference on Real-Time Systems (ECRTS 2017), 2017
222017
Sound conformance testing for cyber-physical systems: Theory and implementation
H Araujo, G Carvalho, M Mohaqeqi, MR Mousavi, A Sampaio
Science of Computer Programming 162, 35-54, 2018
192018
Schedulability Analysis of Synchronous Digraph Real-Time Tasks
M Mohaqeqi, J Abdullah, N Guan, W Yi
28th Euromicro Conference on Real-Time Systems (ECRTS) (2016), 176-186, 2016
192016
Conformance testing of cyber-physical systems: A comparative study
M Mohaqeqi, MR Mousavi, W Taha
The 14th International Workshop on Automated Verification of Critical …, 2014
172014
Analytical leakage-aware thermal modeling of a real-time system
M Mohaqeqi, M Kargahi, A Movaghar
IEEE Transactions on Computers 63 (6), 1378-1392, 2012
172012
Sound test-suites for cyber-physical systems
M Mohaqeqi, MR Mousavi
2016 10th international symposium on theoretical aspects of software …, 2016
162016
Scheduling of accuracy-constrained real-time systems in dynamic environments
M Nasri, M Kargahi, M Mohaqeqi
IEEE Embedded Systems Letters 4 (3), 61-64, 2012
152012
Optimal harmonic period assignment: complexity results and approximation algorithms
M Mohaqeqi, M Nasri, Y Xu, A Cervin, KE Årzén
Real-Time Systems 54 (4), 830-860, 2018
122018
On the problem of finding optimal harmonic periods
M Mohaqeqi, M Nasri, Y Xu, A Cervin, KE Årzén
Proceedings of the 24th International Conference on Real-Time Networks and …, 2016
122016
Analysis and scheduling of a battery-less mixed-criticality system with energy uncertainty
S Asyaban, M Kargahi, L Thiele, M Mohaqeqi
ACM Transactions on Embedded Computing Systems (TECS) 16 (1), 1-26, 2016
112016
On fixed-priority schedulability analysis of sporadic tasks with self-suspension
M Mohaqeqi, P Ekberg, W Yi
Proceedings of the 24th International Conference on Real-Time Networks and …, 2016
82016
Stochastic thermal control of a multicore real-time system
M Mohaqeqi, M Kargahi, K Fouladi
2016 24th Euromicro International Conference on Parallel, Distributed, and …, 2016
82016
A new approach for better document retrieval and classification performance using supervised WSD and Concept Graph
R Soltanpoor, M Mohsenzadeh, M Mohaqeqi
2010 First International Conference on Integrated Intelligent Computing, 32-38, 2010
82010
Analytical leakage/temperature-aware power modeling and optimization for a variable speed real-time system
M Mohaqeqi, M Kargahi, A Movaghar
Proceedings of the 20th International Conference on Real-Time and Network …, 2012
72012
Quantifying the effect of period ratios on schedulability of rate monotonic
M Nasri, M Mohaqeqi, G Fohler
Proceedings of the 24th International Conference on Real-Time Networks and …, 2016
62016
Schedulability analysis and software synthesis for graph-based task models with resource sharing
J Abdullah, G Dai, M Mohaqeqi, W Yi
2018 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS …, 2018
52018
Synthesis of Ada code from graph-based task models
J Abdullah, M Mohaqeqi, W Yi
Proceedings of the Symposium on Applied Computing, 1467-1472, 2017
52017
Modeling and analysis of data flow graphs using the digraph real-time task model
M Mohaqeqi, J Abdullah, W Yi
Ada-Europe International Conference on Reliable Software Technologies, 15-29, 2016
52016
Adaptive scheduling of real-time systems cosupplied by renewable and nonrenewable energy sources
M Mohaqeqi, M Kargahi, M Dehghan
ACM Transactions on Embedded Computing Systems (TECS) 13 (1s), 1-28, 2013
52013
Towards a tool: times-pro for modeling, analysis, simulation and implementation of cyber-physical systems
J Abdullah, G Dai, N Guan, M Mohaqeqi, W Yi
Models, Algorithms, Logics and Tools, 623-639, 2017
42017
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20