|
DPAC publications
Doctoral Thesis(12) Licentiate Thesis(10) Book(5)-
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-00-00)Marjan Sirjani, Maurice H. ter Beek
-
Domain-Specific Languages in Practice with JetBrains MPS (2021-07-01)Antonio Bucchiarone, Antonio Cicchetti, Federico Ciccozzi, Alfonso Pierantonio
-
Hardware Architectures for Deep Learning (2020-05-01)Masoud Daneshtalab, Mehdi ModarressiInstitution of Engineering and Technology (IET)
-
Principles of Modeling: Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday (2018-07-20)Marten Lohstroh, Patricia Derler, Marjan Sirjani
-
Software Architecture (0000-00-00)Stefan Biffl, Elena Navarro, Welf Löwe, Marjan Sirjani, Raffaela Mirandola, Danny Weyns15th European Conference on Software Architecture(ECSA 2021)
Book chapter(13)-
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
-
Engineering Gameful Applications with MPS (2021-07-01)Antonio Bucchiarone, Antonio Cicchetti, Annapaola Marconi
-
Cooperative Multi-Agent Systems for the Multi-Target $\kappa$-Coverage Problem (2021-03-14)Mirgita Frasheri , Lukas Esterle, Alessandro PapadopoulosAgents and Artificial Intelligence(A&AI)
-
Introduction to Edge Computing (2020-06-01)Auday Al-Dulaimy, Yogesh Sharma, Michel Gokan Khan , Javid Taheri
-
Open Source Projects for Edge Computing (2020-06-01)Michel Gokan Khan , Auday Al-Dulaimy, Mohammad Ali Khoshkholghi, Javid Taheri
-
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)
-
A Genetic Algorithm Approach to Multi-Agent Mission Planning Problems (2020-01-01)Branko Miloradovic, Baran Çürüklü, Mikael Ekström, Alessandro PapadopoulosCommunications in Computer and Information Science(CCIS)
-
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)
Collection (Editor)(1) Journal article(130)-
Synthesis and Verification of Mission Plans for Multiple Autonomous Agents under Complex Road Conditions (2024-06-01)Rong Gu, Eduard Baranov, Afshin Ameri E., Eduard Paul Enoiu, Baran Çürüklü, Cristina Seceleanu, Axel Legay, Kristina LundqvistACM Transactions on Software Engineering and Methodology(TOSEM)
-
Beyond von Neumann in the Computing Continuum: Architectures, Applications, and Future Directions (2024-05-01)Dragi Kimovski, Nishant Saurabh, Matthijs Jansen, Atakan Aral, Auday Al-Dulaimy, André B. Bondi, Antonino Galletta, Alessandro Papadopoulos, Alexandru Iosup, Radu ProdanIEEE Internet Computing(IC 2024)
-
Tiny Twins for detecting cyber-attacks at runtime using concise Rebeca time transition (2024-02-01)Fereidoun Moradi, Bahman Pourvatan, Sara Abbaspour, Marjan SirjaniJournal of Parallel and Distributed Computing(JPDC 185)
-
Assessing Risk of AR and Organizational Changes Factors in Socio-technical Robotic Manufacturing (2024-01-24)Soheila Sheikh Bahaei, Barbara GallinaJournal of Robotics and Computer-Integrated Manufacturing, Vol.88, 102731(RCIM-2024)
-
Hierarchical Resource Orchestration Framework for Real-Time Containers (2024-01-10)Václav Struhár, Silviu Craciunas, Mohammad Ashjaei, Moris Behnam, Alessandro PapadopoulosACM Transactions on Embedded Computing Systems(TECS 2024)
-
A Systematic Literature Review on Hardware Reliability Assessment Methods for Deep Neural Networks (2024-01-10)Mohammad Ahmadilivani, Mahdi Taheri, Jaan Raik, Masoud Daneshtalab, Maksim JenihhinACM Computing Surveys(CSUR)
-
Dealing with Jamming Attacks in Uplink Pairwise NOMA Using Outage Analysis, Smart Relaying and Redundant Transmissions (2023-12-01)Van Lan Dao, Elisabeth Uhlemann, Svetlana GirsIEEE Open Journal of the Communications Society(OJCOMS)
-
A Global Survey of Standardization and Industry Practices of Automotive Cybersecurity Validation and Verification Testing Processes and Tools (2023-11-16)Andrew Roberts, Stefan Marksteiner, Mujdat Soyturk, Berkay Yaman, Yi YangSAE International Journal of Connected and Automated Vehicles(JCAV)
-
DASS: Differentiable Architecture Search for Sparse Neural Networks (2023-09-17)Seyedhamidreza Mousavi, Mohammad Loni, Mina Alibeigi, Masoud DaneshtalabACM Transactions on Embedded Computing Systems(TECS 2024)
-
Resilient and Privacy-Preserving Multi-Agent Optimization and Control of a Network of Battery Energy Storage Systems Under Attack (2023-09-07)Mojtaba Kaheni, Elio Usai, Mauro FranceschelliIEEE Transactions on Automation Science and Engineering(TASE)
-
Supporting End-to-end Data Propagation Delay Analysis for TSN-based Distributed Vehicular Embedded Systems (2023-08-15)Bahar Houtan, Mohammad Ashjaei, Masoud Daneshtalab, Mikael Sjödin, Saad MubeenJournal of Systems Architecture, 2023(JSA)
-
Optimizing Parallel Task Execution for Multi-Agent Mission Planning (2023-03-09)Branko Miloradovic, Baran Çürüklü, Mikael Ekström, Alessandro PapadopoulosIEEE Access(IEEE Access 2023)
-
Gamifying model-based engineering: the PapyGame experience (2023-03-04)Antonio Bucchiarone, Maxime Savary-Leblanc, Xavier Le Pallec, Antonio Cicchetti, Sebastien Gerard, Simone Bassanelli, Federica Gini, Annapaola MarconiSoftware and Systems Modeling(SoSym)
-
Feedback-based resource management for multi-threaded applications (2023-03-01)Alessandro Papadopoulos, Kunal Agrawal, Enrico Bini, Sanjoy BaruahReal-Time Systems(RTSJ 2022)
-
Supporting 5G Service Orchestration with Formal Verification (2023-03-01)Peter Backeman, Ashalatha Kunnappilly, Cristina SeceleanuComputer Science and Information Systems(ComSIS,10(1))
-
A Comprehensive Systematic Review of Integration of Time Sensitive Networking and 5G Communication (2023-02-26)Zenepe Satka, Mohammad Ashjaei, Hossein Fotouhi, Masoud Daneshtalab, Mikael Sjödin, Saad MubeenJournal of Systems Architecture, 2023(JSA)
-
Satellite Image Compression Guided by Regions of Interest (2023-01-09)Christofer Schwartz, Ingo Sander, Fredrik Bruhn, Mathias Persson, Joakim EkbladSensors(Sensors)
-
Ethics of Autonomous Collective Decision-Making: the CAESAR Framework (2022-11-06)Mirgita Frasheri , Václav Struhár, Alessandro Papadopoulos, Aida CausevicScience and Engineering Ethics(JSEE'22)
-
Correctness-Guaranteed Strategy Synthesis and Compression for Multi-Agent Autonomous Systems (2022-09-30)Rong Gu, Peter Jensen, Cristina Seceleanu, Eduard Paul Enoiu, Kristina LundqvistScience of Computer Programming(SCICO-223)
-
Wireless Security in Vehicular Ad Hoc Networks: A Survey (2022-08-17)Thomas Blazek, Fjolla Ademaj, Stefan Marksteiner, Peter Priller, Hans-Peter BernhardSAE International Journal of Connected and Automated Vehicles(JCAV)
-
The Duality in Computing SSA Programs and Control Dependency (2022-08-01)Abu Naser MasudIEEE Transactions on Software Engineering(TSE)
-
Reference Architectures Modelling and Compliance Checking (2022-07-27)Alessio Bucaioni, Amleto Di Salle, Ludovico Iovino, Ivano Malavolta, Patrizio PelliccioneSoftware and Systems Modeling(SoSym)
-
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-06-01)Rong Gu, Peter Jensen, Danny Poulsen, Cristina Seceleanu, Eduard Paul Enoiu, Kristina Lundqvist International Journal on Software Tools for Technology Transfer(STTT)
-
Architecting Digital Twins (2022-05-05)Enxhi Ferko, Moris Behnam, Alessio BucaioniJournal of IEEE Access(IEEE-Access)
-
Multi-concern Dependability-centered Assurance via Qualitative and Quantitative Co-analysis (2022-04-30)Barbara Gallina, Leonardo Montecchi, André Luiz de Oliveira, Lucas Paiva BressanIEEE Softw. SI(IEEE Softw. SI)
-
Efficient Computation of Minimal Weak and Strong Control Closure (2022-02-01)Abu Naser MasudJournal of Systems and Software(JSS 2022 (184))
-
Modelling in low-code development: a multi-vocal systematic review (2022-01-19)Alessio Bucaioni, Antonio Cicchetti, Federico CiccozziSoftware and Systems Modeling(SoSym)
-
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)
-
Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control (2022-01-15)Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Christel Baier, Ali MovagharIEEE Transactions on Software Engineering(TSE)
-
Specification and Verification of Timing Properties in Interoperable Medical Systems (2022-00-00)JOHN HATCLIFF, Marjan Sirjani, Ehsan Khamespanah, Fatemeh Ghasemi, Mahsa ZarneshanLogical Methods in Computer Science(LMCS)
-
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)
-
PerfSim: A Performance Simulator for Cloud Native Microservice Chains (2021-12-15)Michel Gokan Khan , Javid Taheri, Auday Al-Dulaimy, Andreas KasslerIEEE Transactions on Cloud Computing(TCC)
-
FastStereoNet: A Fast Neural Architecture Search for Improving the Inference of Disparity Estimation on Resource-Limited Platforms (2021-11-09)Mohammad Loni, Ali Zoljodi, Amin Majd, Byung Hoon Ahn, Masoud Daneshtalab, Mikael Sjödin, Hadi EsmaeilzadehIEEE Transactions on Systems, Man, and Cybernetics: Systems(SMCS)
-
Implications of Various Preemption Configurations in TSN Networks (2021-10-15)Mohammad Ashjaei, Lejla Murselović, Saad MubeenIEEE Embedded Systems Letters(Embed Syst Lett)
-
Enabling Automated Integration of Architectural Languages:an Experience Report from the Automotive Domain (2021-09-27)Alessio Bucaioni, Matthias BeckerJournal of Systems and Software(JSS)
-
Multi-paradigm modeling for cyber-physical systems: A systematic mapping review (2021-09-06)Ankica Barišić, Ivan Ruchkin, Dušan Savić, Mustafa Abshir Mohamed, Rima Al-Ali, Letitia W. Li, Hana Mkaouar, Raheleh Eslampanah, Moharram Challenger, Dominique Blouin, Oksana Nikiforova, Antonio CicchettiJournal of Systems and Software(JSS)
-
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)
-
Guest Editorial: Special Issue on Parallel, Distributed, and Network-Based Processing in Next-generation Embedded Systems (2021-08-31)Saad Mubeen, Lucia Lo Bello, Masoud Daneshtalab, Sergio SaponaraJournal of Systems Architecture, 2021(JSA)
-
Defeating Jamming Using Outage Performance Aware Joint Power Allocation and Access Point Placement in Uplink Pairwise NOMA (2021-08-13)Van Lan Dao, Le-Nam Hoang, Svetlana Girs, Elisabeth UhlemannIEEE Open Journal of the Communications Society(OJCOMS)
-
Model-driven engineering for mobile robotic systems: a systematic mapping study (2021-08-09)Giuseppina Lucia Casalaro, Giulio Cattivera, Federico Ciccozzi, Ivano Malavolta, Andreas Wortmann, Patrizio PelliccioneSpringer Journal on Software and Systems Modeling(SoSym)
-
Methodological Principles for Reproducible Performance Evaluation in Cloud Computing (2021-08-01)Alessandro Papadopoulos, Laurens Versluis, André Bauer, Nikolas Roman Herbst, Jóakim von Kistowski, Ahmed Ali-Eldin, Cristina Abad, J. Nelson Amaral, Petr Tuma, Alexandru IosupIEEE Transactions on Software Engineering(TSE)
-
A Case Study for Risk Assessment in AR-equipped Socio-technical Systems (2021-07-31)Soheila Sheikh Bahaei, Barbara Gallina, Marko VidovićJournal of Systems Architecture(JSA, 114)
-
Automatic Generation of Configuration Files: an Experience Report from the Railway Domain (2021-06-21)Enxhi Ferko, Alessio Bucaioni, Jan Carlson, Zulqarnain Haider17th European Conference on Modelling Foundations and Applications(ECMFA2021)
-
A Novel Frame Preemption Model in TSN Networks (2021-06-15)Mohammad Ashjaei, Mikael Sjödin, Saad MubeenJournal of Systems Architecture(JSA, 114)
-
Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems (2021-05-24)Marjan Sirjani, Luciana Provenzano, Sara Abbaspour, Mahshid Helali Moghadam, Mehrdad SaadatmandJournal of Internet Services and Applications(JISA)
-
GMP: A Genetic Mission Planner for Heterogeneous Multirobot System Applications (2021-05-13)Branko Miloradovic, Baran Çürüklü, Mikael Ekström, Alessandro PapadopoulosIEEE Transactions on Cybernetics(IEEE TCyb)
-
An actor-based framework for asynchronous event-based cyber-physical systems (2021-04-15)Iman Jahandideh, Fatemeh Ghasemi, Marjan SirjaniSoftware and Systems Modeling(SoSym)
-
What is the future of modelling? (2021-02-26)Antonio Bucchiarone, Federico Ciccozzi, Leen Lambers, Alfonso Pierantonio, Matthias Tichy, Massimo Tisi, Andreas Wortmann, Vadim ZaytsevIEEE Software(IEEE Software)
-
A Probabilistic Model of Belief in Safety Cases (2021-02-17)Damir Nesic, Mattias Nyberg, Barbara GallinaSafety Science Elsevier Journal-2021(SSJ-2021)
-
Blended Graphical and Textual Modelling for UML Profiles: a Proof-of-Concept Implementation and Experiment (2021-01-19)Lorenzo Addazi, Federico CiccozziJournal of Systems and Software(JSS)
-
ProDSPL: Proactive Self-Adaptation based on Dynamic Software Product Lines (2021-01-18)Inmaculada Ayala, Alessandro Papadopoulos, Mercedes Amor, Lidia FuentesJournal of Systems and Software(JSS)
-
Semantic Correctness of Dependence-Based Slicing for Interprocedural, Possibly Nonterminating Programs (2021-01-01)Abu Naser Masud, Björn LisperACM Transactions on Programming Languages and Systems(TOPLAS)
-
Performance Analysis of an Energy-Harvesting IoT System Using a UAV Friendly Jammer and NOMA Under Cooperative Attack (2020-12-14)Van Nhan Vo, Chakchai So-In, Tran Hung, Dung Duc Tran, Tung Pham HuuIEEE Access(IEEE-ACCESS)
-
bwSlicer: A bandwidth slicing framework for cloud data centers (2020-11-01)Auday Al-Dulaimy, Wassim Itani, Javid Taheri, Maha ShamseddineFuture Generation Computer Systems(FGCS)
-
MultiScaler: A Multi-Loop Auto-Scaling Approach for Cloud-Based Applications (2020-10-16)Auday Al-Dulaimy, Javid Taheri, Andreas Kassler, M. Reza H. Farahabady, Shuiguang Deng, Albert ZomayaIEEE Transactions on Cloud Computing(TCC)
-
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)
-
Systematic Evaluation of Model Comparison Algorithms using Model Generation (2020-07-13)Lorenzo Addazi, Antonio Cicchetti16th European Conference on Modelling Foundations and Applications (ECMFA)(JOT-ECMFA20)
-
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)
-
Schedulability Analysis of Time-Sensitive Networks with Scheduled Traffic and Preemption Support (2020-06-30)Lucia Lo Bello, Mohammad Ashjaei, Gaetano Patti, Moris BehnamJournal of Parallel and Distributed Computing(JPDC)
-
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: X(ESWA: X)
-
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)
-
More precise construction of static single assignment programs using reaching definitions (2020-04-06)Abu Naser Masud, Federico CiccozziJournal of Systems and Software(JSS)
-
Guiding assurance of architectural design patterns for critical applications (2020-03-30)Irfan Sljivo, Garazi Juez Uriagereka, Stefano Puri, Barbara GallinaJournal of Systems Architecture, 2021(JSA)
-
Co-engineering of Safety and Security Life Cycles for Engineering of Automotive Systems (2020-03-02)Robert Bramberger, Helmut Martin, Barbara Gallina, Christoph SchmittnerACM SIGAda-Ada-Letters-39-II(AdaLetters39-II)
-
On Communication Performance in Energy Harvesting WSNs Under a Cooperative Jamming Attack (2020-02-17)Van Nhan Vo, Tran Hung, Van Lan Dao, Chakchai So-In, Dung Duc Tran, Elisabeth UhlemannIEEE Systems Journal(IEEE SJ)
-
Model Testing of Complex Embedded Systems using EAST-ADL and Energy-Aware Mutations (2020-02-15)Eduard Paul Enoiu, Cristina SeceleanuMDPI Designs Journal(MDPI Designs)
-
Co-engineering of Safety and Security Life Cycles for Engineering of Automotive Systems (2020-01-31)Robert Bramberger, Helmut Martin, Barbara Gallina, Christoph SchmittnerAda User Journal 40 (4)(AUJ-40 (4))
-
Secrecy Performance of Cooperative Cognitive Radio Networks Under Joint Secrecy Outage and Primary User Interference Constraints (2020-01-21)Quach Xuan Truong, Tran Hung, Elisabeth Uhlemann, Mai Tran TrucIEEE Access(IEEE-ACCESS)
-
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)
-
On Security and Throughput for Energy Harvesting Untrusted Relays in IoT Systems Using NOMA (2019-11-03)Van Nhan Vo, Tran Hung, Chakchai So-In, Dung Duc TranJournal of IEEE Access(IEEE-Access)
-
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)
-
Contents for a Model-Based Software Engineering Body of Knowledge (2019-08-01)Loli Burgueño, Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lambers, Sebastien Mosser, Richard F. Paige, Alfonso Pierantonio, Arend Rensink, Rick Salay, Gabriele Taentzer, Antonio Vallecillo, Manuel WimmerSpringer Journal on Software and Systems Modeling(SoSym)
-
Relay Grouping to Guarantee Timeliness and Reliability in Wireless Networks (2019-06-17)Le-Nam Hoang, Elisabeth Uhlemann, Magnus JonssonIEEE Communications Letters(IEEE COML )
-
Resilience of Distributed Student Teams to Stress Factors: a Longitudinal Case-study (2019-05-28)Igor Cavrak, Ivana Bosnic, Federico Ciccozzi, Raffaela MirandolaInformation and Software Technology(IST)
-
A Compositional Approach for Reliable Adaptation of Track-based Traffic Control Systems at Runtime (2019-04-20)Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Ali MovagharComputing Research Repository(CoRR)
-
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)
-
Secrecy Performance in the Internet of Things: Optimal Energy Harvesting Time Under Constraints of Sensors and Eavesdroppers (2019-02-22)Chakchai So-In, Tran Hung, Van Nhan Vo, Gia Tri NguyenMobile Networks and Applications, Springer(MNA)
-
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)
-
Performance Analysis of DF/AF Cooperative MISO Wireless Sensor Networks with NOMA and SWIPT over Nakagami-m Fading (2018-09-30)Dung Duc Tran, Van Nhan Vo, Dac-Binh Ha, Chakchai So-In, Tran HungJournal of IEEE Access(IEEE-Access)
-
Secrecy Performance Analysis for Fixed-Gain Energy Harvesting in an Internet of Things with Untrusted Relays (2018-08-29)Van Nhan Vo, Dung Duc Tran, Chakchai So-In, Tran HungIEEE Access(IEEE-ACCESS)
-
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-223)
-
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(359)-
A Hybrid Ontology for Identifying Safety Hazards and Security Threats (2024-11-25)Malina Adach, Alessio Bucaioni, Federico CiccozziThe 8th International Conference on System Reliability and Safety(ICSRS24)
-
Guess and then Check: Controller Synthesis for Safe and Secure Cyber-Physical Systems (2024-07-13)Rong Gu, Zahra Moezkarimi, Marjan Sirjani44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems(FORTE 2024)
-
Mitigation Ontology for Analysis of Safety-Critical Systems (2024-06-28)Nazakat Ali, Kristina Lundqvist, Kaj HänninenThe 34th European Safety and Reliability Conference(ESREL'34)
-
Server Time Reservation for Periodic Real-Time Applications (2023-12-11)Ali Balador, Lizzy Tengana, Mohammad Ashjaei, Saad MubeenThe First International Workshop on Intelligent Systems and Paradigms for Next Generation Computing Evolution(INSPIRE'23)
-
From TARA to Test: Automated Automotive Cybersecurity Test Generation Out of Threat Modeling (2023-12-05)Stefan Marksteiner, Christoph Schmittner, Korbinian Christl, Dejan Nickovic, Mikael Sjödin, Marjan Sirjani7th ACM Computer Science in Cars Symposium(CSCS'23)
-
Demo Abstract: Towards Interoperability in a Hybrid TSN/6TiSCH Network (2023-12-01)Iliar Rabet, Ines Alvarez, Hossein Fotouhi, Mohammad AshjaeiACM Embedded Networked Sensor Systems (SenSys 2023)
-
Enhancing CRYSTAL: Preventive Recovery in Brief (2023-11-23)Fereidoun Moradi, Zahra Moezkarimi, Marjan Sirjani
-
Dynamic Priority Scheduling for periodic systems using ROS 2 (2023-10-18)
-- Best Paper Award--
Lukas Dust, Saad Mubeen8th International Conference on Engineering of Computer-based Systems(ECBS2023)
-
Using Automata Learning for Compliance Evaluation of Communcation Protocols on an NFC Handshake Example (2023-10-17)Stefan Marksteiner, Marjan Sirjani, Mikael Sjödin8th International Conference on Engineering of Computer-based Systems(ECBS2023)
-
Barriers for Adopting FMI-based Co-Simulation in Industrial MBSE Processes (2023-10-16)Johan Cederbladh, Anna Reale, Andreas Bergsten, Richard Mikelöv, Antonio CicchettiMODELS'23(MODELS23)
-
Comparing Ext4 and ZFS for Onboard Data Processing (2023-10-05)Liza Stephanie Johansson, Hassan Said, Håkan Forsberg, Nandinbaatar Tsog, Oskar FlordalThe first European Data Handling & Data Processing Conference(EDHPC 2023)
-
Analysis and Improvement of Resilience for Long Short-Term Memory Neural Networks (2023-10-05)Mohammad Ahmadilivani, Jaan Raik, Masoud Daneshtalab, Alar Kuusik36th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems(DFT 2023)
-
Experimental Analysis of Wireless TSN Networks for Real-time Applications (2023-10-02)Zenepe Satka, Deepa Barhia, Sobia Saud, Saad Mubeen, Mohammad Ashjaei28th International Conference on Emerging Technologies and Factory Automation(ETFA 2023)
-
Pattern-Based Verification of ROS 2 Nodes using UPPAAL (2023-09-22)Lukas Dust, Rong Gu, Cristina Seceleanu, Mikael Ekström, Saad MubeenFMICS 2023 - International Conference on Formal Methods for Industrial Critical Systems(FMICS 2023)
-
Efficient On-device Transfer Learning using Activation Memory Reduction (2023-09-19)Amin Yoosefi, Seyedhamidreza Mousavi, Masoud Daneshtalab, Mehdi KargahiInternational Conference on Fog and Mobile Edge Computing(FMEC)
-
DASS: Differentiable Architecture Search for Sparse Neural Networks (2023-09-17)Seyedhamidreza Mousavi, Mohammad Loni, Mina Alibeigi, Masoud DaneshtalabEMBEDDED SYSTEMS WEEK(ESWEEK 2023)
-
Consistency Before Availability: Network Reference Point based Failure Detection for Controller Redundancy (2023-09-15)Bjarne Johansson, Mats Rågberger, Alessandro Papadopoulos, Thomas Nolte28th International Conference on Emerging Technologies and Factory Automation(ETFA 2023)
-
Comparative Evaluation of Various Generations of Controller Area Network Based on Timing Analysis (2023-09-15)Aldin Berisa, Mohammad Ashjaei, Masoud Daneshtalab, Mikael Sjödin, Adis Panjevic, Imran Kovac, Hans Lyngbäck, Saad Mubeen28th International Conference on Emerging Technologies and Factory Automation(ETFA 2023)
-
Introducing Guard Frames to Ensure Schedulability of All TSN Traffic Classes (2023-09-15)Daniel Bujosa Mateu, Julián Proenza, Alessandro Papadopoulos, Thomas Nolte, Mohammad Ashjaei28th International Conference on Emerging Technologies and Factory Automation(ETFA 2023)
-
Resource Adaptation for Real-Time Containers Considering Quality of Control (2023-09-12)Václav Struhár, Mohammad Ashjaei, Moris Behnam, Alessandro Papadopoulos, Silviu Craciunas28th International Conference on Emerging Technologies and Factory Automation(ETFA 2023)
-
Automatic Clustering of Performance Events (2023-09-12)Shamoona Imtiaz, Gabriele Capannini, Jan Carlson, Moris Behnam, Marcus Jägemar28th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA2023)(ETFA2023)
-
Towards Modelling 5G Communication in Software Architectures of Vehicular CPS (2023-09-11)Zenepe Satka, Saad Mubeen, Mohammad Ashjaei, John Lundbäck49th Euromicro Conference Series on Software Engineering and Advanced Applications(SEAA 2023)
-
Evaluating the robustness of ML models to out-of-distribution data through similarity analysis (2023-09-04)Joakim Lindén, Håkan Forsberg, Ingemar Söderquist, Masoud Daneshtalab1st Workshop on Advanced AI Techniques for Data Management and Analytics(AIDMA)
-
Outage Performance Comparison of Adaptive Relaying Schemes Subject to Jamming (2023-09-01)Van Lan Dao, Svetlana Girs, Elisabeth Uhlemann28th International Conference on Emerging Technologies and Factory Automation(ETFA 2023)
-
Test Generation and Mutation Analysis of Energy Consumption using UPPAAL SMC and MATS (2023-08-25)Jonatan Larsson , Eduard Paul EnoiuThe 7th International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems(ITEQS 2023)
-
Defeating Jamming Attacks in Downlink Pairwise NOMA Using Relaying (2023-07-20)Van Lan Dao, Svetlana Girs, Elisabeth UhlemannIEEE International Symposium on Personal, Indoor and Mobile Radio Communications(PIMRC2023)
-
Learning Activation Functions for Adversarial Attack Resilience in CNNs (2023-06-18)Maghsood Salimi, Mohammad Loni, Marjan SirjaniThe 22nd International Conference on Artificial Intelligence and Soft Computing(ICAISC 2023)
-
Hazard Analysis on a System of Systems using the Hazard Ontology (2023-06-16)Malina Adach, Nazakat Ali, Kaj Hänninen, Kristina Lundqvist18th Annual System Of Systems Engineering Conference(SoSE2023)
-
Enhancing Fault Resilience of QNNs by Selective Neuron Splitting (2023-06-13)Mohammad Ahmadilivani, Javid Taheri, Jaan Raik, Maksim Jenihhin, Masoud Daneshtalab5th IEEE International Conference on Artificial Intelligence Circuits and Systems (AICAS)(AICAS 2023)
-
SARAF: Searching for Adversarial Robust Activation Functions (2023-06-09)Maghsood Salimi, Mohammad Loni, Marjan Sirjani, Antonio Cicchetti, Sara AbbaspourThe 6th International Conference on Machine Vision and Applications(ICMVA'2023)
-
HERO-ML: A Very High-Level Array Language for Executable Modelling of Data Parallel Algorithms (2023-06-06)Björn Lisper, Linus KällbergARRAY 2023(ARRAY '23)
-
Investigating and Analyzing CAN-to-TSN Gateway Forwarding Techniques (2023-05-25)Aldin Berisa, Mohammad Ashjaei, Masoud Daneshtalab, Mikael Sjödin, Saad Mubeen2023 IEEE 25th International Symposium on Real Time Distributed Computing (ISORC)(ISORC'23)
-
Scheduling Firm Real-time Applications on the Edge with Single-bit Execution Time Prediction (2023-05-23)Shaik Salman, Van Lan Dao, Alessandro Papadopoulos, Saad Mubeen, Thomas Nolte2023 IEEE 25th International Symposium on Real Time Distributed Computing (ISORC)(ISORC'23)
-
End-to-end Timing Modeling and Analysis of TSN in Component-Based Vehicular Software (2023-05-22)Bahar Houtan, Mehmet Onur Aybek, Mohammad Ashjaei, Masoud Daneshtalab, Mikael Sjödin, John Lundbäck, Saad Mubeen2023 IEEE 25th International Symposium on Real Time Distributed Computing (ISORC)(ISORC'23)
-
NeuroPIM: Flexible Neural Accelerator for Processing-in-Memory Architectures (2023-05-10)Ali Monavari, Sepideh Fattahi, Mehdi Modarressi, Masoud DaneshtalabInternational Symposium on Design and Diagnostics of Electronic Circuits and Systems(DDECS)
-
APPRAISER: DNN Fault Resilience Analysis Employing Approximation Errors (2023-05-06)Mahdi Taheri, Mohammad Ahmadilivani, Maksim Jenihhin, Masoud Daneshtalab, Jaan RaikInternational Symposium on Design and Diagnostics of Electronic Circuits and Systems(DDECS)
-
The SPEC-RG Reference Architecture for The Compute Continuum (2023-05-01)Matthijs Jansen, Auday Al-Dulaimy, Alessandro Papadopoulos, Animesh Trivedi, Alexandru Iosup23rd IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing(CCGrid'23)
-
Fault tolerance in cloud manufacturing: An overview (2023-04-29)Auday Al-Dulaimy, Mohammad Ashjaei, Moris Behnam, Thomas Nolte, Alessandro PapadopoulosThe 13th EAI International Conference on Mobile Computing, Applications and Services(MobiCASE 2022)
-
Model-Based Policy Synthesis and Test-Case Generation for Autonomous Systems (2023-04-21)Rong Gu, Eduard Paul Enoiu19th Workshop on Advances in Model Based Testing(A-MOST 2023)
-
Multiconcern, Dependability-Centered Assurance Via a Qualitative and Quantitative Co-analysis (2023-03-13)Barbara Gallina, Leonardo Montecchi, André Luiz de Oliveira, Lucas Paiva Bressan20TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE(ICSA 2023)
-
Timing Predictability and Performance Standoff in Component-based Vehicle Software on Multi-core (2023-03-13)Saad MubeenIEEE International Conference on Software Architecture Companion Proceedings(MDE4SA@ICSA 2023)
-
A Systematic Approach to Automotive Security (2023-03-03)Masoud Ebrahimi, Stefan Marksteiner, Dejan Nickovic, Roderick Bloem, David Schögler, Philipp Eisner, Samuel Sprung, Thomas Schober, Sebastian Chlup, Christoph Schmittner, Sandra König25th International Symposium On Formal Methods(FM'23)
-
Automatic Segmentation of Resource Utilization Data (2022-12-09)Shamoona Imtiaz, Moris Behnam, Gabriele Capannini, Jan Carlson, Marcus Jägemar1st IEEE Industrial Electronics Society Annual On-Line Conference(ONCON2022)
-
Fast and incremental computation of weak control closure (2022-12-01)Abu Naser Masud29th Static Analysis Symposium(SAS 2022)
-
Automating Safety Argument Change Impact Analysis for Machine Learning Components (2022-12-01)Carmen Carlan, Lydia Gauerhof, Barbara Gallina, Simon Burton27th IEEE Pacific Rim International Symposium on Dependable Computing(PRDC-2022)
-
Concepts and relationships in safety and security ontologies: A comparative study (2022-11-23)Malina Adach, Kaj Hänninen, Kristina Lundqvist5th International Conference on System Reliability and Safety(ICSRS-2022)
-
Communication Patterns for Evaluating Vehicular E/E Architectures (2022-11-18)Elena Lisova, Ruben Broux, Joachim Denil, Alessio Bucaioni, Saad MubeenThe 2nd International Conference on Electrical, Computer, Communications and Mechatronics Engineering(ICECCME 2022)
-
Towards continuous modelling to enable DevOps: a preliminary study with practitioners (2022-10-24)Johan Cederbladh, Antonio CicchettiDevOps@Models 2022(DevOps)
-
Priority Based Ethernet Handling in Real-Time End System with Ethernet Controller Filtering (2022-10-17)Bjarne Johansson, Mats Rågberger, Thomas Nolte, Alessandro Papadopoulos48th Annual Conference of the Industrial Electronics Society(IECON 2022)
-
Anomaly Attack Detection in Wireless Networks Using DCNN (2022-10-17)Van Lan Dao, Björn LeanderIEEE 8th World Forum on Internet of Things(WFIoT2022)
-
Security Ontologies:A Systematic Literature Review (2022-10-03)Malina Adach, Kaj Hänninen, Kristina Lundqvist26th The Enterprise Computing Conference 2022(EDOC 2022)
-
Cyberattacks: Modeling, Analysis, and Mitigation (2022-09-30)Sara Abbaspour6th International Conference on Computer, Software and Modeling(ICCSM)
-
Hyperspectral Thermal Imaging CubeSat for SSA applications (2022-09-27)Miguel Nunes, Fredrik Bruhn, Robert Wright, Paul Lucey, Chiara Ferrari-Wong, Luke Flynn, Eric Pilger, Amber Imai-Hong, Frances Zhu, Lance Yoneshige, Yosef Ben Gershom, Trevor SorensenThe Advanced Maui Optical and Space Surveillance Technologies (AMOS) Conference (2022)(AMOS 2022)
-
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)
-
Implementing a First CNC for Scheduling and Configuring TSN Networks (2022-09-09)Ines Alvarez, Andreu Servera, Julián Proenza, Mohammad Ashjaei, Saad MubeenInternational Conference on Emerging Technologies and Factory(ETFA'2022)
-
Migrating Legacy Ethernet-Based Traffic with Spatial Redundancy to TSN networks (2022-09-09)
-- Best Paper Award--
Mateu Jover, Manuel Barranco, Ines Alvarez, Julián ProenzaInternational Conference on Emerging Technologies and Factory(ETFA'2022)
-
Schedulability Analysis of WSAN Applications: Outperformance of a Model Checking Approach (2022-09-06)Ehsan Khamespanah, Morteza Mohaqeqi, Mohammad Ashjaei, Marjan SirjaniInternational Conference on Emerging Technologies and Factory(ETFA'2022)
-
Concurrent OPC UA information model access, enabling real-time OPC UA PubSub (2022-09-06)Patrick Denzler, Mohammad Ashjaei, Thomas Frühwirth, Victor Nicholas Ebirim, Wolfgang KastnerInternational Conference on Emerging Technologies and Factory(ETFA'2022)
-
Cognitive and Time Predictable Task Scheduling in Edge-cloud Federation (2022-09-06)Somayeh Abdi, Mohammad Ashjaei, Saad MubeenInternational Conference on Emerging Technologies and Factory(ETFA'2022)
-
A Centralized Configuration Model for TSN-5G Networks (2022-09-06)Zenepe Satka, Ines Alvarez, Mohammad Ashjaei, Saad MubeenInternational Conference on Emerging Technologies and Factory(ETFA'2022)
-
The Effects of Clock Synchronization in TSN Networks with Legacy End-Stations (2022-09-06)Daniel Bujosa Mateu, Andreas Johnsson, Mohammad Ashjaei, Alessandro Papadopoulos, Julián Proenza, Thomas NolteInternational Conference on Emerging Technologies and Factory(ETFA'2022)
-
TOLERANCER: A Fault Tolerance Approach for Cloud Manufacturing Environments (2022-09-06)Auday Al-Dulaimy, Christian Sicari, Alessandro Papadopoulos, Antonino Galletta, Massimo Villari, Mohammad AshjaeiInternational Conference on Emerging Technologies and Factory(ETFA'2022)
-
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)
-
Automotive Service-oriented Architectures: a Systematic Mapping Study (2022-08-31)Nemanja Kukulicic, Damjan Samardzic, Alessio Bucaioni, Saad Mubeen48th Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA'22)
-
POSTER: Towards Cyber Resilience of Cyber-Physical Systems using Tiny Twins (2022-08-24)Fereidoun Moradi, Sara Abbaspour, Marjan Sirjani7th IEEE European Symposium on Security and Privacy(EuroS&P 2022)
-
Monitoring Cyber-Physical Systems Using a Tiny Twin to Prevent Cyber-Attacks (2022-08-23)Fereidoun Moradi, Maryam Bagheri, Hanieh Rahmati, Hamed Yazdi, Sara Abbaspour, Marjan Sirjani25TH INTERNATIONAL CONFERENCE ON FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS(FMICS)
-
Kubernetes Orchestration of High Availability Distributed Control Systems (2022-08-22)Bjarne Johansson, Mats Rågberger, Thomas Nolte, Alessandro Papadopoulos23rd IEEE International Conference on Industrial Technology(ICIT 2022)
-
RT-SCALER: Adaptive Resource Allocation Framework for Real-Time Containers (2022-07-10)Václav Struhár, Silviu Craciunas, Mohammad Ashjaei, Moris Behnam, Alessandro PapadopoulosReal-time And intelliGent Edge computing workshop(RAGE2022)
-
NodeGuard: A Virtualized Introspection Security Approach for the Modern Cloud Data Center (2022-07-01)Maha Shamseddine, Auday Al-Dulaimy, Wassim Itani, Thomas Nolte, Alessandro PapadopoulosThe 22nd IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing(CCGrid´22)
-
Reliable Visibility Algorithms for Emergency Stop Systems in Smart Industries (2022-06-27)Gabriele Capannini, Jan Carlson, Roger Mellander46th Annual IEEE Computers, Software, and Applications Conference(COMPSAC 2022)
-
HERMES: Heuristic Multi-queue Scheduler for TSN Time-Triggered Traffic with Zero Reception Jitter Capabilities (2022-06-07)Daniel Bujosa Mateu, Mohammad Ashjaei, Alessandro Papadopoulos, Thomas Nolte, Julián ProenzaThe 30th International Conference on Real-Time Networks and Systems(RTNS'22)
-
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)
-
HyTI mission: Raw thermal instrument on orbit data processing with SpaceCloud (2022-05-20)Fredrik Bruhn, Alice Anlind, Miguel Nunes, Eric Pilger, Amber Imai-Hong, Mark Wood, Robert Wright, Paul Lucey, Luke FlynnCNES/ESA 4S Symposium 2022(4S)
-
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)
-
Cross-Platform Blended Modelling with JetBrains MPS and Eclipse Modeling Framework (2022-04-10)Malvina Latifaj, Hilal Taha, Federico Ciccozzi, Antonio Cicchetti19th International Conference on Information Technology : New Generations(ITNG2022)
-
Blended Modeling Applied to the Portable test and Stimulus Standard (2022-04-10)Muhammad Waseem Anwar, Malvina Latifaj, Federico Ciccozzi19th International Conference on Information Technology : New Generations(ITNG2022)
-
On the Computation of Interprocedural Weak Control Closure (2022-04-01)Abu Naser Masud, Björn LisperACM SIGPLAN 2022 International Conference on Compiler Construction(CC '22)
-
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)
-
Design-time Specification of Dynamic Modular Safety Cases In Support of Run-Time Safety Assessment (2022-02-10)Elham Mirzaei, Carmen Carlan, Carsten Thomas, Barbara GallinaSafety-Critical Systems Symposium(SSS-2022)
-
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 2022)
-
Partial Order Reduction for Timed Actors (2022-00-00)Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Hossein Hojjat, Ali MovagharWorking Conference on Verified Software: Theories, Tools, and Experiments(VSTTE'21)
-
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)
-
Towards Qualitative and Quantitative Dependability Analyses for AR-equipped Socio-technical Systems (2021-11-24)Soheila Sheikh Bahaei, Barbara Gallina5th International Conference on System Reliability and Safety(ICSRS-2022)
-
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)
-
REACT: Enabling Real-Time Container Orchestration (2021-09-10)Václav Struhár, Silviu Craciunas, Mohammad Ashjaei, Moris Behnam, Alessandro Papadopoulos26th IEEE International Conference on Emerging Technologies and Factory Automation(ETFA 2021)
-
Schedulability Analysis of Best-Effort Traffic in TSN Networks (2021-09-07)Bahar Houtan, Mohammad Ashjaei, Masoud Daneshtalab, Mikael Sjödin, Sara Afshar, Saad Mubeen26th 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)
-
Self-adapting Industrial Augmented Reality applications with proactive Dynamic Software Product Lines (2021-09-07)Inmaculada Ayala, Mercedes Amor, Lidia Fuentes, Alessandro Papadopoulos26th IEEE International Conference on Emerging Technologies and Factory Automation(ETFA 2021)
-
LETRA: Mapping Legacy Ethernet-Based Traffic into TSN Traffic Classes (2021-09-07)Daniel Bujosa Mateu, Mohammad Ashjaei, Alessandro Papadopoulos, Julián Proenza, Thomas Nolte26th IEEE International Conference on Emerging Technologies and Factory Automation(ETFA 2021)
-
Automatic Platform-Independent Monitoring and Ranking of Hardware Resource Utilization (2021-09-07)Shamoona Imtiaz, Jakob Danielsson, Moris Behnam, Gabriele Capannini, Jan Carlson, Marcus Jägemar26th IEEE International Conference on Emerging Technologies and Factory Automation(ETFA 2021)
-
Extended Abstract: ProDSPL: Proactive Self-Adaptation based on Dynamic Software ProductLines (2021-09-06)Inmaculada Ayala, Alessandro Papadopoulos, Mercedes Amor, Lidia Fuentes25th ACM International Systems and Software Product Line Conference(SPLC 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)
-
Safety Case Maintenance: A Systematic Literature Review (2021-08-25)Carmen Carlan, Barbara Gallina, Liana Soima40th International Conference on Computer Safety, Reliability and Security(SAFECOMP-2021)
-
RoCo-NAS: Robust and Compact Neural Architecture Search (2021-07-18)Vahid Geraeinejad, Sima Sinaei, Mehdi Modarressi, Masoud Daneshtalabthe international joint conference on neural networks(IJCNN)
-
Model-based Automation of Test Script Generation Across Product Variants: a Railway Perspective (2021-06-28)Alessio Bucaioni, Fabio Di Silvestro, Inderjeet Singh, Mehrdad Saadatmand, Henry Muccini, Thorvaldur Jochumsson2nd ACM/IEEE International Conference on Automation of Software Test(AST 2021)
-
SPACECLOUD CLOUD COMPUTING AND IN-ORBIT DEMONSTRATION (2021-06-17)Oskar Flordal, Aris Synodinos, Mattias Herlitz, Henrik Magnusson, David Steenari, Kyra Förster, Michele Castorina, Tom George, Ian Troxel, Simon Reid, Chris Brunskill, Fredrik BruhnEUROPEAN WORKSHOP ON ON-BOARD DATA PROCESING(OBDP2021)
-
Gamified and Self-Adaptive Applications for the Common Good: Research Challenges Ahead (2021-05-31)Antonio Bucchiarone, Antonio Cicchetti, Nelly Bencomo, Enrica Loria, Annapaola Marconi2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)(SEAMS2021)
-
On Sustainability for Offset Based Response-Time Analysis (2021-05-26)Jukka Mäki-Turja, Kaj Hänninen, Mikael SjödinEuropean Conference on the Engineering of Computer-Based Systems(ECBS)
-
Towards Automatic Application Fingerprinting Using Performance Monitoring Counters (2021-05-26)Shamoona Imtiaz, Jakob Danielsson, Moris Behnam, Gabriele Capannini, Jan Carlson, Marcus Jägemar7th international Conference on the Engineering of Computer Based Systems(ECBS 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)
-
ELC-ECG: Efficient LSTM Cell for ECG Classification based on Quantized Architecture (2021-05-22)Seyed Ahmad Mirsalari, Najmeh Nazari, Sima Sinaei, Mostafa Salehi, Masoud DaneshtalabIEEE International Symposium on Circuits & Systems(ISCAS)
-
Thou Shalt Not Move - A Visibility-based Emergency Stop System for Smart Industries (2021-05-01)
-- Best Paper Award--
Gabriele Capannini, Jan Carlson, Roger Mellander7th international Conference on the Engineering of Computer Based Systems(ECBS 2021)
-
Exploiting Parallelism in Multi-Task Robot Allocation Problems (2021-04-29)Branko Miloradovic, Baran Çürüklü, Mikael Ekström, Alessandro Papadopoulos21st IEEE International Conference on Autonomous Robot Systems and Competitions(ICARSC 2021)
-
LOOPS: A Holistic Control Approach for Resource Management in Cloud Computing (2021-04-19)Auday Al-Dulaimy, Javid Taheri, Alessandro Papadopoulos, Thomas Nolte12th ACM/SPEC International Conference on Performance Engineering(ICPE 2021)
-
Synthesising Schedules to Improve QoS of Best-effort Traffic in TSN Networks (2021-04-09)Bahar Houtan, Mohammad Ashjaei, Masoud Daneshtalab, Mikael Sjödin, Saad Mubeen29th International Conference on Real-Time Networks and Systems (RTNS'21)(RTNS 2021)
-
Assured Cloud Platforms for Industrial Cyber-Physical Systems: The ACICS Approach (2021-04-01)Cristina Seceleanu, Eduard Paul Enoiu, Moris Behnam, Gabriele Capannini, Jan Carlson, Kristina Lundqvist, Séverine Sentilles7th international Conference on the Engineering of Computer Based Systems(ECBS 2021)
-
Securing System-of-Systems through a Game Theory Approach (2021-03-26)Jamal El Hachem, Elena Lisova, Aida CausevicThe 36th ACM/SIGAPP Symposium On Applied Computing(SAC2021)
-
Aligning Architecture with Business Goals in the Automotive Domain (2021-03-22)Alessio Bucaioni, Patrizio Pelliccione, Rebekka WohlrabIEEE INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE (ICSA 2021)(ICSA 2021)
-
An Automated Configuration Framework for TSN Networks (2021-03-12)Bahar Houtan, Albert Bergström, Mohammad Ashjaei, Masoud Daneshtalab, Mikael Sjödin, Saad Mubeen22nd IEEE International Conference on Industrial Technology (ICIT'21)(ICIT 2021)
-
Transferring a model-based development methodology to the automotive industry (2021-03-10)Alessio Bucaioni, Vlatko Dimic, Henrik Lönn, Mattias Gålnander, John Lundbäck22nd IEEE International Conference on Industrial Technology (ICIT'21)(ICIT 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)
-
Checkable Safety Cases: Enabling Automated Consistency Checks between Safety Work Products (2021-01-04)Carmen Carlan, Daniel Petrisor, Barbara Gallina, Hannes Schoenhaar 10th IEEE International Workshop on Software Certification(WoSoCER-2020)
-
Making SafeConcert Security-informed to Enable Multi-concern Modelling (2020-11-30)Barbara Gallina, Zulqarnain Haider30th European Safety and Reliability Conference(ESREL-2020)
-
Enhancing State-of-the-art Safety Case Patterns to Support Change Impact Analysis (2020-11-30)Carmen Carlan, Barbara Gallina30th European Safety and Reliability Conference(ESREL-2020)
-
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)
-
Simple and Efficient Computation of Minimal Weak Control Closure (2020-11-18)Abu Naser MasudSAS 2020 - 27th Static Analysis Symposium(SAS 2020)
-
Specification and Automated Verification of Atomic Concurrent Real-time Transactions (2020-10-31)Simin Cai, Barbara Gallina, Dag Nyström, Cristina SeceleanuACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems(MODELS '20)
-
Co-evolution of Simulink Models in a Model-Based Product Line (2020-10-23)Robbert Jongeling, Antonio Cicchetti, Federico Ciccozzi, Jan CarlsonACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems(MODELS '20)
-
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)
-
Towards boosting the OpenMBEE platform with model-code consistency (2020-10-16)Robbert Jongeling, Antonio Cicchetti, Federico Ciccozzi, Jan CarlsonWorkshop on Open Model Based Engineering Environment (OpenMBEE)(OpenMBEE)
-
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)
-
MuBiNN: Multi-Level Binarized Recurrent Neural Network for EEG signal Classification (2020-10-10)Seyed Ahmad Mirsalari, Sima Sinaei, Mostafa Salehi, Masoud DaneshtalabIEEE International Symposium on Circuits & Systems(ISCAS)
-
Planning and Supervising Autonomous Underwater Vehicles through the Mission Management Tool (2020-10-05)Afshin Ameri E., Baran Çürüklü, Branko Miloradovic, Mikael EkströmGlobal OCEANS 2020(OCEANS)
-
Using Benji to Systematically Evaluate Model Comparison Algorithms (2020-10-01)Lorenzo Addazi, Antonio CicchettiACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems(MODELS '20)
-
Papyrus for gamers, let’s play modeling (2020-10-01)
-- Best Paper Award--
Antonio Bucchiarone, Maxime Savary-Leblanc, Xavier Le Pallec, Jean-Michel Bruel, Antonio Cicchetti, Jordi Cabot, Sebastien Gerard, Hamna Aslam, Annapaola Marconi, Mirko PerilloACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems(MODELS '20)
-
Network Fault Tolerance by Means of Diverse Physical Layers (2020-09-30)Pablo Gutiérrez Peón, Wilfried Steiner, Elisabeth UhlemannThe 25th IEEE International Conference on Emerging Technologies and Factory Automation(ETFA2020)
-
Run-time and Collective Adaptation of Gameful Systems (2020-09-15)Antonio Bucchiarone, Nelly Bencomo, Enrica Loria, Annapaola Marconi, Antonio Cicchetti2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion(ACSOS-C)
-
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)
-
A Barbell Strategy-oriented Regulatory Framework and Compliance Management (2020-09-11)Barbara Gallina29th European & Asian System, Software & Service Process Improvement & Innovation(EuroAsiaSP2 '22)
-
Clock Synchronization in Integrated TSN-EtherCAT Networks (2020-09-11)Daniel Bujosa Mateu, Daniel Hallmans, Mohammad Ashjaei, Alessandro Papadopoulos, Julián Proenza, Thomas NolteThe 25th IEEE International Conference on Emerging Technologies and Factory Automation(ETFA2020)
-
Analysis of the TSN Standards for Utilization in Long-life Industrial Distributed Control Systems (2020-09-11)Daniel Hallmans, Mohammad Ashjaei, Thomas NolteThe 25th IEEE International Conference on Emerging Technologies and Factory Automation(ETFA2020)
-
Real-time Fog-based Industrial Robotic System: Applications and Challenges (2020-09-08)Shaik Salman, Václav Struhár, Zeinab Bakhshi, Van Lan Dao, Nitin Desai, Alessandro Papadopoulos, Thomas Nolte, Vasileios Karagiannis, Stefan Schulte, Alexandre Venito, Gerhard FohlerThe 25th IEEE International Conference on Emerging Technologies and Factory Automation(ETFA2020)
-
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)
-
From AMALTHEA to RCM and Back: a Practical Architectural Mapping Scheme (2020-08-26)Alessio Bucaioni, Matthias Becker, John Lundbäck, Harald Mackamul46th Euromicro Conference on Software Engineering and Advanced Applications(SEAA 2020)
-
Resource Dependency Analysis in Multi-Core Systems (2020-08-01)Jakob Danielsson, Tiberiu Seceleanu, Marcus Jägemar, Moris Behnam, Mikael Sjödin44th Annual Computers, Software, and Applications Conference(COMPSAC 2020)
-
DenseDisp: Resource-Aware Disparity Map Estimation by Compressing Siamese Neural Architecture (2020-07-27)Mohammad Loni, Ali Zoljodi, Amin Majd, Masoud Daneshtalab, Mikael Sjödin, Ben Juurlink, Reza AkbariIEEE WORLD CONGRESS ON COMPUTATIONAL INTELLIGENCE (WCCI) 2020(IEEE WCCI)
-
Model Checking Software in Cyberphysical Systems (2020-07-13)Marjan Sirjani, Edward Lee, Ehsan Khamespanah44th Annual Computers, Software, and Applications Conference(COMPSAC 2020)
-
How control-friendly is a computing system? And how control-friendly could it be? (2020-07-12)Alberto Leva, Silvano Seva, Federico Terraneo, Alessandro Papadopoulos, Martina Maggio 21st IFAC World Congress(IFAC2020)
-
Methodological Principles for Reproducible Performance Evaluation in Cloud Computing (2020-07-06)Alessandro Papadopoulos, Laurens Versluis, André Bauer, Nikolas Roman Herbst, Jóakim von Kistowski, Ahmed Ali-Eldin, Cristina Abad, J. Nelson Amaral, Petr Tuma, Alexandru Iosup42nd International Conference on Software Engineering(ICSE 2020)
-
Towards Bridging the Gap between Control and Self-Adaptive System Properties (2020-06-29)Javier Camara Moreno, Alessandro Papadopoulos, Danny Weyns, Thomas Vogel, David Garlan, Shihong Huang, Kenji TeiInternational Symposium on Software Engineering for Adaptive and Self-Managing Systems(SEAMS 2020)
-
Towards Consistency Checking Between a System Model and its Implementation (2020-06-26)Robbert Jongeling, Johan Fredriksson, Federico Ciccozzi, Antonio Cicchetti, Jan CarlsonInternational Conference on Systems Modelling and Management(ICSMM)
-
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)
-
Fog Computing for Augmented Reality: Trends, Challenges and Opportunities (2020-05-29)Shaik Salman, Taufik Akbar Sitompul, Alessandro Papadopoulos, Thomas Nolte2020 IEEE International Conference on Fog Computing (ICFC 2020)
-
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)
-
Adaptive Autonomy in Wireless Sensor Networks (2020-05-08)Mirgita Frasheri , Jose Cano-Garcia, Eva Gonzalez-Parada, Baran Çürüklü, Mikael Ekström, Alessandro Papadopoulos, Cristina UrdialesInternational Conference on Autonomous Agents and Multi-Agent Systems(AAMAS'20)
-
Real-Time Containers: A Survey (2020-04-21)Václav Struhár, Moris Behnam, Mohammad Ashjaei, Alessandro PapadopoulosWorkshop on Fog Computing and the Internet of Things 2020(Fog-IoT '20)
-
Trust in Self-aware Systems (2020-04-16)Alessandro Papadopoulos, Lukas EsterleSelf-Awareness in Cyber-Physical Systems 2020(SelPhyS2020)
-
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)
-
Technical Architectures for Automotive Systems (2020-03-16)Alessio Bucaioni, Patrizio PelliccioneIEEE INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE (ICSA 2020)
-
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)
-
Service Realizability Check as a Technique to Support a Service Security Assurance Case (2020-02-26)Predrag Filipovikj, Aida Causevic, Elena Lisova21st IEEE International Conference on Industrial Technology(ICIT'20)
-
Methodological Principles for Reproducible Performance Evaluation in Cloud Computing (2020-02-24)Alessandro Papadopoulos, Laurens Versluis, André Bauer, Nikolas Roman Herbst, Jóakim von Kistowski, Ahmed Ali-Eldin, Cristina Abad, J. Nelson Amaral, Petr Tuma, Alexandru IosupSoftware Engineering, Fachtagung des GI-Fachbereichs Softwaretechnik(SE 2020)
-
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)
-
Developing Safe Smart Contracts (2020-00-00)Sajjad Rezaei, Ehsan Khamespanah, Marjan Sirjani, Ali Sedaghatbaf, Siamak MohammadiCOMPSAC 2020: IEEE 44th Annual Computers, Software, and Applications Conference(COMPSAC 2020)
-
Towards Formal Analysis of Vehicle Platoons Using Actor Model (2020-00-00)Zeinab Sharifi, Ramtin Khosravi, Marjan Sirjani, Ehsan KhamespanahThe 25th IEEE International Conference on Emerging Technologies and Factory Automation(ETFA2020)
-
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)
-
Using Bayesian Networks for a Cyberattacks Propagation Analysis in Systems-of-Systems (2019-12-02)Jamal El Hachem, Ali Sedaghatbaf, Elena Lisova, Aida CausevicAsia-Pacific Software Engineering Conference(APSEC 2019)
-
Methods for Enhancement of a Master of Engineering Programme (2019-11-28)Håkan Forsberg, Kristina Lundqvist, Kristina ForsbergThe 7th Development Conference for Swedish Engineering Education(USIU'2019)
-
Secrecy Performance Analysis of Cooperative NOMA Networks With Active Protection under α − µ Fading (2019-11-25)Tung Pham Huu, Van Nhan Vo, Tran Hung, Quach Xuan Truong International Conference on Advanced Technologies for Communications(ATC)
-
Privacy-Aware Job Submission in the Cloud (2019-11-19)Auday Al-Dulaimy, Wassim Itani, Maha Shamseddine, Javid Taheri The 2nd IEEE Middle East and North Africa communications conference(MENACOMM'19)
-
Mitigating Rogue Node Attacks in Edge Computing (2019-11-19)Maha Shamseddine, Wassim Itani, Auday Al-Dulaimy, Javid Taheri The 2nd IEEE Middle East and North Africa communications conference(MENACOMM'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)
-
SoFA: A Spark-oriented Fog Architecture (2019-10-17)Neda Maleki, Mohammad Loni, Masoud Daneshtalab, Mauro Conti , Hossein FotouhiIEEE 45th Annual Conference of the Industrial Electronics Society(IECON'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)
-
A Cloud Based Super-Optimization Method to Parallelize the Sequential Code’s Nested Loops (2019-10-04)Amin Majd, Mohammad Loni, Golnaz Sahebi, Masoud Daneshtalab, Elena TroubitsynaIEEE 13th International Symposium on Embedded Multicore/Many-core Systems-on-Chip(MCSoC-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)
-
Towards constructing the SSA form using reaching definitions over dominance frontiers (2019-09-30)
-- Best Paper Award--
Abu Naser Masud, Federico CiccozziIEEE International Working Conference on Source Code Analysis and Manipulation(SCAM)
-
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)
-
Executable Modelling for Highly Parallel Accelerators (2019-09-17)Lorenzo Addazi, Federico Ciccozzi, Björn LisperWorkshop on Modelling Language Engineering and Execution at IEEE/ACM 22nd International Conference on Model Driven Engineering Languages and Systems(MLE@MODELS)
-
Blended Modelling – What, Why and How (2019-09-16)Federico Ciccozzi, Matthias Tichy, Hans Vangheluwe, Danny WeynsMPM4CPS workshop(MPM4CPS)
-
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)
-
Cybersecurity Challenges in Large Industrial IoT Systems (2019-09-09)Björn Leander, Aida Causevic, Hans HanssonThe 24th IEEE Conference on Emerging Technologies and Factory Automation(ETFA2019)
-
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)
-
Holistic Modeling of Time Sensitive Networking in Component-based Vehicular Embedded Systems (2019-08-28)Saad Mubeen, Mohammad Ashjaei, Mikael SjödinEuromicro Conference on Software Engineering and Advanced Applications(SEAA 2019)
-
Bringing MoVES Towards Consolidated Electrical/Electronic Automotive Architectures (2019-08-28)Alessio Bucaioni, Saad MubeenWork in Progress Session of the Euromicro DSD/SEAA 2019 conference (WIP-SEAA)
-
Towards a Framework for Safe and Secure Adaptive Collaborative Systems (2019-07-15)Aida Causevic, Alessandro Papadopoulos, Marjan SirjaniIEEE Computer Society Conference on Computers, Software and Applications(COMPSAC 2019)
-
Boosting the Development of High-performance Automotive Systems (2019-07-15)Alessio BucaioniJunior Researcher Community Event at Software Technologies: Applications and Foundations 2019 (STAF-JRC19)
-
Investigating Attack Propagation in a SoS via a Service Decomposition (2019-07-09)Elena Lisova, Jamal El Hachem, Aida CausevicIEEE SERVICES Workshop on Cyber Security and Resilience in the Internet of Things(CSR 2019)
-
Testing Performance-Isolation in Multi-Core Systems (2019-07-01)Jakob Danielsson, Moris Behnam, Marcus Jägemar, Tiberiu Seceleanu, Mikael SjödinCOMPSAC 2020: IEEE 44th Annual Computers, Software, and Applications Conference(COMPSAC 2020)
-
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)
-
Developing Predictable Vehicular Embedded Systems Utilizing Time-Sensitive Networking–A Research Plan (2019-06-04)Bahar Houtan, Mohammad Ashjaei, Masoud Daneshtalab, Mikael Sjödin, Saad Mubeen15th Swedish National Computer Networking Workshop (SNCNW'19)(SNCNW 2019)
-
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)
-
Analysis and Evaluation of Self-Organizing TDMA for Industrial Applications (2019-05-27)Zaloa Fernández, Iñaki Val, Mikel Mendicute, Elisabeth UhlemannIEEE International Workshop on Factory Communication Systems(WFCS'19)
-
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)
-
Extended Colored Traveling Salesperson for Modeling Multi-Agent Mission Planning Problems (2019-02-22)Branko Miloradovic, Baran Çürüklü, Mikael Ekström, Alessandro Papadopoulos8th International Conference on Operations Research and Enterprise Systems(ICORES 2019)
-
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)
-
Outage Probability of Vital Signs Detecting Radar Sensor System (2019-01-30)Van Nguyen Thi Phuoc, Tran Hung, Syed Faraz Hasan, Liqiong Tang, Minh Nguyen Duc
-
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)
-
Towards an Actor-based Approach to Design Verified ROS-based Robotic Programs using Rebeca (2019-01-01)Saeid Dehnavi, Ali Sedaghatbaf, Bahar Salmani, Marjan Sirjani, Mehdi Kargahi, Ehsan KhamespanahThe 16th International Conference on Mobile Systems and Pervasive Computing(MobiSPC)
-
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)
-
Probabilistic Communication in Car Platoons (2018-11-30)Tam Ninh Thi Thanh, Tran Hung, Nils Müllner International Conference on Advanced Technologies for Communications(ATC)
-
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)
-
Towards Security Case Run-time Adaptation by System Decomposition into Services (2018-10-21)Elena Lisova, Aida Causevic44th 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)
-
Static Flow Analysis of the Action Language for Foundational UML (2018-10-01)Jean Malm, Federico Ciccozzi, Jan Gustafsson, Björn Lisper, Jonas SkoogInternational Conference on Emerging Technologies and Factory Automation(ETFA'18)
-
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)
-
Incorporating Attacks Modeling into Safety Process (2018-09-18)Amer Surkovic, Dzana Hanic, Elena Lisova, Aida Causevic, Kristina Lundqvist, David Wenslandt, Carl Falk6th International Workshop on Assurance Cases for Software-intensive Systems(ASSURE 2018)
-
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)
-
The Challenge of Safety Tactics Synchronization for Cooperative Systems (2018-09-07)Elena Lisova, Svetlana GirsInternational workshop on Interplay of Security, Safety and System/Software Architecture(ISSA-2018)
-
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 Systematic Way to Incorporate Security in Safety Analysis (2018-06-25)Elena Lisova, Aida Causevic, Kaj Hänninen, Henrik Thane, Hans Hansson3rd Workshop on Security and Dependability of Critical Embedded Real-Time Systems(CERTS'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)
-
Early Results and Ideas for Enhancements of the Master of Engineering Programme in Dependable Aerospace Systems (2017-12-21)Håkan Forsberg, Kristina Lundqvist, Fredrik Ekstrand, Magnus OtterskogThe 6th Development Conference for Swedish Engineering (USIU2017)
-
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)
-
A Risk and Threat Assessment Approaches Overview in Autonomous Systems of Systems (2017-10-26)Aida CausevicThe 26th International Conference on Information, Communication and Automation Technologies(ICAT2017)
-
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 Provenzano27th European Safety and Reliability Conference(ESREL'27)
-
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)
-
Ensuring Quality of Service through Modeling of Service-level Agreements in Industrial IoT (2016-06-01)Saad Mubeen, Hongyu Pei-Breivold, Moris Behnam12th Swedish National Computer Networking Workshop(SNCNW 2016)
-
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)
-
An Actor-based Design Platform for System of Systems (0000-00-00)Marjan Sirjani, Giorgio Forcina, Ali Jafari, Stephan Baumgart, Ehsan Khamespanah, Ali SedaghatbafCOMPSAC 2020: IEEE 44th Annual Computers, Software, and Applications Conference(COMPSAC 2020)
-
Design Challenges in Hardware Development of Time-Sensitive Networking: A Research Plan (0000-00-00)Adnan Ghaderi, Masoud Daneshtalab, Mohammad Ashjaei, Mohammad Loni, Saad Mubeen, Mikael SjödinProceedings of the Cyber-Physical Systems PhD Workshop 2019, "Designing Cyber-Physical Systems " (CPSWS19)
-
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)
-
SHiLA: Synthesizing High-Level Assertions for High Speed Validation of High-Level Designs (0000-00-00)Mohammad Riazati, Masoud Daneshtalab, Mikael Sjödin, Björn LisperSymposium on Design and Diagnostics of Electronic Circuits and Systems(DDECS'20)
-
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)
-
Adjustable self-healing methodology for accelerated functions in heterogeneous systems (0000-00-00)Mohammad Riazati, Masoud Daneshtalab, Mikael Sjödin, Björn LisperEuromicro Conference on Digital System Design(DSD'20)
-
DeepHLS: A complete toolchain for automatic synthesis of deep neural networks to FPGA (0000-00-00)Mohammad Riazati, Masoud Daneshtalab, Mikael Sjödin, Björn LisperInternational Conference on Electronics Circuits and Systems(ICECS'20)
-
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)
-
Developing a Translation Technique for Converged TSN-5G Communication (0000-00-00)Zenepe Satka, David Pantzar, Alexander Magnusson, Mohammad Ashjaei, Hossein Fotouhi, Mikael Sjödin, Masoud Daneshtalab, Saad Mubeen18th IEEE International Conference on Factory Communication Systems(WFCS'22)
-
AutoDeepHLS: Deep Neural Network High-level Synthesis using fixed-point precision (0000-00-00)Mohammad Riazati, Masoud Daneshtalab, Mikael Sjödin, Björn LisperInternational Conference on Artificial Intelligence Circuits and Systems(AICAS'22)
-
DeepFlexiHLS: Deep Neural Network Flexible High-Level Synthesis Directive Generator (0000-00-00)Mohammad Riazati, Masoud Daneshtalab, Mikael Sjödin, Björn LisperIEEE Nordic Circuits and Systems Conference(NORCAS)
-
DeepAxe: A Framework for Exploration of Approximation and Reliability Trade-offs in DNN Accelerators (0000-00-00)Mahdi Taheri, Mohammad Riazati, Mohammad Ahmadilivani, Maksim Jenihhin, Masoud Daneshtalab, Jaan Raik, Mikael Sjödin, Björn LisperInternational Symposium on Quality Electronic Design(ISQED 2023)
-
End-to-end Timing Model Extraction from TSN-Aware Distributed Vehicle Software (0000-00-00)Bahar Houtan, Mehmet Onur Aybek, Mohammad Ashjaei, Masoud Daneshtalab, Mikael Sjödin, Saad Mubeen48th Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA'22)
-
DeepVigor: Vulnerability Value Ranges and Factors for DNNs' Reliability Assessment (0000-00-00)Mohammad Ahmadilivani, Mahdi Taheri, Jaan Raik, Masoud Daneshtalab, Maksim JenihhinEuropean Test Symposium 2023(IEEE ETS)
-
Centralised Architecture for the Automatic Self-Configuration of Industrial Networks (0000-00-00)Ines Alvarez, Daniel Bujosa Mateu, Bjarne Johansson, Mohammad Ashjaei, Saad Mubeen28th International Conference on Emerging Technologies and Factory Automation(ETFA 2023)
-
Case study on the use of the SafeML approach in training autonomous driving vehicles (0000-00-00)Matthias Bergler, Ramin Tavakoli Kolgari, Kristina Lundqvist
-
Social Engineering Exploits in Automotive Software Security: Modeling Humantargeted Attacks with SAM (0000-00-00)Matthias Bergler, Juha-Pekka Tolvanen, Markus Zoppelt, Ramin Tavakoli Kolgari31st European Safety and Reliability Conference(ESREL-2021)
-
Integrating Security and Safety with Systems Engineering: a Model-Based Approach (0000-00-00)Matthias Bergler, Juha-Pekka Tolvanen, Ramin Tavakoli Kolgari
-
Afra: An Eclipse-Based Tool with Extensible Architecture for Modeling and Model Checking of Rebeca Family Models (0000-00-00)Ehsan Khamespanah, Marjan Sirjani, Ramtin KhosraviInternational Conference on Fundamentals of Software Engineering(FSEN 2023)
-
Transparent Actor Model (0000-00-00)Fatemeh Ghasemi, Marjan Sirjani, Ehsan Khamespanah, Mahrokh Mirani, Hossein HojjatInternational Conference on Formal Methods in Software Engineering(FormaliSE 2023)
-
Model Checking of Hyperledger Fabric Smart Contracts (0000-00-00)Elmira Ebrahimi, Ehsan Khamespanah, Marjan Sirjani, Siamak MohammadiInternational Conference on Emerging Technologies and Factory Automation(ETFA 2023)
-
Bandwidth Reservation Analysis for Schedulability of AVB Traffic in TSN (0000-00-00)Bahar Houtan, Mohammad Ashjaei, Masoud Daneshtalab, Mikael Sjödin, Saad Mubeenthe 25th IEEE Internetional Conference on Industrial Technology(ICIT'24)
Master Theses(4) Report - MRTC(12)-
HERO-ML Specification (2023-02-07)Björn Lisper, Linus Källberg
-
Technical Report on Risk Assessment of Safety-critical Socio-technical Systems: A Systematic Literature Review (2022-12-30)Soheila Sheikh Bahaei, Barbara GallinaMRTC Report, Mälardalen Real-Time Research Centre(MRTC 2022)
-
Technical Report on Assessing Risk of AR and Organizational Changes Factors in Socio-technical Robotic Manufacturing (2022-12-30)Soheila Sheikh Bahaei, Barbara GallinaMRTC Report, Mälardalen Real-Time Research Centre(MRTC 2022)
-
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
-
Supporting End-to-end Data-propagation Delay Analysis for TSN Networks (2021-11-18)Bahar Houtan, Mohammad Ashjaei, Masoud Daneshtalab, Mikael Sjödin, Saad MubeenMRTC Report, Mälardalen Real-Time Research Centre(MRTC 2021)
-
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(8)-
Search results of security ontologies 1988-2022 (2022-10-03)Malina Adach, Kaj Hänninen, Kristina Lundqvist
-
Structured Information Retrieval of Security Ontologies (2022-10-03)Malina Adach, Kaj Hänninen, Kristina Lundqvist
-
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
-
Automotive Software Security Engineering based on the ISO 21434 (0000-00-00)Matthias Bergler, Ramin Tavakoli Kolgari
Article, research overeview(1) Article, review(8) Manuscript(1) Proceedings (Editor)(2) Other(5)-
RELIANT Industrial graduate school @ MDU (2023-03-29)Kristina Lundqvist, Baran Çürüklü, Elisabeth Uhlemann, Mikael Sjödin, Marjan Sirjani, Cristina Seceleanu, Tiberiu Seceleanu, Malin Rosqvist, Saad Mubeen, Kaj Hänninen, Håkan Forsberg, Mikael Ekström, Masoud Daneshtalab, Federico Ciccozzi
-
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)
Keynote Lecture(1)
|