CNR Institutional Research Information System

TER BEEK, MAURICE HENRI

TER BEEK, MAURICE HENRI  

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI  

Mostra records
Risultati 1 - 20 di 319 (tempo di esecuzione: 0.04 secondi).
Titolo Data di pubblicazione Autore(i) File
A history of formal methods in railways 1-gen-2026 Ter Beek, Maurice Henri; Fantechi, Alessandro; Ferrari, Alessio; Gnesi, Stefania; Haxthausen Anne, E.; Lecomte, Thierry
Asynchronous team automata 1-gen-2026 Basile, Davide; Ter Beek, Maurice H.; Proença, José
Editorial introducing the new editors-in-chief 1-gen-2026 Ter Beek, Maurice Henri; Johnsen Einar, Broch
Formal methods for railway systems: a survey of research and technology transfer projects 1-gen-2026 Basile, Davide; Ter Beek, Maurice Henri; Broccia, Giovanna; Gnesi, Stefania; Mazzanti, Franco; Spagnolo, Giorgio Oronzo; Bacherini, Stefano; Becheri, Carlo; Grasso, Daniele; Magnani, Gianluca; Tempestini, Matteo; Zingoni, Niccolò; Ferrari, Alessio
Large language models as design partners: automating graphical mockups to refine requirements 1-gen-2026 Broccia, Giovanna; Ter Beek, Maurice Henri; Ferrari, Alessio
Preface to Journeys between formal methods and the railway industry. Essays dedicated to Alessandro Fantechi on the occasion of his 70th birthday 1-gen-2026 Ter Beek, Maurice Henri; Gnesi, Stefania; Haxthausen Anne, E.; Semini, Laura
Preface to the Proceedings of the 7th workshop on models for formal analysis of real systems (MARS'26) 1-gen-2026 Ter Beek, Maurice Henri; Gössler, Gregor
RebeCaos: a software artefact for Rebeca 1-gen-2026 Proença, José; Ter Beek, Maurice H.
Report on the results achieved by the project in the application of the proposed modeling and evaluation methods to the considered case studies 1-gen-2026 Basile, Davide; Ter Beek, Maurice Henri; Carnevali, Laura; Chiaradonna, Silvano; Di Giandomenico, Felicita; Fantechi, Alessandro; Gori, Gloria; Zecchi, Jacopo
Tony Hoare: In memoriam 1-gen-2026 Ter Beek, Maurice H.; Johnsen, Einar Broch
Towards dynamic classification in domain modeling with Jjodel 1-gen-2026 Ter Beek, Maurice Henri; Bucchiarone, Antonio; Pierantonio, Alfonso; Selic, Bran
Analysing self-adaptive systems as software product lines 1-gen-2025 Päßler, J.; Ter Beek, M. H.; Damiani, F.; Johnsen, E. B.; Tapia Tarifa, S. L.
Animating Rebeca 1-gen-2025 Ter Beek, M.; Proença, J.
CN MOST SP4 D1.3.5: Report on assessed methods and models for resilient and sustainable railway infrastructures 1-gen-2025 D’Acierno, L.; De Matteis, L.; Basile, D.; Ter Beek, M.; Chiaradonna, S.; Di Giandomenico, F.; Gregori, M.; Furini, F; D’Alfonso, T; Matteucci, G.; Barbaro, M.; Collina, A.; Team Of Ferrovie Nord, (FN); Team Of, Almaviva
Comparing the universal variability language with other textual variability modeling languages 1-gen-2025 Ter Beek, M. H.; Schmid, K.; Eichelberger, H.
Controlled hybrid CD grammar systems 1-gen-2025 Ter Beek, M. H.
Feature-Oriented modelling and analysis of a self-adaptive robotic system 1-gen-2025 Päßler, J.; Ter Beek, M. H.; Damiani, F.; Dubslaff, C.; Johnsen, E. B.; Tapia Tarifa, S. L.
Feature-oriented modelling and analysis of a self-adaptive robotic system 1-gen-2025 Päßler, J.; Ter Beek, M. H.; Damiani, F.; Dubslaff, C.; Johnsen, E. B.; Tapia Tarifa, S. L.
Formal methods for intersymbolic AI 1-gen-2025 Ter Beek, M. H.; Dubslaff, C.; Schaefer, I.
Integrating testing with runtime verification for mission-critical distributed control systems 1-gen-2025 Ancona, D.; Avola, S.; Ferrando, A.; Baglietto, P.; Ter Beek, M. H.; Parodi, A.; Camera, G.; Pinasco, M.