Type: Date:

Number of publications matching the search criterion: 125 (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 (32)

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))

Conference/Workshop Paper (76)

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

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)

Items per page: