Information Technology common


Persons


Publications

Go to first page Go to previous page 1 of 24 Go to next page Go to last page
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)
An efficient model for quantifying the interaction between structural properties of software and hardware in the ARM big.LITTLE architecture (2019)
Stepanovic S, Georgakarakos G, Holmbacka S, Lilius J
Concurrency and Computation: Practice and Experience
View on publisher's site
B2 Book section
Energy aware ultrascale systems (2019)
Ariel Oleksiak; Laurent Lefevre; Pedro Alonso; Georges Da Costa; Vincenzo De Maio; Neki Frasheri; Victor M. Garcia; Joel Guerrero; Sebastien Lafond; Alexey Lastovetsky; Ravi Reddy Manumachu; Benson Muite; Anne-Cecile Orgerie; Wojciech Piatek; Jean-Marc Pierson; Radu Prodan; Patricia Stolf; Enida Sheme; Sebastien Varrette
View on publisher's site
A4 Conference proceedings
Exhaustive Simulation and Test Generation Using fUML Activity Diagrams (2019)
Iqbal Junaid, Ashraf Adnan, Truscan Dragos, Porres Ivan
Springer, Cham
View on publisher's site
A2 Review article, Literature review, Systematic review
Model-based testing using UML activity diagrams: A systematic mapping study (2019)
Ahmad Tanwir, Iqbal Junaid, Ashraf Adnan,Truscan Dragos, Porres Ivan
Computer Science Review
View on publisher's site
C2 Edited book
NWPT 2017 - Special issue (2019)
Waldén Marina
Elsevier
View on publisher's site
A4 Conference proceedings
On the Use of Hackathons to Enhance Collaboration in Large Collaborative Projects: A Preliminary Case Study of the MegaM@Rt2 EU Project (2019)
Andrey Sadovykh, Dragos Truscan, Pierluigi Pierini, Gunnar Widforss, Adnan Ashraf, Hugo Bruneliere, Pavel Smrz, Alessandra Bagnato, Wasif Afzal, Alexandra Espinosa Hortelano
A1 Journal article (refereed)
Reasoning about UML/OCL class diagrams using constraint logic programming and formula (2019)
Beatriz Pérez, Ivan Porres
Information Systems
View on publisher's site
A4 Conference proceedings
A Contract-Based Approach to Scheduling and Verification of Dynamic Dataflow Networks (2018)
Jonatan Wiik, Johan Ersfolk, Marina Waldén
IEEE
View on publisher's site
A4 Conference proceedings
Battery Size Impact in Green Coverage of Datacenters Powered by Renewable Energy: A Latitude Comparison (2018)
Enida Sheme, Sébastien Lafond, Dorian Minarolli, Elinda Kajo Meçe, Simon Holmbacka
Springer
View on publisher's site

Last updated on 2018-11-12 at 11:22