AI Chat AI Image Generator AI Video Text to Speech

Proceedings Third Symposium on Working Formal Methods

09/02/2019

∙

by Mircea Marin, et al.

∙

∙

This volume contains the proceedings of FROM 2019: the Third Symposium on Working Formal Methods, held on September 3-5, 2019 in Timişoara (Romania). FROM aims to bring together researchers and practitioners who work on formal methods by contributing new theoretical results, methods, techniques, and frameworks, and/or make the formal methods to work by creating or using software tools that apply theoretical contributions.

Mircea Marin
2 publications
Adrian Crăciun
3 publications

research

∙ 09/19/2022

Proceedings of the Sixth Working Formal Methods Symposium

It is our pleasure to present the papers of the sixth Working Formal Met...

0 Vlad Rusu, et al. ∙

research

∙ 11/27/2018

Integrating User Design and Formal Models within PVSio-Web

Creating formal models of interactive systems has wide reaching benefits...

0 Nathaniel Watson, et al. ∙

research

∙ 01/13/2022

NLP in Human Rights Research – Extracting Knowledge Graphs About Police and Army Units and Their Commanders

In this working paper we explore the use of an NLP system to assist the ...

22 Daniel Bauer, et al. ∙

research

∙ 02/16/2022

Where the Model Frequently Meets the Road: Combining Statistical, Formal, and Case Study Methods

This paper analyzes the working or default assumptions researchers in th...

0 Andrew Bennett, et al. ∙

research

∙ 06/11/2020

The development and deployment of formal methods in the UK

UK researchers have made major contributions to the technical ideas unde...

0 Cliff B. Jones, et al. ∙

research

∙ 12/23/2021

A Manifesto for Applicable Formal Methods

Formal methods were frequently shown to be effective and, perhaps becaus...

0 Mario Gleirscher, et al. ∙

research

∙ 07/21/2020

For a "computational" study of the intellectuals satellites

The present paper wishes to extend the theoretical reflections that we'r...

0 Fatiha Idmhand, et al. ∙