Publications
Number of publications matching the search criterion: 130 (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 (36)
Rule-Based Predictive Control for Battery Scheduling in Microgrids Under Power Generation and Load Uncertainties (Dec 2024) Mojtaba Kaheni, Jiali Fu , Alessandro Papadopoulos IEEE Transactions on Automation Science and Engineering (TASE)
Enhancing Cybersecurity through Comprehensive Investigation of Data Flow-Based Attack Scenarios (Oct 2024) Sara Abbaspour, Shamoona Imtiaz, Alireza Dehlaghi Ghadim, Mikael Sjödin, Marjan Sirjani Journal of Cybersecurity and Privacy (JCP)
The computing continuum: From IoT to the cloud (Oct 2024) Auday Al-Dulaimy, Matthijs Jansen , Bjarne Johansson, Animesh Trivedi , Alexandru Iosup , Mohammad Ashjaei, Antonino Galletta , Dragi Kimovski , Radu Prodan , Konstantinos Tserpes , George Kousiouris , Chris Giannakos , Ivona Brandic , Nawfal Ali , André B. Bondi , Alessandro Papadopoulos Internet of Things (IoT)
A Privacy-Preserving Distributed Greedy Framework to Desynchronize Power Consumption in a Network of Thermostatically Controlled Loads (Jul 2024) Mojtaba Kaheni, Alessandro Papadopoulos, Elio Usai , Mauro Franceschelli IEEE Transactions on Control Systems Technology (TCST 2024)
Beyond von Neumann in the Computing Continuum: Architectures, Applications, and Future Directions (May 2024) 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 2024)
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)
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))
Conference/Workshop Paper (77)
Automated Passport Control: Mining and Checking Models of Machine Readable Travel Documents (Jul 2024) Stefan Marksteiner, Marjan Sirjani, Mikael Sjödin The 19th International Conference on Availability, Reliability and Security (ARES 2024) (ARES 2024)
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)
