Publications

Title Authors Event Presentation Place Publication Date
Establishing Tool Chains above the Service Cloud with Integration Models Weiqing Zhang, Birger Møller-Pedersen (Univ of Oslo) ICWS 2013 California, US

27-2

June-July 2013

An automated parallel simulation flow for heterogeneous embedded systems

Seyed Hosein Attarzade, Ingo Sander (KTH Royal Institute of Technology)

DATE 2013 Grenoble, France 18-22 March  2013
NoC System Generator – A Tool for Fast Prototyping of Multi-Core Systems on FPGAs Johnny Öberg, Francesco Robino, Hosein Attarzadeh, Ingo Sander (KTH Royal Institute of Technology) DATE 2013 Grenoble, France 18-22 March  2013
LTL Model Checking of Parallel Programs with Relaxed Memory Model

Jiri Barnat, Lubos Brim,  Vojtech Havel (Masaryk University)

VMCAI 2013 Rome, Italy 20-22 January 2013
Towards Tool Integration through Artifacts and Viewpoint Integration Models

Weiqing Zhang, Birger Møller-Pedersen (University of Oslo)

Vincent Leildé, Joël Champeau, and Christophe Guychard (ENSIETA)

APSEC 2012 Hong Kong 4-7 December 2012
Automated Construction of Data Integration Solutions for Tool Chains
Matthias Biehl, Jiarui Hong, Frederic Loiret (KTH Royal Institute of Technology)
The Seventh International Conference on Software Engineering advances (ICSEA2012) Lisbon, Portugal 18-23 November 2012
Constructing Tool Chains based on SPEM Process Models
Matthias Biehl,  Martin Törngren (KTH Royal Institute of Technology)
The Seventh International Conference on Software Engineering advances (ICSEA2012) Lisbon, Portugal 18-23 November 2012
Artificial neural network emulation on NOC based multi-core FPGA platform
Mand, N.P.; Robino. F.; Oberg, J., (KTH Royal Institute of Technology)

 

NorCHIP 2012 Copenhagen, Denmark 12-13 November 2012
Qualifying Software Tools, a Systems Approach Fredrik Asplund, Jad El-khoury, and Martin Törngren (KTH Royal Institute of Technology) SAFECOMP 2012, The 31st International Conference on Computer Safety, Reliability and Security Magdeburg, Germany 25-28 September 2012
Integrating virtual platforms into a heterogeneous MoC-based modeling framework

Gilmar Silva Beserra (Univeristy of Brasilia)

Seyed Husein Attarzadeh Niaki, Ingo Sander (KTH)

Forum on Design Languages (FDL) 2012 Vienna, Austria 18-20 September 2012
A Cost-Efficiency Model for Tool Chains Matthias Biehl, Martin Törngren

(KTH Royal Institute of Technology)
International Conference on Global Software Engineering Workshops Porto Alegre, Brazil August 2012
Partial Tool Chain to support Automated Formal Verification of Avionics Simulink Designs

Jiri Barnat, Lubos Brim, Petr Rockai (Masaryk University)

Jan Beran and Tomas Kratochvila (Honeywell) 

17th International Workshop on
Formal Methods for Industrial Critical Systems
Paris, France 27-28 August 2012

 

Safety-Guided Design through System-Theoretic Process Analysis, Benefits and Difficulties

 

M.S. Fredrik Asplund, Ph.D. Jad El-khoury, Professor Martin Törngren (KTH Royal Institute of Technology)

ISSC 2012 - 30th Internation System Safety Conference Atlanta, US 6-10 August 2012
A Light-weight Tool Integration Approach - From a Tool Integration Model to OSLC Integration Services Weiqing Zhang, Birger Møller-Pedersen (Univ of Oslo) ICSOFT 2012, 7th International Conference on Software Paradigm Trends Rome, Italy 24-27 July, 2012
Executing Model Checking Counterexamples in Simulink

Jirí Barnat, Lubos Brim (Masaryk University)

Jan Beran, Toma´s Kratochvíla, Italo R. Oliveira (Honeywell)

