Publications

Type: Date:
Scope:
Author:

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

Feedback-based resource management for multi-threaded applications (Jul 2022)
Alessandro Papadopoulos, Kunal Agrawal , Enrico Bini , Sanjoy Baruah
Real-Time Systems (RTSJ 2022)

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

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)

Towards Qualitative and Quantitative Dependability Analyses for AR-equipped Socio-technical Systems (Nov 2021)
Soheila Sheikh Bahaei, Barbara Gallina
6th International Conference on System Reliability and Safety (ICSRS-2022)

Partial Order Reduction for Timed Actors
Maryam Bagheri , Marjan Sirjani, Ehsan Khamespanah , Hossein Hojjat , Ali Movaghar
Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE'21)

REACT: Enabling Real-Time Container Orchestration (Sep 2021)
Václav Struhár, Silviu Craciunas , Mohammad Ashjaei, Moris Behnam, Alessandro Papadopoulos
26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2021)

Self-adapting Industrial Augmented Reality applications with proactive Dynamic Software Product Lines (Sep 2021)
Inmaculada Ayala, Mercedes Amor , Lidia Fuentes , Alessandro Papadopoulos
26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2021)

Extended Abstract: ProDSPL: Proactive Self-Adaptation based on Dynamic Software ProductLines (Sep 2021)
Inmaculada Ayala, Alessandro Papadopoulos, Mercedes Amor , Lidia Fuentes
25th ACM International Systems and Software Product Line Conference (SPLC 2021)

Safety Case Maintenance: A Systematic Literature Review (Aug 2021)
Carmen Carlan , Barbara Gallina, Liana Soima
40th International Conference on Computer Safety, Reliability and Security (SAFECOMP-2021)

Gamified and Self-Adaptive Applications for the Common Good: Research Challenges Ahead (May 2021)
Antonio Bucchiarone , Antonio Cicchetti, Nelly Bencomo , Enrica Loria , Annapaola Marconi
2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) (SEAMS2021)

LOOPS: A Holistic Control Approach for Resource Management in Cloud Computing (Apr 2021)
Auday Al-Dulaimy, Javid Taheri , Alessandro Papadopoulos, Thomas Nolte
12th ACM/SPEC International Conference on Performance Engineering (ICPE 2021)

Checkable Safety Cases: Enabling Automated Consistency Checks between Safety Work Products (Jan 2021)
Carmen Carlan , Daniel Petrisor , Barbara Gallina, Hannes Schoenhaar
10th IEEE International Workshop on Software Certification (WoSoCER-2020)

Items per page: