WorldCat Identities

Beek, Maurice H. ter

Overview
Works: 18 works in 78 publications in 2 languages and 2,081 library holdings
Genres: Conference papers and proceedings 
Roles: Editor, Author, htt, Publishing director
Publication Timeline
.
Most widely held works by Maurice H. ter Beek
Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012 : revised selected papers by Maurice H. ter Beek( )

14 editions published in 2013 in English and German and held by 464 WorldCat member libraries worldwide

This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Web Services and Formal Methods, WS-FM 2012, held in Tallinn, Estonia, in September 2012. The 9 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as the modeling and analysis of web services, service discovery, and service coordination with formal methods like BPEL, CSP, Maude, and Petri nets
Critical systems : formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, proceedings by Maurice H. ter Beek( )

15 editions published in 2016 in English and held by 340 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016. The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed and selected from 24 submissions. They are organized in the following sections: automated verification techniques; model-based system analysis; and applications and case studies
Formal Methods - The Next 30 Years : Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings by Maurice H. ter Beek( )

12 editions published in 2019 in English and held by 262 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019. The 44 full papers presented together with 3 invited presentations were carefully reviewed and selected from 129 submissions. The papers are organized in topical sections named: Invited Presentations; Verification; Synthesis Techniques; Concurrency; Model Checking Circus; Model Checking; Analysis Techniques; Specification Languages; Reasoning Techniques; Modelling Languages; Learning-Based Techniques and Applications; Refactoring and Reprogramming; I-Day Presentations. --
From Software Engineering to Formal Methods and Tools, and Back : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday by Maurice H. ter Beek( )

12 editions published in 2019 in English and held by 249 WorldCat member libraries worldwide

"This volume was published in honor of Stefania Gnesi's 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of Stefania and was presented to her on October 8, 2019 one-day colloquium held in Porto, Portugal, The Festschrift consists of eight sections, seven of which reflect the main research areas to which Stefania has contributed. Following a survey of Stefania's legacy in research and a homage by her thesis supervisor, these seven sections are ordered according to Stefania's life cycle in research, from software engineering to formal methods and tools, and back: Software Engineering; Formal Methods and Tools; Requirements Engineering; Natural Language Processing; Software Product Lines; Formal Verification; and Applications."
VaMos 2017 : Eleventh International Workshop on Variability Modelling of Software-intensive Systems : proceedings : Eindhoven, the Netherlands, 1-3 February, 2017 by International Workshop on Variability Modelling of Software-Intensive Systems( )

1 edition published in 2017 in English and held by 233 WorldCat member libraries worldwide

SPLC 2017 : 21st International Systems & Software Product Line Conference : Sept 25-29, Sevilla, Spain, proceedings by International Software Product Line Conference( )

1 edition published in 2017 in English and held by 226 WorldCat member libraries worldwide

Formal Methods for Industrial Critical Systems 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings by FMICS (Conference)( )

6 editions published in 2020 in English and held by 204 WorldCat member libraries worldwide

This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the COVID-19 pandemic it changed to a virtual event. The 11 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The papers are organized in topical sections as follows: Quantitative Analysis and Cyber-Physical Systems, Formal Verification of Industrial Systems, Temporal Logic and Model Checking. The book also contains a lengthy report on a Formal Methods Survey conducted on occasion of the 25th edition of the conference
A mosaic of computational topics : from classical to novel : dedicated to Jetty Kleijn on the occasion of her 65th birthday by Maurice H. ter Beek( )

4 editions published in 2020 in English and held by 54 WorldCat member libraries worldwide

This book, 'A Mosaic of Computational Topics: from Classical to Novel', is a collection of papers published to honor Professor Jetty Kleijn on the occasion of her 65th birthday. The scope and reach of her research is truly broad. She has made significant and lasting contributions in several research areas, both through the solving of challenging problems and in her pioneering of new research directions. She has published influential papers contributing to the foundations of computer science, in particular, in the area of formal languages and automata theory; to concurrency theory, in particular, Petri nets; and to natural computing, in particular bio-inspired computing and the computational modeling of bio-processes. A significant part of Professor Kleijn?s research portfolio is interdisciplinary, including her work on the Petri net modeling of biological processes and the development of novel models of information processing in bio-systems such as reaction systems. She is also passionately engaged in promoting the involvement of women in computer science.00Jetty and her work are well-recognized by the scientific community, a fact demonstrated by the enthusiastic response to the invitation to contribute to this book, and the 14 carefully refereed papers collected together here explore a number of research topics that are either directly or indirectly related to research directions pursued by Jetty Kleijn in the course of her career
Proceedings of the 21st International Systems and Software Product Line Conference - Volume B by Maurice H. ter Beek( )

3 editions published in 2017 in English and Undetermined and held by 32 WorldCat member libraries worldwide

Architecting dependable systems VI by Rogério de Lemos( )

2 editions published in 2009 in English and held by 5 WorldCat member libraries worldwide

Annotation
Quantitative variability modelling and analysis by Maurice H. ter Beek( )

1 edition published in 2019 in English and held by 2 WorldCat member libraries worldwide

Formal methods for transport systems by Maurice H. ter Beek( )

1 edition published in 2018 in English and held by 2 WorldCat member libraries worldwide

Timed service contract automata by Davide Basile( )

1 edition published in 2019 in English and held by 2 WorldCat member libraries worldwide

Formal methods and automated verification of critical systems by Maurice H. ter Beek( )

1 edition published in 2018 in English and held by 2 WorldCat member libraries worldwide

VODCA 2004 : first international workshop on views on designing complex architectures by International Workshop on Views on Designing Complex Architectures( Book )

1 edition published in 2004 in English and held by 1 WorldCat member library worldwide

Virtual special issue: automated specification and verification of web-based applications by Workshop on Automated Specification and Verification of Web Systems( Book )

1 edition published in 2017 in English and held by 1 WorldCat member library worldwide

Formal Methods for Industrial Critical Systems : 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings by Maurice H. ter Beek( )

1 edition published in 2020 in English and held by 1 WorldCat member library worldwide

This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the COVID-19 pandemic it changed to a virtual event. The 11 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The papers are organized in topical sections as follows: Quantitative Analysis and Cyber-Physical Systems, Formal Verification of Industrial Systems, Temporal Logic and Model Checking. The book also contains a lengthy report on a Formal Methods Survey conducted on occasion of the 25th edition of the conference
Special issue: formal methods for software product line engineering( Book )

1 edition published in 2015 in English and held by 1 WorldCat member library worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  General Special  
Audience level: 0.51 (from 0.34 for SPLC 2017 ... to 0.98 for VODCA 2004 ...)

WorldCat IdentitiesRelated Identities
Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012 : revised selected papers
Covers
Critical systems : formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, proceedingsFormal Methods - The Next 30 Years : Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, ProceedingsFrom Software Engineering to Formal Methods and Tools, and Back : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th BirthdayFormal Methods for Industrial Critical Systems 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings
Alternative Names
Beek, Maurice ter 1972-

Maurice H. ter Beek researcher

Ter Beek, Maurice 1972-

Ter Beek, Maurice H.

Ter Beek, Maurice H. 1972-

Languages
English (76)

German (1)