Publications
Number of publications matching the search criterion: 96 (showing 1 - 50)
Licentiate Thesis (1)
Improving Soft Real-Time Performance of Fog Computing (Sep 2021) Václav Struhár
Book (2)
Software Architecture Stefan Biffl , Elena Navarro , Welf Löwe , Marjan Sirjani, Raffaela Mirandola , Danny Weyns 15th European Conference on Software Architecture (ECSA 2021)
Domain-Specific Languages in Practice with JetBrains MPS (Jul 2021) Antonio Bucchiarone , Antonio Cicchetti, Federico Ciccozzi, Alfonso Pierantonio
Book chapter (5)
Using Afra in Different Domains by Tool Orchestration (Jul 2021) Ehsan Khamespanah , Pavle Mrvaljevic , Anas Fattouh, Marjan Sirjani Springer International Publishing (Cham)
Integration and Orchestration of Analysis Tools (Jul 2021) Robert Heinrich , Erwan Bousse , Sandro Koch , Arend Rensink , Elvinia Riccobene , Daniel Ratiu , Marjan Sirjani
Engineering Gameful Applications with MPS (Jul 2021) Antonio Bucchiarone , Antonio Cicchetti, Annapaola Marconi
Introduction to Edge Computing (Jun 2020) Auday Al-Dulaimy, Yogesh Sharma , Michel Gokan Khan , Javid Taheri
Open Source Projects for Edge Computing (Jun 2020) Michel Gokan Khan , Auday Al-Dulaimy, Mohammad Ali Khoshkholghi , Javid Taheri
Journal article (26)
Hierarchical Resource Orchestration Framework for Real-Time Containers (Apr 2023) Václav Struhár, Silviu Craciunas , Mohammad Ashjaei, Moris Behnam, Alessandro Papadopoulos ACM Transactions on Embedded Computing Systems (TECS 2023)
Gamifying model-based engineering: the PapyGame experience (Mar 2023) Antonio Bucchiarone , Maxime Savary-Leblanc , Xavier Le Pallec , Antonio Cicchetti, Sebastien Gerard , Simone Bassanelli , Federica Gini , Annapaola Marconi Software and Systems Modeling (SoSym)
Feedback-based resource management for multi-threaded applications (Mar 2023) Alessandro Papadopoulos, Kunal Agrawal , Enrico Bini , Sanjoy Baruah Real-Time Systems (RTSJ 2022)
Ethics of Autonomous Collective Decision-Making: the CAESAR Framework (Nov 2022) Mirgita Frasheri , Václav Struhár, Alessandro Papadopoulos, Aida Causevic Science and Engineering Ethics (JSEE'22)
Multi-concern Dependability-centered Assurance via Qualitative and Quantitative Co-analysis (Apr 2022) Barbara Gallina, Leonardo Montecchi , André Luiz de Oliveira , Lucas Paiva Bressan IEEE Softw. SI (IEEE Softw. SI)
A Comprehensive Exploration of Languages for Parallel Computing (Jan 2022) Federico Ciccozzi, Lorenzo Addazi, Sara Abbaspour, Björn Lisper, Abu Naser Masud, Saad Mubeen ACM Computing Surveys (CSUR'21)
A Comprehensive Study on Artificial Intelligence Algorithms to Implement Safety Using Communication Technologies (Dec 2021) Rafia Inam, Alberto Yukinobu Hata , Vlasjov Prifti , Sara Abbaspour Wireless Personal Communications Journal (WIRE)
PerfSim: A Performance Simulator for Cloud Native Microservice Chains (Dec 2021) Michel Gokan Khan , Javid Taheri , Auday Al-Dulaimy, Andreas Kassler IEEE Transactions on Cloud Computing (TCC)
Multi-paradigm modeling for cyber-physical systems: A systematic mapping review (Sep 2021) 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 Cicchetti Journal of Systems and Software (JSS)
Methodological Principles for Reproducible Performance Evaluation in Cloud Computing (Aug 2021) Alessandro Papadopoulos, Laurens Versluis , André Bauer , Nikolas Roman Herbst , Jóakim von Kistowski , Ahmed Ali-Eldin , Cristina Abad , J. Nelson Amaral , Petr Tuma , Alexandru Iosup IEEE Transactions on Software Engineering (TSE)
A Case Study for Risk Assessment in AR-equipped Socio-technical Systems (Jul 2021) Soheila Sheikh Bahaei, Barbara Gallina, Marko Vidović Journal of Systems Architecture (JSA, 114)
Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems (May 2021) Marjan Sirjani, Luciana Provenzano, Sara Abbaspour, Mahshid Helali Moghadam, Mehrdad Saadatmand Journal of Internet Services and Applications (JISA)
An actor-based framework for asynchronous event-based cyber-physical systems (Apr 2021) Iman Jahandideh , Fatemeh Ghasemi , Marjan Sirjani Software and Systems Modeling (SoSym)
A Probabilistic Model of Belief in Safety Cases (Feb 2021) Damir Nesic , Mattias Nyberg , Barbara Gallina Safety Science Elsevier Journal-2021 (SSJ-2021)
ProDSPL: Proactive Self-Adaptation based on Dynamic Software Product Lines (Jan 2021) Inmaculada Ayala, Alessandro Papadopoulos, Mercedes Amor , Lidia Fuentes Journal of Systems and Software (JSS)
Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control (Jan 2021) Maryam Bagheri , Marjan Sirjani, Ehsan Khamespanah , Christel Baier , Ali Movaghar IEEE Transactions on Software Engineering (TSE)
bwSlicer: A bandwidth slicing framework for cloud data centers (Nov 2020) Auday Al-Dulaimy, Wassim Itani , Javid Taheri , Maha Shamseddine Future Generation Computer Systems (FGCS)
MultiScaler: A Multi-Loop Auto-Scaling Approach for Cloud-Based Applications (Oct 2020) Auday Al-Dulaimy, Javid Taheri , Andreas Kassler , M. Reza H. Farahabady , Shuiguang Deng , Albert Zomaya IEEE Transactions on Cloud Computing (TCC)
Safe Design of Flow Management Systems Using Rebeca (Sep 2020) Giorgio Forcina, Ali Sedaghatbaf, Stephan Baumgart, Ali Jafari , Ehsan Khamespanah , Pavle Mrvaljevic , Marjan Sirjani Journal of Information Processing (IPSJ)
Systematic Evaluation of Model Comparison Algorithms using Model Generation (Jul 2020) Lorenzo Addazi, Antonio Cicchetti 16th European Conference on Modelling Foundations and Applications (ECMFA) (JOT-ECMFA20)
Verification of Cyberphysical Systems (Jul 2020) Marjan Sirjani, Edward Lee, Ehsan Khamespanah Mathematics (Mathematics)
Modelling multi-criticality vehicular software systems: evolution of an industrial component model (Jun 2020) Alessio Bucaioni, Saad Mubeen, Federico Ciccozzi, Antonio Cicchetti, Mikael Sjödin International Journal on Software and Systems Modeling (SoSyM'20)
VeriVANca framework: verification of VANETs by property-based message passing of actors in Rebeca with inheritance (Jun 2020) Farnaz Yousefi , Ehsan Khamespanah , Mohammed Gharib , Marjan Sirjani, Ali Movaghar International Journal on Software Tools for Technology Transfer (STTT)
Guiding assurance of architectural design patterns for critical applications (Mar 2020) Irfan Sljivo, Garazi Juez Uriagereka , Stefano Puri , Barbara Gallina Journal of Systems Architecture, 2021 (JSA)
Co-engineering of Safety and Security Life Cycles for Engineering of Automotive Systems (Mar 2020) Robert Bramberger, Helmut Martin, Barbara Gallina, Christoph Schmittner ACM SIGAda-Ada-Letters-39-II (AdaLetters39-II)
Co-engineering of Safety and Security Life Cycles for Engineering of Automotive Systems (Jan 2020) Robert Bramberger, Helmut Martin, Barbara Gallina, Christoph Schmittner Ada User Journal 40 (4) (AUJ-40 (4))
Conference/Workshop Paper (59)
Resource Adaptation for Real-Time Containers Considering Quality of Control Václav Struhár, Mohammad Ashjaei, Moris Behnam, Alessandro Papadopoulos, Silviu Craciunas 28th International Conference on Emerging Technologies and Factory Automation (ETFA 2023)
Scheduling Firm Real-time Applications on the Edge with Single-bit Execution Time Prediction (May 2023) Shaik Salman, Van-Lan Dao, Alessandro Papadopoulos, Saad Mubeen, Thomas Nolte 2023 IEEE 25th International Symposium on Real Time Distributed Computing (ISORC) (ISORC'23)
The SPEC-RG Reference Architecture for The Compute Continuum (May 2023) Matthijs Jansen , Auday Al-Dulaimy, Alessandro Papadopoulos, Animesh Trivedi , Alexandru Iosup 23rd IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing (CCGrid'23)
Fault tolerance in cloud manufacturing: An overview (Apr 2023) Auday Al-Dulaimy, Mohammad Ashjaei, Moris Behnam, Thomas Nolte, Alessandro Papadopoulos The 13th EAI International Conference on Mobile Computing, Applications and Services (MobiCASE 2022)
Multiconcern, Dependability-Centered Assurance Via a Qualitative and Quantitative Co-analysis (Mar 2023) Barbara Gallina, Leonardo Montecchi , André Luiz de Oliveira , Lucas Paiva Bressan 20TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE (ICSA 2023)
Priority Based Ethernet Handling in Real-Time End System with Ethernet Controller Filtering (Oct 2022) Bjarne Johansson, Mats Rågberger , Thomas Nolte, Alessandro Papadopoulos 48th Annual Conference of the Industrial Electronics Society (IECON 2022)
Cyberattacks: Modeling, Analysis, and Mitigation (Sep 2022) Sara Abbaspour 6th International Conference on Computer, Software and Modeling (ICCSM)
TOLERANCER: A Fault Tolerance Approach for Cloud Manufacturing Environments (Sep 2022) Auday Al-Dulaimy, Christian Sicari , Alessandro Papadopoulos, Antonino Galletta , Massimo Villari , Mohammad Ashjaei International Conference on Emerging Technologies and Factory (ETFA'2022)
POSTER: Towards Cyber Resilience of Cyber-Physical Systems using Tiny Twins (Aug 2022) Fereidoun Moradi, Sara Abbaspour, Marjan Sirjani 7th IEEE European Symposium on Security and Privacy (EuroS&P 2022)
Monitoring Cyber-Physical Systems Using a Tiny Twin to Prevent Cyber-Attacks (Aug 2022) Fereidoun Moradi, Maryam Bagheri , Hanieh Rahmati , Hamed Yazdi , Sara Abbaspour, Marjan Sirjani 25TH INTERNATIONAL CONFERENCE ON FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS (FMICS)
Kubernetes Orchestration of High Availability Distributed Control Systems (Aug 2022) Bjarne Johansson, Mats Rågberger , Thomas Nolte, Alessandro Papadopoulos 23rd IEEE International Conference on Industrial Technology (ICIT 2022)
RT-SCALER: Adaptive Resource Allocation Framework for Real-Time Containers (Jul 2022) Václav Struhár, Silviu Craciunas , Mohammad Ashjaei, Moris Behnam, Alessandro Papadopoulos Real-time And intelliGent Edge computing workshop (RAGE2022)
NodeGuard: A Virtualized Introspection Security Approach for the Modern Cloud Data Center (Jul 2022) Maha Shamseddine , Auday Al-Dulaimy, Wassim Itani , Thomas Nolte, Alessandro Papadopoulos The 22nd IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing (CCGrid´22)
Cross-Platform Blended Modelling with JetBrains MPS and Eclipse Modeling Framework (Apr 2022) Malvina Latifaj, Hilal Taha , Federico Ciccozzi, Antonio Cicchetti 19th International Conference on Information Technology : New Generations (ITNG2022)
Design-time Specification of Dynamic Modular Safety Cases In Support of Run-Time Safety Assessment (Feb 2022) Elham Mirzaei , Carmen Carlan , Carsten Thomas , Barbara Gallina Safety-Critical Systems Symposium (SSS-2022)
Partial Order Reduction for Timed Actors (2022) Maryam Bagheri , Marjan Sirjani, Ehsan Khamespanah , Hossein Hojjat , Ali Movaghar Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE'21)