Theoretical Aspects of Software Engineering Conference (TASE 2012) Beijing, China 4-6 July, 2012
Analyzing the evolution of software systems by providing and relating different levels of change abstractions
Juergen Salecker, 
Egon Wuchner (Siemens AG)
Saturn 2012 St. Petersburg, Florida 7-11 May, 2012
Tool Integration, from Tool to Tool Chain with ISO 26262 Fredrik Asplund, Matthias Biehl, Jad El-khoury, Daniel Frede, Martin Törngren (KTH Royal Institute of Technology) SAE 2012 World Congress & Exhibition
Detroit, MI, USA
April 2012
Profile-Guided Application Partitioning for Heterogeneous Reconfigurable Platforms S. Arash Ostadzadeh, Roel Meeuws, Imran Ashraf, Carlo Galuzzi, Koen Bertels (DUT) DATE 2012, Automation and Test in Europe  Dresden, Germany  March 2012 
A study of challenges and practices of Requirements
Engineering and Analysis discipline within Embedded Systems
Domain: an industrial experience
Lubos Brim (Masaryk University Brno), AlmudenaDíez (Visure Solutions) ARTEMIS Technology Conference 2012 at the ARTEMIS Spring Event 2012 Nuremberg, Germany 28Feb-1March 2012
Systematic and Cost-efficient Tool Integration for Embedded Systems - The iFEST approach

Martin Törngren, Jad Elkhoury (KTH)

Dagfin Brodtkorb, Hans Petter Dahle (ABB).

ARTEMIS Technology Conference 2012 at the ARTEMIS Spring Event 2012 Nuremberg, Germany 28Feb-1March 2012
Embedded Systems Design: a few solutions, multiple challenges Tiberiu Seceleanu (ABB) ICES MBD Workshop: Embedded and Cyber-physical Systems Sweeden 6 February, 2012
Metamodel Based Tool Integration

Weiqing Zhang, Birger Møller-Pedersen(University of Oslo) 

Kai T. Hansen (ABB Corporate Research Center)

Norsk Informatikkonferanse 2011 Norway 21-November, 2011
Efficient Task Scheduling for Runtime Reconfigurable Systems Mahmood Fazlali, Ali Zakerolhosseini (UGC), Mojtaba Sabeghi, Koen Bertels (DUT) Journal of Systems Architecture - Embedded System Design 56(11), pp. 623-632, August 2010 (BibTeX)

doi>10.1016/j.

sysarc.2010.07.016

11 November, 2011

Designing Fast LTL Model Checking Algorithms for Many-Core GPUs Jiří Barnat, Petr Bauch, Luboš Brim, Milan Češka, (Masaryk University) Journal of Parallel and Distributed Computing

http://dx.doi.org/10.1016/j.

jpdc.2011.10.015

4 November, 2011
Advanced Profiling of Applications for Heterogeneous
Multi-Core Platforms
Koen Bertels, S. Arash Ostadzadeh, Roel Meeuws (DUT) ERSA'11 - International Conference on Engineering of Reconfigurable Systems & Algorithms Las Vegas, Nevada, USA 18-19 July, 2011
High Level Quantitative Hardware Prediction Modeling using Statistical methods Roel Meeuws, Carlo Galuzzi, Koen Bertels SAMOS'11 - International Conference on Embedded Computer Systems: Architectures, Models, and Simulations Samos, Greece 18-21 July. 2011
Platform Dependent Verification: Engineering Verification Tools for 21st Century Lubos Brin, Jirí Barnat

10th International Workshop on Parallel and Distributed Methods in verifiCation

