Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Low-Complexity Run-time Management of Concurrent Workloads for Energy-Efficient Multi-Core SystemsAalsaud, Ali ; Xia, Fei ; Rafiev, Ashur ; Shafik, Rishad ; Romanovsky, Alexander ; Yakovlev, AlexJournal of low power electronics and applications, 2020-09, Vol.10 (3), p.25 [Periódico revisado por pares]Basel: MDPI AGTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
Mutation Testing for Rule-Based Verification of Railway Signaling DataLaibinis, Linas ; Iliasov, Alexei ; Romanovsky, AlexanderIEEE transactions on reliability, 2021-06, Vol.70 (2), p.676-691 [Periódico revisado por pares]New York: IEEETexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
From Analyzing Operating System Vulnerabilities to Designing Multiversion Intrusion-Tolerant ArchitecturesGorbenko, Anatoliy ; Romanovsky, Alexander ; Tarasyuk, Olga ; Biloborodov, OleksandrIEEE transactions on reliability, 2020-03, Vol.69 (1), p.22-39 [Periódico revisado por pares]New York: IEEETexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
GA-Par: Dependable Microservice Orchestration Framework for Geo-Distributed CloudsWen, Zhenyu ; Lin, Tao ; Yang, Renyu ; Ji, Shouling ; Ranjan, Rajiv ; Romanovsky, Alexander ; Lin, Changting ; Xu, JieIEEE transactions on parallel and distributed systems, 2020-01, Vol.31 (1), p.129-143 [Periódico revisado por pares]IEEETexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
PARMA: Parallelization-Aware Run-Time Management for Energy-Efficient Many-Core SystemsAl-hayanni, Mohammed A. Noaman ; Rafiev, Ashur ; Xia, Fei ; Shafik, Rishad ; Romanovsky, Alexander ; Yakovlev, AlexIEEE transactions on computers, 2020-10, Vol.69 (10), p.1507-1518 [Periódico revisado por pares]IEEETexto completo disponível |
6 |
Material Type: Ata de Congresso
|
![]() |
DroidEH: An Exception Handling Mechanism for Android ApplicationsOliveira, Juliana ; Macedo, Hivana ; Cacho, Nelio ; Romanovsky, Alexander2018 IEEE 29th International Symposium on Software Reliability Engineering (ISSRE), 2018, p.200-211IEEETexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Synthesis of Processor Instruction Sets from High-Level ISA SpecificationsMokhov, Andrey ; Iliasov, Alexei ; Sokolov, Danil ; Rykunov, Maxim ; Yakovlev, Alex ; Romanovsky, AlexanderIEEE transactions on computers, 2014-06, Vol.63 (6), p.1552-1566 [Periódico revisado por pares]New York: IEEETexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Guest Editors' Introduction to the Special Section on Exception Handling: From Requirements to Software MaintenanceGarcia, Alessandro ; Romanovsky, Alexander ; Issarny, ValerieIEEE transactions on software engineering, 2010-03, Vol.36 (2), p.147-149 [Periódico revisado por pares]New York: IEEETexto completo disponível |
9 |
Material Type: Ata de Congresso
|
![]() |
On Exceptions, Exception Handling, Requirements and Software LifecycleRomanovsky, A.10th IEEE High Assurance Systems Engineering Symposium (HASE'07), 2007, p.301-301IEEETexto completo disponível |
10 |
Material Type: Ata de Congresso
|
![]() |
Rigorous Development of Dependable Systems Using Fault Tolerance ViewsLopatkin, I. ; Iliasov, A. ; Romanovsky, A.2011 IEEE 22nd International Symposium on Software Reliability Engineering, 2011, p.180-189IEEETexto completo disponível |