FROM

Keyphrases

Publications

2023

Alen Docef, Radu Negulescu, Mihai Prunescu
Using Z3 to Verify Inferences in Fragments of Linear Logic. FROM (2023)
David Nowak, Vlad Rusu
While Loops in Coq. FROM (2023)
Mihail-Iulian Plesa, Marian Gheorghe, Florentin Ipate
Privacy-preserving Linear Computations in Spiking Neural P Systems. FROM (2023)
Bogdan Macovei
A Parallel Dynamic Epistemic Perspective over Muddy Children Puzzle. FROM (2023)
Stefan-Claudiu Susan, Andrei Arusoaie
Identifying Vulnerabilities in Smart Contracts using Interval Analysis. FROM (2023)
Radu Traian Bobe, Florentin Ipate, Ionut-Mihai Niculescu
Modelling and Search-Based Testing of Robot Controllers Using Enzymatic Numerical P Systems. FROM (2023)
Mihai Prunescu
Symmetric Functions over Finite Fields. FROM (2023)
Dafina Trufas, Ioan Teodorescu, Denisa Diaconescu, Traian Serbanuta, Vlad Zamfir
Asynchronous Muddy Children Puzzle (work in progress). FROM (2023)
Maria J. D. Lima, Flávio L. C. de Moura
A Formalized Extension of the Substitution Lemma in Coq. FROM (2023)
Dorel Lucanu
Matching-Logic-Based Understanding of Polynomial Functors and their Initial/Final Models. FROM (2023)
Andreea Postovan, Madalina Erascu
Benchmarking Local Robustness of High-Accuracy Binary Neural Networks for Enhanced Traffic Sign Recognition. FROM (2023)
Gabriel Istrate, Romeo Negrea
q-Overlaps in the Random Exact Cover Problem. FROM (2023)
Mircea Marin, Temur Kutsia, Cleo Pau, Mikheil Rukhaia
Enumerating All Maximal Clique-Partitions of an Undirected Graph. FROM (2023)

volume 389, 2023

Proceedings 7th Symposium on Working Formal Methods, FROM 2023, Bucharest, Romania, 21-22 September 2023. FROM 389 (2023)

2022

volume 369, 2022

Proceedings of the Sixth Working Formal Methods Symposium, FROM 2022, "Al. I. Cuza University", Iasi, Romania, 19-20 September, 2022. FROM 369 (2022)

2019

volume 303, 2019

Proceedings Third Symposium on Working Formal Methods, FROM 2019, Timişoara, Romania, 3-5 September 2019. FROM 303 (2019)