Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
ter Beek, Maurice
289  Ergebnisse:
Artikel (Online) X
Personensuche X
?
1

Preface:

Aldini, Alessandro ; ter Beek, Maurice ; Gadducci, Fabio
Electronic Notes in Theoretical Computer Science.  236 (2009)  - p. 1-3 , 2009
Link: https://doi.org/10.1016/..
 
?
2

Preface:

ter Beek, Maurice ; Gadducci, Fabio
Electronic Notes in Theoretical Computer Science.  168 (2007)  - p. 1-3 , 2007
Link: https://doi.org/10.1016/..
 
?
3

Preface:

ter Beek, Maurice ; Gadducci, Fabio
Electronic Notes in Theoretical Computer Science.  142 (2006)  - p. 1-3 , 2006
Link: https://doi.org/10.1016/..
 
?
4

Coherent modal transition systems refinement:

Basile, Davide ; ter Beek, Maurice H. ; Fantechi, Alessandro.
Journal of Logical and Algebraic Methods in Programming.  138 (2024)  - p. 100954 , 2024
Link: https://doi.org/10.1016/..
 
?
5

Product lines of dataflows:

Lienhardt, Michael ; ter Beek, Maurice H. ; Damiani, Ferruccio
Journal of Systems and Software.  210 (2024)  - p. 111928 , 2024
Link: https://doi.org/10.1016/..
 
?
6

Advancing orchestration synthesis for contract automata:

Basile, Davide ; ter Beek, Maurice H.
Journal of Logical and Algebraic Methods in Programming.  141 (2024)  - p. 100998 , 2024
Link: https://doi.org/10.1016/..
 
?
7

Systems and software product lines of the future:

ter Beek, Maurice H. ; Schaefer, Ina
Journal of Systems and Software.  199 (2023)  - p. 111622 , 2023
Link: https://doi.org/10.1016/..
 
?
8

A toolchain for strategy synthesis with spatial properties:

Basile, Davide ; ter Beek, Maurice H. ; Bussi, Laura.
International Journal on Software Tools for Technology Transfer.  25 (2023)  5-6 - p. 641-658 , 2023
Link: https://doi.org/10.1007/..
 
?
9

Formal methods: practical applications and foundations: Edi..:

ter Beek, Maurice H. ; McIver, Annabelle
Formal Methods in System Design.  , 2022
Link: https://doi.org/10.1007/..
 
?
10

Exploring the ERTMS/ETCS full moving block specification: a..:

Basile, Davide ; ter Beek, Maurice H. ; Ferrari, Alessio.
International Journal on Software Tools for Technology Transfer.  24 (2022)  3 - p. 351-370 , 2022
Link: https://doi.org/10.1007/..
 
?
11

Empirical Formal Methods: Guidelines for Performing Empiric..:

ter Beek, Maurice H. ; Ferrari, Alessio
Software.  1 (2022)  4 - p. 381-416 , 2022
Link: https://doi.org/10.3390/..
 
?
12

Contract Automata Library:

Basile, Davide ; ter Beek, Maurice H.
Science of Computer Programming.  221 (2022)  - p. 102841 , 2022
Link: https://doi.org/10.1016/..
 
?
13

Systematic Evaluation and Usability Analysis of Formal Meth..:

Ferrari, Alessio ; Mazzanti, Franco ; Basile, Davide.
IEEE Transactions on Software Engineering.  48 (2022)  11 - p. 4675-4691 , 2022
Link: https://doi.org/10.1109/..
 
?
14

FTS4VMC: A front-end tool for static analysis and family-ba..:

ter Beek, Maurice H. ; Damiani, Ferruccio ; Lienhardt, Michael...
Science of Computer Programming.  224 (2022)  - p. 102879 , 2022
Link: https://doi.org/10.1016/..
 
?
15

Formal methods and tools for industrial critical systems:

ter Beek, Maurice H. ; Larsen, Kim G. ; Ničković, Dejan.
International Journal on Software Tools for Technology Transfer.  24 (2022)  3 - p. 325-330 , 2022
Link: https://doi.org/10.1007/..
 
1-15