Department of Information Technologies (->1.1.2015)


Publications

Go to first page Go to previous page 2 of 3 Go to next page Go to last page
A3 Book section, Chapters in research books
Proactive Virtual Machine Allocation for Video Transcoding in the Cloud (2013)
Fareed Jokhio, Adnan Ashraf, Tewodros Deneke, Sebastien Lafond, Ivan Porres, Johan Lilius
TUCS general publications
A4 Conference proceedings
Stream-Based Admission Control and Scheduling for Video Transcoding in Cloud Computing (2013)
Adnan Ashraf, Fareed Jokhio, Tewodros Deneke, Sébastien Lafond, Ivan Porres, Johan Lilius
IEEE
View on publisher's site
A4 Conference proceedings
A Case Study in Formal Development of a Fault Tolerant Multi-Robotic System (2012)
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
Springer
View on publisher's site
A4 Conference proceedings
Bit Rate Reduction Video Transcoding with Distributed Computing (2012)
Fareed Jokhio, Tewodros Deneke, Sébastien Lafond, Johan Lilius
IEEE
View on publisher's site
A1 Journal article (refereed)
Deriving a Mode Logic Using Failure Modes and Effects Analysis (2012)
Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala
International Journal of Critical Computer-Based Systems
View on publisher's site
A4 Conference proceedings
Formal Development of Critical Multi-Agent Systems: A Refinement Approach (2012)
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
IEEE
View on publisher's site
A4 Conference proceedings
Analysis of Video Segmentation for Spatial Resolution Reduction Video Transcoding (2011)
Fareed Jokhio, Tewodros Deneke, Sébastien Lafond, Johan Lilius
IEEE
View on publisher's site
A4 Conference proceedings
Derivation and Formal Verification of a Mode Logic for Layered Control Systems (2011)
Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala
IEEE
View on publisher's site
A1 Journal article (refereed)
Designing Level 3 Behavioral RESTful Web Service Interfaces (2011)
Irum Rauf, Ivan Porres
Applied Computing Review
View on publisher's site
A3 Book section, Chapters in research books
Development of Safety-Critical Control Systems in Event-B Using FMEA (2011)
Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Vyacheslav Kharchenko
Information science reference IGI
View on publisher's site

Last updated on 2018-19-09 at 19:37