C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
FROM
2019
2020
2022
2023
2019
2023
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
Nils Timm
,
Josua Botha
Synthesis of Cost-Optimal Multi-Agent Systems for Resource Allocation.
FROM
(2022)
Georgian-Vlad Saioc
,
Hans Hüttel
A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages.
FROM
(2022)
Wolfgang Jeltsch
,
Javier Díaz
Correctness of Broadcast via Multicast: Graphically and Formally.
FROM
(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
Andrei Alexandru
,
Gabriel Ciobanu
Finitely Supported Sets Containing Infinite Uniformly Supported Subsets.
FROM
(2019)
Lorenzo Capra
An Operational Semantics of Graph Transformation Systems Using Symmetric Nets.
FROM
(2019)
Georgiana Surlea
,
Adrian Craciun
Gröbner Bases with Reduction Machines.
FROM
(2019)
Ioana Leustean
,
Natalia Moanga
,
Traian-Florin Serbanuta
From Hybrid Modal Logic to Matching Logic and back.
FROM
(2019)
Georgiana Caltais
Explaining SDN Failures via Axiomatisations.
FROM
(2019)
Cezar-Constantin Andrici
,
Stefan Ciobaca
Verifying the DPLL Algorithm in Dafny.
FROM
(2019)
Bogdan Aman
,
Gabriel Ciobanu
Probabilities in Session Types.
FROM
(2019)
Vlad Rusu
,
David Nowak
(Co)inductive Proof Systems for Compositional Proofs in Reachability Logic.
FROM
(2019)
Isabela Dramnesc
,
Tudor Jebelean
Proof-Based Synthesis of Sorting Algorithms Using Multisets in Theorema.
FROM
(2019)
volume 303, 2019
Proceedings Third Symposium on Working Formal Methods, FROM 2019, Timişoara, Romania, 3-5 September 2019.
FROM
303 (2019)