Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 319 (showing 1 - 50)

Doctoral Thesis (8)

Formal Methods for Scalable Synthesis and Verification of Autonomous Systems (May 2022)
Rong Gu

Automatic Characterization and Mitigation ofShared-resource Contention in Multi-coreSystems (Nov 2021)
Jakob Danielsson

Space Computing using COTS Heterogeneous Platforms (Nov 2021)
Nandinbaatar Tsog

Utilizing Hardware Monitoring to Improve the Quality of Service and Performance of Industrial Systems (Oct 2018)
Marcus Jägemar

Quality Assurance for Dependable Embedded Systems (Jan 2018)
Andreas Johnsen

An Ontological Approach to Safety Analysis of Safety-Critical Systems (Jan 2018)
Jiale Zhou

A Model-driven Development Approach with Temporal Awareness for Vehicular Embedded Systems (Jan 2018)
Alessio Bucaioni

Consolidating Automotive Real-Time Applications on Many-Core Platforms (Dec 2017)
Matthias Becker
Doctoral Thesis (PhD Thesis)

Licentiate Thesis (4)

DeepMaker: Customizing the Architecture of Convolutional Neural Networks for Resource-Constrained Platforms (Dec 2020)
Mohammad Loni

Automatic Model Generation and Scalable Verification for Autonomous Vehicles (Jun 2020)
Rong Gu

Improving On-Board Data Processing using CPU-GPU Heterogeneous Architectures for Real-Time Systems (Dec 2019)
Nandinbaatar Tsog

Characterization of Shared Resource Contention in Multi-core Systems (Aug 2019)
Jakob Danielsson

Book (2)

Hardware Architectures for Deep Learning (May 2020)
Masoud Daneshtalab, Mehdi Modarressi
Institution of Engineering and Technology (IET)

Principles of Modeling: Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday (Jul 2018)
Marten Lohstroh , Patricia Derler , Marjan Sirjani

Book chapter (8)

Using Afra in Different Domains by Tool Orchestration (Jul 2021)
Ehsan Khamespanah , Pavle Mrvaljevic , Anas Fattouh, Marjan Sirjani
Springer International Publishing (Cham)

Integration and Orchestration of Analysis Tools (Jul 2021)
Robert Heinrich , Erwan Bousse , Sandro Koch , Arend Rensink , Elvinia Riccobene , Daniel Ratiu , Marjan Sirjani

Computation reuse-aware accelerator for neural networks (May 2020)
Hoda Mahdiani , Alireza Khadem , Ali Yasoubi , Azam Ghanbari , Mehdi Modarressi , Masoud Daneshtalab
Institution of Engineering and Technology (IET)

Hardware Acceleration for Recurrent Neural Networks (May 2020)
Sima Sinaei, Masoud Daneshtalab
Institution of Engineering and Technology (IET)

Feedforward Neural Networks on Massively Parallel Architectures (May 2020)
Reza Hojabr , Ahmad Khonsari , Mehdi Modarressi , Masoud Daneshtalab
Institution of Engineering and Technology (IET)

Reo Connectors and Components as Tagged Signal Models (Apr 2018)
Marjan Sirjani, Fatemeh Ghasemi , Bahman Pourvatan

Multiobjectivism in Dark Silicon Age (Apr 2018)
Amin Rezaei , Masoud Daneshtalab, Hai Zhou
Elsevier Advances in Computers (Computers)

