Search Results - "Innovations in systems and software engineering" :: K.UTB vyhledávací portál

Loading…

Landmark triangulation-induced Altitude Signature for change detection of human emotion from face image sequence

by Nasir, Md, Dutta, Paramartha, Nandi, Avishek
Published in Innovations in systems and software engineering (01.06.2024)

Get full text

Journal Article

Loading…

Model-based design of resilient systems using quantitative risk assessment

by Mediouni, Braham Lotfi, Dragomir, Iulia, Nouri, Ayoub, Bensalem, Saddek
Published in Innovations in systems and software engineering (01.03.2024)

Get full text

Journal Article

Loading…

Automatic pattern-based consistency checking in model refactoring: introducing a formal behavioral preserving method

by Ghaedi Heidari, Saeedeh, Ajoudanian, Shohreh
Published in Innovations in systems and software engineering (01.03.2024)

Get full text

Journal Article

Loading…

Coverage visualization and analysis of net inscriptions in coloured Petri net models

by Ahishakiye, Faustin, Jarabo, José Ignacio Requeno, Kristensen, Lars Michael, Stolz, Volker
Published in Innovations in systems and software engineering (01.03.2024)

Get full text

Journal Article

Loading…

Contract-based specification of mode-dependent timing behavior

by Kröger, Janis, Koopmann, Björn, Stierand, Ingo, Fränzle, Martin
Published in Innovations in systems and software engineering (01.03.2024)

Get full text

Journal Article

Loading…

Automatic use case classification based on topic grouping for requirements engineering

by Vahabi, Shahrokh, Hozhabri, Amir
Published in Innovations in systems and software engineering (01.03.2024)

Get full text

Journal Article

Loading…

A certified access control policy language: TEpla

by Eaman, Amir, Felty, Amy
Published in Innovations in systems and software engineering (01.03.2024)

Get full text

Journal Article

Loading…

Specification decomposition for reactive synthesis

by Finkbeiner, Bernd, Geier, Gideon, Passing, Noemi
Published in Innovations in systems and software engineering (01.12.2023)

Get full text

Journal Article

Loading…

Eventual consensus in Synod: verification using a failure-aware actor model

by Paul, Saswata, Agha, Gul, Patterson, Stacy, Varela, Carlos
Published in Innovations in systems and software engineering (01.12.2023)

Get full text

Journal Article

Loading…

Formal modeling of the gPTP clock synchronization algorithm in automotive ethernet

by Asokan, Shimmi, Kumar, G. Santhosh
Published in Innovations in systems and software engineering (01.09.2023)

Get full text

Journal Article

Loading…

Formal verification and validation of run-to-completion style state charts using Event-B

by Morris, K., Snook, C., Hoang, T. S., Hulette, G., Armstrong, R., Butler, M.
Published in Innovations in systems and software engineering (01.12.2022)

Get full text

Journal Article

Loading…

Agile services and analysis framework for autonomous and autonomic critical infrastructure

by Maurio, Joe, Wood, Paul, Zanlongo, Sebastian, Silbermann, Josh, Sookoor, Tamim, Lorenzo, Alberto, Sleight, Randy, Rogers, James, Muller, Dan, Armiger, Noah, Rouff, Christopher, Watkins, Lanier
Published in Innovations in systems and software engineering (01.06.2023)

Get full text

Journal Article

Loading…

Preface to the VECoS 2020 & 2021 special issue of ISSE

by Barkaoui, Kamel, Ben Hedia, Belgacem
Published in Innovations in systems and software engineering (01.03.2024)

Get full text

Journal Article

Loading…

A mathematical framework for design discovery from multi-threaded applications using neural sequence solvers

by Majumdar, Srijoni, Chatterjee, Nachiketa, Das, Partha Pratim, Chakrabarti, Amlan
Published in Innovations in systems and software engineering (01.09.2021)

Get full text

Journal Article

Loading…

Regularity and quantification: a new approach to verify distributed protocols

by Goel, Aman, Sakallah, Karem A.
Published in Innovations in systems and software engineering (01.12.2023)

Get full text

Journal Article

Loading…

Product recommendation for e-commerce business by applying principal component analysis (PCA) and K-means clustering: benefit for the society

by Bandyopadhyay, Soma, Thakur, S. S., Mandal, J. K.
Published in Innovations in systems and software engineering (01.03.2021)

Get full text

Journal Article

Loading…

Frequent itemset mining using FP-tree: a CLA-based approach and its extended application in biodiversity data

by Ghosh, Moumita, Roy, Anirban, Sil, Pritam, Mondal, Kartick Chandra
Published in Innovations in systems and software engineering (01.09.2023)

Get full text

Journal Article

Loading…

Awas: AADL information flow and error propagation analysis framework

by Thiagarajan, Hariharan, Hatcliff, John, Robby
Published in Innovations in systems and software engineering (01.12.2022)

Get full text

Journal Article

Loading…

A study on boundary detection in wireless sensor networks

by Kundu, Srabani, Das, Nabanita
Published in Innovations in systems and software engineering (01.06.2023)

Get full text

Journal Article

Loading…

An empirical comparison of developer retention in the RubyGems and npm software ecosystems

by Constantinou, Eleni, Mens, Tom
Published in Innovations in systems and software engineering (01.09.2017)

Get full text

Journal Article

Refine Results

Format

Subject Area

Topic

Language

Year of Publication

Database