E-LIB Suche - Ergebnisse für: ter Beek, Maurice

1

Evaluating a Language Workbench: from Working Memory Capaci..:

, In: 2023 IEEE/ACM 31st International Conference on Program Comprehension (ICPC),

Broccia, Giovanna ; Ferrari, Alessio ; Ter Beek, Maurice... - p. 54-58 , 2023

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

2

Proceedings of the 21st International Systems and Software ..:

ter Beek, Maurice ; Cazzola, Walter ; Diaz, Oscar... , 2017

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

3

Session details: Volume II: Software design and development..:

, In: Proceedings of the 31st Annual ACM Symposium on Applied Computing,

ter Beek, Maurice ; Melgratti, Hernán ; Vieira, Hugo Torres , 2016

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

4

Architecting dependable systems VI

Lecture notes in computer science ; 5835

Fabre, Jean-Charles ; Gacek, Cristina ; Gadducci, Fabio.. , 2009

Link: http://dx.doi.org/10.100..

5

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/..

6

Preface:

ter Beek, Maurice ; Gadducci, Fabio
Electronic Notes in Theoretical Computer Science. 168 (2007) - p. 1-3 , 2007

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

7

Preface:

ter Beek, Maurice ; Gadducci, Fabio
Electronic Notes in Theoretical Computer Science. 142 (2006) - p. 1-3 , 2006

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

8

Assessing the Understandability and Acceptance of Attack-De..:

, In: Requirements Engineering: Foundation for Software Quality; Lecture Notes in Computer Science,

Broccia, Giovanna ; ter Beek, Maurice H. ; Lluch Lafuente, Alberto.. - p. 39-56 , 2024

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

9

Formal Methods and Tools Applied in the Railway Domain:

, In: Rigorous State-Based Methods; Lecture Notes in Computer Science,

ter Beek, Maurice H. - p. 3-21 , 2024

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

10

Team Automata: Overview and Roadmap:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

ter Beek, Maurice H. ; Hennicker, Rolf ; Proença, José - p. 161-198 , 2024

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

11

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/..

12

Correction to: The 2020 Expert Survey on Formal Methods:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,

Garavel, Hubert ; ter Beek, Maurice H. ; van de Pol, Jaco - p. C2-C2 , 2024

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

13

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/..

14

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/..

15

A Runtime Environment for Contract Automata:

, In: Formal Methods; Lecture Notes in Computer Science,

Basile, Davide ; ter Beek, Maurice H. - p. 550-567 , 2023

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