Publications
Number of publications matching the search criterion: 332 (showing 1 - 50)
Doctoral Thesis (10)
Efficient Design of Scalable Deep Neural Networks for Resource-Constrained Edge Devices (Oct 2022) Mohammad Loni
Formal Methods for Scalable Synthesis and Verification of Autonomous Systems (May 2022) Rong Gu
Toward Dependable Multiple Path Planning for Autonomous Robots with Obstacle Avoidance and Congestion Control (Jan 2022) LanAnh Trinh
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 (5)
Safety Critical Software - Test Coverage vs Remaining Faults (Apr 2022) Johan Sundell
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 (3)
Coordination Models and Languages - 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings (2022) Marjan Sirjani, Maurice H. ter Beek
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 (80)
A Comprehensive Systematic Review of Integration of Time Sensitive Networking and 5G Communication (Jun 2023) Zenepe Satka, Mohammad Ashjaei, Hossein Fotouhi, Masoud Daneshtalab, Mikael Sjödin, Saad Mubeen Journal of Systems Architecture, 2023 (JSA)
Optimizing Parallel Task Execution for Multi-Agent Mission Planning (Mar 2023) Branko Miloradovic, Baran Çürüklü, Mikael Ekström, Alessandro Papadopoulos IEEE Access (IEEE Access 2023)
Satellite Image Compression Guided by Regions of Interest (Jan 2023) Christofer Schwartz , Ingo Sander , Fredrik Bruhn, Mathias Persson , Joakim Ekblad Sensors (Sensors)
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)
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 (Jun 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)
Specification and Verification of Timing Properties in Interoperable Medical Systems (2022) JOHN HATCLIFF , Marjan Sirjani, Ehsan Khamespanah , Fatemeh Ghasemi , Mahsa Zarneshan Logical Methods in Computer Science (LMCS)
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)
FastStereoNet: A Fast Neural Architecture Search for Improving the Inference of Disparity Estimation on Resource-Limited Platforms (Nov 2021) 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)
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)
