Institutionen för informationsteknologi gemensamma (->1.1.2015)


Publikationer

null null 1 av 3 null null
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Hiding the combinatorial state space explosion of biomodels through colored Petri nets (2014)
Diana-Elena Gratie, Ion Petre
Analele Universitatii Bucuresti
A4 Konferenspublikationer
On the Implementation of Quantitative Model Refinement (2014)
Iancu B, Gratie D, Azimi S, Petre I
Lecture Notes in Computer Science
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
Possibilistic Bayes Modelling for Predictive Analytics (2014)
Christer Carlsson, Markku Heikkilä, Jozsef Mezei
IEEE Computer Society Institute of Electrical and Electronic Engineers
Visa på utgivarens sida
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Towards Rigorous Construction of Safety Cases (2014)
Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna
A4 Konferenspublikationer
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
Visa på utgivarens sida
A4 Konferenspublikationer
A Case Study in Refinement-Based Modelling of a Resilient Control System (2013)
Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis
Springer
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
A Refinement-Based Approach to Developing Critical Multi-Agent Systems (2013)
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
International Journal of Critical Computer-Based Systems
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
A Survey of Safety-Oriented Model-Driven and Formal Development Approaches (2013)
Yuliya Prokhorova, Elena Troubitsyna
International Journal of Critical Computer-Based Systems
Visa på utgivarens sida
A4 Konferenspublikationer
Formalisation of an Industrial Approach to Monitoring Critical Data (2013)
Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Dubravka Ilić, Timo Latvala
Springer
Visa på utgivarens sida
A3 Bokavsnitt, kapitel i forskningsböcker
ODE analysis of biological systems (2013)
Diana-Elena Gratie, Bogdan Iancu, Ion Petre
Springer
Visa på utgivarens sida

Senast uppdaterad 2018-19-09 vid 19:37