default search action

combined dblp search
author search
venue search
publication search

ask others

FSEN 2023: Tehran, Iran

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > FSEN

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/fsen/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/2023
Hossein Hojjat, Erika Ábrahám:
Fundamentals of Software Engineering - 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers. Lecture Notes in Computer Science 14155, Springer 2023, ISBN 978-3-031-42440-3
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/CunhaMB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/CunhaMB23
Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa:
Structured Specification of Paraconsistent Transition Systems. 1-17
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/Domenici23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/Domenici23
Andrea Domenici:
Towards a Basic Theory for Partial Differentiation in the Prototype Verification System. 18-24
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/FariaA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/FariaA23
João Pascoal Faria, Rui Abreu:
Case Studies of Development of Verified Programs with Dafny for Accessibility Assessment. 25-39
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/FazliE23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/FazliE23
Ebrahim Fazli, Ali Ebnenasir:
TPGen: A Self-stabilizing GPU-Based Method for Test and Prime Paths Generation. 40-54
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/HuangKP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/HuangKP23
Wen-ling Huang, Niklas Krafczyk, Jan Peleska:
An Optimised Complete Strategy for Testing Symbolic Finite State Machines. 55-71
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/KhamespanahSK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/KhamespanahSK23
Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi:
Afra: An Eclipse-Based Tool with Extensible Architecture for Modeling and Model Checking of Rebeca Family Models. 72-87
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/MaheBGLG23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/MaheBGLG23
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall:
Interaction-Based Offline Runtime Verification of Distributed Systems. 88-103
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/Nagashima23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/Nagashima23
Yutaka Nagashima:
Genetic Algorithm for Program Synthesis. 104-111
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/NagashimaXWGB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/NagashimaXWGB23
Yutaka Nagashima, Zijin Xu, Ningli Wang, Daniel Sebastian Goc, James Bang:
Template-Based Conjecturing for Automated Induction in Isabelle/HOL. 112-125
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/Spaendonck23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/Spaendonck23
P. H. M. van Spaendonck:
Verification of the Busy-Forbidden Protocol - (using an Extension of the Cones and Foci Proof Framework). 126-141
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/XueZS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/XueZS23
Xiaoyong Xue, Xiyue Zhang, Meng Sun:
kProp: Multi-neuron Relaxation Method for Neural Network Robustness Verification. 142-156

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.