Fundamentals of software engineering (selected papers of FSEN 2013) : 89 [... Fifth IPM International Conference on ... Tehran, Iran, April 24 - 26, 2013]

Veröffentlicht 2015

Fundamentals of software engineering (selected papers of FSEN 2013)

Veröffentlicht 152015

Towards String Support in JayHorn (Competition Contribution)

von Shamakhi, Ali
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2021)

Fundamentals of software engineering : 8th international conference, FSEN 2019 : Tehran, Iran, May 1-3, 2019 : revised selected papers

Veröffentlicht 2019

Special issue of the FSEN 2019 International Conference on the Fundamentals of Software Engineering

Veröffentlicht 2021

Fundamentals of Software Engineering : 9th International Conference, FSEN 2021, Virtual Event, May 19–21, 2021, revised selected papers

Veröffentlicht 2021

Fundamentals of software engineering : 10th international conference, FSEN 2023, Tehran, Iran, May 4-5, 2023 : revised selected papers

Veröffentlicht 2023

Fundamentals of Software Engineering (selected papers of FSEN 2015)

Veröffentlicht 2018

Partial Order Reduction for Timed Actors

von Bagheri, Maryam
Veröffentlicht in VSTTE (13. : 2021 : Online) Software Verification (2022)

Compositional Learning for Interleaving Parallel Automata

von Labbaf, Faezeh
Veröffentlicht in FOSSACS (26. : 2023 : Paris) Foundations of software science and computation structures (2023)

DyNetKAT: An Algebra of Dynamic Networks

von Caltais, Georgiana
Veröffentlicht in FOSSACS (25. : 2022 : München) Foundation of software science and computation structures (2022)