{"title":"Maurice H Ter Beek","description":null,"products":[{"product_id":"formal-methods-the-next-30-years-book-maurice-h-ter-beek-9783030309411","title":"Formal Methods – The Next 30 Years","description":"\u003cp\u003eThis 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.\u003c\/p\u003e\n\nThe 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.\u003cp\u003e\u003c\/p\u003e\n\n\u003cp\u003e \u003c\/p\u003e\n\n\u003cp\u003e \u003c\/p\u003e\n\n\u003cp\u003e \u003c\/p\u003e","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52126130372881,"sku":"NLS9783030309411","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030309411.jpg?v=1757472581"},{"product_id":"from-software-engineering-to-formal-methods-and-tools-and-back-book-maurice-h-ter-beek-9783030309848","title":"From Software Engineering to Formal Methods and Tools, and Back","description":"\u003cp\u003eThis 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,\u003c\/p\u003e\n\nThe 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.\u003cp\u003e\u003c\/p\u003e","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52139208179985,"sku":"NLS9783030309848","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030309848.jpg?v=1757567705"},{"product_id":"integrated-formal-methods-book-maurice-h-ter-beek-9783031077265","title":"Integrated Formal Methods","description":"This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022.    The 14 full papers and 2 short papers were carefully reviewed and selected from 46 submissions.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":52152926503185,"sku":"NGR9783031077265","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52434211995921,"sku":"NLS9783031077265","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783031077265.jpg?v=1757618331"},{"product_id":"web-services-and-formal-methods-book-maurice-h-ter-beek-9783642382291","title":"Web Services and Formal Methods","description":"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.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52406106554641,"sku":"NLS9783642382291","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642382291.jpg?v=1758768573"},{"product_id":"coordination-models-and-languages-book-maurice-h-ter-beek-9783031081453","title":"Coordination Models and Languages","description":"Formal Methods for Socio-Technical Security (Formal and Automated Analysis of Security Ceremonies) .- Timed and Probabilistic Systems.- MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems.- A Sound Up-to-n; Bisimilarity for PCTL.- Collective Adaptive Systems and Aggregate Computing Extensible 3D Simulation of Aggregated Systems with FCPP.- Towards Reinforcement Learning-based Aggregate Computing .- A Tool for Reasoning about Collective Systems.- Space- uid Adaptive Sampling: a Field-based, Self-organising Approach.- Processes and Languages.- Formal Choreographic Languages.- A Model of Actors and Grey Failures.- Soft Concurrent Constraint Programming with Local Variables.- Runtime Veri cation and Monitor Synthesis.- A Synthesis Tool for Optimal Monitors in a Branching-Time Setting.- A Monitoring Tool for the Linear-Time HML.- Microservices.- Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52435670761745,"sku":"NLS9783031081453","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783031081453.jpg?v=1786613896"},{"product_id":"critical-systems-formal-methods-and-automated-verification-book-maurice-h-ter-beek-9783319459424","title":"Critical Systems: Formal Methods and Automated Verification","description":"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.\u003cbr\u003e","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52475642708241,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52475643822353,"sku":"NLS9783319459424","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319459424.jpg?v=1785892420"},{"product_id":"formal-methods-for-industrial-critical-systems-book-maurice-h-ter-beek-9783030582975","title":"Formal Methods for Industrial Critical Systems","description":"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.\u003cp\u003eThe 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. \u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\n\n\u003cp\u003eThe book also contains a lengthy report on a Formal Methods Survey conducted on occasion of the 25th edition of the conference.\u003cbr\u003e\u003c\/p\u003e","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52683007066385,"sku":"NLS9783030582975","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030582975.jpg?v=1787048263"},{"product_id":"reliability-safety-and-security-of-railway-systems-modelling-analysis-verificati-book-maurice-h-ter-beek-9783032107619","title":"Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification","description":"\u003cp\u003eThis book constitutes the proceedings of the 6th International Conference, RSSRail 2025, in Pisa, Italy, during November 2025. \u003c\/p\u003e\n\u003cp\u003eThe 12 full papers, 5 short papers, 3 short papers from invited speakers and 4 extended abstracts of journal-first papers presented here were carefully reviewed and selected from 35 submissions.They were focused on the following topical sections:Invited Presentations; AI \u0026amp; Planning; Surveys \u0026amp; Comparisons; Communication \u0026amp; Control; Industrial Experiences \u0026amp; Trams; Formal Modelling \u0026amp; Analysis.\u003c\/p\u003e","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52859791048977,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52859791409425,"sku":"NLS9783032107619","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783032107619.jpg?v=1765151462"},{"product_id":"formal-methods-foundations-and-applications-book-maurice-h-ter-beek-9783032120854","title":"Formal Methods: Foundations and Applications","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2025, held in Recife, Brazil, during December 3–5, 2025.\u003c\/p\u003e\n\u003cp\u003eThe 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 24 submissions. They were organized in topical sections as follows: Process Algebras and Time; Formal Verification; Testing; Availability and Contracts; Formal Methods and AI; and Teaching and Foundations. \u003c\/p\u003e","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52970530930961,"sku":"NLS9783032120854","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783032120854.jpg?v=1785795557"},{"product_id":"journeys-between-formal-methods-and-the-railway-industry-book-maurice-h-ter-beek-9783032124838","title":"Journeys Between Formal Methods and the Railway Industry","description":"\u003cp\u003eAlessandro Fantechi earned a Laurea Degree in Computer Science from the University of Pisa and a Diploma from the Scuola Normale Superiore di Pisa, both in 1978. He has lectured at the University of Florence for decades on the foundations of Computer Science and Software Engineering, where he was also responsible for the curriculum of the PhD school in Information Engineering, coordinator of the Bachelor’s and Master’s curricula in Computer Engineering, and President of the School of Engineering. He has collaborated with CNR-ISTI Pisa, Télécom ParisTech, and the Technical University of Denmark, and he has had many research, teaching, and consulting projects in leading companies and state enterprises.\u003c\/p\u003e\n\u003cp\u003eProf. Fantechi’s main area of research is Software Engineering, in particular the application of formal specification and verification methods in industrial, safety-critical applications such as the railway domain, where he has been a leading practitioner for many years. He has been an active member of the ERCIM working group Formal Methods for Industrial Critical Systems (FMICS), he has chaired scientific events such as FMOODS, SPLC, SERENE, RSSRail and VaMoS, he is a member of IFIP WG 6.1, and he is one of the expert members of the Scientific Steering Group of Europe’s Rail Joint Undertaking.\u003c\/p\u003e\n\u003cp\u003eThis volume contains chapters from leading scientists and engineers, their contributions honor an influential researcher, practitioner, and educator.\u003c\/p\u003e","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":53240950227217,"sku":"NLS9783032124838","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783032124838.jpg?v=1785768327"}],"url":"https:\/\/www.worldofbooks.com\/en-au\/collections\/author-books-by-maurice-h-ter-beek.oembed","provider":"World of Books ","version":"1.0","type":"link"}