Information Technology common


Persons


Publications

Go to first page Go to previous page 1 of 25 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
A4 Conference proceedings
An Integrated Model-based Tool Chain for Managing Variability in Complex System Design (2019)
Bilic Damir, Brosse Etienne, Sadovykh Andrey, Truscan Dragos, Bruneliere Hugo, Ryssel Uwe
IEEE
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
A4 Conference proceedings
Exploratory Performance Testing Using Reinforcement Learning (2019)
Tanwir Ahmad, Adnan Ashraf, Dragos Truscan, Ivan Porres
View on publisher's site
A4 Conference proceedings
MATERA2-AlfTester: An Exhaustive Simulation and Test Generation Tool for fUML Models (2019)
Iqbal Junaid, Ashraf Adnan, Truscan Dragos, Porres Ivan.
IEEE
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
A1 Journal article (refereed)
On a tool-supported model-based approach for building architectures and roadmaps: The MegaM@Rt2 project experience (2019)
Sadovykh A, Afzal W, Truscan D, Pierini P, Bruneliere H, Bagnato A, Gómez A, Cabot J, Avila-García O
Microprocessors and Microsystems
View on publisher's site

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