Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

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

Publication years (Num. hits)
2018 (9)
Publication types (Num. hits)
inproceedings(8) proceedings(1)
Venues (Conferences, Journals, ...)
F-IDE@FLoC(9)
Authors
Paolo Masci 0001(2) Alcino Cunha(1) Alexander Knüppel(1) Anna Vasileva(1) Carsten Pardylla(1) Claude Marché(1) Elvinia Riccobene(1) Emil Sekerinski(1) Ina Schaefer(1) Jan Bessai(1) José Creissac Campos(1) Makarius Wenzel(1) Nathaniel Watson(1) Nuno Macedo(1) Paolo Arcaini(1) Riccardo Melioli(1) More (+10 of total 24)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Rui Couto, José Creissac Campos, Nuno Macedo, Alcino Cunha Improving the Visualization of Alloy Instances. Search on Bibsonomy F-IDE@FLoC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Paolo Arcaini, Riccardo Melioli, Elvinia Riccobene AsmetaF: A Flattener for the ASMETA Framework. Search on Bibsonomy F-IDE@FLoC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Makarius Wenzel Isabelle/jEdit as IDE for Domain-specific Formal Languages and Informal Text Documents. Search on Bibsonomy F-IDE@FLoC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jan Bessai, Anna Vasileva User Support for the Combinator Logic Synthesizer Framework. Search on Bibsonomy F-IDE@FLoC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sylvain Dailler, Claude Marché, Yannick Moy Lightweight Interactive Proving inside an Automatic Program Verifier. Search on Bibsonomy F-IDE@FLoC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alexander Knüppel, Thomas Thüm, Carsten Pardylla, Ina Schaefer Experience Report on Formally Verifying Parts of OpenJDK's API with KeY. Search on Bibsonomy F-IDE@FLoC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nathaniel Watson, Steve Reeves, Paolo Masci 0001 Integrating User Design and Formal Models within PVSio-Web. Search on Bibsonomy F-IDE@FLoC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Paolo Masci 0001, Rosemary Monahan, Virgile Prevosto (eds.) Proceedings 4th Workshop on Formal Integrated Development Environment, F-IDE@FLoC 2018, Oxford, England, 14 July 2018. Search on Bibsonomy F-IDE@FLoC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Spencer Park, Emil Sekerinski A Notebook Format for the Holistic Design of Embedded Systems (Tool Paper). Search on Bibsonomy F-IDE@FLoC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #9 of 9 (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