Improving Soft Real-Time Performance of Fog Computing (Sep 2021) Václav Struhár
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
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
CRYSTAL framework: Cybersecurity assurance for cyber-physical systems (Apr 2024) Fereidoun Moradi, Sara Abbaspour, Bahman Pourvatan , Zahra Moezkarimi, Marjan Sirjani Journal of Logical and Algebraic Methods in Programming (JLAMP)
Tiny Twins for detecting cyber-attacks at runtime using concise Rebeca time transition (Feb 2024) Fereidoun Moradi, Bahman Pourvatan , Sara Abbaspour, Marjan Sirjani Journal of Parallel and Distributed Computing (JPDC 185)
Assessing Risk of AR and Organizational Changes Factors in Socio-technical Robotic Manufacturing (Jan 2024) Soheila Sheikh Bahaei, Barbara Gallina Journal of Robotics and Computer-Integrated Manufacturing, Vol.88, 102731 (RCIM-2024)
Selective Trimmed Average: A Resilient Federated Learning Algorithm With Deterministic Guarantees on the Optimality Approximation (Jan 2024) Mojtaba Kaheni, Martina Lippi , Andrea Gasparri , Mauro Franceschelli IEEE Transactions on Cybernetics (IEEE TCyb)
Hierarchical Resource Orchestration Framework for Real-Time Containers (Jan 2024) Václav Struhár, Silviu Craciunas , Mohammad Ashjaei, Moris Behnam, Alessandro Papadopoulos ACM 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 (Sep 2023) Mojtaba Kaheni, Elio Usai , Mauro Franceschelli IEEE Transactions on Automation Science and Engineering (TASE)
Beyond von Neumann in the Computing Continuum: Architectures, Applications, and Future Directions (Aug 2023) Dragi Kimovski , Nishant Saurabh , Matthijs Jansen , Atakan Aral , Auday Al-Dulaimy, André B. Bondi , Antonino Galletta , Alessandro Papadopoulos, Alexandru Iosup , Radu Prodan IEEE Internet Computing (IC 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)
Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control (Jan 2022) Maryam Bagheri , Marjan Sirjani, Ehsan Khamespanah , Christel Baier , Ali Movaghar IEEE Transactions on Software Engineering (TSE)
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)
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))
Guess and then Check: Controller Synthesis for Safe and Secure Cyber-Physical Systems (Jul 2024) Rong Gu, Zahra Moezkarimi, Marjan Sirjani 44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2024)
Hybrid Moving Controller: Modified Hybrid Moving Target Defense with Stability Guarantees (Jun 2024) Mojtaba Kaheni, Alessandro Papadopoulos 22nd European Control Conference (ECC 2024)
A Systematic Approach Towards Enhancing Digital Privacy in Industrial Applications (Jun 2024) Sara Abbaspour 12th International Conference of Security, Privacy and Trust Management (SPTM)
Combining model-based development and formal verification of a complex ROS2 multi-robots system using Timed Rebeca (Jun 2024) Hiep Hong Trinh, Marjan Sirjani, Fereidoun Moradi, Antonio Cicchetti, Federico Ciccozzi International Workshop on Reliability Engineering Methods for Autonomous Robots – REMARO 2024 (REMARO2024)
Partible State Replication for Industrial Controller Redundancy (Mar 2024) Bjarne Johansson, Olof Holmgren , Alessandro Papadopoulos, Thomas Nolte the 25th IEEE Internetional Conference on Industrial Technology (ICIT'24)
From TARA to Test: Automated Automotive Cybersecurity Test Generation Out of Threat Modeling (Dec 2023) Stefan Marksteiner, Christoph Schmittner , Korbinian Christl , Dejan Nickovic , Mikael Sjödin, Marjan Sirjani 7th ACM Computer Science in Cars Symposium (CSCS'23)
Enhancing CRYSTAL: Preventive Recovery in Brief (Nov 2023) Fereidoun Moradi, Zahra Moezkarimi, Marjan Sirjani
Using Automata Learning for Compliance Evaluation of Communcation Protocols on an NFC Handshake Example (Oct 2023) Stefan Marksteiner, Marjan Sirjani, Mikael Sjödin 8th International Conference on Engineering of Computer-based Systems (ECBS2023)
Barriers for Adopting FMI-based Co-Simulation in Industrial MBSE Processes (Oct 2023) Johan Cederbladh, Anna Reale , Andreas Bergsten , Richard Mikelöv , Antonio Cicchetti MODELS'23 (MODELS23)
Consistency Before Availability: Network Reference Point based Failure Detection for Controller Redundancy (Sep 2023) Bjarne Johansson, Mats Rågberger , Alessandro Papadopoulos, Thomas Nolte 28th International Conference on Emerging Technologies and Factory Automation (ETFA 2023)