uu.se
Uppsala University Publications
Please wait ...
Simple search
Advanced search 
Research publications
Advanced search 
Student theses
Statistics
English
Svenska
Norsk
Change search
Search
Only documents with full text in DiVA
Refine search result
1  10 of 10
Cite
Export
Link to result list
Permanent link
http://uu.divaportal.org/smash/resultList.jsf?query=&language=en&searchType=SIMPLE&noOfRows=50&sortOrder=author_sort_asc&onlyFullText=false&sf=all&aq=%5B%5B%7B%22personId%22%3A%22mormo492%22%7D%5D%5D&aqe=%5B%5D&aq2=%5B%5B%5D%5D&af=%5B%5D
Cite
Citation style
apa
ieee
modernlanguageassociation
vancouver
Other style
apa
ieee
modernlanguageassociation
vancouver
Other style
More styles
Language
deDE
enGB
enUS
fiFI
nnNO
nnNB
svSE
Other locale
deDE
enGB
enUS
fiFI
nnNO
nnNB
svSE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
Rows per page
5
10
20
50
100
250
5
10
20
50
100
250
Sort
Standard (Relevance)
Author AÖ
Author ÖA
Title AÖ
Title ÖA
Publication type AÖ
Publication type ÖA
Oldest first
Newest first
Standard (Relevance)
Author AÖ
Author ÖA
Title AÖ
Title ÖA
Publication type AÖ
Publication type ÖA
Oldest first
Newest first
Select
all on this page
250 onwards
Clear selection
The maximal number of hits you can export is 250. When you want to export more records please use the 'Create feeds' function.
1.
Abdullah, Jakaria
et al.
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
Mohaqeqi, Morteza
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
Yi, Wang
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
Synthesis of Ada code from graphbased task models
2017
In:
Proc. 32nd ACM Symposium on Applied Computing, New York: ACM Press, 2017, 14671472 p.
Conference paper (Refereed)
Publisher's full text
2.
Mohaqeqi, Morteza
et al.
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
Abdullah, Jakaria
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
Ekberg, Pontus
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
Yi, Wang
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
Refinement of workload models for engine controllers by state space partitioning
2017
In:
29th Euromicro Conference on RealTime Systems: ECRTS 2017, Dagstuhl, Germany: LeibnizZentrum für Informatik , 2017, 11:122 p.
Conference paper (Refereed)
Publisher's full text
3.
Mohaqeqi, Morteza
et al.
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
Abdullah, Jakaria
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
Guan, Nan
Yi, Wang
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
Schedulability analysis of synchronous digraph realtime tasks
2016
In:
Proc. 28th Euromicro Conference on RealTime Systems, IEEE Computer Society, 2016, 176186 p.
Conference paper (Refereed)
Publisher's full text
4.
Mohaqeqi, Morteza
et al.
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
Abdullah, Jakaria
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
Yi, Wang
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
Modeling and analysis of data flow graphs using the digraph realtime task model
2016
In:
Reliable Software Technologies — AdaEurope 2016, Springer, 2016, 1529 p.
Conference paper (Refereed)
Publisher's full text
5.
Mohaqeqi, Morteza
et al.
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
Abdullah, Jakaria
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
Yi, Wang
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
An executable semantics for synchronous task graphs: From SDRT to Ada
2017
In:
Reliable Software Technologies — AdaEurope 2017, Springer, 2017, 137152 p.
Conference paper (Refereed)
Publisher's full text
6.
Mohaqeqi, Morteza
et al.
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
Ekberg, Pontus
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
Yi, Wang
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
On fixedpriority schedulability analysis of sporadic tasks with selfsuspension
2016
In:
Proc. 24th International Conference on RealTime Networks and Systems, New York: ACM Press, 2016, 109118 p.
Conference paper (Refereed)
Publisher's full text
7.
Mohaqeqi, Morteza
et al.
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
Mousavi, Mohammad Reza
Sound testsuites for cyberphysical systems
2016
In:
Proc. 10th International Symposium on Theoretical Aspects of Software Engineering, IEEE Computer Society, 2016, 4248 p.
Conference paper (Refereed)
Publisher's full text
8.
Mohaqeqi, Morteza
et al.
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
Mousavi, Mohammad Reza
Towards an approximate conformance relation for hybrid I/O automata
2016
In:
Proc. 1st Workshop on Verification and Validation of CyberPhysical Systems, Open Publishing Association , 2016, 5364 p.
Conference paper (Refereed)
Publisher's full text
9.
Mohaqeqi, Morteza
et al.
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
Nasri, Mitra
Xu, Yang
Cervin, Anton
Årzén, KarlErik
On the problem of finding optimal harmonic periods
2016
In:
Proc. 24th International Conference on RealTime Networks and Systems, New York: ACM Press, 2016, 171180 p.
Conference paper (Refereed)
Publisher's full text
10.
Nasri, Mitra
et al.
Mohaqeqi, Morteza
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
Fohler, Gerhard
Quantifying the effect of period ratios on schedulability of rate monotonic
2016
In:
Proc. 24th International Conference on RealTime Networks and Systems, New York: ACM Press, 2016, 161170 p.
Conference paper (Refereed)
Publisher's full text
1  10 of 10
Cite
Export
Link to result list
Permanent link
http://uu.divaportal.org/smash/resultList.jsf?query=&language=en&searchType=SIMPLE&noOfRows=50&sortOrder=author_sort_asc&onlyFullText=false&sf=all&aq=%5B%5B%7B%22personId%22%3A%22mormo492%22%7D%5D%5D&aqe=%5B%5D&aq2=%5B%5B%5D%5D&af=%5B%5D
Cite
Citation style
apa
ieee
modernlanguageassociation
vancouver
Other style
apa
ieee
modernlanguageassociation
vancouver
Other style
More styles
Language
deDE
enGB
enUS
fiFI
nnNO
nnNB
svSE
Other locale
deDE
enGB
enUS
fiFI
nnNO
nnNB
svSE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
v. 2.27.0

Uppsala University Library

DiVA Helpdesk

DiVA Log in