Datavetenskap (->1.1.2015)


Publikationer

null null 1 av 11 null null
A4 Konferenspublikationer
A precise pictorial language for array invariants (2018)
Eriksson Johannes, Parsa Masoumeh, Back Ralph-Johan
Springer
Visa på utgivarens sida
D4 Publicerad utvecklings- eller forskningsrapport eller studie
A Formal Specification Language for Content Transfer Algorithms (2014)
Petter Sandvik
A4 Konferenspublikationer
Analysis of Real-Time Properties of a Digital Hydraulic Power Management System (2014)
Pontus Boström, Petr Alexeev, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama
Lecture notes for computer science
Visa på utgivarens sida
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Complexity of Model Checking for Reaction Systems (2014)
Sepinoud Azimi, Cristian Gratie, Sergiu Ivanov, Luca Manzoni, Ion Petre, Antonio E. Porreca
A4 Konferenspublikationer
Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code (2014)
Jonatan Wiik, Pontus Boström
Lecture Notes in Computer Science
Springer
Visa på utgivarens sida
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code (2014)
Jonatan Wiik, Pontus Boström
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Dependency Graphs and Mass Conservation in Reaction Systems (2014)
Sepinoud Azimi, Cristian Gratie, Sergiu Ivanov, Ion Petre
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Dependency relations between elementary intramolecular operations in gene assembly in ciliates (2014)
Petre Ion, Rogojin Vladimir
Journal of Automata, Languages and Combinatorics
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Derivation of Concurrent Programs by Stepwise Scheduling of Event-B Models (2014)
Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén
Formal Aspects of Computing
Visa på utgivarens sida
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Deriving Efficient and Dependable Parallel Programs from Simulink Models (2014)
Sergey Ostroumov, Pontus Boström, Marina Waldén, Mikko Huova

Senast uppdaterad 2018-19-09 vid 19:36