E-LIB Suche - Ergebnisse für: Cicchetti, Antonio

1

Early Validation and Verification of System Behaviour in Mo..:

Cederbladh, Johan ; Cicchetti, Antonio ; Suryadevara, Jagadish
ACM Transactions on Software Engineering and Methodology. 33 (2024) 3 - p. 1-67 , 2024

Link: https://doi.org/10.1145/..

2

Towards Automating Model-Based Systems Engineering in Indus..:

, In: 2024 IEEE International Systems Conference (SysCon),

Cederbladh, Johan ; Berardinelli, Luca ; Bruneliere, Hugo... - p. 1-8 , 2024

Link: https://doi.org/10.1109/..

3

Gamifying model-based engineering: The PapyGame tool:

Bucchiarone, Antonio ; Savary-Leblanc, Maxime ; Le Pallec, Xavier...
Science of Computer Programming. 230 (2023) - p. 102974 , 2023

Link: https://doi.org/10.1016/..

4

SARAF: Searching for Adversarial Robust Activation Function:

, In: Proceedings of the 2023 6th International Conference on Machine Vision and Applications,

Salimi, Maghsood ; Loni, Mohammad ; Sirjani, Marjan.. - p. 174-182 , 2023

Link: https://dl.acm.org/doi/1..

5

TXRF spectral information enhanced by multivariate analysis..:

Allegretta, Ignazio ; Squeo, Giacomo ; Gattullo, Concetta Eliana...
Food Chemistry. 401 (2023) - p. 134124 , 2023

Link: https://doi.org/10.1016/..

6

Remaining Useful Life Estimation for Railway Gearbox Bearin..:

, In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification; Lecture Notes in Computer Science,

Beqiri, Lodiana ; Bakhshi, Zeinab ; Punnekkat, Sasikumar. - p. 62-77 , 2023

Link: https://doi.org/10.1007/..

7

AI-augmented Model-Based Capabilities in the AIDOaRt Projec..:

Bagnato, Alessandra ; Cicchetti, Antonio ; Berardinelli, Luca..
ACM SIGAda Ada Letters. 42 (2023) 2 - p. 99-103 , 2023

Link: https://doi.org/10.1145/..

8

Barriers for Adopting FMI-Based Co-Simulation in Industrial..:

, In: 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C),

Cederbladh, Johan ; Reale, Anna ; Bergsten, Andreas.. - p. 510-519 , 2023

Link: https://doi.org/10.1109/..

9

Challenging Models: Formalizing Quests in Gamified Systems ..:

, In: 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C),

Bonetti, Federico ; Bucchiarone, Antonio ; Cicchetti, Antonio. - p. 747-756 , 2023

Link: https://doi.org/10.1109/..

10

Gamifying model-based engineering: the PapyGame experience:

Bucchiarone, Antonio ; Savary-Leblanc, Maxime ; Le Pallec, Xavier...
Software and Systems Modeling. 22 (2023) 4 - p. 1369-1389 , 2023

Link: https://doi.org/10.1007/..

11

Metamodel portioning for flexible and secure architectural ..:

, In: 2023 IEEE 20th International Conference on Software Architecture Companion (ICSA-C),

Latifaj, Malvina ; Ciccozzi, Federico ; Cicchetti, Antonio - p. 292-295 , 2023

Link: https://doi.org/10.1109/..

12

Toward digital inclusion of older adults in e-health: a cas..:

Revenäs, Åsa ; Ström, Lars ; Cicchetti, Antonio.
Universal Access in the Information Society. , 2023

Link: https://doi.org/10.1007/..

13

Could jamstack be the future of web applications architectu..:

, In: Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing,

Markovic, Dragana ; Scekic, Milic ; Bucaioni, Alessio. - p. 1872-1881 , 2022

Link: https://dl.acm.org/doi/1..

14

From Informal Architecture Diagrams to Flexible Blended Mod..:

, In: Software Architecture; Lecture Notes in Computer Science,

Jongeling, Robbert ; Ciccozzi, Federico ; Cicchetti, Antonio. - p. 143-158 , 2022

Link: https://doi.org/10.1007/..

15

Modelling in low-code development: a multi-vocal systematic..:

Bucaioni, Alessio ; Cicchetti, Antonio ; Ciccozzi, Federico
Software and Systems Modeling. 21 (2022) 5 - p. 1959-1981 , 2022

Link: https://doi.org/10.1007/..