FSEN

Keyphrases

Publications

2023

Yutaka Nagashima
Genetic Algorithm for Program Synthesis. FSEN (2023)
P. H. M. van Spaendonck
Verification of the Busy-Forbidden Protocol - (using an Extension of the Cones and Foci Proof Framework). FSEN (2023)
Wen-ling Huang, Niklas Krafczyk, Jan Peleska
An Optimised Complete Strategy for Testing Symbolic Finite State Machines. FSEN (2023)
Xiaoyong Xue, Xiyue Zhang, Meng Sun
kProp: Multi-neuron Relaxation Method for Neural Network Robustness Verification. FSEN (2023)
Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi
Afra: An Eclipse-Based Tool with Extensible Architecture for Modeling and Model Checking of Rebeca Family Models. FSEN (2023)
João Pascoal Faria, Rui Abreu
Case Studies of Development of Verified Programs with Dafny for Accessibility Assessment. FSEN (2023)
Ebrahim Fazli, Ali Ebnenasir
TPGen: A Self-stabilizing GPU-Based Method for Test and Prime Paths Generation. FSEN (2023)
Yutaka Nagashima, Zijin Xu, Ningli Wang, Daniel Sebastian Goc, James Bang
Template-Based Conjecturing for Automated Induction in Isabelle/HOL. FSEN (2023)
Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa
Structured Specification of Paraconsistent Transition Systems. FSEN (2023)
Andrea Domenici
Towards a Basic Theory for Partial Differentiation in the Prototype Verification System. FSEN (2023)
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
Interaction-Based Offline Runtime Verification of Distributed Systems. FSEN (2023)

volume 14155, 2023

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

2021

volume 12818, 2021

Fundamentals of Software Engineering - 9th International Conference, FSEN 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers FSEN 12818 (2021)

2019

volume 11761, 2019

Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers FSEN 11761 (2019)

2017

volume 10522, 2017

Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers FSEN 10522 (2017)