Fundamentals of Software Engineering: 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers von Hojjat, Hossein, Ábrahám, Erika

Volltext

Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings von Ábrahám, Erika, Paolieri, Marco

Volltext

Theoretical Aspects of Computing - ICTAC 2023: 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings von Ábrahám, Erika, Dubslaff, Clemens, Tarifa, Silvia Lizeth Tapia

Volltext

Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings von Ábrahám, Erika, Huisman, Marieke

Volltext

Fully incremental cylindrical algebraic decomposition von Kremer, Gereon, Ábrahám, Erika

Volltext

Interaction-Based Offline Runtime Verification of Distributed Systems von Mahe, Erwan, Bannour, Boutheina, Gaston, Christophe, Lapitre, Arnault, Gall, Pascale Le

Volltext

Introduction to the Special Issue on QEST 2022, Part 1 von Ábrahám, Erika, Paolieri, Marco

Volltext

Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday von Ábrahám, Erika, Bonsangue, Marcello, Johnsen, Einar Broch

Volltext

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

Volltext

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

Volltext

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 Conferenc... von Abraham, Erika, Palamidessi, Catuscia

Volltext

Runtime Verification: 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings

Volltext

Model checking hyperproperties for Markov decision processes von Dobe, Oyendrila, Ábrahám, Erika, Bartocci, Ezio, Bonakdarpour, Borzoo

Volltext

Recent developments in theory and tool support for hybrid systems verification with HyPro von Schupp, Stefan, Ábrahám, Erika, Ebert, Tristan

Volltext

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... von Abraham, Erika, Havelund, Klaus

Volltext

Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings

Volltext

FDR3 — A Modern Refinement Checker for CSP von Gibson-Robinson, Thomas, Armstrong, Philip, Boulgakov, Alexandre, Roscoe, Andrew W.

Volltext

The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification von Hartmanns, Arnd, Hermanns, Holger

Volltext

The Scalasca performance toolset architecture von Geimer, Markus, Wolf, Felix, Wylie, Brian J. N., Ábrahám, Erika, Becker, Daniel, Mohr, Bernd

Volltext

Fundamentals of Software Engineering: 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers

Volltext