Computer Science


Persons


Publications

Go to first page Go to previous page 1 of 32 Go to next page Go to last page
A1 Journal article (refereed)
Applying guidelines for system modelling in Event-B: A systematic literature review (2020)
Olszewska Marta, Shokri-Manninen Fatima, Edmunds Andrew, Waldén Marina
International Journal of Critical Computer-Based Systems
View on publisher's site
A4 Conference proceedings
Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems (2020)
Fatima Shokri-Manninen, Jüri Vain, and Marina Waldén
A4 Conference proceedings
Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes (2020)
Fatima Shokri-Manninen, Leonidas Tsiopoulos, Jüri Vain, Marina Waldén
View on publisher's site
A1 Journal article (refereed)
Online Path Generation and Navigation for Swarms of UAVs (2020)
Adnan Ashraf, Amin Majd, Elena Troubitsyna
Scientific Programming
View on publisher's site
D4 Published development or research report or study
Agile Development of Formal Systems Models (2019)
Colin Snook, Marina Waldén, Andrew Edmunds, Michael Butler
A1 Journal article (refereed)
Chemical Reaction Networks Associated with the Hilbert's 16th Problem: Limit Cycles and Stability Analysis (2019)
Gefry Barad, Eugen Czeizler, Andrei Păun
Match: Communications in Mathematical and in Computer Chemistry
A1 Journal article (refereed)
Identification of Drug Targets in Breast Cancer Metabolic Network (2019)
Krishna Kanhaiya, Dwitiya Tyagi-Tiwari
Journal of Computational Biology
View on publisher's site
A4 Conference proceedings
Multi-Layered Safety Architecture of Autonomous Systems: Formalising Coordination Perspective (2019)
Inna Vistbakka, Elena Troubitsyna, Amin Majd
IEEE
View on publisher's site
A1 Journal article (refereed)
Refinement-based modeling of the ErbB signaling pathway (2019)
Bogdan Iancu, Usman Sanwal, Cristian Gratie, Ion Petre
Computers in Biology and Medicine
View on publisher's site

Last updated on 2018-30-08 at 17:26