Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "F-IDE@NFM"( http://dblp.L3S.de/Venues/F-IDE@NFM )

URL (DBLP): http://dblp.uni-trier.de/db/journals/corr

Publication years (Num. hits)
2021 (11)
Publication types (Num. hits)
inproceedings(10) proceedings(1)
Venues (Conferences, Journals, ...)
F-IDE@NFM(11)
Authors
Andrea Domenici(1) Andrei Paskevich(1) Axel Legay(1) Benedikt F. H. Becker(1) Bert de Jonge(1) Cinzia Bernardeschi(1) Claude Marché(1) Cláudio Belo Lourenço(1) Danny Bøgsted Poulsen(1) Dirk Nowotka(1) Frederik Palludan Madsen(1) Gidon Ernst(1) Guillaume Melquiond(1) Hugo Daniel Macedo(1) Jan Nieuwenhuizen(1) Johannes Blau(1) More (+10 of total 29)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 11 publication records. Showing 11 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Gidon Ernst, Johannes Blau, Toby Murray Deductive Verification via the Debug Adapter Protocol. Search on Bibsonomy F-IDE@NFM The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Shiri Morshtein, Ran Ettinger, Shmuel S. Tyszberowicz Verifying Time Complexity of Binary Search using Dafny. Search on Bibsonomy F-IDE@NFM The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Mitja Kulczynski, Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen Analysis of Source Code Using UPPAAL. Search on Bibsonomy F-IDE@NFM The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Benedikt F. H. Becker, Cláudio Belo Lourenço, Claude Marché Explaining Counterexamples with Giant-Step Assertion Checking. Search on Bibsonomy F-IDE@NFM The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Yannick Moy How the Analyzer can Help the User Help the Analyzer. Search on Bibsonomy F-IDE@NFM The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Jonas Kjær Rask, Frederik Palludan Madsen, Nick Battle, Hugo Daniel Macedo, Peter Gorm Larsen The Specification Language Server Protocol: A Proposal for Standardised LSP Extensions. Search on Bibsonomy F-IDE@NFM The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Guillaume Melquiond Plotting in a Formally Verified Way. Search on Bibsonomy F-IDE@NFM The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Andrea Domenici, Cinzia Bernardeschi A Logic Theory Pattern for Linearized Control Systems. Search on Bibsonomy F-IDE@NFM The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1José Proença, Andrei Paskevich (eds.) Proceedings of the 6th Workshop on Formal Integrated Development Environment, F-IDE@NFM 2021, Held online, 24-25th May 2021. Search on Bibsonomy F-IDE@NFM The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Rutger van Beusekom, Bert de Jonge, Paul F. Hoogendijk, Jan Nieuwenhuizen Dezyne: Paving the Way to Practical Formal Software Engineering. Search on Bibsonomy F-IDE@NFM The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Stefan Mitsch Implicit and Explicit Proof Management in KeYmaera X. Search on Bibsonomy F-IDE@NFM The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #11 of 11 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license