Cliff Lodge, Snowbird, Utah 14 July, 2011
Runtime Extraction of Memory Access Information
from the Application Source Code
S. Arash Ostadzadeh, Marco Corina, Carlo Galuzzi, and Koen Bertels HPCS'11 - International Conference on High Performance Computing & Simulation Isatnbul, Turkey 4-8 July, 2011
Tool Integration Beyond Wasserman Fredrik Asplund, Matthias Biehl, Jad El-Khoury, Martin Törngren London, United Kingdom 20-24 June, 2011
iFEST: El futuro de las herramientas (iFEST: The future of tools) ALmudena Diez The Requirements Week Madrid 2011 Madrid, Spain 14, June 2011
QUAD: A Sophisticated Memory Access Profiling Toolset S. Arash Ostadzadeh, Koen Bertels DATE'11 - Design Methods and Tools for FPGA-Based Acceleration of Scientific Computing Workshop, Design, Automation and Test in Europe Grenoble, France 14-18 June, 2011
Loop Distribution for K-Loops on Reconfigurable Architectures Ozana Silvia Dragonir, Koen Bertels DATE'11 - Design Methods and Tools for FPGA-Based Acceleration of Scientific Computing Workshop, Design, Automation and Test in Europe Grenoble, France 14-18 June, 2011
A Domain Specific Language for Generating Tool Integration Solutions Matthias Biehl, Jad El-Khoury, Frédéric Loiret, Martin Törngren 4th Workshop on Model-Driven Tool & Process Integration at ECMFA 2011 Birmingham, UK 7 June,  2011
A Framework for Integration ESL Tools Ali Koudri, Teodora Petrisor, Joel Champeau, Vicent Leilde Process-based approaches for Model-Driven Engineering (PMDE) at ECMFA 2011 Birmingham, UK 6-9 June, 2011
Modelling Concurrency and Communication Ali Koudri, Teodora Petrisor, Joel Champeau, Vincent Leilde BM-FA 2011 The Third Workshop on Behavioural Modelling - Foundations and Application at ECMFA 2011 University of Birmingham, Birmingham, UK 6 June,  2011
L'IDM. un levier pour l'intégration d'outils: l'approache iFEST H. Espinoza, V. Leilde, P.I. Diallo et J. Champeau NEPTUNE 2011 France 18 May, 2011
tQUAD - Memory Bandwidth Usage Analysis S. Arash Ostadzadeh, Marco Corina, Carlo Galuzzi, and Koen Bertels ICPP'10 - 39th International Conference on Parallel Processing San Diego, CA, USA 13-16 September, 2010
An Executable Design Decision Representation using Model Transformations Biehl, M.;   Törngren, M 36th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA2010) Lille, France 1-3 September, 2010
Interfacing Operating Systems and Polymorphic Computing Platforms
based on the MOLEN Programming Paradigm
Mojtaba Sabeghi, Koen Bertels Sixth Annual Workshop on the Interaction between Operating Systems and Computer Architecture in conjunction with ISCA10 Saint-Malo, France 19-23 June, 2010
A Modular Tool Integration Approach -
Experiences from two Case Studies
Matthias Biehl, Carl-Johan Sjöostedt, Martin Törngren 3rd Workshop on Model-Driven Tool & Process Integration at ECMFA 2010 Paris, France 15 June, 2010
Towards an industrial Framework for Embedded Systems Tools Martin Törngren et al. HOPES Workshop at ECMFA 2010 Paris, France 15 June, 2010
A Novel Configuration Circuit Architecture to Speedup Reconfiguration and Relocation for Partially Reconfigurable Devices Thomas Marconi, Jae Young Hur, Koen Bertels, Georgi Gaydadjiev SASP 2010 : IEEE 8th Symposium on Application Specific Processors Anaheim, USA 13-14 June, 2010
Runtime Multitasking Support on Reconfigurable Accelerators Mojtaba Sabeghi, Hamid Mushtaq, Koen Bertels HEART 2010 - First International Workshop on Highly-Efficient Accelerators and Reconfigurable Technologies held within ACM ICS 2010 Epochal Tsukuba, Tsukuba, Japan 1 June,  2010
A Communication Aware Online Task Scheduling Algo-rithm for FPGA-based Partially Reconfigurable Systems
Yi Lu  Marconi, T.  Bertels, K.  Gaydadjiev, G. FCCM'10 - IEEE Symposium on Field-Programmable Custom Computing Machines, 2010 Charlotte, North Carolina, USA 2-4 May, 2010
Fast Smith-Waterman hardware implementation Zubair Nawaz, Koen Bertels, H. Ekin Süumbül IPDPS'10 - International Parallel and Distributed Processing Symposium Atlanta, GA, USA 19 April, 2010