2014

Formal techniques for distributed objects, components, and systems : 34th IFIP WG 6.1 International Conference, FORTE 2014, held as part of the 9th International Federated Conference on Distributed Co

FORTE (Conference) (34th : 2014 : Berlin, Germany)

Cham : Springer, [2014]

 

2023

Fundamentals of software engineering : 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised selected papers

IPM International Conference on Fundamentals of Software Engineering (10th : 2023 : Tehran, Iran)

Cham : Springer, 2023

 

2016

Integrated formal methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

International Conference on Integrated Formal Methods (12th : 2016 : Reykjavík, Iceland)

Switzerland : Springer, 2016

 

2022

Quantitative evaluation of systems : 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings

International Conference on the Quantitative Evaluation of Systems (19th : 2022 : Warsaw, Poland ; Online)

Cham, Switzerland : Springer, 2022

 

2025

Runtime verification : 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings

RV (Conference) (24th : 2024 : Istanbul, Turkey)

Cham : Springer, 2025

 

2023

Theoretical aspects of computing -- ICTAC 2023 : 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings

ICTAC (Colloquium) (20th : 2023 : Lima, Peru)

Cham : Springer, 2023

 

2016

Theory and practice of formal methods : essays dedicated to Frank de Boer on the occasion of his 60th birthday

Cham : Springer, 2016

 

2014

Tools and algorithms for the construction and analysis of systems : 20th International Conference, TACAS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS

TACAS (Conference) (20th : 2014 : Grenoble, France)

Heidelberg : Springer, 2014