Department of Information Technologies (->1.1.2015)


Publications

Go to first page Go to previous page 1 of 3 Go to next page Go to last page
A1 Journal article (refereed)
Hiding the combinatorial state space explosion of biomodels through colored Petri nets (2014)
Diana-Elena Gratie, Ion Petre
Analele Universitatii Bucuresti
A4 Conference proceedings
On the Implementation of Quantitative Model Refinement (2014)
Iancu B, Gratie D, Azimi S, Petre I
Lecture Notes in Computer Science
Springer
View on publisher's site
A4 Conference proceedings
Possibilistic Bayes Modelling for Predictive Analytics (2014)
Christer Carlsson, Markku Heikkilä, Jozsef Mezei
IEEE Computer Society Institute of Electrical and Electronic Engineers
View on publisher's site
D4 Published development or research report or study
Towards Rigorous Construction of Safety Cases (2014)
Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna
A4 Conference proceedings
Video Transcoding Time Prediction for Proactive Load Balancing (2014)
Tewodors Deneke, Habtegebreil Haile, Sebastien Lafond, Johan Lilius
IEEE international conference on multimedia and expo
IEEE Computer Society Institute of Electrical and Electronic Engineers
View on publisher's site
A4 Conference proceedings
A Case Study in Refinement-Based Modelling of a Resilient Control System (2013)
Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis
Springer
View on publisher's site
A1 Journal article (refereed)
A Refinement-Based Approach to Developing Critical Multi-Agent Systems (2013)
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
International Journal of Critical Computer-Based Systems
View on publisher's site
A1 Journal article (refereed)
A Survey of Safety-Oriented Model-Driven and Formal Development Approaches (2013)
Yuliya Prokhorova, Elena Troubitsyna
International Journal of Critical Computer-Based Systems
View on publisher's site
A4 Conference proceedings
Formalisation of an Industrial Approach to Monitoring Critical Data (2013)
Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Dubravka Ilić, Timo Latvala
Springer
View on publisher's site
A3 Book section, Chapters in research books
ODE analysis of biological systems (2013)
Diana-Elena Gratie, Bogdan Iancu, Ion Petre
Springer
View on publisher's site

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