Maurice H. ter Beek - Böcker
Visar alla böcker från författaren Maurice H. ter Beek. Handla med fri frakt och snabb leverans.
11 produkter
11 produkter
Formal Methods – The Next 30 Years
Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Häftad, Engelska, 2019
552 kr
Skickas inom 10-15 vardagar
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.
Del 11865 - Lecture Notes in Computer Science
From Software Engineering to Formal Methods and Tools, and Back
Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
Häftad, Engelska, 2019
552 kr
Skickas inom 10-15 vardagar
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;
Del 12327 - Lecture Notes in Computer Science
Formal Methods for Industrial Critical Systems
25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings
Häftad, Engelska, 2020
552 kr
Skickas inom 10-15 vardagar
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.
Integrated Formal Methods
17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings
Häftad, Engelska, 2022
824 kr
Skickas inom 10-15 vardagar
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.
Del 13271 - Lecture Notes in Computer Science
Coordination Models and Languages
24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings
Häftad, Engelska, 2022
1 314 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022.The 11 regular papers and one short paper presented in this book were carefully reviewed and selected from 22 submissions. COORDINATION provides a well-established forum for the growing community of researchers interested in coordination models and languages, architectures, verification and implementation techniques necessary to cope with the complexity induced by the demands of today's software development.
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
6th International Conference, RSSRail 2025, Pisa, Italy, November 26–28, 2025, Proceedings
Häftad, Engelska, 2025
620 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 6th International Conference, RSSRail 2025, in Pisa, Italy, during November 2025. The 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 & Planning; Surveys & Comparisons; Communication & Control; Industrial Experiences & Trams; Formal Modelling & Analysis.
Del 16363 - Lecture Notes in Computer Science
Formal Methods: Foundations and Applications
28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3–5, 2025, Proceedings
Häftad, Engelska, 2025
639 kr
Skickas inom 7-10 vardagar
This 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.The 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.
Journeys Between Formal Methods and the Railway Industry
Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday
Häftad, Engelska, 2026
1 074 kr
Skickas inom 10-15 vardagar
Alessandro 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.Prof. 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.This volume contains chapters from leading scientists and engineers, their contributions honor an influential researcher, practitioner, and educator.
Del 9933 - Lecture Notes in Computer Science
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
Häftad, Engelska, 2016
552 kr
Skickas inom 10-15 vardagar
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.
552 kr
Skickas inom 10-15 vardagar
As software systems become increasingly ubiquitous, issues of dependability become ever more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability and security are addressed at the architectural level. This book has originated from an effort to bring together the research communities of software architectures, dependability and security.This state-of-the-art survey contains expanded and peer-reviewed papers based on the carefully selected contributions to two workshops: the Workshop on Architecting Dependable Systems (WADS 2008), organized at the 2008 International Conference on Dependable Systems and Networks (DSN 2008), held in Anchorage, Alaska, USA, in June 2008, and the Third International Workshop on Views On Designing Complex Architectures (VODCA 2008) held in Bertinoro, Italy, in August 2008. It also contains invited papers written by recognized experts in the area. The 13 papers are organized in topical sections on dependable service-oriented architectures, fault-tolerance and system evaluation, and architecting security.
Web Services and Formal Methods
9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
Häftad, Engelska, 2013
508 kr
Skickas inom 10-15 vardagar
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.