Stop the war!
Остановите войну!
for scientists:
default search action
FSEN 2023: Tehran, Iran
- 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 - Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa:
Structured Specification of Paraconsistent Transition Systems. 1-17 - Andrea Domenici:
Towards a Basic Theory for Partial Differentiation in the Prototype Verification System. 18-24 - João Pascoal Faria, Rui Abreu:
Case Studies of Development of Verified Programs with Dafny for Accessibility Assessment. 25-39 - Ebrahim Fazli, Ali Ebnenasir:
TPGen: A Self-stabilizing GPU-Based Method for Test and Prime Paths Generation. 40-54 - Wen-ling Huang, Niklas Krafczyk, Jan Peleska:
An Optimised Complete Strategy for Testing Symbolic Finite State Machines. 55-71 - 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 - Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall:
Interaction-Based Offline Runtime Verification of Distributed Systems. 88-103 - Yutaka Nagashima:
Genetic Algorithm for Program Synthesis. 104-111 - Yutaka Nagashima, Zijin Xu, Ningli Wang, Daniel Sebastian Goc, James Bang:
Template-Based Conjecturing for Automated Induction in Isabelle/HOL. 112-125 - P. H. M. van Spaendonck:
Verification of the Busy-Forbidden Protocol - (using an Extension of the Cones and Foci Proof Framework). 126-141 - 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.