TER BEEK, MAURICE HENRI
TER BEEK, MAURICE HENRI
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
A history of formal methods in railways
2026 Ter Beek, Maurice Henri; Fantechi, Alessandro; Ferrari, Alessio; Gnesi, Stefania; Haxthausen Anne, E.; Lecomte, Thierry
Editorial introducing the new editors-in-chief
2026 Ter Beek, Maurice Henri; Johnsen Einar, Broch
Formal methods for railway systems: a survey of research and technology transfer projects
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
Preface to Journeys between formal methods and the railway industry. Essays dedicated to Alessandro Fantechi on the occasion of his 70th birthday
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)
2026 Ter Beek, Maurice Henri; Gössler, Gregor
Report on the results achieved by the project in the application of the proposed modeling and evaluation methods to the considered case studies
2026 Basile, Davide; Ter Beek, Maurice Henri; Carnevali, Laura; Chiaradonna, Silvano; Di Giandomenico, Felicita; Fantechi, Alessandro; Gori, Gloria; Zecchi, Jacopo
Towards dynamic classification in domain modeling with Jjodel
2026 Ter Beek, Maurice Henri; Bucchiarone, Antonio; Pierantonio, Alfonso; Selic, Bran
Analysing self-adaptive systems as software product lines
2025 Päßler, J.; Ter Beek, M. H.; Damiani, F.; Johnsen, E. B.; Tapia Tarifa, S. L.
Animating Rebeca
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
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
2025 Ter Beek, M. H.; Schmid, K.; Eichelberger, H.
Controlled hybrid CD grammar systems
2025 Ter Beek, M. H.
Feature-oriented modelling and analysis of a self-adaptive robotic system
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
2025 Päßler, J.; Ter Beek, M. H.; Damiani, F.; Dubslaff, C.; Johnsen, E. B.; Tapia Tarifa, S. L.
Formal methods for intersymbolic AI
2025 Ter Beek, M. H.; Dubslaff, C.; Schaefer, I.
Integrating testing with runtime verification for mission-critical distributed control systems
2025 Ancona, D.; Avola, S.; Ferrando, A.; Baglietto, P.; Ter Beek, M. H.; Parodi, A.; Camera, G.; Pinasco, M.
ISTI-day 2025 Proceedings
2025 Del Corso, G.; Pedrotti, A.; Federico, G.; Gennaro, C.; Carrara, F.; Amato, G.; Di Benedetto, M.; Gabrielli, E.; Belli, D.; Matrullo, Zoe; Miori, V.; Tolomei, Gabriele; Waheed, T.; Marchetti, E.; Calabrò, Antonello.; Rossetti, G.; Stella, Massimo; Cazabet, Rémy; Abramski, K.; Cau, E.; Citraro, S.; Failla, A.; Mesina, V.; Morini, V.; Pansanella, V.; Colantonio, S.; Germanese, D.; Pascali, M. A.; Bianchi, L.; Messina, N.; Falchi, F.; Barsellotti, L.; Pacini, G.; Cassese, M.; Puccetti, G.; Esuli, A.; Volpi, L.; Alejandro, Moreo; Sebastiani, F.; Sperduti, G.; Nguyen, Dong; Broccia, G.; Ter Beek, M. H.; Ferrari, A.; Massink, M.; Belmonte, Gina; Ciancia, V.; Papini, O.; Canapa, G.; Catricala', B.; Manca, M.; Paterno', F.; Santoro, C.; Zedda, E.; Gallo, S.; Maenza, S.; Mattioli, A.; Simeoli, L.; Rucci, D.; Carlini, E.; Dazzi, P.; Kavalionak, H.; Mordacchini, M.; Rulli, C.; Muntean, CRISTINA-IOANA; Nardini, F. M.; Perego, R.; Rocchietti, G.; Lettich, F.; Renso, C.; Pugliese, C.; Casini, G.; Haldimann, Jonas; Meyer, Thomas; Assante, M.; Candela, L.; Dell'Amico, A.; Frosini, L.; Mangiacrapa, F.; Oliviero, A.; Pagano, P.; Panichi, G.; Peccerillo, B.; Procaccini, M.; Mannocci, A.; Manghi, P.; Lonetti, F.; Kang, Dongjae; Di Giandomenico, F.; Jee, Eunkyoung; Lazzini, G.; Conti, F.; Scopigno, R.; D'Acunto, M.; Moroni, D.; Cafiso, M.; Paradisi, P.; Callieri, M.; Pavoni, G.; Corsini, M.; De Falco, A.; Sala, F.; Saraceni, Q.; Gattiglia, Gabriele
Model transformation and property preservation in rigorous software development: a systematic literature review
2025 Jadoon, G.; Ter Beek, M. H.; Ferrari, A.
Models for formal methods and tools: the case of railway systems
2025 Ter Beek, M. H.
Preface to the proceedings of the 28th Brazilian symposium on formal methods: foundations and applications (SBMF 2025)
2025 Ter Beek, M. H.; Teixeira, L.
| 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 | |
| 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 | |
| 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 | |
| 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 | |
| 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. | |
| ISTI-day 2025 Proceedings | 1-gen-2025 | Del Corso, G.; Pedrotti, A.; Federico, G.; Gennaro, C.; Carrara, F.; Amato, G.; Di Benedetto, M.; Gabrielli, E.; Belli, D.; Matrullo, Zoe; Miori, V.; Tolomei, Gabriele; Waheed, T.; Marchetti, E.; Calabrò, Antonello.; Rossetti, G.; Stella, Massimo; Cazabet, Rémy; Abramski, K.; Cau, E.; Citraro, S.; Failla, A.; Mesina, V.; Morini, V.; Pansanella, V.; Colantonio, S.; Germanese, D.; Pascali, M. A.; Bianchi, L.; Messina, N.; Falchi, F.; Barsellotti, L.; Pacini, G.; Cassese, M.; Puccetti, G.; Esuli, A.; Volpi, L.; Alejandro, Moreo; Sebastiani, F.; Sperduti, G.; Nguyen, Dong; Broccia, G.; Ter Beek, M. H.; Ferrari, A.; Massink, M.; Belmonte, Gina; Ciancia, V.; Papini, O.; Canapa, G.; Catricala', B.; Manca, M.; Paterno', F.; Santoro, C.; Zedda, E.; Gallo, S.; Maenza, S.; Mattioli, A.; Simeoli, L.; Rucci, D.; Carlini, E.; Dazzi, P.; Kavalionak, H.; Mordacchini, M.; Rulli, C.; Muntean, CRISTINA-IOANA; Nardini, F. M.; Perego, R.; Rocchietti, G.; Lettich, F.; Renso, C.; Pugliese, C.; Casini, G.; Haldimann, Jonas; Meyer, Thomas; Assante, M.; Candela, L.; Dell'Amico, A.; Frosini, L.; Mangiacrapa, F.; Oliviero, A.; Pagano, P.; Panichi, G.; Peccerillo, B.; Procaccini, M.; Mannocci, A.; Manghi, P.; Lonetti, F.; Kang, Dongjae; Di Giandomenico, F.; Jee, Eunkyoung; Lazzini, G.; Conti, F.; Scopigno, R.; D'Acunto, M.; Moroni, D.; Cafiso, M.; Paradisi, P.; Callieri, M.; Pavoni, G.; Corsini, M.; De Falco, A.; Sala, F.; Saraceni, Q.; Gattiglia, Gabriele | |
| Model transformation and property preservation in rigorous software development: a systematic literature review | 1-gen-2025 | Jadoon, G.; Ter Beek, M. H.; Ferrari, A. | |
| Models for formal methods and tools: the case of railway systems | 1-gen-2025 | Ter Beek, M. H. | |
| Preface to the proceedings of the 28th Brazilian symposium on formal methods: foundations and applications (SBMF 2025) | 1-gen-2025 | Ter Beek, M. H.; Teixeira, L. |