|
|
DPAC publications
Doctoral Thesis(8)
- Formal Methods for Scalable Synthesis and Verification of Autonomous Systems (2022-05-18)Rong Gu
- Automatic Characterization and Mitigation ofShared-resource Contention in Multi-coreSystems (2021-11-22)Jakob Danielsson
- Space Computing using COTS Heterogeneous Platforms (2021-11-18)Nandinbaatar Tsog
- Utilizing Hardware Monitoring to Improve the Quality of Service and Performance of Industrial Systems (2018-10-18)Marcus Jägemar
- Quality Assurance for Dependable Embedded Systems (2018-01-26)Andreas Johnsen
- An Ontological Approach to Safety Analysis of Safety-Critical Systems (2018-01-12)Jiale Zhou
- A Model-driven Development Approach with Temporal Awareness for Vehicular Embedded Systems (2018-01-01)Alessio Bucaioni
- Consolidating Automotive Real-Time Applications on Many-Core Platforms (2017-12-19)Matthias BeckerDoctoral Thesis(PhD Thesis)
Licentiate Thesis(4)
- DeepMaker: Customizing the Architecture of Convolutional Neural Networks for Resource-Constrained Platforms (2020-12-04)Mohammad Loni
- Automatic Model Generation and Scalable Verification for Autonomous Vehicles (2020-06-15)Rong Gu
- Improving On-Board Data Processing using CPU-GPU Heterogeneous Architectures for Real-Time Systems (2019-12-18)Nandinbaatar Tsog
- Characterization of Shared Resource Contention in Multi-core Systems (2019-08-01)Jakob Danielsson
Book(2)
Book chapter(8)
- Using Afra in Different Domains by Tool Orchestration (2021-07-18)Ehsan Khamespanah, Pavle Mrvaljevic, Anas Fattouh, Marjan SirjaniSpringer International Publishing(Cham)
- Integration and Orchestration of Analysis Tools (2021-07-18)Robert Heinrich, Erwan Bousse, Sandro Koch, Arend Rensink, Elvinia Riccobene, Daniel Ratiu, Marjan Sirjani
- Computation reuse-aware accelerator for neural networks (2020-05-05)Hoda Mahdiani, Alireza Khadem, Ali Yasoubi, Azam Ghanbari, Mehdi Modarressi, Masoud DaneshtalabInstitution of Engineering and Technology (IET)
- Hardware Acceleration for Recurrent Neural Networks (2020-05-05)Sima Sinaei, Masoud DaneshtalabInstitution of Engineering and Technology (IET)
- Feedforward Neural Networks on Massively Parallel Architectures (2020-05-05)Reza Hojabr, Ahmad Khonsari, Mehdi Modarressi, Masoud DaneshtalabInstitution of Engineering and Technology (IET)
- Reo Connectors and Components as Tagged Signal Models (2018-04-17)Marjan Sirjani, Fatemeh Ghasemi, Bahman Pourvatan
- Multiobjectivism in Dark Silicon Age (2018-04-08)Amin Rezaei, Masoud Daneshtalab, Hai ZhouElsevier Advances in Computers(Computers)
- Modeling, Designing and Analyzing Resource Reservations in Distributed Embedded Systems (2018-01-31)Mohammad Ashjaei, Nima Khalilzad, Saad MubeenReal-time Modelling and Processing for Communication Systems. Applications and Practices(SpringerBook'18)
Journal article(66)
- FastStereoNet: A Fast Neural Architecture Search for Improving the Inference of Disparity Estimation on Resource-Limited Platforms (2022-07-20)Mohammad Loni, Ali Zoljodi, Amin Majd, Byung Hoon Ahn, Masoud Daneshtalab, Mikael Sjödin, Hadi EsmaeilzadehIEEE Transactions on Systems, Man, and Cybernetics: Systems(SMCS)
- FaCT-LSTM: Fast and Compact Ternary Architecture for LSTM Recurrent Neural Networks (2022-06-01)Najmeh Nazari, Seyed Ahmad Mirsalari, Sima Sinaei, Mostafa Salehi, Masoud DaneshtalabIEEE Design and Test (IEEE D&T)
- Verifiable Strategy Synthesis for Multiple Autonomous Agents: A Scalable Approach (2022-02-01)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 (2022-01-18)Federico Ciccozzi, Lorenzo Addazi, Sara Abbaspour, Björn Lisper, Abu Naser Masud, Saad MubeenACM Computing Surveys(CSUR'21)
- A Comprehensive Study on Artificial Intelligence Algorithms to Implement Safety Using Communication Technologies (2021-12-30)Rafia Inam, Alberto Yukinobu Hata, Vlasjov Prifti, Sara AbbaspourWireless Personal Communications Journal(WIRE)
- Multi-Processor Scheduling of Elastic Applications in Compositional Real-Time Systems (2021-12-15)Shaik Salman, Alessandro Papadopoulos, Saad Mubeen, Thomas NolteJournal of Systems Architecture, 2021(JSA)
- Implications of Various Preemption Configurations in TSN Networks (2021-10-15)Mohammad Ashjaei, Lejla Murselović, Saad MubeenIEEE 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 (2021-09-04)Nandinbaatar Tsog, Saad Mubeen, Mikael Sjödin, Fredrik BruhnTransactions 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 (2021-09-01)Mohammad Ashjaei, Lucia Lo Bello, Masoud Daneshtalab, Gaetano Patti, Sergio Saponara, Saad MubeenJournal of Systems Architecture, 2021(JSA)
- A Novel Frame Preemption Model in TSN Networks (2021-06-15)Mohammad Ashjaei, Mikael Sjödin, Saad MubeenJournal of Systems Architecture(JSA, 114)
- Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control (2021-01-15)Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Christel Baier, Ali MovagharIEEE Transactions on Software Engineering(TSE)
- Safe Design of Flow Management Systems Using Rebeca (2020-09-30)Giorgio Forcina, Ali Sedaghatbaf, Stephan Baumgart, Ali Jafari, Ehsan Khamespanah, Pavle Mrvaljevic, Marjan SirjaniJournal of Information Processing (IPSJ)
- A software implemented comprehensive soft error detection method for embedded systems (2020-09-25)Seyyed Amir Asghari, Mohammadreza Binesh Marvasti, Masoud DaneshtalabElsevier journal of Microprocessors and Microsystems (MICPRO)
- A Systematic Literature Study on Definition and Modeling of Service-Level Agreements for Cloud Services in IoT (2020-08-30)Svetlana Girs, Séverine Sentilles, Sara Abbaspour, Mohammad Ashjaei, Saad MubeenIEEE Access(ACCESS'20)
- Improving Motion Safety and Efficiency of Intelligent Autonomous Swarm of Drones (2020-08-26)Amin Majd, Mohammad Loni, Golnaz Sahebi, Masoud DaneshtalabDrones(Drones)
- The genetic algorithm census transform: evaluation of census windows of different size and level of sparseness through hardware in-the-loop training (2020-07-06)Carl Ahlberg, Miguel Leon Ortiz, Fredrik Ekstrand, Mikael EkströmOpen Access Journal of Real-Time Image Processing(J RT Image Proc)
- Verification of Cyberphysical Systems (2020-07-02)Marjan Sirjani, Edward Lee, Ehsan KhamespanahMathematics(Mathematics)
- Modelling multi-criticality vehicular software systems: evolution of an industrial component model (2020-06-30)Alessio Bucaioni, Saad Mubeen, Federico Ciccozzi, Antonio Cicchetti, Mikael SjödinInternational Journal on Software and Systems Modeling(SoSyM'20)
- VeriVANca framework: verification of VANETs by property-based message passing of actors in Rebeca with inheritance (2020-06-30)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 (2020-06-20)Zahra Ebrahimi, Mohammad Loni, Masoud Daneshtalab, Arash Ghareh BaghiExpert Systems with Applications(ESWA)
- Enabling radiation tolerant heterogeneous GPU-based onboard data processing in space (2020-06-15)Fredrik Bruhn, Nandinbaatar Tsog, Fabian Kunkel, Oskar Flordal, Ian TroxelCEAS Space Journal(CEAS20)
- NOM: Network-On-Memory for Inter-Bank Data Transfer in Highly-Banked Memories (2020-05-10)Seyyed Hossein Seyyedaghaei Rezaei, Mehdi Modarressi, Rachata Ausavarungnirun, Mohammad Sadrosadati, Onur Mutlu, Masoud DaneshtalabIEEE Computer Architecture Letters(CAL)
- Timing Predictability and Security in Safety-critical Industrial Cyber-physical Systems: A Position Paper (2020-04-30)Saad Mubeen, Elena Lisova, Aneta Vulgarakis FeljanApplied 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 (2020-01-03)Mohammad Loni, Sima Sinaei, Ali Zoljodi, Masoud Daneshtalab, Mikael SjödinElsevier journal of Microprocessors and Microsystems (MICPRO)
- ΔNN: Power-efficient Neural Network Acceleration using Differential Weights (2019-12-20)Hoda Mahdiani, Alireza Khadem, Azam Ghanbari, Mehdi Modarressi, Farima Fattahi-bayat, Masoud DaneshtalabIEEE MICRO(MICRO)
- Defender: A Low Overhead and Efficient Fault-Tolerant Mechanism for Reliable On-Chip Router (2019-10-11)NAVEED KHAN BALOCH, MUHAMMAD IRAM BAIG, Masoud DaneshtalabJournal of IEEE Access(IEEE-Access)
- Recent Advances and Trends in On-board Embedded and Networked Automotive Systems (2019-02-28)Lucia Lo Bello, Sergio Saponara, Saad Mubeen, Riccardo MarianiIEEE Transactions on Industrial Informatics (IEEE-TII)
- Guest Editorial: Embedded and Networked Systems for Intelligent Vehicles and Robots (2019-02-25)Lucia Lo Bello, Saad Mubeen, Sergio Saponara, Riccardo Mariani, Unmesh Dutta BordoloiIEEE Transactions on Industrial Informatics (IEEE-TII)
- A 2-layer Component-based Allocation for Embedded Systems with GPUs (2019-01-19)Gabriel Campeanu, Mehrdad SaadatmandDesigns Journal(Designs)
- Actor-based macroscopic modeling and simulation for smart urban planning (2018-12-15)Jacopo de Berardinis, Marjan Sirjani, Giorgio Forcina, Ali JafariScience of Computer Programming(SCICO)
- An energy-efficient partition-based XYZ-planar routing algorithm for a wireless network-on-chip (2018-12-11)Fahimeh Yazdanpanah, Raheel Afsharmazayejani, Amin Rezaei, Masoud DaneshtalabThe Journal of Supercomputing(Supercomputing)
- Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking (2018-10-01)Ehsan Khamespanah, Marjan Sirjani, Kirill Mechitov, Gul Agha International Journal on Software Tools for Technology Transfer(STTT)
- Scavenging Run-time Resources to Boost Utilization in Component-based Embedded Systems with GPUs (2018-06-30)Gabriel Campeanu, Saad MubeenInternational Journal on Advances in Software(JAS'18)
- Management of Service Level Agreements for Cloud Services in IoT: A Systematic Mapping Study (2018-06-26)Saad Mubeen, Sara Abbaspour, Alessandro Papadopoulos, Mohammad Ashjaei, Hongyu Pei-Breivold, Moris BehnamJournal of IEEE Access(ACCESS)
- Coordinated Actor Model of Self-adaptive Track-based Traffic Control Systems (2018-05-24)Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Narges Khakpour, Ilge Akkaya, Ali Movaghar, Edward LeeJournal of Systems and Software(JSS)
- A General Methodology on Designing Acyclic Channel Dependency Graphs in Interconnection Networks (2018-03-01)Masoumeh Ebrahimi, Masoud DaneshtalabIEEE MICRO(MICRO)
- An efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models (2018-02-15)Ehsan Khamespanah, Ramtin Khosravi, Marjan SirjaniScience of Computer Programming, Elsevier(SCICO)
- Parallel imperialist competitive algorithms (2018-01-16)Amin Majd, Golnaz Sahebi, Masoud Daneshtalab, Juha Plosila, Shahriar Lotfi, Hannu TenhunenJournal of Concurrency and Computation: Practice and Experience(JCC)
- MoVES: a Model-driven methodology for Vehicular Embedded Systems (2018-01-09)Alessio Bucaioni, Lorenzo Addazi, Antonio Cicchetti, Federico Ciccozzi, Romina Eramo, Saad Mubeen, Mikael SjödinJournal of IEEE Access(Access'18)
- Analyzing End-to-End Delays in Automotive Systems at Various Levels of Timing Information (2017-11-30)Matthias Becker, Dakshina Dasari, Saad Mubeen, Moris Behnam, Thomas NolteACM SIGBED Review: Special Issue on 4th International Workshop on Real-time Computing and Distributed Systems in Emergent Applications(SIGBEDReview14-4)
- A Survey of Active Object Languages (2017-11-13)Marjan Sirjani, Frank de Boer, Ehsan Khamespanah, Ludovic Henrio, Kiko Fernandez-Reyes, Albert Mingkun YangACM Computing Surveys(CSUR 2017)
- Using non-preemptive regions and path modification to improve schedulability of real-time traffic over priority-based NoCs (2017-11-01)Meng Liu, Matthias Becker, Moris Behnam, Thomas NolteReal-Time Systems(RTSJ-53-6)
- End-to-End Timing Analysis of Cause-Effect Chains in Automotive Embedded Systems (2017-10-13)Matthias Becker, Dakshina Dasari, Saad Mubeen, Moris Behnam, Thomas NolteJournal of Systems Architecture(JSA80-C)
- Guest Editorial Special Issue on 9th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (2017-09-30)Saad Mubeen, Geoffrey NelissenACM SIGBED Review(SIGBED-SI-2017)
- Designing End-to-end Resource Reservations in Predictable Distributed Embedded Systems (2017-06-30)Mohammad Ashjaei, Nima Khalilzad, Saad Mubeen, Moris Behnam, Ingo Sander, Luis Almeida, Thomas NolteReal-Time Systems(RTSJ)
- CAP-W: Congestion-aware platform for wireless-based network-on-chip in many-core era (2017-06-08)Amin Rezaei, Masoud Daneshtalab, Danella ZhaoElsevier journal of Microprocessors and Microsystems (MICPRO)
- Compositional schedulability analysis of real-time actor-based systems (2017-06-01)Mohammad Mahdi Jaghoori, Frank de Boer, Delphine Longuet, Tom Chothia , Marjan SirjaniActa Informatica(Acta2016)
- A Probabilistic and Highly Efficient Topology Control Algorithm for Underwater Cooperating AUV Networks (2017-05-04)Ning Li, Baran Çürüklü, Joaquim Bastos, Victor Sucasas, Jose Antonio Sanchez Fernandez, Jonathan RodriguezSensors(SENSC9)
- Delay Mitigation in Offloaded Cloud Controllers in Industrial IoT (2017-03-15)Saad Mubeen, Pavlos Nikolaidis, Alma Didic, Hongyu Pei-Breivold, Kristian Sandström, Moris BehnamJournal of IEEE Access(ACCESS)
- Supporting Timing Analysis of Vehicular Embedded Systems through the Refinement of Timing Constraints (2017-01-31)Saad Mubeen, Thomas Nolte, Mikael Sjödin, John Lundbäck, Kurt-Lennart LundbäckInternational Journal on Software and Systems Modeling(SoSyM'17)
- Fixed priority scheduling with pre-emption thresholds and cache-related pre-emption delays: integrated analysis and evaluation (2017-01-31)Reinder J. Bril, Sebastian Altmeyer, Martijn van den Heuvel, Rob Davis, Moris BehnamReal-Time Systems(RTSJ)
- Schedulability Analysis of Ethernet Audio Video Bridging Networks with Scheduled Traffic Support (2017-01-13)Mohammad Ashjaei, Gaetano Patti, Moris Behnam, Thomas Nolte, Giuliana Alderisi, Lucia Lo BelloReal-Time Systems(RTSJ)
- A Metamodel for the Rubus Component Model: Extensions for Timing and Model Transformation from EAST-ADL (2016-12-31)Alessio Bucaioni, Antonio Cicchetti, Federico Ciccozzi, Saad Mubeen, Mikael SjödinJournal of IEEE Access(IEEE-Access16)
- TransMap: Transformation Based Remapping and Parallelism for High Utilization and Energy Efficiency in CGRAs (2016-11-02)syed M. A. H. Jafri, Masoud Daneshtalab, Naeem Abbas, Guillermo Serrano Leon, Ahmed HemaniIEEE Transaction on Computers(IEEE TC)
- Analyzing a wind turbine system: From simulation to formal verification (2016-10-25)Cristina Seceleanu, Morgan Johansson, Jagadish Suryadevara, Gaetana Sapienza, Tiberiu Seceleanu, Stein-Erik Ellevseth, Paul PetterssonScience of Computer Programming, Elsevier(SCICO)
- PTRebeca: Modeling and analysis of distributed and asynchronous systems (2016-10-15)Ali Jafari, Ehsan Khamespanah, Marjan Sirjani, Holger Hermanns, Mateo CiminiScience of Computer Programming(SCICO-128)
- A pareto-optimal runtime power budgeting scheme for many-core systems (2016-10-01)Xiaohang Wang, Baoxin Zhao, Ling Wang, Terrence Mak, Mei Yang, Masoud DaneshtalabElsevier journal of Microprocessors and Microsystems (MICPRO)
- Using Segmentation to Improve Schedulability of Real-Time Traffic over RRA-based NoCs (2016-09-01)Meng Liu, Matthias Becker, Moris Behnam, Thomas NolteACM SIGBED Review. Special Issue on 14th International Workshop on Real-Time Networks (RTN 2016)(SIGBED Review)
- On Fine-Grained Runtime Power Budgeting for Networks-on-Chip Systems (2016-09-01)Xiaohang Wang, Baoxin Zhao, Terrence Mak, Mei Yang, Masoud DaneshtalabIEEE Transaction on Computers(IEEE TC)
- Improved Message Forwarding for Multi-Hop HaRTES Real-Time Ethernet Networks (2016-07-01)Mohammad Ashjaei, Luis Silva, Moris Behnam, Paulo Pedreiras, Reinder J. Bril, Luis Almeida, Thomas NolteJournal of Signal Processing Systems(JSPS)
- Many-core System-on-Chip: architectures and applications (2016-06-05)Mohamed Bakhouya, Masoud Daneshtalab, Maurizio Palesi, Hassan GhasemzadehElsevier journal of Microprocessors and Microsystems (MICPRO)
- Introduction to the Special Section on On-chip parallel and network-based systems (2016-05-01)Hamid Sarbazi-Azad, Nader Bagherzadeh, Masoumeh Ebrahimi, Masoud DaneshtalabPhysical Communication (Springer)(PHYSICCOM)
- Statistical model checking of Timed Rebeca models (2016-04-01)Marjan Sirjani, Ali Jafari, Ehsan Khamespanah, Haukur Kristinsson, Brynjar MagnussonComputer Languages, Systems & Structures 45(Computer LS&S 45)
- Non-Blocking Testing for Network-on-Chip (2016-03-17)Letian Huang, Junshi Wang, Masoumeh Ebrahimi, Masoud Daneshtalab, Xiaofan Zhang, Guangjun Li, Axel JantschIEEE Transaction on Computers(IEEE TC)
- Special issue on energy efficient methods and systems in the emerging cloud era (2016-02-05)Maurizio Palesi, Mario Collotta, Masoud Daneshtalab, Pradip BoseJournal of Computer and System Sciences(JCSS)
- State Distribution Policy for Distributed Model Checking of Actor Models (2015-12-09)Ehsan Khamespanah, Marjan Sirjani, Mohammad Reza Mousavi, Zeynab Sabahi-Kaviani, Mohamadreza RazzaziElectronic Communications of the EASST 72(ECEASST 72)
Conference/Workshop Paper(183)
- 3DLaneNAS: Neural Architecture Search for Accurate and Light-Weight 3D Lane Detection (2022-09-12)Ali Zoljodi, Mohammad Loni, Sadegh Abadijou, Mina Alibeigi, Masoud DaneshtalabICANN2022: 31st International Conference on Artificial Neural Networks(ICANN2022)
- A novel method for detecting UAVs using parallel neural networks with re-inference (2022-09-05)Hubert Stepien, Martin Bilger, Håkan Forsberg, Billy Lindgren, Johan Hjorth33rd Congress of the International Council of the Aeronautical Sciences(ICAS 2022)
- AVB-aware Routing and Scheduling for Critical Traffic in Time-sensitive Networks with Preemption (2022-06-07)Aldin Berisa, Luxi Zhao, Silviu Craciunas, Mohammad Ashjaei, Saad Mubeen, Masoud Daneshtalab, Mikael SjödinThe 30th International Conference on Real-Time Networks and Systems(RTNS'22)
- An Evaluation Framework for Modeling Languages Supporting Predictable Vehicular Software Systems (2022-04-10)Enxhi Ferko, Igli Jasharllari, Alessio Bucaioni, Mohammad Ashjaei, Saad Mubeen19th International Conference on Information Technology : New Generations(ITNG2022)
- A Conceptual Framework for Software Modeling ofAutomation Systems (2022-04-10)Mohammad Ashjaei, Alessio Bucaioni, Saad Mubeen19th International Conference on Information Technology : New Generations(ITNG2022)
- TAS:Ternarized Neural Architecture Search for Resource-Constrained Edge Devices (2022-03-24)Mohammad Loni, Seyedhamidreza Mousavi, Mohammad Riazati, Masoud Daneshtalab, Mikael SjödinDesign, Automation and Test in Europe Conference(DATE'22)
- A Combined Security Ontology based on the Unified Foundational Ontology (2022-01-31)Malina Adach, Kaj Hänninen, Kristina Lundqvist16th IEEE International Conference on SEMANTIC COMPUTING 2022(ICSC)
- Model Checking Collision Avoidance of Nonlinear Autonomous Vehicle Models (2021-11-26)Rong Gu, Cristina Seceleanu, Eduard Paul Enoiu, Kristina LundqvistFormal Methods 2021(FM'21)
- Role-based approach as support for safety analysis of collaborative systems (2021-10-24)Luciana Provenzano, Kaj Hänninen, Kristina LundqvistIEEE International Conference on Dependable, Autonomic and Secure Computing(DASC'21)
- Curating Datasets for Visual Runway Detection (2021-10-03)Joakim Lindén, Håkan Forsberg, Josef Haddad, Emil Tagebrand, Erasmus Cedernaes, Emil Gustafsson Ek, Masoud DaneshtalabThe 40th Digital Avionics Systems Conference(DASC'2021)
- Automatic Quality of Service Control in Multi-core Systems using Cache Partitioning (2021-10-01)Jakob Danielsson, Tiberiu Seceleanu, Marcus Jägemar, Moris Behnam, Mikael Sjödin26th IEEE International Conference on Emerging Technologies and Factory Automation(ETFA 2021)
- Scheduling Elastic Applications in Compositional Real-Time Systems (2021-09-10)Shaik Salman, Alessandro Papadopoulos, Filip Markovic, Saad Mubeen, Thomas Nolte26th IEEE International Conference on Emerging Technologies and Factory Automation(ETFA 2021)
- Offloading Accelerator-intensive Workloads in CPU-GPU Heterogeneous Processors (2021-09-07)Nandinbaatar Tsog, Saad Mubeen, Fredrik Bruhn, Moris Behnam, Mikael Sjödin26th IEEE International Conference on Emerging Technologies and Factory Automation(ETFA 2021)
- LLM-shark -- A Tool for Automatic Resource-boundness Analysis and Cache Partitioning Setup (2021-09-01)Jakob Danielsson, Tiberiu Seceleanu, Marcus Jägemar, Moris Behnam, Mikael SjödinIntelligent and Resilient Computing for a Collaborative World(COMPSAC 2021)
- Modelling Application Cache Behavior using Regression Models (2021-09-01)Jakob Danielsson, Janne Suuronen, Tiberiu Seceleanu, Marcus Jägemar, Moris Behnam, Mikael SjödinThe 11th IEEE International Workshop on Industrial Experience in Embedded Systems Design (IEESD 2021)(IEESD 2021)
- Supporting Autonomous Vehicle Applications on the Heterogeneous System Architecture (2021-05-26)Nandinbaatar Tsog, Marielle Gallardo, Sweta Chakraborty, Torbjörn Martinson, Alexandra Hengl, Magnus Moberg, Adem Sen, Mobyen Uddin Ahmed, Shahina Begum, Moris Behnam, Mikael Sjödin, Saad Mubeen7th international Conference on the Engineering of Computer Based Systems(ECBS 2021)
- Simulation and Analysis of In-Orbit Applications under Radiation Effects on COTS Platforms (2021-03-06)Nandinbaatar Tsog, Saad Mubeen, Moris Behnam, Mikael Sjödin, Fredrik Bruhn42nd IEEE Aerospace Conference 2021(IEEEAC2021)
- Image Synthesisation and Data Augmentation for Safe Object Detection in Aircraft Auto-Landing System (2021-02-10)Najda Vidimlic, Alexandra Levin, Mohammad Loni, Masoud Daneshtalab16th International Conference on Computer Vision Theory and Applications(VISAPP 2021)
- Optimizing Inter-Core Data-Propagation Delays in Industrial Embedded Systems under Partitioned Scheduling (2021-01-18)Lamija Hasanagic, Tin Vidovic, Saad Mubeen, Mohammad Ashjaei, Matthias Becker26th Asia and South Pacific Design Automation Conference(ASP-DAC'21)
- Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems (2020-11-20)Maryam Bagheri, Edward Lee, Eunsuk Kang, Marjan Sirjani, Ehsan Khamespanah, Ali Movaghar18th ACM-IEEE International Conference on Formal Methods and Models for System Design(MEMOCODE)
- Probabilistic Mission Planning and Analysis for Multi-agent Systems (2020-10-20)Rong Gu, Eduard Paul Enoiu, Cristina Seceleanu, Kristina Lundqvist9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation(ISoLA 2020)
- Verification and Validation of Concurrent and Distributed Systems (Track Summary) (2020-10-20)Marieke Huisman, Cristina Seceleanu9th International Symposium on Leveraging Applications of Formal Methods(ISoLA 2020)
- Challenges in Using Neural Networks in Safety-Critical Applications (2020-10-16)Håkan Forsberg, Johan Hjorth, Masoud Daneshtalab, Joakim Lindén, Torbjörn MånefjordThe 39th Digital Avionics Systems Conference(DASC'2020)
- Safety-critical software - Quantification of test results (2020-10-12)Johan Sundell, Kristina Lundqvist, Håkan Forsberg 10th IEEE International Workshop on Software Certification(WoSoCER-2020)
- From Requirements to Verifiable Executable Models using Rebeca (2020-09-14)Marjan Sirjani, Luciana Provenzano, Sara Abbaspour, Mahshid Helali MoghadamSoftware Engineering and Formal Methods Collocated Workshops 2020(SEFMW 2020)
- Verifiable and Scalable Mission-Plan Synthesis for Multiple Autonomous Agents (2020-09-05) -- Best Paper Award-- Rong Gu, Eduard Paul Enoiu, Cristina Seceleanu, Kristina Lundqvist25TH INTERNATIONAL CONFERENCE ON FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS(FMICS)
- An Actor-based Approach for Security Analysis of Cyber-Physical Systems (2020-09-02)Fereidoun Moradi, Sara Abbaspour, Ali Sedaghatbaf, Aida Causevic, Marjan Sirjani, Carolyn Talcott25th International Conference on Formal Methods for Industrial Critical Systems(FMICS20)
- Model Checking Software in Cyberphysical Systems (2020-07-13)Marjan Sirjani, Edward Lee, Ehsan Khamespanah44th Annual Computers, Software, and Applications Conference(COMPSAC 2020)
- Formal Modeling and Analysis of Medical Systems (2020-06-15)Mahsa Zarneshan, Fatemeh Ghasemi, Marjan SirjaniInternational Conference on Coordination Languages and Models(COORDINATION2020)
- Multi-Path Planning for Autonomous Navigation of Multiple Robots in a Shared Workspace with Humans (2020-06-01)LanAnh Trinh, Mikael Ekström, Baran Çürüklü2020 6th International Conference on Control, Automation and Robotics(ICCAR)
- A Systematic Migration Methodology for Complex Real-time Software Systems (2020-05-21)Shaik Salman, Alessandro Papadopoulos, Saad Mubeen, Thomas NolteThe 23rd International Symposium on Real-Time Distributed Computing(ISORC'20)
- TAMAA: UPPAAL-based Mission Planning for Autonomous Agents (2020-04-03)Rong Gu, Eduard Paul Enoiu, Cristina SeceleanuThe 35th ACM/SIGAPP Symposium On Applied Computing(SAC2020)
- Architecting and Analysing Connected Autonomous Vehicles (2020-03-16)Alessio Bucaioni, Patrizio Pelliccione, Saad MubeenIEEE INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE (ICSA 2020)
- MoVES Meets the Real World Automotive Benchmarks (2020-02-28)Alessio Bucaioni, Saad Mubeen21st IEEE International Conference on Industrial Technology(ICIT'20)
- Worst-case Execution Time Estimation of Legacy Vehicular Embedded Functions: An Industrial Case Study (2020-02-26)Marcus Ventovaara, Arman Hasanbegovic, Jimmie Wiklander, Saad Mubeen21st IEEE International Conference on Industrial Technology(ICIT'20)
- Modeling the Willingness to Interact in Cooperative Multi-Robot Systems (2020-02-23)Mirgita Frasheri , Lukas Esterle, Alessandro Papadopoulos12th International Conference on Agents and Artificial Intelligence(ICAART '20)
- On Model-based Development of Embedded Software for Evolving Automotive E/E Architectures (2020-01-12)Alessio Bucaioni, John Lundbäck, Mikael Sjödin, Saad Mubeen17th International Conference on Information Technology : New Generations(ITNG'20)
- Work in Progress: Investigating the Effects of High Priority Traffic on the Best Effort Traffic in TSN Networks (2019-12-04)Bahar Houtan, Mohammad Ashjaei, Masoud Daneshtalab, Mikael Sjödin, Saad Mubeen40th IEEE Real-Time Systems Symposium (RTSS'19)(RTSS 2019)
- Modelling and Timing Analysis of Real-time Applications on Evolving Automotive E/E Architectures using Rubus-ICE (2019-12-03)Alessio Bucaioni, John Lundbäck, Mattias Gålnander, Kurt-Lennart Lundbäck, Mohammad Ashjaei, Matthias Becker, Saad MubeenOpen Demo Session of Real-Time Systems 2019(RTSS@Work'19)
- TAMER: Task Allocation in Multi-robot Systems Through an Entity-Relationship Model (2019-11-01)Branko Miloradovic, Mirgita Frasheri , Baran Çürüklü, Mikael Ekström, Alessandro PapadopoulosThe 22nd International Conference on Principles and Practice of Multi-Agent Systems(PRIMA'19)
- Static Allocation of Parallel Tasks to Improve Schedulability in CPU-GPU Heterogeneous Real-Time Systems (2019-10-17)Nandinbaatar Tsog, Matthias Becker, Fredrik Bruhn, Moris Behnam, Mikael SjödinIEEE 45th Annual Conference of the Industrial Electronics Society(IECON'19)
- Optimising Vehicular System Architectures with Real-time Requirements: An Industrial Case Study (2019-10-14)Arman Hasanbegovic, Marcus Ventovaara, Jimmie Wiklander, Saad MubeenIEEE 45th Annual Conference of the Industrial Electronics Society(IECON'19)
- Assurance Strategy for New Computing Platforms in Safety-Critical Avionics (2019-10-08)Håkan Forsberg, Andreas Schwierz, Kristina LundqvistAerospace Technology Congress 2019(FT2019)
- Analysing Real-time Distributed Systems using Timed Actors (2019-10-07)Marjan SirjaniIEEE/ACM International Symposium on Distributed Simulation and Real Time Applications(DS-RT 2019)
- Reactive actors: isolation for efficient analysis of distributed systems (2019-10-07)Marjan Sirjani, Ehsan Khamespanah, Fatemeh GhasemiIEEE/ACM International Symposium on Distributed Simulation and Real Time Applications(DS-RT 2019)
- Statistical Model Checking of Complex Robotic Systems (2019-10-02)Mohammed Foughali, Félix Ingrand , Cristina Seceleanu26th International Symposium on Model Checking of Software(SPIN 2019)
- A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems (2019-09-22)Narges Khakpour, Jetty Kleijn, Marjan SirjaniInternational Conference on Fundamentals of Software Engineering(FSEN 2017)
- NeuroPower: Designing Energy Efficient Convolutional Neural Network Architecture for Embedded Systems (2019-09-20)Mohammad Loni, Ali Zoljodi, Sima Sinaei, Masoud Daneshtalab, Mikael SjödinThe 28th International Conference on Artificial Neural Networks(ICANN 2019)
- On-Off Attack on a Blockchain-based IoT System (2019-09-10)Fereidoun Moradi, Ali Sedaghatbaf, Sara Abbaspour, Aida Causevic, Marjan SirjaniFirst Workshop on Secure and Trustable Wirelessly Connected Industrial IoT(ETFA - WS01)
- Emerging COTS-based computing platforms in avionics need a new assurance concept (2019-09-10) -- Best Paper Award-- Håkan Forsberg, Andreas Schwierz38th Digital Avionics Systems Conference(DASC'38)
- Towards an Actor-based Approach to Design Verified ROS-based Robotic Programs using Rebeca (2019-09-06)Saed Dehnavi, Ali Sedaghatbaf, Bahar Salmani, Marjan Sirjani, Mehdi Kargahi, Ehsan KhamespanahThe 16th International Conference on Mobile Systems and Pervasive Computing(MobiSPC)
- Multi-objective Optimization of Real-Time Task Scheduling Problem for Distributed Environments (2019-09-03) -- Best Paper Award-- Maghsood Salimi, Amin Majd, Mohammad Loni, Tiberiu Seceleanu, Cristina Seceleanu, Marjan Sirjani, Masoud Daneshtalab, Elena Troubitsyna6th Conference on the Engineering of Computer Based Systems(ECBS 2019)
- TOT-Net: An Endeavor Toward Optimizing Ternary Neural Networks (2019-09-01)Najmeh Nazari, Mohammad Loni, Mostafa Salehi, Masoud Daneshtalab, Mikael Sjödin22nd Euromicro Conference on Digital System Design(DSD 2019)
- Testing Performance-Isolation in Multi-Core Systems (2019-07-01)Jakob Danielsson, Moris Behnam, Marcus Jägemar, Tiberiu Seceleanu, Mikael SjödinCOMPSAC 2019: Data Driven Intelligence for a Smarter World(COMPSAC 2019)
- A Trade-Off between Computing Power and Energy Consumption of On-Board Data Processing in GPU Accelerated Real-Time Systems (2019-06-21)Nandinbaatar Tsog, Mikael Sjödin, Fredrik BruhnThe 32nd International Symposium on Space Technology and Science(ISTS2019)
- Actors revisited for time-critical systems (2019-06-02)Marten Lohstroh, Martin Schoeberl, Andrés Goens, Armin Wasicek, Christopher Gill, Marjan Sirjani, Edward Lee Design Automation Conference(DAC 2019)
- Towards a Two-layer Framework for Verifying Autonomous Vehicles (2019-05-10)Rong Gu, Raluca Marinescu, Cristina Seceleanu, Kristina Lundqvist11th Annual NASA Formal Methods Symposium(NFM 2019)
- Developing Predictable Time-Sensitive Distributed Avionics Systems (2019-05-10)Mohammad Ashjaei, Masoud Daneshtalab, Saad Mubeen, Mikael SjödinAerospace Technology Congress 2019(FT2019)
- Using Docker in Process Level Isolation for Heterogeneous Computing on GPU Accelerated On-Board Data Processing Systems (2019-05-10)Nandinbaatar Tsog, Mikael Sjödin, Fredrik Bruhn12th IAA Symposium on Small Satellites for Earth Observation(IAASmallSat2019)
- An Efficient Approach for Detecting Moving Objects and Deriving Their Positions and Velocities (2019-04-26)Andreas GustavssonComputer Vision Conference (CVC) 2019(CVC2019)
- Petri Net Based Navigation Planning with Dipole Field and Dynamic Window Aprroach for Collision Avoidance (2019-04-23)LanAnh Trinh, Mikael Ekström, Baran ÇürüklüInternational Conference on Control, Decision and Information Technologies(CoDIT)
- Prediction of Undetected Faults in Safety-Critical Software (2019-04-23)Johan Sundell, Richard Torkar, Kristina Lundqvist, Håkan Forsberg2nd IEEE Workshop on NEXt level of Test Automation(NEXTA 2019)
- Using Heterogeneous Computing on GPU Accelerated Systems to Advance On-Board Data Processing (2019-02-25)Nandinbaatar Tsog, Mikael Sjödin, Fredrik BruhnEuropean Workshop on On-Board Data Processing 2019(OBDP2019)
- IntegrationDistiller: Automating Integration Analysis and Testing of Object-Oriented Applications (2019-02-15)Mehrdad Saadatmand20th IEEE International Conference on Industrial Technology(ICIT 2019)
- Developing Predictable Embedded Systems in the Vehicle Industry: Results and Lessons Learned (2019-02-15)Saad Mubeen
- A Perspective on Ensuring Predictability in Time-critical and Secure Cooperative Cyber Physical Systems (2019-02-13)Saad Mubeen, Elena Lisova, Aneta Vulgarakis Feljan20th IEEE International Conference on Industrial Technology(ICIT 2019)
- Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems (2019-01-09)Iman Jahandideh, Fatemeh Ghasemi, Marjan SirjaniModel-Based Design of Cyber Physical Systems(CyPhy'18)
- Unbounded Sparse Census Transform using Genetic Algorithm (2019-01-07)Carl Ahlberg, Miguel Leon Ortiz, Fredrik Ekstrand, Mikael EkströmWACV 2019 - IEEE Winter Conference on Applications of Computer Vision(WACV'19)
- AutoRIO: An Indoor Testbed for Developing Autonomous Vehicles (2018-12-18)Mohammad Loni, Fadouao Hamouachy, Clémentine Casarrubios, Masoud Daneshtalab, Mikael SjödinInternational Japan-Africa Conference on Electronics, Communications and Computations(JAC-ECC)
- A Systematic Mapping Study on Real-time Cloud Services (2018-12-17)Jakob Danielsson, Nandinbaatar Tsog, Ashalatha KunnappillyQuality Assurance in the Context of Cloud Computing(QA3C 2018)
- Interfacing a Brake-by-Wire Simulink Model with SUMO (2018-12-06)Erik Martin Campana, Nils Müllner, Saad Mubeen2018 International Conference on Intelligent and Innovative Computing Applications (ICONIC2018)
- Power-aware Allocation of Fault-tolerant Multi-rate AUTOSAR Applications (2018-12-04)Nesredin Mahmud, Guillermo Rodriguez-Navas, Hamid Reza Faragardi, Saad Mubeen, Cristina Seceleanu25th Asia-Pacific Software Engineering Conference(APSEC'18)
- Timing Analysis Driven Design-Space Exploration of Cause-Effect Chains in Automotive Systems (2018-10-21)Matthias Becker, Saad Mubeen44th Annual Conference of the IEEE Industrial Electronics Society(IECON'18)
- What Good are Models? (2018-10-10)Edward Lee, Marjan SirjaniInternational Conference on Formal Aspects of Component Software(FACS 2018)
- Assurance Case to Structure COTS Hardware Component Assurance for Safety-Critical Avionics (2018-09-26)Andreas Schwierz, Håkan Forsberg37th Digital Avionics Systems Conference(DASC'37)
- Assurance Benefits of ISO 26262 Compliant Microcontrollers for Safety-Critical Avionics (2018-09-18)Andreas Schwierz, Håkan Forsberg37th International Conference on Computer Safety, Reliability, & Security(SAFECOMP-2018)
- Designing Compact Convolutional Neural Network for Embedded Stereo Vision Systems (2018-09-14) -- Best Paper Award-- Mohammad Loni, Amin Majd, Abdolah Loni, Masoud Daneshtalab, Mikael Sjödin, Elena TroubitsynaIEEE 12th International Symposium on Embedded Multicore/Many-core Systems-on-Chip(MCSoC-2018)
- Enforcing Quality of Service Through Hardware Resource Aware Process Scheduling (2018-09-07)Marcus Jägemar, Sigrid Eldh, Björn Lisper, Moris Behnam, Andreas ErmedahlInternational Conference on Emerging Technologies and Factory Automation(ETFA'18)
- Adaptive Autonomy in a Search and Rescue Scenario (2018-09-01)Mirgita Frasheri , Baran Çürüklü, Mikael Ekström, Alessandro Papadopoulos12th IEEE International Conference on Self-Adaptive and Self-Organizing Systems(SASO 2018)
- ADONN: Adaptive Design of Optimized Deep Neural Networks for Embedded Systems (2018-08-31)Mohammad Loni, Masoud Daneshtalab, Mikael Sjödin21st Euromicro Conference on Digital System Design(DSD'18)
- Measurement-based evaluation of data-parallelism for OpenCV feature-detection algorithms (2018-07-20)Jakob Danielsson, Marcus Jägemar, Tiberiu Seceleanu, Mikael Sjödin, Moris BehnamStaying Smarter in a Smartening World(COMPSAC'19)
- Using Optimization, Learning, and Drone Reflexes to Maximize Safety of Swarms of Drones (2018-07-15)Amin Majd, Adnan Ashraf, Elena Troubitsyna, Masoud DaneshtalabIEEE Congress on Evolutionary Computation (IEEE CEC'18)
- A Customized Processing-in-Memory Architecture for Biological Sequence Alignment (2018-07-10)Nasrin Akbari, Mehdi Modarressi, Masoud Daneshtalab, Mohammad LoniIEEE International Conference on Application-specific Systems, Architectures and Processors(ASAP'18)
- A Novel Two-Step Method for Stereo Vision Algorithm to Reduce Search Space (2018-06-01)Mehdi Kokhazadeh, Zahra Kokhazadeh, Masoud DaneshtalabInternational Conference on electrical Engineering(ICEE)
- Advancing On-Board Big Data Processing Using Heterogeneous System Architecture (2018-05-29)Nandinbaatar Tsog, Mikael Sjödin, Fredrik BruhnESA/CNES 4S Symposium(4S 2018)
- Adaptive Runtime Response Time Control in PLC-based Real-Time Systems using Reinforcement Learning (2018-05-28)Mahshid Helali Moghadam, Mehrdad Saadatmand, Markus Borg, Markus Bohlin, Björn Lisper13th International Symposium on Software Engineering for Adaptive and Self-Managing Systems(SEAMS 18)
- Learning-based Response Time Analysis in Real-Time Embedded Systems: A Simulation-based Approach (2018-05-28)Mahshid Helali Moghadam, Mehrdad Saadatmand, Markus Borg, Markus Bohlin, Björn Lisper1st International Workshop on Software Qualities and their Dependencies, located at the International Conference of Software Engineering (ICSE) 2018(SQUADE'18)
- Timing Verification of Component-based Vehicle Software with Rubus-ICE: End-user's Experience (2018-05-27)Saad Mubeen, Mattias Gålnander, Alessio Bucaioni, John Lundbäck, Kurt-Lennart Lundbäck1st International Workshop on Software Qualities and their Dependencies, located at the International Conference of Software Engineering (ICSE) 2018(SQUADE'18)
- HoneyWiN: Novel Honeycomb-Based Wireless NoC Architecture in Many-Core Era (2018-05-04)Raheel Afsharmazayejani, Fahimeh Yazdanpanah, Masoud DaneshtalabInternational Symposium on Applied Reconfigurable Computing(ARC)
- Extracting Timing Models from Component-based Multi-criticality Vehicular Embedded Systems (2018-04-16)Saad Mubeen, Mattias Gålnander, John Lundbäck, Kurt-Lennart Lundbäck15th International Conference on Information Technology : New Generations(ITNG'18)
- Learning-Based Self-Adaptive Assurance of Timing Properties in a Real-Time Embedded System (2018-04-09)Mahshid Helali Moghadam, Mehrdad Saadatmand, Markus Borg, Markus Bohlin, Björn Lisper ICST Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems(ITEQS'18)
- Safe and efficient fleet operation for autonomous machines: an actor-based approach (2018-04-09)Ali Jafari, Jayasoorya Jayanthi Surendran Nair, Stephan Baumgart, Marjan Sirjani33rd Annual ACM Symposium on Applied Computing(SAC'18)
- Embedded Acceleration of Image Classification Applications for Stereo Vision Systems (2018-03-23)Mohammad Loni, Carl Ahlberg, Masoud Daneshtalab, Mikael Ekström, Mikael SjödinDesign, Automation & Test in Europe Conference & Exhibition(DATE'18)
- Intelligent Data Processing using In-Orbit Advanced Algorithms on Heterogeneous System Architecture (2018-03-04)Nandinbaatar Tsog, Moris Behnam, Mikael Sjödin, Fredrik BruhnIEEE Aerospace Conference 2018(IEEEAC2018)
- Scheduling Multi-Rate Real-Time Applications on Clustered Many-Core Architectures with Memory Constraints (2018-01-22)Matthias Becker, Saad Mubeen, Dakshina Dasari, Moris Behnam, Thomas Nolte23rd Asia and South Pacific Design Automation Conference(ASP-DAC'18)
- An Ontological Approach to Identify the Causes of Hazards for Safety-Critical Systems (2017-12-22)Jiale Zhou, Kaj Hänninen, Kristina Lundqvist, Luciana Provenzano2017 2nd International Conference on System Reliability and Safety(ICSRS'17)
- An Ontological Approach to Elicit Safety Requirements (2017-12-15)Luciana Provenzano, Kaj Hänninen, Jiale Zhou, Kristina Lundqvist24th Asia-Pacific Software Engineering Conference (APSEC 2017)
- Demonstrating Model- and Component-based Development of Vehicular Real-time Systems (2017-12-05)Alessio Bucaioni, Saad Mubeen, Mikael Sjödin, John Lundbäck, Mattias Gålnander, Kurt-Lennart LundbäckOpen Demo Session of Real-Time Systems located at Real Time Systems Symposium (RTSS)(RTSS@Work'17)
- Modeling and Timing Analysis of Ethernet-AVB in Rubus-ICE (2017-12-05)Mohammad Ashjaei, Saad Mubeen, John Lundbäck, Mattias Gålnander, Kurt-Lennart Lundbäck, Thomas NolteOpen Demo Session of Real-Time Systems located at Real Time Systems Symposium (RTSS)(RTSS@Work'17)
- Improving Run-Time Memory Utilization of Component-based Embedded Systems with Non-Critical Functionality (2017-11-01)Gabriel Campeanu, Saad MubeenThe Twelfth International Conference on Software Engineering Advances(ICSEA 2017)
- An Energy-aware Mutation Testing Framework for EAST-ADL Architectural Models (2017-10-31)Raluca Marinescu, Predrag Filipovikj, Eduard Paul Enoiu, Jonatan Larsson , Cristina Seceleanu29th Nordic Workshop on Programming Theory (NWPT'17)
- Modeling and Timing Analysis of Vehicle Functions Distributed over Switched Ethernet (2017-10-30)Mohammad Ashjaei, Saad Mubeen, John Lundbäck, Mattias Gålnander, Kurt-Lennart Lundbäck, Thomas Nolte43rd Annual Conference of the IEEE Industrial Electronics Society(IECON 2017)
- AQAT: The Architecture Quality Assurance Tool for Critical Embedded Systems (2017-10-23)Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Paul PetterssonThe 28th International Symposium on Software Reliability Engineering (ISSRE) - IEEE(ISSRE 2017)
- Experience Report: Evaluating Fault Detection Effectiveness and Resource Efficiency of the Architecture Quality Assurance Framework and Tool (2017-10-23)Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson, Martin TorelmThe 28th International Symposium on Software Reliability Engineering (ISSRE) - IEEE(ISSRE 2017)
- Incorporating implementation overheads in the analysis for the flexible spin-lock model (2017-10-10)S.M.N Balasubramanian, Sara Afshar, Paolo Gai, Moris Behnam, Reinder J. Bril43rd Annual Conference of the IEEE Industrial Electronics Society(IECON 2017)
- Dipole Flow Field for Dependable Path Planning of Multiple Agents (2017-09-28)LanAnh Trinh, Mikael Ekström, Baran ÇürüklüIEEE/RSJ International Conference on Intelligent Robots and Systems(IROS)
- Design assurance evaluation of microcontrollers for safety critical avionics (2017-09-21)Andreas Schwierz, Håkan Forsberg36th, Digital Avionics Systems Conference(DASC)
- A Scheduling Architecture for Enforcing Quality of Service in Multi-Process Systems (2017-09-17)Marcus Jägemar, Moris Behnam, Sigrid Eldh, Andreas ErmedahlInternational Conference on Emerging Technologies And Factory Automation(ETFA'17)
- Performance Evaluation of Network Convergence Time Measurement Techniques (2017-09-11)Jakob Danielsson, Mohammad Ashjaei, Moris Behnam, Thomas Sörensen, Mikael Sjödin, Thomas NolteInternational Conference on Emerging Technologies And Factory Automation(ETFA'17)
- Optimal smart mobile access point placement for maximal coverage and minimal communication (2017-09-05)Amin Majd, Masoud Daneshtalab, Elena TroubitsynaEuropean Conference on the Engineering of Computer-Based Systems(ECBS)
- Safety-Aware Control of Swarms of Drones (2017-09-05)Amin Majd, Elena Troubitsyna, Masoud Daneshtalab36th International Conference on Computer Safety, Reliability and Security(SAFECOMP-2017)
- Lightweight Preprocessing for Agent-Based Simulation of Smart Mobility Initiatives (2017-09-04)Giorgio Forcina, Marjan Sirjani, Carlo Castagnari, Jacopo de Berardinis, Ali JafariSoftware Engineering and Formal Methods(SEFM)
- A Hazard Modeling Language for Safety-Critical Systems Based on the Hazard Ontology (2017-09-01)Jiale Zhou, Kaj Hänninen, Kristina Lundqvist43rd Euromicro Conference on Software Engineering and Advanced Applications(SEAA'17)
- SLAs for Industrial IoT: Mind the Gap (2017-08-23)Alessandro Papadopoulos, Sara Abbaspour, Mohammad Ashjaei, Saad Mubeen, Hongyu Pei-Breivold, Moris BehnamThe 4th International Symposium on Inter-cloud and IoT (ICI 2017)(ICI'17)
- An optimal spin-lock priority assignment algorithm for real-time multi-core systems (2017-08-19)Sara Afshar, Moris Behnam, Reinder J. Bril, Thomas NolteThe 23th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications(RTCSA'17)
- A Generic Framework Facilitating Early Analysis of Data Propagation Delays in Multi-Rate Systems (2017-08-16)Matthias Becker, Saad Mubeen, Dakshina Dasari, Moris Behnam, Thomas NolteThe 23th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications(RTCSA'17)
- A dual shared stack for FSLM in Erika enterprise (2017-08-14)S.M.N Balasubramanian, Sara Afshar, Moris Behnam, Paolo Gai, Reinder J. BrilThe 23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications - WiP Session(RTCSA'17)
- Joint observations with the Puerto Rico CubeSat, the Aguadilla Radio Array, and Arecibo Observatory (2017-08-10)Brett Isham, Jan E. S. Bergman, Amilcar Rincon-Charris, Fredrik Bruhn, Peter Funk, Björn Gustavsson, Terence Bullett, Linda Krause31st Annual AIAA/USU Conference on Small Satellites(AIAA/USU)
- Technology-preserving transition from single-core to multi-core in modelling vehicular systems (2017-07-19)Alessio Bucaioni, Saad Mubeen, Federico Ciccozzi, Antonio Cicchetti, Mikael Sjödin13th European Conference on Modelling Foundations and Applications(ECMFA 2017)
- An Ontological Approach to Hazard Identification for Safety-Critical Systems (2017-07-12)Jiale Zhou, Kaj Hänninen, Kristina Lundqvist, Luciana Provenzanothe 2nd International Conference on Reliability Systems Engineering(ICRSE'17)
- An Ontological Interpretation of the Hazard Concept for Safety-Critical Systems (2017-06-22)Jiale Zhou, Kaj Hänninen, Kristina Lundqvist, Luciana ProvenzanoThe 27th European Safety and Reliability Conference(ESREL'17)
- Algorithms for the Detection of First Bottom Returns and Objects in the Water Column in Side-Scan Sonar Images (2017-06-19)Mohammed Al-Rawi, Fredrik Elmgren, Mirgita Frasheri , Baran Çürüklü, Xin Yuan, José-Fernán Martínez-Ortega, Joaquim Bastos, Jonathan Rodriguez, Marc PintoOCEANS '17 A Vision for our Marine Future(OCEANS '17)
- EbDa: A New Theory on Design and Verification of Deadlock-free Interconnection Networks (2017-06-01)Masoumeh Ebrahimi, Masoud DaneshtalabInternational Symposium on Computer Architecture(ISCA)
- Provisioning of Predictable Embedded Software in the Vehicle Industry: The Rubus Approach (2017-05-28) -- Best Paper Award-- Saad Mubeen, Harold Lawson, John Lundbäck, Mattias Gålnander, Kurt-Lennart Lundbäck4th International Workshop on Software Engineering Research and Industry Practice, located at the 39th International Conference on Software Engineering (ICSE)(SER&IP'17)
- Partitioning and Analysis of the Network-on-Chip on a COTS Many-Core Platform (2017-04-18)Matthias Becker, Borislav Nicolic, Dakshina Dasari, Benny Åkesson, Vincent Nélis, Moris Behnam, Thomas Nolte23rd IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'17)
- Modeling of Vehicular Distributed Embedded Systems: Transition from Single-core to Multi-core (2017-04-12)Saad Mubeen, Alessio Bucaioni14th International Conference on Information Technology : New Generations(ITNG'17)
- Extending Automotive Legacy Systems with Existing End-to-End Timing Constraints (2017-04-10)Matthias Becker, Saad Mubeen, Moris Behnam, Thomas Nolte14th International Conference on Information Technology : New Generations(ITNG'17)
- Parallel Forwarding for Efficient Bandwidth Utilization in Networks-on-Chip (2017-04-06)Elham Momenzadeh, Mehdi Modarressi, Abbas Mazloumi, Masoud Daneshtalab Architecture of Computing Systems (ARCS)
- Risk-based Decision-making Fallacies: Why Present Functional Safety Standards Are Not Enough (2017-04-04)Andreas Johnsen, Gordana Dodig-Crnkovic, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson2nd International Workshop on Decision Making in Software Architecture(MARCH)
- Run-Time Component Allocation in CPU-GPU Embedded Systems (2017-04-03)Gabriel Campeanu, Mehrdad Saadatmand32nd ACM SIGAPP Symposium On Applied Computing(SAC2017)
- Simulation-Based Safety Testing Brake-By-Wire (2017-03-13)Nils Müllner, Saifullah Khan, Md Habibur Rahman, Wasif Afzal, Mehrdad SaadatmandICST workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems(ITEQS'17)
- Targeted Mutation: Efficient Mutation Analysis for Testing Non-Functional Properties (2017-03-13)Björn Lisper, Birgitta Lindström, Pasqualina Potena, Mehrdad Saadatmand, Markus BohlinICST workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems(ITEQS'17)
- Buffer-Aware Analysis for Worst-Case Traversal Time of Real-Time Traffic over RRA-based NoCs (2017-03-06)Meng Liu, Matthias Becker, Moris Behnam, Thomas Nolte27th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing(PDP'17)
- Multi-Objective Task Mapping Approach for Wireless NoC in Dark Silicon Age (2017-03-01)Amin Rezaei, Masoud Daneshtalab, Danella Zhao27th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing(PDP'17)
- Hierarchal Placement of Smart Mobile Access Points in Wireless Sensor Networks using Fog Computing (2017-03-01)Amin Majd, Golnaz Sahebi, Masoud Daneshtalab, Juha Plosila, Hannu Tenhunen27th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing(PDP'17)
- Specifying Software Requirements for Safety-Critical Railway Systems: an Experience Report (2017-02-21)Luciana Provenzano, Kaj HänninenInternational Working Conference on Requirements Engineering: Foundation for Software Quality(REFSQ)
- A Tighter Recursive Calculus to Compute the Worst-Case Traversal Time of Real-Time Traffic over NoCs (2017-01-16)Meng Liu, Matthias Becker, Moris Behnam, Thomas Nolte22nd Asia and South Pacific Design Automation Conference(ASP-DAC'17)
- Using Segmentation to Improve Schedulability of RRA-based NoCs with Mixed Traffic (2017-01-16)Meng Liu, Matthias Becker, Moris Behnam, Thomas Nolte22nd Asia and South Pacific Design Automation Conference(ASP-DAC'17)
- Towards Collaborative Adaptive Autonomous Agents (2017-01-01)Mirgita Frasheri , Baran Çürüklü, Mikael Ekström9th International Conference on Agents and Artificial Intelligence 2017(ICAART'17)
- Fault Tolerance Analysis for Dependable Autonomous Agents Using Colored Time Petri Nets (2017-01-01)LanAnh Trinh, Baran Çürüklü, Mikael Ekström9th International Conference on Agents and Artificial Intelligence 2017(ICAART'17)
- Real-Time Capabilities of HSA Compliant COTS Platforms (2016-11-29)Nandinbaatar Tsog, Matthias Becker, Marcus Larsson, Fredrik Bruhn, Moris Behnam, Mikael Sjödin37th IEEE Real-Time Systems Symposium Work-in-Progress (WiP) session(RTSS'16)
- Timing Analysis and Synthesis of Mixed Multi-Rate Effect Chains in MECHAniSer (2016-11-29)Matthias Becker, Dakshina Dasari, Saad Mubeen, Moris Behnam, Thomas NolteOpen Demo Session of Real-Time Systems located at Real Time Systems Symposium (RTSS)(RTSS@Work 2016)
- Cost-Benefit Analysis of Using Dependency Knowledge at Integration Testing (2016-11-22)Sahar Tahvili, Markus Bohlin, Mehrdad Saadatmand, Stig Larsson, Wasif Afzal, Daniel SundmarkThe 17th International Conference On Product-Focused Software Process Improvement(PROFES'16)
- Coordinated Actors for Reliable Self-Adaptive Systems (2016-10-19)Maryam Bagheri, Ilge Akkaya, Ehsan Khamespanah, Narges Khakpour, Marjan Sirjani, Edward Lee, Ali MovagharThe 13th International Conference on Formal Aspects of Component Software(FACS 2016)
- Early Timing Analysis of Vehicular Systems: the Road from Single-core to Multi-core (2016-10-01)Alessio BucaioniDoctoral Symposium at ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems.(DS @ MODELS)
- Towards Designing Efficient End-to-end Resource Reservations for Distributed Embedded Systems (2016-09-14)Nima Khalilzad, Mohammad Ashjaei, Saad Mubeen, Moris Behnam, Ingo SanderForum on specification & Design Languages(FDL'16)
- Provisioning of Deterministic and Non-Deterministic Services for Vehicles: The Rubus Approach (2016-09-06)Harold Lawson, Saad Mubeen, Alessio Bucaioni, Jukka Mäki-Turja, John Lundbäck, Mattias Gålnander, Kurt-Lennart Lundbäck, Mikael Sjödin4th International Workshop on Critical Automotive Applications: Robustness & Safety(CARS-2016)
- Academic-industrial Collaboration in the Vehicle Software Domain: Experiences and End-user Perspective (2016-09-06)Saad Mubeen, Jukka Mäki-Turja, John Lundbäck, Mattias Gålnander, Kurt-Lennart Lundbäck, Mikael Sjödin, Harold Lawson4th International Workshop on Critical Automotive Applications: Robustness & Safety(CARS-2016)
- Tighter Time Analysis for Real-Time Traffic in On-Chip Networks with Shared Priorities (2016-08-31)Meng Liu, Matthias Becker, Moris Behnam, Thomas Nolte10th IEEE/ACM International Symposium on Networks-on-Chip (NOCS'16)
- End-to-end Resource Reservations in Distributed Embedded Systems (2016-08-17)Mohammad Ashjaei, Saad Mubeen, Moris Behnam, Luis Almeida, Thomas NolteThe 22th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications(RTCSA'16)
- Synthesizing Job-Level Dependencies for Automotive Multi-Rate Effect Chains (2016-08-17)Matthias Becker, Dakshina Dasari, Saad Mubeen, Moris Behnam, Thomas NolteThe 22th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications(RTCSA'16)
- A Model for Systematic Monitoring and Debugging of Starvation Bugs in Multicore Software (2016-08-03)Sara Abbaspour, Mehrdad Saadatmand, Sigrid Eldh, Daniel Sundmark, Hans HanssonASE Workshop on Specification, Comprehension, Testing and Debugging of Concurrent Programs(SCTDCP2016)
- MECHAniSer - A Timing Analysis and Synthesis Tool for Multi-Rate Effect Chains with Job-Level Dependencies (2016-07-05)Matthias Becker, Dakshina Dasari, Saad Mubeen, Moris Behnam, Thomas Nolte7th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems(WATERS'16)
- Towards Automated Deployment of IEC 61131-3 Applications on Multi-Core Systems (2016-05-03)Saad Mubeen, Matthias Becker, Xiaosha Zhao, Lingjian Gan, Moris Behnam, Thomas Nolte12th IEEE World Conference on Factory Communication Systems(WFCS'16)
- Towards Earlier Fault Detection by Value-Driven Prioritization of Test Cases Using Fuzzy TOPSIS (2016-04-11)Sahar Tahvili, Wasif Afzal, Mehrdad Saadatmand, Markus Bohlin, Daniel Sundmark, Stig Larsson13th International Conference on Information Technology : New Generations (ITNG 2016)(ITNG'16)
- A 2-Layer Component-based Architecture for Heterogeneous CPU-GPU Embedded Systems (2016-04-11)Gabriel Campeanu, Mehrdad Saadatmand13th International Conference on Information Technology : New Generations (ITNG 2016)(ITNG'16)
- Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking (2016-04-07)Ehsan Khamespanah, Kirill Mechitov, Marjan Sirjani, Gul AghaModel Checking Software - 23rd International Symposium(SPIN 2016)
- AQAF: an Architecture Quality Assurance Framework for systems modeled in AADL (2016-04-05)Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Martin Torelm, Paul Pettersson12th International ACM SIGSOFT Conference on the Quality of Software Architectures(QoSA)
- On Time Actors (2016-01-01)Marjan Sirjani, Ehsan KhamespanahTheory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday(Frank60)
- GIMME2 - an embedded system for stereo vision and processing of megapixel images with FPGA-acceleration (2015-12-07)Carl Ahlberg, Fredrik Ekstrand, Mikael Ekström, Giacomo Spampinato, Lars Asplund2015 International Conference on ReConFigurable Computing and FPGAs(ReConFig'15)
- Compositional Analysis for the Multi-Resource Server (2015-09-08)Rafia Inam, Moris Behnam, Thomas Nolte, Mikael Sjödin20th IEEE International Conference on Emerging Technologies and Factory Automation(ETFA'15)
- Software architecture for next generation hyperparallel cyber-physical hardware platforms: challenges and opportunities (2015-09-07)Moris Behnam, Federico Ciccozzi, Mikael Sjödin, Fredrik Bruhn1st International Workshop on Software Architectures for Next-generation Cyber-physical Systems(SANCS 2015)
- An Environment-Driven Ontological Approach to Requirements Elicitation for Safety-Critical Systems (2015-09-01)Jiale Zhou, Kaj Hänninen, Kristina Lundqvist, Yue Lu, Luciana Provenzano, Kristina Forsberg23rd IEEE International Requirements Engineering Conference (RE'15)
- Low–cost anthropomorphic robotic hand with elastic joints – early results (2015-06-08)Branko Miloradovic, Baran Çürüklü, Milica Vujovic, Svemir Popic, Aleksandar Rodic2nd International Conference on Electrical, Electronic and Computing Engineering(IcETRAN)
- Shift sprinting: fine-grained temperature-aware NoC-based MCSoC architecture in dark silicon age. (0000-00-00)Amin Rezaei, Danella Zhao, Masoud Daneshtalab51st Annual Design Automation Conference on Design Automation Conference(DAC)
- Fault-tolerant 3-D network-on-chip design using dynamic link sharing (0000-00-00)Seyyed Hossein Seyyedaghaei Rezaei, Mehdi Modarressi, Reza Yazdani , Masoud DaneshtalabDesign, Automation & Test in Europe Conference(DATE)
- Multi-population parallel imperialist competitive algorithm for solving systems of nonlinear equations (0000-00-00)Amin Majd, Mahdi Abdollahi, Golnaz Sahebi, Masoud Daneshtalab, Juha Plosila, Hannu TenhunenInternational Conference on High Performance Computing & Simulation(HPCS'16)
- Reliability-Aware Task Scheduling using Clustered Replication for Multi-core Real-Time systems (0000-00-00)Alireza Namazi, Meisam Abdollahi, Saeed Safari, Siamak Mohammadi, Masoud DaneshtalabInternational Workshop on Network on Chip Architectures(NoCArc)
- PICA: Multi-population Implementation of Parallel Imperialist Competitive Algorithms (0000-00-00)Amin Majd, Shahriar Lotfi, Golnaz Sahebi, Masoud Daneshtalab, Juha Plosila24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing(PDP'16)
- Efficient Congestion-Aware Scheme for Wireless on-Chip Networks (0000-00-00)Amin Rezaei, Masoud Daneshtalab, Danella Zhao, Maurizio Palesi24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing(PDP'16)
- A Three-Dimensional Networks-on-Chip Architecture with Dynamic Buffer Sharing (0000-00-00)Seyyed Hossein Seyyedaghaei Rezaei, Mehdi Modarressi, Masoud Daneshtalab24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing(PDP'16)
- Placement of Smart Mobile Access Points in Wireless Sensor Networks and Cyber-Physical Systems Using Fog Computing (0000-00-00)Amin Majd, Golnaz Sahebi, Masoud Daneshtalab, Juha Plosila, Hannu TenhunenIEEE Conferences on Scalable Computing and Communications(ScalCom'16)
- Planning and controlling an industrial system with collaborative robots (0000-00-00)Atieh Hanna, Kristofer Bengtsson, Per-Lage Götvall, Mikael EkströmProceedings Advances in Manufacturing Technology XXXIII (ICMR2018)
- Towards a Framework for Safe and Secure Adaptive Collaborative Systems (0000-00-00)Aida Causevic, Alessandro Papadopoulos, Marjan SirjaniIEEE Computer Society Conference on Computers, Software and Applications(COMPSAC 2019)
- An Actor-based Design Platform for System of Systems (0000-00-00)Marjan Sirjani, Giorgio Forcina, Ali Jafari, Stephan Baumgart, Ehsan Khamespanah, Ali SedaghatbafCOMPSAC 2019: Data Driven Intelligence for a Smarter World(COMPSAC 2019)
- A Qualitative Comparison Model for Application Layer IoT Protocols (0000-00-00)Syed Kakakhel, Tomi Westerlund, Masoud Daneshtalab, Zhuo Zou, Juha Plosila, Hannu TenhunenInternational Conference on Fog and Mobile Edge Computing(FMEC)
- Run-Time Cache-Partition Controller for Multi-Core Systems (0000-00-00)Jakob Danielsson, Marcus Jägemar, Moris Behnam, Tiberiu Seceleanu, Mikael SjödinIEEE 45th Annual Conference of the Industrial Electronics Society(IECON'19)
- Industrial Challenges when Planning and Preparing Collaborative and Intelligent Automation Systems for Final Assembly Stations (0000-00-00)Atieh Hanna, Kristofer Bengtsson, Martin Dahl, Endre Erös, Per-Lage Götvall, Mikael EkströmThe 24th IEEE Conference on Emerging Technologies and Factory Automation(ETFA2019)
- Integrated virtual commissioning of a ROS2-based collaborative and intelligent automation system (0000-00-00)Endre Erös, Martin Dahl, Atieh Hanna, Anton Albo, Petter Falkman, Kristofer BengtssonThe 24th IEEE Conference on Emerging Technologies and Factory Automation(ETFA2019)
- Developing Safe Smart Contracts (0000-00-00)Sajjad Rezaei, Ehsan Khamespanah, Marjan Sirjani, Ali Sedaghatbaf, Siamak MohammadiCOMPSAC 2019: Data Driven Intelligence for a Smarter World(COMPSAC 2019)
- Towards Formal Analysis of Vehicle Platoons Using Actor Model (0000-00-00)Zeinab Sharifi, Ramtin Khosravi, Marjan Sirjani, Ehsan KhamespanahThe 25th IEEE International Conference on Emerging Technologies and Factory Automation(ETFA2020)
- Experiences from Applying an Ontology in Hazard Analysis of Autonomous System of Systems. (0000-00-00)Malina Adach, Kaj Hänninen, Luciana Provenzano, Kristina LundqvistAerospace Technology Congress 2019(FT2019)
- Partial Order Reduction for Timed Actors (0000-00-00)Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Hossein Hojjat, Ali MovagharWorking Conference on Verified Software: Theories, Tools, and Experiments(VSTTE'21)
Report - MRTC(9)
- Strategy Synthesis and Compression for Multi-Agent Autonomous Systems: A Correctness-Guaranteed Approach (2022-04-04)Rong Gu, Peter Jensen, Cristina Seceleanu, Eduard Paul Enoiu, Kristina Lundqvist
- Mission Planning for Multiple Autonomous Agents under Complex Road Conditions: Model-Checking-Based Synthesis and Verification (2022-04-01)Rong Gu, Eduard Baranov, Afshin Ameri E., Eduard Paul Enoiu, Baran Çürüklü, Cristina Seceleanu, Axel Legay, Kristina Lundqvist
- Formal Verification of Collision Avoidance for Nonlinear Autonomous Vehicle Models (2021-04-20)Rong Gu, Cristina Seceleanu, Eduard Paul Enoiu, Kristina Lundqvist
- Controller Synthesis and Verification for Multi-Agent Systems (2020-07-01)Rong Gu
- Combining Model Checking and Reinforcement Learning for Scalable Mission Planning of Autonomous Agents (2020-05-01)Rong Gu, Eduard Paul Enoiu, Cristina Seceleanu, Kristina Lundqvist
- Optimized Allocation of Fault-tolerant Embedded Software with End-to-end Timing Constraints (2019-05-12)Nesredin Mahmud, Cristina Seceleanu, Hamid Reza Faragardi, Guillermo Rodriguez-Navas, Saad Mubeen
- A Model-based Approach for Vehicular Systems (2017-12-01)Alessio Bucaioni, Lorenzo Addazi, Antonio Cicchetti, Federico Ciccozzi, Romina Eramo, Saad Mubeen, Mikael Sjödin
- Empirical Validation of the Architecture Quality Assurance Framework (AQAF): A Technical Report (2016-01-11)Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Kaj Hänninen, Martin Torelm
- A Hazard Domain Ontology for Preliminary Hazard Analysis in Reuse Scenarios (2016-01-11)Jiale Zhou, Kaj Hänninen, Yue Lu, Kristina Lundqvist, Luciana Provenzano
Report(7)
- Communication Patterns in Automotive Systems (2022-03-23)Ruben Broux, Elena Lisova, Saad Mubeen
- Internship report: MERN stack (2020-10-04)Coline Bonneau, Nandinbaatar Tsog
- Student report - Autobike 2018 (2019-02-15)Mikael Ekström, Therese Eriksson
- Student report - Unicorn 2018 (2019-02-15)Mikael Ekström, Ulrik Åkesson
- Student project - Unicorn (2018-01-18)Billy Lindgren, Mikael Ekström
- Search results of security ontologies 1988-2022 (0000-00-00)Malina Adach, Kaj Hänninen, Kristina Lundqvist
- Structured Information Retrieval of Security Ontologies (0000-00-00)Malina Adach, Kaj Hänninen, Kristina Lundqvist
Proceedings (Editor)(1)
- Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2017) (2019-07-10)Mehdi Dastani, Marjan SirjaniInternational Conference on Fundamentals of Software Engineering(FSEN 2017)
Other(4)
- DPAC Newsletter Spring 2021 (2021-06-01)Kristina Lundqvist, Mikael Sjödin, Nandinbaatar Tsog, Saad Mubeen, Fredrik Bruhn, Jakob Danielsson, Marcus Jägemar, Tiberiu Seceleanu, Moris Behnam, Afshin Ameri E., Baran Çürüklü, Branko Miloradovic, Mikael Ekström, LanAnh Trinh, Rong Gu, Eduard Paul Enoiu, Cristina Seceleanu, Fereidoun Moradi, Sara Abbaspour, Ali Sedaghatbaf, Aida Causevic, Marjan Sirjani, Carolyn Talcott
- DPAC Newsletter Spring 2020 (2020-05-01)Kristina Lundqvist, Mikael Sjödin, Saad Mubeen, Håkan Forsberg, Mikael Ekström, Cristina Seceleanu, Nandinbaatar Tsog, Jakob Danielsson, Mohammad Loni, Baran Çürüklü, LanAnh Trinh, Afshin Ameri E., Luciana Provenzano, Kaj Hänninen, Susanne Fronnå, Marjan Sirjani, Rong Gu, Masoud Daneshtalab, Sima Sinaei, Joakim Lindén
- Dependability for Autonomous Control with a Probability Approach (2017-04-06)LanAnh Trinh, Baran Çürüklü, Mikael EkströmERCIM News(ERCIM)
- Adaptive Autonomy Paves the Way for Disruptive Innovations in Advanced Robotics (2017-04-06)Baran Çürüklü, José-Fernán Martínez-Ortega, Roberto FrescoERCIM News(ERCIM)