Modeling, Designing and Analyzing Resource Reservations in Distributed Embedded Systems (Jan 2018)
Mohammad Ashjaei, Nima Khalilzad, Saad Mubeen
Real-time Modelling and Processing for Communication Systems. Applications and Practices (SpringerBook'18)

Journal article (76)

Correctness-Guaranteed Strategy Synthesis and Compression for Multi-Agent Autonomous Systems (Sep 2022)
Rong Gu, Peter Jensen , Cristina Seceleanu, Eduard Paul Enoiu, Kristina Lundqvist
Science of Computer Programming (SCICO-223)

FastStereoNet: A Fast Neural Architecture Search for Improving the Inference of Disparity Estimation on Resource-Limited Platforms (Jul 2022)
Mohammad Loni, Ali Zoljodi, Amin Majd , Byung Hoon Ahn , Masoud Daneshtalab, Mikael Sjödin, Hadi Esmaeilzadeh
IEEE Transactions on Systems, Man, and Cybernetics: Systems (SMCS)

FaCT-LSTM: Fast and Compact Ternary Architecture for LSTM Recurrent Neural Networks (Jun 2022)
Najmeh Nazari , Seyed Ahmad Mirsalari , Sima Sinaei, Mostafa Salehi , Masoud Daneshtalab
IEEE Design and Test (IEEE D&T)

Verifiable Strategy Synthesis for Multiple Autonomous Agents: A Scalable Approach (Feb 2022)
Rong Gu, Peter Jensen , Danny Poulsen , Cristina Seceleanu, Eduard Paul Enoiu, Kristina Lundqvist
International Journal on Software Tools for Technology Transfer (STTT)

A Comprehensive Exploration of Languages for Parallel Computing (Jan 2022)
Federico Ciccozzi, Lorenzo Addazi, Sara Abbaspour, Björn Lisper, Abu Naser Masud, Saad Mubeen
ACM Computing Surveys (CSUR'21)

A Comprehensive Study on Artificial Intelligence Algorithms to Implement Safety Using Communication Technologies (Dec 2021)
Rafia Inam, Alberto Yukinobu Hata , Vlasjov Prifti , Sara Abbaspour
Wireless Personal Communications Journal (WIRE)

Multi-Processor Scheduling of Elastic Applications in Compositional Real-Time Systems   (Dec 2021)
Shaik Salman, Alessandro Papadopoulos, Saad Mubeen, Thomas Nolte
Journal of Systems Architecture, 2021 (JSA)

Implications of Various Preemption Configurations in TSN Networks (Oct 2021)
Mohammad Ashjaei, Lejla Murselović , Saad Mubeen
IEEE Embedded Systems Letters (Embed Syst Lett)

A Trade-Off between Computing Power and Energy Consumption of On-Board Data Processing in GPU Accelerated In-Orbit Space Systems (Sep 2021)
Nandinbaatar Tsog, Saad Mubeen, Mikael Sjödin, Fredrik Bruhn
Transactions of the Japan Society for Aeronautical and Space Sciences, Aerospace Technology Japan (ATJ19)

Time-Sensitive Networking in Automotive Embedded Systems: State of the Art and Research Opportunities (Sep 2021)
Mohammad Ashjaei, Lucia Lo Bello , Masoud Daneshtalab, Gaetano Patti , Sergio Saponara , Saad Mubeen
Journal of Systems Architecture, 2021 (JSA)

Guest Editorial: Special Issue on Parallel, Distributed, and Network-Based Processing in Next-generation Embedded Systems (Aug 2021)
Saad Mubeen, Lucia Lo Bello , Masoud Daneshtalab, Sergio Saponara
Journal of Systems Architecture, 2021 (JSA)

A Novel Frame Preemption Model in TSN Networks (Jun 2021)
Mohammad Ashjaei, Mikael Sjödin, Saad Mubeen
Journal of Systems Architecture (JSA, 114)

Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems (May 2021)
Marjan Sirjani, Luciana Provenzano, Sara Abbaspour, Mahshid Helali Moghadam, Mehrdad Saadatmand
Journal of Internet Services and Applications (JISA)

Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control (Jan 2021)
Maryam Bagheri , Marjan Sirjani, Ehsan Khamespanah , Christel Baier , Ali Movaghar
IEEE Transactions on Software Engineering (TSE)

Safe Design of Flow Management Systems Using Rebeca (Sep 2020)
Giorgio Forcina, Ali Sedaghatbaf, Stephan Baumgart, Ali Jafari , Ehsan Khamespanah , Pavle Mrvaljevic , Marjan Sirjani
Journal of Information Processing (IPSJ)

A software implemented comprehensive soft error detection method for embedded systems (Sep 2020)
Seyyed Amir Asghari , Mohammadreza Binesh Marvasti , Masoud Daneshtalab
Elsevier journal of Microprocessors and Microsystems (MICPRO)

A Systematic Literature Study on Definition and Modeling of Service-Level Agreements for Cloud Services in IoT (Aug 2020)
Svetlana Girs, Séverine Sentilles, Sara Abbaspour, Mohammad Ashjaei, Saad Mubeen
IEEE Access (ACCESS'20)

Improving Motion Safety and Efficiency of Intelligent Autonomous Swarm of Drones (Aug 2020)
Amin Majd , Mohammad Loni, Golnaz Sahebi , Masoud Daneshtalab
Drones (Drones)

The genetic algorithm census transform: evaluation of census windows of different size and level of sparseness through hardware in-the-loop training (Jul 2020)
Carl Ahlberg, Miguel Leon Ortiz, Fredrik Ekstrand, Mikael Ekström
Open Access Journal of Real-Time Image Processing (J RT Image Proc)

Verification of Cyberphysical Systems (Jul 2020)
Marjan Sirjani, Edward Lee, Ehsan Khamespanah
Mathematics (Mathematics)

Modelling multi-criticality vehicular software systems: evolution of an industrial component model (Jun 2020)
Alessio Bucaioni, Saad Mubeen, Federico Ciccozzi, Antonio Cicchetti, Mikael Sjödin
International Journal on Software and Systems Modeling (SoSyM'20)

VeriVANca framework: verification of VANETs by property-based message passing of actors in Rebeca with inheritance (Jun 2020)
Farnaz Yousefi , Ehsan Khamespanah , Mohammed Gharib , Marjan Sirjani, Ali Movaghar
International Journal on Software Tools for Technology Transfer (STTT)

A Review on Deep Learning Methods for ECG Arrhythmia Classification (Jun 2020)
Zahra Ebrahimi , Mohammad Loni, Masoud Daneshtalab, Arash Ghareh Baghi
Expert Systems with Applications (ESWA)

Enabling radiation tolerant heterogeneous GPU-based onboard data processing in space (Jun 2020)
Fredrik Bruhn, Nandinbaatar Tsog, Fabian Kunkel, Oskar Flordal, Ian Troxel
CEAS Space Journal (CEAS20)

NOM: Network-On-Memory for Inter-Bank Data Transfer in Highly-Banked Memories (May 2020)
Seyyed Hossein Seyyedaghaei Rezaei , Mehdi Modarressi , Rachata Ausavarungnirun , Mohammad Sadrosadati , Onur Mutlu , Masoud Daneshtalab
IEEE Computer Architecture Letters (CAL)

Timing Predictability and Security in Safety-critical Industrial Cyber-physical Systems: A Position Paper (Apr 2020)
Saad Mubeen, Elena Lisova, Aneta Vulgarakis Feljan
Applied Sciences--Special Issue "Emerging Paradigms and Architectures for Industry 4.0 Applications" (ApplSci'21)

DeepMaker: A Multi-Objective Optimization Framework for Deep Neural Networks in Embedded Systems (Jan 2020)
Mohammad Loni, Sima Sinaei, Ali Zoljodi, Masoud Daneshtalab, Mikael Sjödin
Elsevier journal of Microprocessors and Microsystems (MICPRO)

ΔNN: Power-efficient Neural Network Acceleration using Differential Weights (Dec 2019)
Hoda Mahdiani , Alireza Khadem , Azam Ghanbari , Mehdi Modarressi , Farima Fattahi-bayat , Masoud Daneshtalab
IEEE MICRO (MICRO)

Items per page: