Informationsteknologi gemensamma


Personer


Publikationer

null null 1 av 25 null null
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Agile Development of Formal Systems Models (2019)
Colin Snook, Marina Waldén, Andrew Edmunds, Michael Butler
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
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
Visa på utgivarens sida
A4 Konferenspublikationer
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 Bokavsnitt
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
Visa på utgivarens sida
A4 Konferenspublikationer
Exhaustive Simulation and Test Generation Using fUML Activity Diagrams (2019)
Iqbal Junaid, Ashraf Adnan, Truscan Dragos, Porres Ivan
Springer, Cham
Visa på utgivarens sida
A4 Konferenspublikationer
Exploratory Performance Testing Using Reinforcement Learning (2019)
Tanwir Ahmad, Adnan Ashraf, Dragos Truscan, Ivan Porres
Visa på utgivarens sida
A4 Konferenspublikationer
MATERA2-AlfTester: An Exhaustive Simulation and Test Generation Tool for fUML Models (2019)
Iqbal Junaid, Ashraf Adnan, Truscan Dragos, Porres Ivan.
IEEE
Visa på utgivarens sida
A2 Granskningsartikel, litteraturgranskning, systematisk granskning
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
Visa på utgivarens sida
C2 Redigerat verk
NWPT 2017 - Special issue (2019)
Waldén Marina
Elsevier
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
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
Visa på utgivarens sida

Senast uppdaterad 2018-11-12 vid 11:22